| Formal modelling and incremental verification of the MQTT IoT protocol A Rodríguez, LM Kristensen, A Rutle Transactions on Petri Nets and Other Models of Concurrency XIV, 126-145, 2019 | 20 | 2019 |
| Executing multilevel domain-specific models in Maude A Rodríguez, F Durán, A Rutle, LM Kristensen AITO, 2019 | 20 | 2019 |
| On Modelling and Validation of the MQTT IoT Protocol for M2M Communication A Rodríguez, LM Kristensen, A Rutle | 14 | 2018 |
| Multilevel modelling with MultEcore: a contribution to the MULTI process challenge A Rodríguez, F Macías 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019 | 10 | 2019 |
| A foundation for the composition of multilevel domain-specific languages A Rodríguez, A Rutle, LM Kristensen, F Durán 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019 | 8 | 2019 |
| Multilevel modelling of coloured Petri nets A Rodríguez, A Rutle, F Durán, L Michael | 6 | 2018 |
| On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method A Rodriguez, L Michael Kristensen, A Rutle PNSE@ Petri Nets/ACSD, 2019 2424, 57, 2019 | 5 | 2019 |
| Simulation and analysis of MultEcore multilevel models based on rewriting logic A Rodríguez, F Durán, LM Kristensen Software and Systems Modeling 21 (2), 561-586, 2022 | 4 | 2022 |
| Using beacons for creating comprehensive virtual profiles AB Rodriguez, AR Tena, J Garcia-Alonso, J Berrocal, RF Rosco, ... Ubiquitous Computing and Ambient Intelligence: 10th International Conference …, 2016 | 3 | 2016 |
| Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms UPSCTL Sweep-Line Transactions on Petri Nets and Other Models of Concurrency XV 12530, 165, 2021 | | 2021 |
| Composition of Multilevel Modelling Hierarchies A Rodrıguez, A Rutle, F Durán, LM Kristensen, F Macıas, U Wolter NWPT 2019, 44, 2020 | | 2020 |
| Towards Domain-Specific CPN Modelling Languages A Rodríguez, F Macıas, LM Kristensen, A Rutle Marina Waldén (Editor), 62, 2018 | | 2018 |
