Modelling of Genetic Regulatory Mechanisms with GReg - Nicolas Sedlmajer; Didier Buchs; Steve Hostettler; Alban Linard; Edmundo López Bóbeda; Alexis Marechal (CoRR, 2011)

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)

StrataGEM: A Generic Petri Net Verification Framework. - Edmundo López Bóbeda; Maximilien Colange; Didier Buchs (Petri Nets, 2014)

Building a Symbolic Model Checker from Formal Language Description. - Edmundo López Bóbeda; Maximilien Colange; Didier Buchs (ACSD, 2015)

Symbolic model-checking with Set Rewriting. - Edmundo López Bóbeda (2015)