Edmundo López Bóbeda

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 0

Top Topics

Formal Verification

Formal Language

Top Venues

Trans. Petri Nets Other Model. Concurr.

Publications

Edmundo López Bóbeda, Maximilien Colange, Didier Buchs
Building a Symbolic Model Checker from Formal Language Description. ACSD (2015)
Edmundo López Bóbeda, Maximilien Colange, Didier Buchs
StrataGEM: A Generic Petri Net Verification Framework. Petri Nets (2014)
Nicolas Sedlmajer, Didier Buchs, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal
A Domain Specific Language Approach for Genetic Regulatory Mechanisms Analysis. Trans. Petri Nets Other Model. Concurr. 6 (2012)
Nicolas Sedlmajer, Didier Buchs, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal
Modelling of Genetic Regulatory Mechanisms with GReg CoRR (2011)