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 (UCAmI (2), 2016)

On Modelling and Validation of the MQTT IoT Protocol for M2M Communication. - Alejandro Rodríguez 006; Lars Michael Kristensen; Adrian Rutle (PNSE@Petri Nets/ACSD, 2018)

Multilevel modelling of coloured petri nets. - Alejandro Rodríguez 006; Adrian Rutle; Francisco Durán 001; Lars Michael Kristensen; Fernando Macías (MoDELS (Workshops), 2018)

On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method. - Alejandro Rodríguez 006; Lars Michael Kristensen; Adrian Rutle (PNSE@Petri Nets/ACSD, 2019)

Multilevel Modelling with MultEcore: A Contribution to the MULTI Process Challenge. - Alejandro Rodríguez 006; Fernando Macías (MoDELS (Companion), 2019)

A Foundation for the Composition of Multilevel Domain-Specific Languages. - Alejandro Rodríguez 006; Adrian Rutle; Lars Michael Kristensen; Francisco Durán 001 (MoDELS (Companion), 2019)

Executing Multilevel Domain-Specific Models in Maude. - Alejandro Rodríguez 006; Francisco Durán 001; Adrian Rutle; Lars Michael Kristensen (J. Object Technol., 2019)

Formal Modelling and Incremental Verification of the MQTT IoT Protocol. - Alejandro Rodríguez 006; Lars Michael Kristensen; Adrian Rutle (Trans. Petri Nets Other Model. Concurr., 2019)

Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms. - Alejandro Rodríguez 006; Lars Michael Kristensen; Adrian Rutle (Trans. Petri Nets Other Model. Concurr., 2021)

Multi-Level Modelling with MultEcore A Contribution to the Multi-Level Process Challenge. - Alejandro Rodríguez 006; Fernando Macías (Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2022)

Simulation and analysis of MultEcore multilevel models based on rewriting logic. - Alejandro Rodríguez 006; Francisco Durán 001; Lars Michael Kristensen (Softw. Syst. Model., 2022)

Composition of multilevel domain-specific modelling languages. - Alejandro Rodríguez 006; Fernando Macías; Francisco Durán 001; Adrian Rutle; Uwe Wolter (J. Log. Algebraic Methods Program., 2023)