Publications

Export 5 results:
Author Title Type [ Year(Asc)]
2014
A General Approach for Symbolic Model-Checker Prototyping, Bóbeda, Edmundo López, Colange Maximilien, and Buchs Didier , 14th International Workshop on Automated Verification of Critical Systems (AVOCS), 09/2014, Enschede, Netherlands, (2014)
HTML results from the Model Checking Contest @ Petri Net (2014 edition), Kordon, F., Garavel H., Hillah L-M., Hulin-Hubard F., Linard A., Beccuti M., Evangelista S., Hamez A., Lohmann N., E. Bóbeda Lopez, et al. , (2014)
StrataGEM: A Generic Petri Net Verification Framework, Bóbeda, Edmundo López, Colange Maximilien, and Buchs Didier , Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, 06/2014, Tunis, Tunisia, (2014)
2011
GReg : a Domain Specific Language for the Modeling of Genetic Regulatory Mechanisms, Sedlmajer, Nicolas, Buchs Didier, Hostettler Steve, Linard Alban, López Edmundo, and Marechal Alexis , Proceedings of the 2nd International Workshop on Biological Processes & Petri Nets (BioPPN2011), p.21–35, (2011)
Modelling of Genetic Regulatory Mechanisms with GReg, Sedlmajer, Nicolas, Buchs Didier, Hostettler Steve, Linard Alban, Bóbeda Edmundo López, and Marechal Alexis , CoRR, Volume abs/1108.3436, (2011)