Miguel Carrillo

Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering, 2025

LLFSMs to TLA+: A Model-to-Text Transformation of Executable Models Enabling Specification and Verification of Multi-Threaded and Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering, 2025

2020

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

[BibT_eX]

[DOI]

Miguel Carrillo Barajas

PhD thesis, 2015

2014

CTL update of Kripke models through protections.

[BibT_eX]

[DOI]

Artif. Intell., 2014

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

[BibT_eX]

[DOI]

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

2011

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

[BibT_eX]

[DOI]

Elena R. Álvarez-Buylla

BMC Bioinform., 2011

Nondeterministic Update of CTL Models by Preserving Satisfaction through Protections.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2011

2007

Learning Models from Temporal-Logic Properties via Explanations.

[BibT_eX]