"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis. G Arellano, J Argil, E Azpeitia, M Benítez, M Carrillo, PA Góngora, ... BMC Bioinformatics 12, 490, 2011 | 49 | 2011 |
An overview of existing modeling tools making use of model checking in the analysis of biochemical networks M Carrillo, PA Góngora, DA Rosenblueth Frontiers in plant science 3, 28284, 2012 | 42 | 2012 |
Inference of Boolean Networks from Gene Interaction Graphs using a SAT Solver DA Rosenblueth, S Munoz, M Carrillo, E Azpeitia These proceedings contain the papers that were presented at the First …, 2014 | 17 | 2014 |
CTL update of Kripke models through protections M Carrillo, DA Rosenblueth Artificial Intelligence 211, 51-74, 2014 | 15 | 2014 |
Griffin: A Tool for Symbolic Inference of Synchronous Boolean Molecular Networks S Muñoz, M Carrillo, E Azpeitia, DA Rosenblueth Frontiers in genetics 9, 39, 2018 | 10 | 2018 |
Nondeterministic update of CTL models by preserving satisfaction through protections M Carrillo, DA Rosenblueth International Symposium on Automated Technology for Verification and …, 2011 | 7 | 2011 |
A method for CTL model update, representing Kripke Structures as table systems M Carrillo, DA Rosenblueth IJPAM 52, 401-431, 2009 | 6 | 2009 |
Verification and Simulation of Time-Domain Properties for Models of Behaviour M Carrillo, V Estivill-Castro, DA Rosenblueth Model-Driven Engineering and Software Development. Revised Selected Papers …, 2021 | 4 | 2021 |
Model-to-Model Transformations for Efficient Time-domain Verification of Concurrent Models by NuSMV Modules. M Carrillo, V Estivill-Castro, DA Rosenblueth MODELSWARDS 2020, 287--298, 2020 | 1 | 2020 |
Learning Models from Temporal-Logic Properties via Explanations M Carrillo, DA Rosenblueth ExaCt, 10-13, 2007 | 1 | 2007 |
Griffin: A Tool for Symbolic Inference of Synchronous Boolean Molecular Networks E Azpeitia, M Carrillo, DA Rosenblueth Laguette Frontiers Media SA, 2018 | | 2018 |
Additional file 2:(Hybrid) Computation-Tree Logic M Carrillo BMC bioinformatics 12 (1), 2011 | | 2011 |
Supplementary Material: Griffin: a tool for symbolic inference of synchronous Boolean molecular networks S Munoz, M Carrillo, E Azpeitia, DA Rosenblueth | | |