Alejandro Rodríguez

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