Miguel Carrillo

According to our database, Miguel Carrillo authored at least 8 papers between 2007 and 2020.

Collaborative distances:

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

2020

Verification and Simulation of Time-Domain Properties for Models of Behaviour.

Miguel Carrillo, Vladimir Estivill-Castro, David A. Rosenblueth

Proceedings of the Model-Driven Engineering and Software Development, 2020

Model-to-Model Transformations for Efficient Time-domain Verification of Concurrent Models by NuSMV Modules.

Miguel Carrillo, Vladimir Estivill-Castro, David A. Rosenblueth

Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

2015

Actualización de modelos para lógica de árboles de cómputo mediante protecciones

Miguel Carrillo Barajas

PhD thesis, 2015

2014

CTL update of Kripke models through protections.

Miguel Carrillo, David A. Rosenblueth

Artif. Intell., 2014

Inference of Boolean Networks from Gene Interaction Graphs Using a SAT Solver.

David A. Rosenblueth, Stalin Muñoz, Miguel Carrillo, Eugenio Azpeitia

Proceedings of the Algorithms for Computational Biology - First International Conference, 2014

2011

"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis.

Gustavo Arellano, Julián Argil, Eugenio Azpeitia, Mariana Benítez, Miguel Carrillo, Pedro Arturo Góngora, David A. Rosenblueth, Elena R. Álvarez-Buylla

BMC Bioinform., 2011

Nondeterministic Update of CTL Models by Preserving Satisfaction through Protections.

Miguel Carrillo, David A. Rosenblueth

Proceedings of the Automated Technology for Verification and Analysis, 2011

2007

Learning Models from Temporal-Logic Properties via Explanations.

Miguel Carrillo, David A. Rosenblueth

Proceedings of the Explanation-Aware Computing, 2007