fpom

Full professor in computer science. Developer of the SNAKES Petri nets library, and the ecco modelling and analysis tool.

University of Évry - val d'EssonneÉvry, France

fpom's Stars

rougier/scientific-visualization-book
An open access book on scientific visualization using python and matplotlib
Language:Python10.8k 190 43993
JonathanSalwan/ROPgadget
This tool lets you search your gadgets on your binaries to facilitate your ROP exploitation. ROPgadget supports ELF, PE and Mach-O format on x86, x64, ARM, ARM64, PowerPC, SPARC, MIPS, RISC-V 64, and RISC-V Compressed architectures.
Language:Python4k 124 98557
davidbrochart/nbterm
Jupyter Notebooks in the terminal.
Language:Python759 16 5437
fpom/snakes
SNAKES is the Net Algebra Kit for Editors and Simulators
Language:Python89 7 3129
dw/scratch
Random scratch scripts of various sorts
Language:Python45 6 08
bnediction/mpbn
Brief Python implementation of Most Permissive Boolean Networks
Language:Python19 2 02
chris-kuhr/CPNSimulatorGui
Simulator Gui for Colored Petri Nets, based on the Python librarySNAKES
Language:Python80
giannkas/ecofolder
Ecofolder is a sotware for unfolding Petri nets with resets according to the McMillan and the Esparza/Römer/Vogler unfolding algorithms.
Language:Classic ASP5 1 12