Edmundo López Bóbeda

According to our database, Edmundo López Bóbeda authored at least 5 papers between 2011 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2015

Symbolic model-checking with Set Rewriting.

Edmundo López Bóbeda

PhD thesis, 2015

Building a Symbolic Model Checker from Formal Language Description.

Edmundo López Bóbeda, Maximilien Colange, Didier Buchs

Proceedings of the 15th International Conference on Application of Concurrency to System Design, 2015

2014

StrataGEM: A Generic Petri Net Verification Framework.

Edmundo López Bóbeda, Maximilien Colange, Didier Buchs

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2012

A Domain Specific Language Approach for Genetic Regulatory Mechanisms Analysis.

Nicolas Sedlmajer, Didier Buchs, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal

Trans. Petri Nets Other Model. Concurr., 2012

2011

Modelling of Genetic Regulatory Mechanisms with GReg

Nicolas Sedlmajer, Didier Buchs, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal

CoRR, 2011