Miguel Carrillo

Publication Activity (10 Years)

Years Active: 2007-2020
Publications (10 Years): 2

Top Topics

Logical Inference

Boolean Networks

Top Venues

MODELSWARD (Revised Selected Papers)

Publications

Miguel Carrillo, Vladimir Estivill-Castro, David A. Rosenblueth
Verification and Simulation of Time-Domain Properties for Models of Behaviour. MODELSWARD (Revised Selected Papers) (2020)
Miguel Carrillo, Vladimir Estivill-Castro, David A. Rosenblueth
Model-to-Model Transformations for Efficient Time-domain Verification of Concurrent Models by NuSMV Modules. MODELSWARD (2020)
Miguel Carrillo, David A. Rosenblueth
CTL update of Kripke models through protections. Artif. Intell. 211 (2014)
David A. Rosenblueth, Stalin Muñoz, Miguel Carrillo, Eugenio Azpeitia
Inference of Boolean Networks from Gene Interaction Graphs Using a SAT Solver. AlCoB (2014)
Miguel Carrillo, David A. Rosenblueth
Nondeterministic Update of CTL Models by Preserving Satisfaction through Protections. ATVA (2011)
Gustavo Arellano, Julián Argil, Eugenio Azpeitia, Mariana Benítez, Miguel Carrillo, Pedro Arturo Góngora, David A. Rosenblueth, Elena R. Álvarez-Buylla
"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis. BMC Bioinform. 12 (2011)
Miguel Carrillo, David A. Rosenblueth
Learning Models from Temporal-Logic Properties via Explanations. ExaCt (2007)