Alejandro Rodríguez

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 11

Top Topics

Coloured Petri Nets

Interprocess Communication

Formal Verification

Domain Specific Languages

Top Venues

Trans. Petri Nets Other Model. Concurr.

PNSE@Petri Nets/ACSD

MoDELS (Companion)

J. Log. Algebraic Methods Program.

Publications

Alejandro Rodríguez, Fernando Macías, Francisco Durán, Adrian Rutle, Uwe Wolter
Composition of multilevel domain-specific modelling languages. J. Log. Algebraic Methods Program. 130 (2023)
Alejandro Rodríguez, Fernando Macías
Multi-Level Modelling with MultEcore A Contribution to the Multi-Level Process Challenge. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 17 (2022)
Alejandro Rodríguez, Francisco Durán, Lars Michael Kristensen
Simulation and analysis of MultEcore multilevel models based on rewriting logic. Softw. Syst. Model. 21 (2) (2022)
Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle
Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms. Trans. Petri Nets Other Model. Concurr. 15 (2021)
Alejandro Rodríguez, Francisco Durán, Adrian Rutle, Lars Michael Kristensen
Executing Multilevel Domain-Specific Models in Maude. J. Object Technol. 18 (2) (2019)
Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle
Formal Modelling and Incremental Verification of the MQTT IoT Protocol. Trans. Petri Nets Other Model. Concurr. 14 (2019)
Alejandro Rodríguez, Adrian Rutle, Lars Michael Kristensen, Francisco Durán
A Foundation for the Composition of Multilevel Domain-Specific Languages. MoDELS (Companion) (2019)
Alejandro Rodríguez, Fernando Macías
Multilevel Modelling with MultEcore: A Contribution to the MULTI Process Challenge. MoDELS (Companion) (2019)
Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle
On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method. PNSE@Petri Nets/ACSD (2019)
Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle
On Modelling and Validation of the MQTT IoT Protocol for M2M Communication. PNSE@Petri Nets/ACSD (2018)
Alejandro Rodríguez, Adrian Rutle, Francisco Durán, Lars Michael Kristensen, Fernando Macías
Multilevel modelling of coloured petri nets. MoDELS (Workshops) (2018)