Alejandro Rodríguez

According to our database, Alejandro Rodríguez authored at least 12 papers between 2016 and 2023.

Collaborative distances:

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

2023

Composition of multilevel domain-specific modelling languages.

Alejandro Rodríguez, Fernando Macías, Francisco Durán, Adrian Rutle, Uwe Wolter

J. Log. Algebraic Methods Program., 2023

2022

Simulation and analysis of MultEcore multilevel models based on rewriting logic.

Alejandro Rodríguez, Francisco Durán, Lars Michael Kristensen

Softw. Syst. Model., 2022

Multi-Level Modelling with MultEcore A Contribution to the Multi-Level Process Challenge.

Alejandro Rodríguez, Fernando Macías

Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2022

2021

Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms.

Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle

Trans. Petri Nets Other Model. Concurr., 2021

2019

Formal Modelling and Incremental Verification of the MQTT IoT Protocol.

Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle

Trans. Petri Nets Other Model. Concurr., 2019

Executing Multilevel Domain-Specific Models in Maude.

Alejandro Rodríguez, Francisco Durán, Adrian Rutle, Lars Michael Kristensen

J. Object Technol., 2019

A Foundation for the Composition of Multilevel Domain-Specific Languages.

Alejandro Rodríguez, Adrian Rutle, Lars Michael Kristensen, Francisco Durán

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Multilevel Modelling with MultEcore: A Contribution to the MULTI Process Challenge.

Alejandro Rodríguez, Fernando Macías

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method.

Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), 2019

2018

Multilevel modelling of coloured petri nets.

Alejandro Rodríguez, Adrian Rutle, Francisco Durán, Lars Michael Kristensen, Fernando Macías

Proceedings of MODELS 2018 Workshops: ModComp, 2018

On Modelling and Validation of the MQTT IoT Protocol for M2M Communication.

Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), 2018

2016

Using Beacons for Creating Comprehensive Virtual Profiles.

Angela Barriga Rodriguez, Alejandro Rodríguez Tena, José García-Alonso, Javier Berrocal, Ricardo Flores Rosco, Juan Manuel Murillo

Proceedings of the Ubiquitous Computing and Ambient Intelligence, 2016