RML has been developed and is currently maintained by DIBRIS - University of Genoa, Italy

The design and development of RML is based on several research contributions on trace calculi for RV based on trace expressions and initially inspired to global types.

The main contributors of RML are Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi.

Selected publications

2021

[AFFM21] Ancona D., Franceschini L., Ferrando A., Mascardi V. (2021) RML: Theory and practice of a domain specific language for runtime verification. Science of Computer Programming, Volume 205, 102610, ISSN 0167-6423 URL

2020

[AFM20] Ancona D., Ferrando A., Mascardi V. (2020) Can determinism and compositionality coexist in RML? In Proceedings of Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, 13-32 Bibtex from DBLP

[FCFA+20] Ferrando A., Cardoso R. C., Fisher M., Ancona D., Franceschini L., Mascardi V. (2020) ROSMonitoring: A Runtime Verification Framework for ROS. In Proceedings of Towards Autonomous Robotic Systems - 21st Annual Conference (TAROS 2020), 387-399 Bibtex from DBLP

[Fra20] Franceschini L. (2020) RML: Runtime Monitoring Language. Ph.D. thesis, DIBRIS - University of Genova URL

2019

[AFFM19] Ancona D., Franceschini L., Ferrando A., Mascardi V. (2019) A Deterministic Event Calculus for Effective Runtime Verification. In Proceedings of the 20th Italian Conference on Theoretical Computer Science (ICTCS 2019), 248-260 Bibtex from DBLP

[Fer19] Ferrando A. (2019) The early bird catches the worm: First verify, then monitor! Sci. Comput. Program. 172: 160-179 Bibtex from DBLP

[Fra19] Franceschini L. (2019) RML: runtime monitoring language: a system-agnostic DSL for runtime verification. In Proceedings of the Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming (Programming ‘19), Stefan Marr and Walter Cazzola (Eds.). ACM, New York, NY, USA, Article 28, 3 pages. DOI: https://doi.org/10.1145/3328433.3328462 Bibtex from DBLP

[FWCD+19] Ferrando A., Winikoff M., Cranefield S., Dignum F., Mascardi V. (2019) On Enactability of Agent Interaction Protocols: Towards a Unified Approach. In Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS ‘19). International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 1955-1957 Bibtex from DBLP

[LCFO+19] Leotta M., Clerissi D., Franceschini L., Olianas D., Ancona D., Ricca F., Ribaudo M. (2019) Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study. In Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, 434-441, 2019, Heraklion, Crete, Greece Bibtex from DBLP

2018

[ADF18] Ancona D., Dagnino F., and Franceschini L. (2018) A formalism for specification of Java API interfaces. In Companion Proceedings for the ISSTA/ECOOP 2018 Workshops (ISSTA ‘18). ACM, New York, NY, USA, 24-26. DOI: https://doi.org/10.1145/3236454.3236476 Bibtex from DBLP

[AFFM18a] Ancona D., Ferrando A., Franceschini L., Mascardi V. (2018) Coping with Bad Agent Interaction Protocols When Monitoring Partially Observable Multiagent Systems. In: Demazeau Y., An B., Bajo J., Fernández-Caballero A. (eds) Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection. PAAMS 2018. Lecture Notes in Computer Science, vol 10978. Springer, Cham Bibtex from DBLP

[AFFM18b] Ancona D., Ferrando A., Franceschini L., Mascardi V. (2018) Managing Bad AIPs with RIVERtools. In: Demazeau Y., An B., Bajo J., Fernández-Caballero A. (eds) Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection. PAAMS 2018. Lecture Notes in Computer Science, vol 10978. Springer, Cham Bibtex from DBLP

[AFM18] Ancona D., Ferrando A., Mascardi V. (2018) Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches. IJAOSE 6(3/4): 402-442 Bibtex from DBLP

[FDAF+18a] Ferrando A., Dennis L. A., Ancona D., Fisher M., Mascardi V. (2018) Recognising Assumption Violations in Autonomous Systems Verification. In Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS ‘18). International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 1933-1935 Bibtex from DBLP

[FDAF+18b] Ferrando A., Dennis L.A., Ancona D., Fisher M., Mascardi V. (2018) Verifying and Validating Autonomous Systems: Towards an Integrated Approach. In: Colombo C., Leucker M. (eds) Runtime Verification. RV 2018. Lecture Notes in Computer Science, vol 11237. Springer, Cham Bibtex from DBLP

[LAFO+18] Leotta M., Ancona D., Franceschini L., Olianas D., Ribaudo M., Ricca F. (2018) Towards a Runtime Verification Approach for Internet of Things Systems. In: Pautasso C., Sánchez-Figueroa F., Systä K., Murillo Rodríguez J. (eds) Current Trends in Web Engineering. ICWE 2018. Lecture Notes in Computer Science, vol 11153. Springer, Cham Bibtex from DBLP

