Miguel Carrillo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2011–2025
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | MODELSWARD | LLFSMs to TLA+: A Model-to-Text Transformation of Executable Models Enabling Specification and Verification of Multi-Threaded and Concurrent Systems. | Vladimir Estivill-Castro, Miguel Carrillo, David A. Rosenblueth |
| 2025 | MODELSWARD | Efficient Modelling with Logic-Labelled Finite-State Machines of IEC 61499 Function Blocks: Simulation, Execution and Verification. | Vladimir Estivill-Castro, Miguel Carrillo, David A. Rosenblueth |
| 2020 | MODELSWARD | Model-to-Model Transformations for Efficient Time-domain Verification of Concurrent Models by NuSMV Modules. | Miguel Carrillo, Vladimir Estivill-Castro, David A. Rosenblueth |
| 2020 | MODELSWARD | Verification and Simulation of Time-Domain Properties for Models of Behaviour. | Miguel Carrillo, Vladimir Estivill-Castro, David A. Rosenblueth |
| 2011 | ATVA | Nondeterministic Update of CTL Models by Preserving Satisfaction through Protections. | Miguel Carrillo, David A. Rosenblueth |