[LRCA+18] Leotta M., Ricca F., Clerissi D., Ancona D., Delzanno G., Ribaudo M., Franceschini L. (2018) Towards an Acceptance Testing Approach for Internet of Things Systems. In: Garrigós I., Wimmer M. (eds) Current Trends in Web Engineering. ICWE 2017. Lecture Notes in Computer Science, vol 10544. Springer, Cham Bibtex from DBLP

2017

[AFDL+17] Ancona D., Franceschini L., Delzanno G., Leotta M., Ribaudo M., Ricca F. (2017) Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things. In Proceedings First Workshop on Architectures, Languages and Paradigms for IoT, ALP4IoT@iFM 2017: 27-42 Bibtex from DBLP

[AFFM17] Ancona D., Ferrando A., Franceschini L., Mascardi V. (2017) Parametric Trace Expressions for Runtime Verification of Java-Like Programs. In Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs (FTFJP’17). ACM, New York, NY, USA, Article 10, 6 pages. DOI: https://doi.org/10.1145/3103111.3104037 Bibtex from DBLP

[AFM17] Ancona D., Ferrando A., Mascardi V. (2017) Parametric Runtime Verification of Multiagent Systems. In Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems (AAMAS ‘17). International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 1457-1459 Bibtex from DBLP

[FAM17] Ferrando A., Ancona D., Mascardi V. (2017) Decentralizing MAS Monitoring with DecAMon. In Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems (AAMAS ‘17). International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 239-248 Bibtex from DBLP

2016

[ABBC+16] Ancona D., Bono V., Bravetti M., Campos J., Castagna G., Deniélou P-M., Gay S. J., Gesbert N., Giachino E., Hu R., Johnsen E. B., Martins F., Mascardi V., Montesi F., Neykova R., Ng N., Padovani L., Vasconcelos V. T., Yoshida N. (2016) Behavioral Types in Programming Languages. Foundations and Trends in Programming Languages 3(2-3): 95-230 Bibtex from DBLP

[AFM16] Ancona D., Ferrando A., Mascardi V. (2016) Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification. In: Ábrahám E., Bonsangue M., Johnsen E. (eds) Theory and Practice of Formal Methods. Lecture Notes in Computer Science, vol 9660. Springer, Cham Bibtex from DBLP

[FAM16] Ferrando A., Ancona D., Mascardi V. (2016) Monitoring Patients with Hypoglycemia Using Self-adaptive Protocol-Driven Agents: A Case Study. In: Baldoni M., Müller J., Nunes I., Zalila-Wenkstern R. (eds) Engineering Multi-Agent Systems. EMAS 2016. Lecture Notes in Computer Science, vol 10093. Springer, Cham Bibtex from DBLP

2015

[ABFM15a] Ancona D., Briola D., Ferrando A., Mascardi V. (2015) Global Protocols as First Class Entities for Self-Adaptive Agents. In Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems (AAMAS ‘15). International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 1019-1029 Bibtex from DBLP

[ABFM15b] Ancona D., Briola D., Ferrando A., Mascardi V. (2015) Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach. Intelligenza Artificiale 9(2): 131-148 Bibtex from DBLP

[BMA15] Briola D., Mascardi V., Ancona D. (2015) Distributed Runtime Verification of JADE Multiagent Systems. In: Camacho D., Braubach L., Venticinque S., Badica C. (eds) Intelligent Distributed Computing VIII. Studies in Computational Intelligence, vol 570. Springer, Cham Bibtex from DBLP

2014

[ABEM+14] Ancona D., Briola D., El Fallah Seghrouchni A., Mascardi V., Taillibert P. (2014) Efficient Verification of MASs with Projections. In: Dalpiaz F., Dix J., van Riemsdijk M.B. (eds) Engineering Multi-Agent Systems. EMAS 2014. Lecture Notes in Computer Science, vol 8758. Springer, Cham Bibtex from DBLP

2013

[ABM13] Ancona D., Barbieri M., Mascardi V. (2013) Constrained global types for dynamic checking of protocol conformance in multi-agent systems. In Proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC ‘13). ACM, New York, NY, USA, 1377-1379. DOI: https://doi.org/10.1145/2480362.2480620 Bibtex from DBLP

[ADM13] Ancona D., Drossopoulou S., Mascardi V. (2013) Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason. In: Baldoni M., Dennis L., Mascardi V., Vasconcelos W. (eds) Declarative Agent Languages and Technologies X. DALT 2012. Lecture Notes in Computer Science, vol 7784. Springer, Berlin, Heidelberg Bibtex from DBLP

[MBA13] Mascardi V., Briola D., Ancona D. (2013) On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol. In: Baldoni M., Baroglio C., Boella G., Micalizio R. (eds) AI*IA 2013: Advances in Artificial Intelligence. AI*IA 2013. Lecture Notes in Computer Science, vol 8249. Springer, Cham Bibtex from DBLP