Publications

This list is generated from our BibTeX file (295 entries). Names of group members are in bold. Each member’s full list is also on DBLP: see the People page.

2026

• Conference Accelerating Incident Response: A Hybrid Approach for Data Breach Reporting.
  Aurora Arrus, Maria Di Gisi, Sara Lilli, Marco Quadrini.
  Proceedings of the Joint National Conference on Cybersecurity (ITASEC & SERICS 2026), Cagliari, Italy, February 09-13, 2026, CEUR Workshop Proceedings 4198, 2026. Link BibTeX
• Conference AI for Movement Evaluation in Rehabilitation: Review, Challenges, and Future Directions.
  Erëza Abdullahu, Diletta Romana Cacciagrano, Leonardo Mostarda, Marco Piangerelli.
  Advanced Information Networking and Applications - Proceedings of the 40-th International Conference on Advanced Information Networking and Applications, AINA 2026, Wellington, New Zealand, April 8-10, 2026, Volume 7, Lecture Notes on Data Engineering and Communications Technologies 300, pp. 124–132, 2026. DOI BibTeX
• Conference DT-SFL: Adaptive Synthetic Data Generation in Digital Twin-Enabled Split Federated Learning for Imbalanced Data in IoT Security.
  Farhan Ullah, Leonardo Mostarda, Diletta Cacciagrano, Ghassen Ben Brahim, Khalid Mahmood, Yue Zhao.
  Advanced Information Networking and Applications - Proceedings of the 40-th International Conference on Advanced Information Networking and Applications, AINA 2026, Wellington, New Zealand, April 8-10, 2026, Volume 7, Lecture Notes on Data Engineering and Communications Technologies 300, pp. 99–110, 2026. DOI BibTeX
• Journal Empowering Community-Based Heritage through Gaming: A Developer's Perspective.
  Nicola Del Giudice.
  Commun. ACM, 69(6), pp. 86–94, 2026. DOI BibTeX
• Journal Federated Metalearning-Driven Self-Organizing Maps for Edge-Based Privacy-Preserving Intrusion Detection in Industrial IoT.
  Yue Zhao, Farhan Ullah, Khalid Mahmood, Abdul Ahad, Ziaur Rahman, Leonardo Mostarda, Diletta Cacciagrano.
  IEEE Internet Things J., 13(20), pp. 47005–47017, 2026. DOI BibTeX
• Conference Pythia: A Python Framework for the Simulation and Statistical Analysis of Collective Adaptive Systems.
  Michele Loreti, Marco Quadrini.
  Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems - 13th International Symposium, ISoLA 2026, Kos, Greece, October 24-28, 2026, Proceedings, Part I, Lecture Notes in Computer Science 17141, pp. 234–252, 2026. DOI BibTeX
• Conference Scalable Verification of Local and Global Properties of Collective Systems.
  Michele Loreti, Michela Quadrini, Aniqa Rehman.
  Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday, Lecture Notes in Computer Science 16065, pp. 154–174, 2026. DOI BibTeX
• Conference Simulation and Analysis of Indoor-Air-Quality Measuring Devices with YODA.
  Riccardo Petracci, Nicola Del Giudice, Diletta Romana Cacciagrano, Michele Loreti.
  Coordination Models and Languages - 28th IFIP WG 6.1 International Conference, COORDINATION 2026, Held as Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June 8-12, 2026, Proceedings, Lecture Notes in Computer Science 16590, pp. 241–262, 2026. DOI BibTeX
• Journal The μG language for programming graph neural networks.
  Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti.
  J. Log. Algebraic Methods Program., 151, pp. 101143, 2026. DOI BibTeX
• Conference Ubi-AAL: A Self-Adaptive Ubiquitous Computing System Problem Exemplar in Ambient Assisted Living.
  Javier Cámara, Ilias Gerostathopoulos, Livia Lestingi, Michele Loreti, Hiroyuki Nakagawa, Marjan Sirjani, Kenji Tei.
  Proceedings of the 21st International Conference on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2026, Rio de Janeiro, Brazil, April 13-14, 2026, pp. 270–274, 2026. DOI BibTeX

2025

• Conference A comparative study of speech-to-text for Italian.
  Michela Quadrini, Michele Loreti, Mattia Luciani, Ivano Corradetti, Carboni Matteo, Stefano Vagnoni.
  Joint Proceedings of the Thematic Workshops at Ital-IA 2025 colocated with the 5th National Conference on Artificial Intelligence, organized by CINI (Ital-IA 2025), Trieste, Italy, June 23-24, 2025, CEUR Workshop Proceedings 4121, 2025. Link BibTeX
• Conference A Deep Learning-Based RIDNet Approach for Enhanced Denoising of SAR Images.
  Muhammad Pervez Akhter, Farhan Ullah, Leonardo Mostarda, Diletta Cacciagrano.
  Advanced Information Networking and Applications - Proceedings of the 39th International Conference on Advanced Information Networking and Applications, AINA 2025, Barcelona, Spain, 9-11 April 2025, Volume 7, Lecture Notes on Data Engineering and Communications Technologies 251, pp. 268–279, 2025. DOI BibTeX
• Conference A Formal Approach to Identify Structural Patterns in RNA.
  Michele Loreti, Michela Quadrini, Matteo Scoccia, Luca Tesei.
  Computational Methods in Systems Biology - 23rd International Conference, CMSB 2025, Lyon, France, September 10-12, 2025, Proceedings, Lecture Notes in Computer Science 15959, pp. 195–217, 2025. DOI BibTeX
• Journal Advanced EEG Signal Processing and Deep Q-Learning for Accurate Student Attention Monitoring.
  Asad Ur Rehman, Noor Ul Eman, Farhan Ullah, Diletta Cacciagrano, Leonardo Mostarda, Nabeel Raza.
  IEEE Access, 13, pp. 47260–47270, 2025. DOI BibTeX
• Conference DemetrIA: An AI-Driven Process Mining Ecosystem for Efficient and Sustainable Manufacturing.
  Diletta Cacciagrano, Leonardo Vito.
  Advanced Information Networking and Applications - Proceedings of the 39th International Conference on Advanced Information Networking and Applications, AINA 2025, Barcelona, Spain, 9-11 April 2025, Volume 7, Lecture Notes on Data Engineering and Communications Technologies 251, pp. 258–267, 2025. DOI BibTeX
• Journal DT-Stark: a tool for evaluating the effectiveness of digital twins through feedback and perturbations.
  Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, Simone Tini.
  Int. J. Softw. Tools Technol. Transf., 27(5), pp. 443–464, 2025. DOI BibTeX
• Journal Explainability and Interpretability in Concept and Data Drift: A Systematic Literature Review.
  Daniele Pelosi, Diletta Cacciagrano, Marco Piangerelli.
  Algorithms, 18(7), pp. 443, 2025. DOI BibTeX
• Journal Federated Edge Intelligence for Enhanced Security in Consumer Intermittent Healthcare Devices Using Adversarial Examples.
  Farhan Ullah, Leonardo Mostarda, Diletta Cacciagrano, Mohammed J. F. Alenazi, Chien-Ming Chen, Saru Kumari.
  IEEE Trans. Consumer Electron., 71(2), pp. 4574–4585, 2025. DOI BibTeX
• Journal Metaheuristic-Driven Secure Task Optimization for Consumer Edge Devices.
  Farhan Ullah, Leonardo Mostarda, Diletta Cacciagrano, Chien-Ming Chen, Mohammed Amoon, Saru Kumari.
  IEEE Consumer Electron. Mag., 14(4), pp. 57–65, 2025. DOI BibTeX
• Conference Modular and Online Monitoring of Temporal Logic Specification with Integral and Filter.
  Simone Silvetti, Michele Loreti, Laura Nenzi.
  Runtime Verification - 25th International Conference, RV 2025, Graz, Austria, September 15-19, 2025, Proceedings, Lecture Notes in Computer Science 16087, pp. 120–139, 2025. DOI BibTeX
• Journal Q-P2FL: Quantum-Enhanced Federated Edge Intelligence for Privacy-Preserving Adversarial Attack Detection on Consumer Edge Devices.
  Farhan Ullah, Nazeeruddin Mohammad, Leonardo Mostarda, Diletta Cacciagrano, Yue Zhao.
  IEEE Trans. Consumer Electron., 71(2), pp. 4914–4924, 2025. DOI BibTeX
• Journal Semantic-Based Federated Defense for Distributed Malicious Attacks.
  Farhan Ullah, Leonardo Mostarda, Diletta Cacciagrano, Chien-Ming Chen, Saru Kumari.
  IEEE Consumer Electron. Mag., 14(2), pp. 49–58, 2025. DOI BibTeX
• Journal THE-TAFL: Transforming Healthcare Edge with Transformer-based Adaptive Federated Learning and Learning Rate Optimization.
  Farhan Ullah, Nazeeruddin Mohammad, Leonardo Mostarda, Diletta Cacciagrano, Shamsher Ullah, Yue Zhao.
  Internet Things, 32, pp. 101605, 2025. DOI BibTeX
• Conference Towards a Methodology for Using EEG Motor Imagery to Control Video Games.
  Francesco Moschella, Nicola Del Giudice, Michele Loreti, Hannes Högni Vilhjálmsson.
  IEEE Conference on Serious Games and Applications for Health, SeGAH 2025, Manchester, United Kingdom, August 6-8, 2025, pp. 1–8, 2025. DOI BibTeX

2024

• Conference Bio-Stark: A Tool for the Time-Point Robustness Analysis of Biological Systems.
  Valentina Castiglioni, Michele Loreti, Simone Tini.
  Computational Methods in Systems Biology - 22nd International Conference, CMSB 2024, Pisa, Italy, September 16-18, 2024, Proceedings, Lecture Notes in Computer Science 14971, pp. 62–70, 2024. DOI BibTeX
• Conference Blockchain and Financial Services a Study of the Applications of Distributed Ledger Technology (DLT) in Financial Services.
  Ramiz Salama, Diletta Cacciagrano, Fadi Al-Turjman.
  Advanced Information Networking and Applications - Proceedings of the 38th International Conference on Advanced Information Networking and Applications (AINA-2024), Kitakyushu, Japan, 17-19 April, 2024, Volume 6, Lecture Notes on Data Engineering and Communications Technologies 204, pp. 124–135, 2024. DOI BibTeX
• Conference Building call graph of WebAssembly programs via abstract semantics.
  Mattia Paccamiccio, Franco Raimondi, Michele Loreti.
  Proceedings of the 8th Italian Conference on Cyber Security (ITASEC 2024), Salerno, Italy, April 8-12, 2024, CEUR Workshop Proceedings 3731, 2024. Link BibTeX
• Conference Collaborative Intrusion Detection System for Intermittent 10 Vs Using Federated Learning and Deep Swarm Particle Optimization.
  Farhan Ullah, Gautam Srivastava, Leonardo Mostarda, Diletta Cacciagrano.
  11th IEEE International Conference on Data Science and Advanced Analytics, DSAA 2024, San Diego, CA, USA, October 6-10, 2024, pp. 1–8, 2024. DOI BibTeX
• Conference Comparison of Machine Learning approaches for Stress Detection from Wearable Sensors Data.
  Michela Quadrini, Denise Falcone, Gianluca Gerard.
  Proceedings of the Ital-IA Intelligenza Artificiale - Thematic Workshops co-located with the 4th CINI National Lab AIIS Conference on Artificial Intelligence (Ital-IA 2024), Naples, Italy, May 29-30, 2024, CEUR Workshop Proceedings 3762, pp. 384–389, 2024. Link BibTeX
• Conference Connecting AI and Blockchain to Improve Security of Financial Services.
  Ramiz Salama, Diletta Cacciagrano, Fadi M. Al-Turjman.
  Advances on P2P, Parallel, Grid, Cloud and Internet Computing - The 19th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC-2024), San Benedetto del Tronto, Italy, 13-15 November 2024, Lecture Notes on Data Engineering and Communications Technologies 232, pp. 67–77, 2024. DOI BibTeX
• Conference Distributing Energy Consumption in Multi-interface Networks: Dimension of Cycle Space.
  Alessandro Aloisio, Diletta Cacciagrano.
  Advances on P2P, Parallel, Grid, Cloud and Internet Computing - The 19th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC-2024), San Benedetto del Tronto, Italy, 13-15 November 2024, Lecture Notes on Data Engineering and Communications Technologies 232, pp. 209–220, 2024. DOI BibTeX
• Conference Encoding Methods Comparison for Stress Detection.
  Marco Serenelli, Michela Quadrini, Maria Óskarsdóttir, Michele Loreti.
  Proceedings of the 3rd AIxIA Workshop on Artificial Intelligence For Healthcare (HC@AIxIA 2024) co-located with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024), Bolzano, Italy, 27-28 November 2024, CEUR Workshop Proceedings 3880, pp. 311–320, 2024. Link BibTeX
• Journal Enhanced Network Intrusion Detection System for Internet of Things Security Using Multimodal Big Data Representation with Transfer Learning and Game Theory.
  Farhan Ullah, Ali Turab, Shamsher Ullah, Diletta Cacciagrano, Yue Zhao.
  Sensors, 24(13), pp. 4152, 2024. DOI BibTeX
• Conference Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations.
  Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, Simone Tini.
  Formal Methods for Industrial Critical Systems - 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings, Lecture Notes in Computer Science 14952, pp. 21–39, 2024. DOI BibTeX
• Conference Hacking Using Social Engineering Detection and Prevention Methods.
  Ramiz Salama, Leonardo Mostarda, Diletta Cacciagrano, Fadi Al-Turjman.
  Advances on Broad-Band Wireless Computing, Communication and Applications - The 19th International Conference on Broadband and Wireless Computing, Communication and Applications (BWCCA-2024), San Benedetto del Tronto, Italy, 13-15 November 2024, Lecture Notes on Data Engineering and Communications Technologies 231, pp. 94–103, 2024. DOI BibTeX
• Conference Homomorphic Cryptography Authentication Scheme to Eliminate Machine Tools Gaps in Industry 4.0.
  Shamsher Ullah, Jianqiang Li, Farhan Ullah, Diletta Cacciagrano, Muhammad Tanveer Hussain, Victor C. M. Leung.
  Advanced Information Networking and Applications - Proceedings of the 38th International Conference on Advanced Information Networking and Applications (AINA-2024), Kitakyushu, Japan, 17-19 April, 2024, Volume 6, Lecture Notes on Data Engineering and Communications Technologies 204, pp. 76–85, 2024. DOI BibTeX
• Conference Klaim in the Making.
  Lorenzo Bettini, Gian-Luigi Ferrari, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Emilio Tuosto.
  Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I, Lecture Notes in Computer Science 15219, pp. 27–49, 2024. DOI BibTeX
• Journal libmg: A Python library for programming graph neural networks in μG.
  Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti.
  Sci. Comput. Program., 238, pp. 103165, 2024. DOI BibTeX
• Conference Monitoring Local and Global Properties of Collective Adaptive Systems.
  Nicola Del Giudice, Michele Loreti, Michela Quadrini, Aniqa Rehman.
  Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II, Lecture Notes in Computer Science 15220, pp. 281–296, 2024. DOI BibTeX
• Conference P2FL: Privacy-Preserving Federated Learning Approach for Healthcare Informatics at the Edge.
  Farhan Ullah, Leonardo Mostarda, Diletta Cacciagrano, Hamad Naeem, Shamsher Ullah, Pradeep Chaudhary, Yue Zhao.
  Advances on P2P, Parallel, Grid, Cloud and Internet Computing - The 19th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC-2024), San Benedetto del Tronto, Italy, 13-15 November 2024, Lecture Notes on Data Engineering and Communications Technologies 232, pp. 47–58, 2024. DOI BibTeX
• Conference Real-Time Intrusion Detection via Machine Learning Approaches.
  Erik Murtaj, Michela Quadrini, Fausto Marcantoni, Michele Loreti, Hans Friedrich Witschel.
  Proceedings of the Ital-IA Intelligenza Artificiale - Thematic Workshops co-located with the 4th CINI National Lab AIIS Conference on Artificial Intelligence (Ital-IA 2024), Naples, Italy, May 29-30, 2024, CEUR Workshop Proceedings 3762, pp. 200–205, 2024. Link BibTeX
• Conference Reproducibility Report for the Paper: DRackSim: Simulating CXL-enabled Large-Scale Disaggregated Memory Systems.
  Michela Quadrini.
  Proceedings of the 38th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, SIGSIM-PADS 2024, Atlanta, GA, USA, June 24-26, 2024, pp. 144–145, 2024. DOI BibTeX
• Conference RobTL: Robustness Temporal Logic for CPS.
  Valentina Castiglioni, Michele Loreti, Simone Tini.
  35th International Conference on Concurrency Theory, CONCUR 2024, Calgary, Canada, September 9-13, 2024, LIPIcs 311, pp. 15:1–15:23, 2024. DOI BibTeX
• Journal Robustness for biochemical networks: Step-by-step approach.
  Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, Desiree Manicardi, Simone Tini.
  Theor. Comput. Sci., 1022, pp. 114934, 2024. DOI BibTeX
• Journal Sibilla: A tool for reasoning about collective systems.
  Nicola Del Giudice, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman, Michele Loreti.
  Sci. Comput. Program., 235, pp. 103095, 2024. DOI BibTeX
• Conference Sleep Apnea Detection using Mel-spectrograms Snoring and Convolutional Neural Networks.
  Michela Quadrini, Ereza Abdullah, Niccolò Francioni, Marco Quadrini, Matteo Scoccia, Michele Bellesi, Michele Loreti.
  IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2024, Lisbon, Portugal, December 3-6, 2024, pp. 6506–6512, 2024. DOI BibTeX
• Other STARK: A Software Tool for the Analysis of Robustness in the unKnown environment.
  Valentina Castiglioni, Michele Loreti, Simone Tini.
  DROPS Artifacts, 2024. DOI BibTeX
• Journal Stark: A tool for the analysis of CPSs robustness.
  Valentina Castiglioni, Michele Loreti, Simone Tini.
  Sci. Comput. Program., 236, pp. 103134, 2024. DOI BibTeX
• Journal Stress detection with encoding physiological signals and convolutional neural network.
  Michela Quadrini, Antonino Capuccio, Denise Falcone, Sebastian Daberdaku, Alessandro Blanda, Luca Bellanova, Gianluca Gerard.
  Mach. Learn., 113(8), pp. 5655–5683, 2024. DOI BibTeX
• Conference Synthesis Tool Suite for Large Stochastic Model.
  Lorenzo Matteucci, Michela Quadrini, Michele Loreti.
  Performance Evaluation Methodologies and Tools - 17th EAI International Conference, VALUETOOLS 2024, Milan, Italy, December 12-13, 2024, Proceedings, Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 663, pp. 369–390, 2024. DOI BibTeX
• Conference TARNAS, a TrAnslator for RNA Secondary Structure Formats.
  Michela Quadrini, Piero Hierro Canchari, Piermichele Rosati, Luca Tesei.
  Computational Intelligence Methods for Bioinformatics and Biostatistics - 19th International Meeting, CIBB 2024, Benevento, Italy, September 4-6, 2024, Revised Selected Papers, Lecture Notes in Computer Science 15276, pp. 307–316, 2024. DOI BibTeX
• Conference Visualisation of Collective Systems with Sequit and Sibilla.
  Nicola Del Giudice, Federico Maria Cruciani, Michele Loreti.
  Coordination Models and Languages - 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings, Lecture Notes in Computer Science 14676, pp. 277–294, 2024. DOI BibTeX

2023

• Journal A framework to measure the robustness of programs in the unpredictable environment.
  Valentina Castiglioni, Michele Loreti, Simone Tini.
  Log. Methods Comput. Sci., 19(3), 2023. DOI BibTeX
• Journal A Spatial Logic for Simplicial Models.
  Michele Loreti, Michela Quadrini.
  Log. Methods Comput. Sci., 19(3), 2023. DOI BibTeX
• Conference Attendance System via Internet of Things, Blockchain and Artificial Intelligence Technology: Literature Review.
  Sarumi Usman Abidemi, Auwalu Saleh Mubarak, Olukayode Akanni, Zubaida Sa'id Ameen, Diletta Cacciagrano, Fadi M. Al-Turjman.
  Advanced Information Networking and Applications - Proceedings of the 37th International Conference on Advanced Information Networking and Applications (AINA-2023), Juiz de Fora, Brazil, 29-31 March 2023, Volume 3, Lecture Notes in Networks and Systems 655, pp. 321–330, 2023. DOI BibTeX
• Conference DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems.
  Valentina Castiglioni, Michele Loreti, Simone Tini.
  Proceedings of the 24th Italian Conference on Theoretical Computer Science, Palermo, Italy, September 13-15, 2023, CEUR Workshop Proceedings 3587, pp. 15–30, 2023. Link BibTeX
• Conference Implementing a CTL Model Checker with μ G, a Language for Programming Graph Neural Networks.
  Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti.
  Formal Techniques for Distributed Objects, Components, and Systems - 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings, Lecture Notes in Computer Science 13910, pp. 37–54, 2023. DOI BibTeX
• Journal MoonLight: a lightweight tool for monitoring spatio-temporal properties.
  Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Simone Silvetti, Michele Loreti.
  Int. J. Softw. Tools Technol. Transf., 25(4), pp. 503–517, 2023. DOI BibTeX
• Conference SEC-GAME: A Minigame Collection for Cyber Security Awareness.
  Nicola Del Giudice, Fausto Marcantoni, Alessandro Marcelletti, Francesco Moschella.
  Entertainment Computing - ICEC 2023 - 22nd IFIP TC 14 International Conference, ICEC 2023, Bologna, Italy, November 15-17, 2023, Proceedings, Lecture Notes in Computer Science 14455, pp. 365–370, 2023. DOI BibTeX
• Conference Sensorless Predictive Maintenance: An Example on a 'Not 4.0' Coffee Machine Production Process.
  Diletta Cacciagrano, Flavio Corradini, Marco Piangerelli.
  Advanced Information Networking and Applications - Proceedings of the 37th International Conference on Advanced Information Networking and Applications (AINA-2023), Juiz de Fora, Brazil, 29-31 March 2023, Volume 3, Lecture Notes in Networks and Systems 655, pp. 311–320, 2023. DOI BibTeX
• Conference Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment.
  Valentina Castiglioni, Michele Loreti, Simone Tini.
  Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings, Lecture Notes in Computer Science 13908, pp. 115–132, 2023. DOI BibTeX

2022

• Journal A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems.
  Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti.
  Log. Methods Comput. Sci., 18(1), 2022. DOI BibTeX
• Conference A Logical Framework for Reasoning About Local and Global Properties of Collective Systems.
  Michele Loreti, Aniqa Rehman.
  Quantitative Evaluation of Systems - 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings, Lecture Notes in Computer Science 13479, pp. 133–149, 2022. DOI BibTeX
• Journal Automatic generation of pseudoknotted RNAs taxonomy.
  Michela Quadrini, Luca Tesei, Emanuela Merelli.
  BMC Bioinform., 23-S(6), pp. 575, 2022. DOI BibTeX
• Journal EvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical Systems.
  Valentina Castiglioni, Michele Loreti, Simone Tini.
  arXiv:2204.13357, 2022. DOI BibTeX
• Journal Hierarchical representation for PPI sites prediction.
  Michela Quadrini, Sebastian Daberdaku, Carlo Ferrari.
  BMC Bioinform., 23(1), pp. 96, 2022. DOI BibTeX
• Journal Light Communication for Controlling Industrial Robots.
  Fadi M. Al-Turjman, Diletta Cacciagrano, Leonardo Mostarda, Mattia Paccamiccio, Zaib Ullah.
  arXiv:2205.03745, 2022. DOI BibTeX
• Journal NARUN: noise adaptive routing for utility networks.
  Fabio Pagnotta, Leonardo Mostarda, Orhan Gemikonakli, Rosario Culmone, Diletta Romana Cacciagrano, Flavio Corradini.
  Int. J. Web Grid Serv., 18(4), pp. 384–410, 2022. DOI BibTeX
• Journal Off-chain trading for micro grid systems.
  Marco Marcozzi, Leonardo Mostarda, Diletta Cacciagrano.
  Frontiers Blockchain, 5, 2022. DOI BibTeX
• Conference Reasoning About Inter-procedural Security Requirements in IoT Applications.
  Mattia Paccamiccio, Leonardo Mostarda.
  Advanced Information Networking and Applications - Proceedings of the 36th International Conference on Advanced Information Networking and Applications (AINA-2022), Volume 3, Lecture Notes in Networks and Systems 451, pp. 245–254, 2022. DOI BibTeX
• Journal REPTILE: A Proactive Real-Time Deep Reinforcement Learning Self-adaptive Framework.
  Flavio Corradini, Michele Loreti, Marco Piangerelli, Giacomo Rocchetti.
  arXiv:2203.14686, 2022. DOI BibTeX
• Conference Robot Based Computing System: An Educational Experience.
  Diletta Cacciagrano, Rosario Culmone, Leonardo Mostarda, Alfredo Navarra, Emanuele Scala.
  Advanced Information Networking and Applications - Proceedings of the 36th International Conference on Advanced Information Networking and Applications (AINA-2022), Volume 3, Lecture Notes in Networks and Systems 451, pp. 265–274, 2022. DOI BibTeX
• Journal RobTL: A Temporal Logic for the Robustness of Cyber-Physical Systems.
  Valentina Castiglioni, Michele Loreti, Simone Tini.
  arXiv:2212.11158, 2022. DOI BibTeX
• Conference Sibilla: A Tool for Reasoning about Collective Systems.
  Nicola Del Giudice, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman, Michele Loreti.
  Coordination Models and Languages - 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings, Lecture Notes in Computer Science 13271, pp. 92–98, 2022. DOI BibTeX
• Conference Stress Detection from Wearable Sensor Data Using Gramian Angular Fields and CNN.
  Michela Quadrini, Sebastian Daberdaku, Alessandro Blanda, Antonino Capuccio, Luca Bellanova, Gianluca Gerard.
  Discovery Science - 25th International Conference, DS 2022, Montpellier, France, October 10-12, 2022, Proceedings, Lecture Notes in Computer Science 13601, pp. 173–183, 2022. DOI BibTeX
• Conference YODA: Yet anOther agent Description lAnguage.
  Nicola Del Giudice, Michele Loreti.
  IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2022, Virtual, CA, USA, September 19-23, 2022, pp. 82–87, 2022. DOI BibTeX

2021

• Journal A Spatial Logic for a Simplicial Complex Model.
  Michele Loreti, Michela Quadrini.
  arXiv:2105.08708, 2021. DOI BibTeX
• Conference About the Intricacy of Tasks.
  Leonard M. Eberding, Matteo Belenchia, Arash Sheikhlar, Kristinn R. Thórisson.
  Artificial General Intelligence - 14th International Conference, AGI 2021, Palo Alto, CA, USA, October 15-18, 2021, Proceedings, Lecture Notes in Computer Science 13154, pp. 65–74, 2021. DOI BibTeX
• Conference Blockchain and IoT Integration for Society 5.0.
  Diletta Cacciagrano, Flavio Corradini, Leonardo Mostarda.
  Society 5.0 - First International Conference, Society 5.0 2021, Virtual Event, June 22-24, 2021, Revised Selected Papers, Communications in Computer and Information Science 1477, pp. 1–12, 2021. DOI BibTeX
• Conference Elements of Task Theory.
  Matteo Belenchia, Kristinn R. Thórisson, Leonard M. Eberding, Arash Sheikhlar.
  Artificial General Intelligence - 14th International Conference, AGI 2021, Palo Alto, CA, USA, October 15-18, 2021, Proceedings, Lecture Notes in Computer Science 13154, pp. 19–29, 2021. DOI BibTeX
• Conference How Adaptive and Reliable is Your Program?.
  Valentina Castiglioni, Michele Loreti, Simone Tini.
  Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings, Lecture Notes in Computer Science 12719, pp. 60–79, 2021. DOI BibTeX
• Conference Off-Chain Execution of IoT Smart Contracts.
  Diletta Cacciagrano, Flavio Corradini, Gianmarco Mazzante, Leonardo Mostarda, Davide Sestili.
  Advanced Information Networking and Applications - Proceedings of the 35th International Conference on Advanced Information Networking and Applications (AINA-2021), Toronto, ON, Canada, 12-14 May, 2021, Volume 2, Lecture Notes in Networks and Systems 226, pp. 608–619, 2021. DOI BibTeX
• Conference Online monitoring of spatio-temporal properties for imprecise signals.
  Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi.
  MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021, pp. 78–88, 2021. DOI BibTeX
• Conference ProSPs: Protein Sites Prediction Based on Sequence Fragments.
  Michela Quadrini, Massimo Cavallin, Sebastian Daberdaku, Carlo Ferrari.
  Machine Learning, Optimization, and Data Science - 7th International Conference, LOD 2021, Grasmere, UK, October 4-8, 2021, Revised Selected Papers, Part I, Lecture Notes in Computer Science 13163, pp. 568–580, 2021. DOI BibTeX
• Journal Provably correct implementation of the AbC calculus.
  Rocco De Nicola, Tan Duong, Michele Loreti.
  Sci. Comput. Program., 202, pp. 102567, 2021. DOI BibTeX
• Journal Semantics of the probabilistic Lambda Calculus By Dirk Draheim.
  Michele Loreti.
  Formal Aspects Comput., 33(3), pp. 457–458, 2021. DOI BibTeX
• Journal Structural relation matching: an algorithm to identify structural patterns into RNAs and their interactions.
  Michela Quadrini.
  J. Integr. Bioinform., 18(2), pp. 111–126, 2021. DOI BibTeX

2020

• Journal Applying REECHD to non-uniformly distributed heterogeneous devices.
  Diletta Cacciagrano, Flavio Corradini, Matteo Micheletti, Leonardo Mostarda.
  Int. J. Grid Util. Comput., 11(5), pp. 629–645, 2020. DOI BibTeX
• Journal ASPRAlign: a tool for the alignment of RNA secondary structures with arbitrary pseudoknots.
  Michela Quadrini, Luca Tesei, Emanuela Merelli.
  Bioinform., 36(11), pp. 3578–3579, 2020. DOI BibTeX
• Journal Fluid approximation of broadcasting systems.
  Luca Bortolussi, Jane Hillston, Michele Loreti.
  Theor. Comput. Sci., 816, pp. 221–248, 2020. DOI BibTeX
• Conference Hierarchical Representation and Graph Convolutional Networks for the Prediction of Protein-Protein Interaction Sites.
  Michela Quadrini, Sebastian Daberdaku, Carlo Ferrari.
  Machine Learning, Optimization, and Data Science - 6th International Conference, LOD 2020, Siena, Italy, July 19-23, 2020, Revised Selected Papers, Part II, Lecture Notes in Computer Science 12566, pp. 409–420, 2020. DOI BibTeX
• Journal IRON: Reliable domain specific language for programming IoT devices.
  Diletta Romana Cacciagrano, Rosario Culmone.
  Internet Things, 9, pp. 100020, 2020. DOI BibTeX
• Conference Measuring Adaptability and Reliability of Large Scale Systems.
  Valentina Castiglioni, Michele Loreti, Simone Tini.
  Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II, Lecture Notes in Computer Science 12477, pp. 380–396, 2020. DOI BibTeX
• Conference Monitoring Spatio-Temporal Properties (Invited Tutorial).
  Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, Ennio Visconti.
  Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, Lecture Notes in Computer Science 12399, pp. 21–46, 2020. DOI BibTeX
• Conference MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties.
  Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti.
  Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, Lecture Notes in Computer Science 12399, pp. 417–428, 2020. DOI BibTeX
• Editorship Proceedings of the Fourth Italian Conference on Cyber Security, Ancona, Italy, February 4th to 7th, 2020.
  Michele Loreti, Luca Spalazzi (eds.).
  CEUR Workshop Proceedings 2597, CEUR-WS.org, 2020. Link BibTeX
• Journal Programming interactions in collective adaptive systems by relying on attribute-based communication.
  Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti.
  Sci. Comput. Program., 192, pp. 102428, 2020. DOI BibTeX
• Journal Revised anonymous authentication protocol for adaptive client-server infrastructure.
  Khalid Mahmood, Aniqa Rehman, Pradeep Chaudhary, Xiong Li, Fan Wu, Saru Kumari.
  Int. J. Commun. Syst., 33(4), 2020. DOI BibTeX
• Conference Searching RNA Substructures with Arbitrary Pseudoknots.
  Michela Quadrini.
  Practical Applications of Computational Biology & Bioinformatics, 14th International Conference (PACBB 2020), L'Aquila, Italy, 17-19 June, 2020, Advances in Intelligent Systems and Computing 1240, pp. 123–133, 2020. DOI BibTeX
• Journal The metric linear-time branching-time spectrum on nondeterministic probabilistic processes.
  Valentina Castiglioni, Michele Loreti, Simone Tini.
  Theor. Comput. Sci., 813, pp. 20–69, 2020. DOI BibTeX

2019

• Journal A calculus for collective-adaptive systems and its behavioural theory.
  Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti.
  Inf. Comput., 268, 2019. DOI BibTeX
• Conference A Persistent Entropy Automaton for the Dow Jones Stock Market.
  Marco Piangerelli, Luca Tesei, Emanuela Merelli.
  Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers, Lecture Notes in Computer Science 11761, pp. 37–42, 2019. DOI BibTeX
• Conference ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication.
  Rocco De Nicola, Tan Duong, Michele Loreti.
  Coordination Models and Languages - 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings, Lecture Notes in Computer Science 11533, pp. 111–128, 2019. DOI BibTeX
• Journal An algebraic language for RNA pseudoknots comparison.
  Michela Quadrini, Luca Tesei, Emanuela Merelli.
  BMC Bioinform., 20-S(4), pp. 161:1–161:18, 2019. DOI BibTeX
• Journal Analysis of Spatio-temporal Properties of Stochastic Systems Using TSTL.
  Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Hillston, Glenn Marion.
  ACM Trans. Model. Comput. Simul., 29(4), pp. 20:1–20:24, 2019. DOI BibTeX
• Conference Blockchain and IoT Based Formal Model of Smart Waste Management System Using TLA+.
  Saba Latif, Aniqa Rehman, Nazir Ahmad Zafar.
  International Conference on Frontiers of Information Technology, FIT 2019, Islamabad, Pakistan, December 16-18, 2019, pp. 304–309, 2019. DOI BibTeX
• Journal Computational modelling and data-driven techniques for systems analysis.
  Stan Matwin, Luca Tesei, Roberto Trasarti.
  J. Intell. Inf. Syst., 52(3), pp. 473–475, 2019. DOI BibTeX
• Conference Inferring analyzable models from trajectories of spatially-distributed internet of things.
  Christos Tsigkanos, Laura Nenzi, Michele Loreti, Martin Garriga, Schahram Dustdar, Carlo Ghezzi.
  Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2019, Montreal, QC, Canada, May 25-31, 2019, pp. 100–106, 2019. DOI BibTeX
• Conference Label Core for Understanding RNA Structure.
  Michela Quadrini, Emanuela Merelli, Riccardo Piergallini.
  Computational Intelligence Methods for Bioinformatics and Biostatistics - 16th International Meeting, CIBB 2019, Bergamo, Italy, September 4-6, 2019, Revised Selected Papers, Lecture Notes in Computer Science 12313, pp. 171–179, 2019. DOI BibTeX
• Conference Loop Grammars to Identify RNA Structural Patterns.
  Michela Quadrini, Emanuela Merelli, Riccardo Piergallini.
  Proceedings of the 12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019) - Volume 3: BIOINFORMATICS, Prague, Czech Republic, February 22-24, 2019, pp. 302–309, 2019. DOI BibTeX
• Conference Modelling and analysing resilient cyber-physical systems.
  Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel A. Moreno, Hausi A. Müller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao.
  Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2019, Montreal, QC, Canada, May 25-31, 2019, pp. 70–76, 2019. DOI BibTeX
• Editorship Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday.
  Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese (eds.).
  Lecture Notes in Computer Science 11665, Springer, 2019. DOI BibTeX
• Journal Replicated Computations Results (RCR) Report for "Statistical Abstraction for Multi-scale Spatio-temporal Systems".
  Michele Loreti.
  ACM Trans. Model. Comput. Simul., 29(4), pp. 23:1–23:2, 2019. DOI BibTeX
• Journal Topological Run-time Monitoring for Complex Systems.
  Matteo Rucco, Luca Tesei, Emanuela Merelli.
  arXiv:1908.03489, 2019. DOI BibTeX

2018

• Conference A Distributed Coordination Infrastructure for Attribute-Based Interaction.
  Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti.
  Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings, Lecture Notes in Computer Science 10854, pp. 1–20, 2018. DOI BibTeX
• Journal An integral equation method for the numerical solution of the Burgers equation.
  Nadaniela Egidi, Pierluigi Maponi, Michela Quadrini.
  Comput. Math. Appl., 76(1), pp. 35–44, 2018. DOI BibTeX
• Journal Analysis and verification of ECA rules in intelligent environments.
  Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi, Claudia Vannucchi.
  J. Ambient Intell. Smart Environ., 10(3), pp. 261–273, 2018. DOI BibTeX
• Journal Big Data: Business, Technology, Education, and Science: Big Data (Ubiquity symposium).
  Jeffrey H. Johnson, Luca Tesei, Marco Piangerelli, Emanuela Merelli, Riccardo Paci, Nenad Stojanovic, Paulo Leitão, José Barbosa, Marco Amador.
  Ubiquity, 2018(July), pp. 2:1–2:13, 2018. DOI BibTeX
• Editorship Coordination Models and Languages - 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings.
  Giovanna Di Marzo Serugendo, Michele Loreti (eds.).
  Lecture Notes in Computer Science 10852, Springer, 2018. DOI BibTeX
• Conference Energy Saving and Collision-Free Motion Planning for Oblivious Robots.
  Alfredo Navarra, Diletta Cacciagrano.
  32nd International Conference on Advanced Information Networking and Applications Workshops, AINA 2018 workshops, Krakow, Poland, May 16-18, 2018, pp. 591–596, 2018. DOI BibTeX
• Conference Formal Semantics of an IoT-Specific Language.
  Diletta Romana Cacciagrano, Rosario Culmone.
  32nd International Conference on Advanced Information Networking and Applications Workshops, AINA 2018 workshops, Krakow, Poland, May 16-18, 2018, pp. 579–584, 2018. DOI BibTeX
• Journal Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST).
  Maurice H. ter Beek, Michele Loreti.
  ACM Trans. Model. Comput. Simul., 28(2), pp. 8:1–8:4, 2018. DOI BibTeX
• Conference Loop-loop Interaction Metrics on RNA Secondary Structures with Pseudoknots.
  Michela Quadrini, Emanuela Merelli.
  Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2018) - Volume 3: BIOINFORMATICS, Funchal, Madeira, Portugal, January 19-21, 2018, pp. 29–37, 2018. DOI BibTeX
• Journal Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL.
  Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink.
  Log. Methods Comput. Sci., 14(4), 2018. DOI BibTeX
• Journal Replicated Computations Results (RCR) Report for "Mesoscopic Modelling of Pedestrian Movement using Carma and its Tools".
  Michele Loreti.
  ACM Trans. Model. Comput. Simul., 28(2), pp. 12:1–12:3, 2018. DOI BibTeX
• Journal Spatio-temporal model checking of vehicular movement in public transport systems.
  Vincenzo Ciancia, Stephen Gilmore, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink.
  Int. J. Softw. Tools Technol. Transf., 20(3), pp. 289–311, 2018. DOI BibTeX
• Conference Statistical Analysis of CARMA Models: an Advanced Tutorial.
  Vashti Galpin, Anastasis Georgoulas, Michele Loreti, Andrea Vandin.
  2018 Winter Simulation Conference, WSC 2018, Gothenburg, Sweden, December 9-12, 2018, pp. 395–409, 2018. DOI BibTeX

2017

• Journal A Behavioural Theory for Interactions in Collective-Adaptive Systems.
  Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti.
  arXiv:1711.09762, 2017. DOI BibTeX
• Journal An algebraic representation for tree alignment of RNA pseudoknotted structures.
  Michela Quadrini, Luca Tesei, Emanuela Merelli.
  PeerJ Prepr., 5, pp. e3327, 2017. DOI BibTeX
• Journal Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields.
  Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari.
  Log. Methods Comput. Sci., 13(1), 2017. DOI BibTeX
• Conference Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic.
  Ludovica Luisa Vissat, Jane Hillston, Michele Loreti, Laura Nenzi.
  Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2017, Venice, Italy, December 05-07, 2017, pp. 225–226, 2017. DOI BibTeX
• Conference FlyFast: A Mean Field Model Checker.
  Diego Latella, Michele Loreti, Mieke Massink.
  Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II, Lecture Notes in Computer Science 10206, pp. 303–309, 2017. DOI BibTeX
• Conference FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation.
  Diego Latella, Michele Loreti, Mieke Massink.
  ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, Lecture Notes in Computer Science 10500, pp. 254–275, 2017. DOI BibTeX
• Conference Monitoring mobile and spatially distributed cyber-physical systems.
  Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi.
  Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017, pp. 146–155, 2017. DOI BibTeX
• Journal Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication.
  Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti.
  arXiv:1711.06092, 2017. DOI BibTeX
• Journal Symbolic verification of event-condition-action rules in intelligent environments.
  Claudia Vannucchi, Michelangelo Diamanti, Gianmarco Mazzante, Diletta Cacciagrano, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi.
  J. Reliab. Intell. Environ., 3(2), pp. 117–130, 2017. DOI BibTeX
• Conference Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems.
  Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Hillston, Glenn Marion.
  Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, Lecture Notes in Computer Science 10503, pp. 317–332, 2017. DOI BibTeX
• Conference Topological Classification of RNA Structures via Intersection Graph.
  Michela Quadrini, Rosario Culmone, Emanuela Merelli.
  Theory and Practice of Natural Computing - 6th International Conference, TPNC 2017, Prague, Czech Republic, December 18-20, 2017, Proceedings, Lecture Notes in Computer Science 10687, pp. 203–215, 2017. DOI BibTeX
• Journal Uniformity in Multiscale Models: From Complex Automata to BioShape.
  Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei.
  J. Cell. Autom., 12(5), pp. 333–359, 2017. Link BibTeX
• Conference vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments.
  Claudia Vannucchi, Michelangelo Diamanti, Gianmarco Mazzante, Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi.
  2017 International Conference on Intelligent Environments, IE 2017, Seoul, Korea (South), August 21-25, 2017, pp. 92–99, 2017. DOI BibTeX

2016

• Conference A Comparison of HEED Based Clustering Algorithms - Introducing ER-HEED.
  Zaib Ullah, Leonardo Mostarda, Roberto Gagliardi, Diletta Cacciagrano, Flavio Corradini.
  30th IEEE International Conference on Advanced Information Networking and Applications, AINA 2016, Crans-Montana, Switzerland, 23-25 March, 2016, pp. 339–345, 2016. DOI BibTeX
• Conference A Formal Model for Event-Condition-Action Rules in Intelligent Environments.
  Claudia Vannucchi, Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Mostarda, Franco Raimondi, Luca Tesei.
  Intelligent Environments 2016 - Workshop Proceedings of the 12th International Conference on Intelligent Environments, IE 2016, London, United Kingdom, September 14-16, 2016, Ambient Intelligence and Smart Environments 21, pp. 56–65, 2016. DOI BibTeX
• Conference A Graph Grammar for Modelling RNA Folding.
  Adane Letta Mamuye, Emanuela Merelli, Luca Tesei.
  Proceedings Second Graphs as Models Workshop, GaM@ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, EPTCS 231, pp. 31–41, 2016. DOI BibTeX
• Journal Adaptability checking in complex systems.
  Emanuela Merelli, Nicola Paoletti, Luca Tesei.
  Sci. Comput. Program., 115-116, pp. 23–46, 2016. DOI BibTeX
• Conference CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems.
  Jane Hillston, Michele Loreti.
  Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, Lecture Notes in Computer Science 9826, pp. 167–171, 2016. DOI BibTeX
• Journal Context-aware wireless mobile autonomic computing and communications: research trends and emerging applications.
  Francesco Chiti, Romano Fantacci, Michele Loreti, Rosario Pugliese.
  IEEE Wirel. Commun., 23(2), pp. 86–92, 2016. DOI BibTeX
• Conference jSSTL - A Tool to Monitor Spatio-Temporal Properties.
  Laura Nenzi, Luca Bortolussi, Michele Loreti.
  10th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2016, Taormina, Italy, 25th-28th Oct 2016, 2016. DOI BibTeX
• Journal Model Checking Spatial Logics for Closure Spaces.
  Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink.
  Log. Methods Comput. Sci., 12(4), 2016. DOI BibTeX
• Conference Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools.
  Michele Loreti, Jane Hillston.
  Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures, Lecture Notes in Computer Science 9700, pp. 83–119, 2016. DOI BibTeX
• Conference On the Power of Attribute-Based Communication.
  Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti.
  Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings, Lecture Notes in Computer Science 9688, pp. 1–18, 2016. DOI BibTeX
• Editorship Proceedings of the 16th Italian Conference on Theoretical Computer Science, ICTCS 2015, Firenze, Italy, September 9-11, 2015.
  Pierluigi Crescenzi, Michele Loreti (eds.).
  Electronic Notes in Theoretical Computer Science 322, Elsevier, 2016. Link BibTeX
• Editorship Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016.
  Maurice H. ter Beek, Michele Loreti (eds.).
  EPTCS 217, 2016. DOI BibTeX
• Conference Programming of CAS Systems by Relying on Attribute-Based Communication.
  Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti.
  Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, Lecture Notes in Computer Science 9952, pp. 539–553, 2016. DOI BibTeX
• Conference Spatial Logic and Spatial Model Checking for Closure Spaces.
  Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink.
  Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures, Lecture Notes in Computer Science 9700, pp. 156–201, 2016. DOI BibTeX
• Conference Survey of TOPDRIM Applications of Topological Data Analysis.
  Emanuela Merelli, Matteo Rucco, Luca Tesei, Marco Piangerelli, Adane Letta Mamuye, Michela Quadrini.
  Proceedings of the 2nd International Workshop on Knowledge Discovery on the WEB, KDWeb 2016, Cagliari, Italy, September 8-10, 2016, CEUR Workshop Proceedings 1748, 2016. Link BibTeX
• Journal Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions.
  Marco Bernardo, Flavio Corradini, Luca Tesei.
  Theor. Comput. Sci., 629, pp. 2–39, 2016. DOI BibTeX
• Conference Towards a Uniform Ontology-Driven Approach for Modeling, Checking and Executing WSANs.
  Claudia Vannucchi, Diletta Romana Cacciagrano, Rosario Culmone, Leonardo Mostarda.
  30th International Conference on Advanced Information Networking and Applications Workshops, AINA 2016 Workshops, Crans-Montana, Switzerland, March 23-25, 2016, pp. 319–324, 2016. DOI BibTeX
• Editorship Trustworthy Global Computing - 10th International Symposium, TGC 2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers.
  Pierre Ganty, Michele Loreti (eds.).
  Lecture Notes in Computer Science 9533, Springer, 2016. DOI BibTeX

2015

• Conference A calculus for attribute-based communication.
  Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi, Roberto Vigo.
  Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015, pp. 1840–1845, 2015. DOI BibTeX
• Conference A Constrained ECA Language Supporting Formal Verification of WSNs.
  Flavio Corradini, Rosario Culmone, Leonardo Mostarda, Luca Tesei, Franco Raimondi.
  29th IEEE International Conference on Advanced Information Networking and Applications Workshops, AINA 2015 Workshops, Gwangju, South Korea, March 24-27, 2015, pp. 187–192, 2015. DOI BibTeX
• Conference A Fixpoint-Based Calculus for Graph-Shaped Computational Fields.
  Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari.
  Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings, Lecture Notes in Computer Science 9037, pp. 101–116, 2015. DOI BibTeX
• Conference An Experimental Spatio-Temporal Model Checker.
  Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink.
  Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers, Lecture Notes in Computer Science 9509, pp. 297–311, 2015. DOI BibTeX
• Conference CARMA: Collective Adaptive Resource-sharing Markovian Agents.
  Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink.
  Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2015, London, UK, 11th-12th April 2015, EPTCS 194, pp. 16–31, 2015. DOI BibTeX
• Journal CaSPiS: a calculus of sessions, pipelines and services.
  Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti.
  Math. Struct. Comput. Sci., 25(3), pp. 666–709, 2015. DOI BibTeX
• Journal Editorial for the Special Issue on Open Problems in Concurrency Theory.
  Marco Bernardo, Daniel Gebler, Michele Loreti.
  J. Log. Algebraic Methods Program., 84(6), pp. 731, 2015. DOI BibTeX
• Conference Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems.
  Diego Latella, Michele Loreti, Mieke Massink.
  Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings, Lecture Notes in Computer Science 9037, pp. 19–34, 2015. DOI BibTeX
• Conference Monitoring and visualizing adaptation of autonomic systems at runtime.
  Dhaminda B. Abeywickrama, Nikola B. Serbedzija, Michele Loreti.
  Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015, pp. 1857–1860, 2015. DOI BibTeX
• Conference On StocS: A Stochastic Extension of SCEL.
  Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni.
  Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, Lecture Notes in Computer Science 8950, pp. 619–640, 2015. DOI BibTeX
• Conference On-the-fly Fluid Model Checking via Discrete Time Population Models.
  Diego Latella, Michele Loreti, Mieke Massink.
  Computer Performance Engineering - 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings, Lecture Notes in Computer Science 9272, pp. 193–207, 2015. DOI BibTeX
• Journal On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination.
  Diego Latella, Michele Loreti, Mieke Massink.
  Sci. Comput. Program., 110, pp. 23–50, 2015. DOI BibTeX
• Conference Preface.
  Pierluigi Crescenzi, Michele Loreti.
  Proceedings of the 16th Italian Conference on Theoretical Computer Science, ICTCS 2015, Firenze, Italy, September 9-11, 2015, Electronic Notes in Theoretical Computer Science 322, pp. 1–2, 2015. DOI BibTeX
• Conference Probabilistic Modelling and Analysis of a Fish Population.
  Chiara Cini, Luca Tesei, Giuseppe Scarcella, Cesar Augusto Nieto Coria, Emanuela Merelli.
  Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers, Lecture Notes in Computer Science 9509, pp. 192–197, 2015. DOI BibTeX
• Conference Qualitative and Quantitative Monitoring of Spatio-Temporal Properties.
  Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink.
  Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, Lecture Notes in Computer Science 9333, pp. 21–37, 2015. DOI BibTeX
• Journal Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes.
  Marco Bernardo, Rocco De Nicola, Michele Loreti.
  Acta Informatica, 52(1), pp. 61–106, 2015. DOI BibTeX
• Conference Semantic Business Process Representation to Enhance the Degree of BPM Mechanization - An Ontology.
  Diego Fanesi, Diletta Romana Cacciagrano, Knut Hinkelmann.
  International Conference on Enterprise Systems, ES 2015, Basel, Switzerland, October 14-15, 2015, pp. 21–32, 2015. DOI BibTeX
• Chapter The SCEL Language: Design, Implementation, Verification.
  Rocco De Nicola, Diego Latella, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin.
  Software Engineering for Collective Autonomic Systems - The ASCENS Approach, Lecture Notes in Computer Science 8998, pp. 3–71, 2015. DOI BibTeX
• Chapter Tools for Ensemble Design and Runtime.
  Dhaminda B. Abeywickrama, Jacques Combaz, Vojtech Horký, Jaroslav Keznikl, Jan Kofron, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Philip Mayer, Giacoma Valentina Monreale, Ugo Montanari, Carlo Pinciroli, Petr Tuma, Andrea Vandin, Emil Vassev.
  Software Engineering for Collective Autonomic Systems - The ASCENS Approach, Lecture Notes in Computer Science 8998, pp. 429–448, 2015. DOI BibTeX
• Journal Topological Characterization of Complex Systems: Using Persistent Entropy.
  Emanuela Merelli, Matteo Rucco, Peter M. A. Sloot, Luca Tesei.
  Entropy, 17(10), pp. 6872–6892, 2015. DOI BibTeX
• Journal Topological characterization of S[B] systems: From data to models of complexity.
  Emanuela Merelli, Matteo Rucco, Peter M. A. Sloot, Luca Tesei.
  arXiv:1505.05768, 2015. DOI BibTeX
• Conference Towards a Shape Language for Interpreting RNA Folding.
  Adane Letta Mamuye, Emanuela Merelli, Luca Tesei.
  BICT 2015, Proceedings of the 9th EAI International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS), New York City, United States, December 3-5, 2015, pp. 185–188, 2015. Link BibTeX

2014

• Journal A Formal Approach to Autonomic Systems Programming: The SCEL Language.
  Rocco De Nicola, Michele Loreti, Rosario Pugliese, Francesco Tiezzi.
  ACM Trans. Auton. Adapt. Syst., 9(2), pp. 7:1–7:29, 2014. DOI BibTeX
• Conference AAL domain ontology for event-based human activity recognition.
  Rosario Culmone, Marco Falcioni, Paolo Giuliodori, Emanuela Merelli, Alessandro Orrù, Michela Quadrini, Paolo Ciampolini, Ferdinando Grossi, Guido Matrella.
  10th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, MESA 2014, Senigallia, Italy, September 10-12, 2014, pp. 1–6, 2014. DOI BibTeX
• Journal Adaptability Checking in Multi-Level Complex Systems.
  Emanuela Merelli, Nicola Paoletti, Luca Tesei.
  arXiv:1404.0698, 2014. DOI BibTeX
• Conference Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data.
  Vincenzo Ciancia, Stephen Gilmore, Diego Latella, Michele Loreti, Mieke Massink.
  Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2014, London, United Kingdom, September 8-12, 2014, pp. 32–37, 2014. DOI BibTeX
• Conference Interoperability issues among smart home technological frameworks.
  Lorena Rossi, Alberto Belli, Adelmo De Santis, Claudia Diamantini, Emanuele Frontoni, Ennio Gambi, Lorenzo Palma, Luca Pernini, Paola Pierleoni, Domenico Potena, Laura Raffaeli, Susanna Spinsante, Primo Zingaretti, Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Francesco De Angelis, Emanuela Merelli, Barbara Re.
  10th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, MESA 2014, Senigallia, Italy, September 10-12, 2014, pp. 1–7, 2014. DOI BibTeX
• Conference On Programming and Policing Autonomic Computing Systems.
  Michele Loreti, Andrea Margheri, Rosario Pugliese, Francesco Tiezzi.
  Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I, Lecture Notes in Computer Science 8802, pp. 164–183, 2014. DOI BibTeX
• Conference On-the-fly Probabilistic Model Checking.
  Diego Latella, Michele Loreti, Mieke Massink.
  Proceedings 7th Interaction and Concurrency Experience, ICE 2014, Berlin, Germany, 6th June 2014, EPTCS 166, pp. 45–59, 2014. DOI BibTeX
• Conference Programming and Verifying Component Ensembles.
  Rocco De Nicola, Alberto Lluch-Lafuente, Michele Loreti, Andrea Morichetta, Rosario Pugliese, Valerio Senni, Francesco Tiezzi.
  From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings, Lecture Notes in Computer Science 8415, pp. 69–83, 2014. DOI BibTeX
• Journal Relating strong behavioral equivalences for processes with nondeterminism and probabilities.
  Marco Bernardo, Rocco De Nicola, Michele Loreti.
  Theor. Comput. Sci., 546, pp. 63–92, 2014. DOI BibTeX
• Journal Report on OPCT 2014.
  Marco Bernardo, Daniel Gebler, Michele Loreti.
  Bull. EATCS, 114, 2014. Link BibTeX
• Journal Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes.
  Marco Bernardo, Rocco De Nicola, Michele Loreti.
  Log. Methods Comput. Sci., 10(1), 2014. DOI BibTeX
• Conference Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea.
  Cesar Augusto Nieto Coria, Luca Tesei, Giuseppe Scarcella, Tommaso Russo, Emanuela Merelli.
  Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers, Lecture Notes in Computer Science 8938, pp. 259–275, 2014. DOI BibTeX
• Conference Specification and Analysis of Open-Ended Systems with CARMA.
  Jane Hillston, Michele Loreti.
  Agent Environments for Multi-Agent Systems IV - 4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014, Revised Selected and Invited Papers, Lecture Notes in Computer Science 9068, pp. 95–116, 2014. DOI BibTeX
• Conference Specifying and Verifying Properties of Space.
  Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink.
  Theoretical Computer Science - 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings, Lecture Notes in Computer Science 8705, pp. 222–235, 2014. DOI BibTeX
• Journal Specifying and Verifying Properties of Space - Extended Version.
  Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink.
  arXiv:1406.6393, 2014. DOI BibTeX
• Conference Stochastically timed predicate-based communication primitives for autonomic computing.
  Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni.
  Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, Grenoble, France, 12-13 April 2014, EPTCS 154, pp. 1–16, 2014. DOI BibTeX
• Conference Timed process calculi: from durationless actions to durational ones.
  Marco Bernardo, Flavio Corradini, Luca Tesei.
  Proceedings of the 15th Italian Conference on Theoretical Computer Science, Perugia, Italy, September 17-19, 2014, CEUR Workshop Proceedings 1231, pp. 21–32, 2014. Link BibTeX

2013

• Journal A Companion of "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities".
  Marco Bernardo, Rocco De Nicola, Michele Loreti.
  arXiv:1305.0538, 2013. DOI BibTeX
• Journal A uniform definition of stochastic process calculi.
  Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink.
  ACM Comput. Surv., 46(1), pp. 5:1–5:35, 2013. DOI BibTeX
• Journal A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences.
  Marco Bernardo, Rocco De Nicola, Michele Loreti.
  Inf. Comput., 225, pp. 29–82, 2013. DOI BibTeX
• Conference DISPAS: An Agent-Based Tool for the Management of Fishing Effort.
  Pierluigi Penna, Nicola Paoletti, Giuseppe Scarcella, Luca Tesei, Mauro Marini, Emanuela Merelli.
  Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, Lecture Notes in Computer Science 8368, pp. 362–367, 2013. DOI BibTeX
• Conference Encoding Timed Models as Uniform Labeled Transition Systems.
  Marco Bernardo, Luca Tesei.
  Computer Performance Engineering - 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings, Lecture Notes in Computer Science 8168, pp. 104–118, 2013. DOI BibTeX
• Conference Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations.
  Marco Bernardo, Rocco De Nicola, Michele Loreti.
  Trustworthy Global Computing - 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers, Lecture Notes in Computer Science 8358, pp. 315–330, 2013. DOI BibTeX
• Conference On-the-fly Fast Mean-Field Model-Checking.
  Diego Latella, Michele Loreti, Mieke Massink.
  Trustworthy Global Computing - 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers, Lecture Notes in Computer Science 8358, pp. 297–314, 2013. DOI BibTeX
• Journal On-the-fly Fast Mean-Field Model-Checking: Extended Version.
  Diego Latella, Michele Loreti, Mieke Massink.
  arXiv:1312.3416, 2013. DOI BibTeX
• Conference The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes.
  Marco Bernardo, Rocco De Nicola, Michele Loreti.
  Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, Rome, Italy, March 23-24, 2013, EPTCS 117, pp. 81–96, 2013. DOI BibTeX

2012

• Conference A Geometrical Refinement of Shape Calculus Enabling Direct Simulation.
  Federico Buti, Flavio Corradini, Emanuela Merelli, Luca Tesei.
  SIMULTECH 2012 - Proceedings of the 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Rome, Italy, 28 - 31 July, 2012, pp. 218–227, 2012. BibTeX
• Conference A multi-level model for self-adaptive systems.
  Emanuela Merelli, Nicola Paoletti, Luca Tesei.
  Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, FOCLASA 2012, Newcastle, U.K., September 8, 2012, EPTCS 91, pp. 112–126, 2012. DOI BibTeX
• Conference Modeling adaptation with a tuple-based coordination language.
  Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi.
  Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012, pp. 1522–1527, 2012. DOI BibTeX
• Conference Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes.
  Marco Bernardo, Rocco De Nicola, Michele Loreti.
  Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings, Lecture Notes in Computer Science 7213, pp. 195–209, 2012. DOI BibTeX
• Conference Towards a Formal Verification Methodology for Collective Robotic Systems.
  Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Carlo Pinciroli, Manuele Brambilla, Mauro Birattari, Marco Dorigo.
  Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings, Lecture Notes in Computer Science 7635, pp. 54–70, 2012. DOI BibTeX
• Journal UBioLab: a web-LABoratory for Ubiquitous in-silico experiments.
  Ezio Bartocci, Diletta Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Leonardo Vito.
  J. Integr. Bioinform., 9(1), 2012. DOI BibTeX

2011

• Conference A Language-Based Approach to Autonomic Computing.
  Rocco De Nicola, Gian-Luigi Ferrari, Michele Loreti, Rosario Pugliese.
  Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers, Lecture Notes in Computer Science 7542, pp. 25–48, 2011. DOI BibTeX
• Journal A Testing Framework for P Systems.
  Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei.
  arXiv:1108.3424, 2011. DOI BibTeX
• Conference A Uniform Multiscale Meta-model of BioShape.
  Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei.
  The Second International Workshop on Interactions between Computer Science and Biology, CS2Bio@DisCoTec 2011, Reykjavik, Iceland, June 9, 2011, Electronic Notes in Theoretical Computer Science 277, pp. 15–27, 2011. DOI BibTeX
• Journal ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People.
  Flavio Corradini, Emanuela Merelli, Diletta Romana Cacciagrano, Rosario Culmone, Luca Tesei, Leonardo Vito.
  ERCIM News, 2011(87), 2011. Link BibTeX
• Chapter Analysing Robot Movement Using the Sensoria Methods.
  Maurice H. ter Beek, Alessandro Lapadula, Michele Loreti, Claudio Palasciano.
  Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, Lecture Notes in Computer Science 6582, pp. 678–697, 2011. DOI BibTeX
• Conference BIOSHAPEtextscBioShape: End-User Development for Simulating Biological Systems.
  Federico Buti, Diletta Cacciagrano, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei.
  End-User Development - Third International Symposium, IS-EUD 2011, Torre Canne (BR), Italy, June 7-10, 2011. Proceedings, Lecture Notes in Computer Science 6654, pp. 379–382, 2011. DOI BibTeX
• Conference Context Aware Specification and Verification of Distributed Systems.
  Liliana D'Errico, Michele Loreti.
  Trustworthy Global Computing - 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers, Lecture Notes in Computer Science 7173, pp. 142–159, 2011. DOI BibTeX
• Journal Multiscale Modelling: A Mobile Membrane Approach.
  Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei.
  arXiv:1108.3434, 2011. DOI BibTeX
• Chapter Quantitative Analysis of Services.
  Igor Cappello, Allan Clark, Stephen Gilmore, Diego Latella, Michele Loreti, Paola Quaglia, Stefano Schivo.
  Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, Lecture Notes in Computer Science 6582, pp. 522–540, 2011. DOI BibTeX
• Chapter SoSL: A Service-Oriented Stochastic Logic.
  Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink.
  Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, Lecture Notes in Computer Science 6582, pp. 447–466, 2011. DOI BibTeX
• Journal Spatial P systems.
  Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Luca Tesei.
  Nat. Comput., 10(1), pp. 3–16, 2011. DOI BibTeX
• Conference Towards Abstraction-Based Verification of Shape Calculus.
  Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei.
  Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, SASB 2011, Venice, Italy, September 13, 2011, Electronic Notes in Theoretical Computer Science 284, pp. 23–34, 2011. DOI BibTeX
• Conference Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi.
  Marco Bernardo, Rocco De Nicola, Michele Loreti.
  Proceedings First International Workshop on Process Algebra and Coordination, PACO 2011, Reykjavik, Iceland, 9th June 2011, EPTCS 60, pp. 66–75, 2011. DOI BibTeX

2010

• Journal An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier.
  Roberto Barbuti, Nicoletta De Francesco, Luca Tesei.
  Comput. J., 53(6), pp. 679–700, 2010. DOI BibTeX
• Conference An Individual-based Probabilistic Model for Fish Stock Simulation.
  Federico Buti, Flavio Corradini, Emanuela Merelli, Elio Paschini, Pierluigi Penna, Luca Tesei.
  Proceedings First Workshop on Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology, AMCA-POP 2010, Jena, Germany, 25th August 2010, EPTCS 33, pp. 37–55, 2010. DOI BibTeX
• Conference BioShape: a spatial shape-based scale-independent simulation environment for biological systems.
  Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei.
  Proceedings of the International Conference on Computational Science, ICCS 2010, University of Amsterdam, The Netherlands, May 31 - June 2, 2010, Procedia Computer Science 1, pp. 827–835, 2010. DOI BibTeX
• Conference Bone Remodelling in BioShape.
  Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei, M. Pani.
  Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology, CS2Bio 2010, Amsterdam, The Netherlands, June 10, 2010, Electronic Notes in Theoretical Computer Science 268, pp. 17–29, 2010. DOI BibTeX
• Conference Bone Remodelling: A Complex Automata-Based Model Running in BioShape.
  Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli.
  Cellular Automata - 9th International Conference on Cellular Automata for Research and Industry, ACRI 2010, Ascoli Piceno, Italy, September 21-24, 2010. Proceedings, Lecture Notes in Computer Science 6350, pp. 116–127, 2010. DOI BibTeX
• Journal Detecting synchronisation of biological oscillators by model checking.
  Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei.
  Theor. Comput. Sci., 411(20), pp. 1999–2018, 2010. DOI BibTeX
• Conference Multiscale Bone Remodelling with Spatial P Systems.
  Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei.
  Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010, EPTCS 40, pp. 70–84, 2010. DOI BibTeX
• Conference Property-Preserving Refinement of Concurrent Systems.
  Liliana D'Errico, Michele Loreti.
  Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers, Lecture Notes in Computer Science 6084, pp. 222–236, 2010. DOI BibTeX
• Journal Shape Calculus. A Spatial Mobile Calculus for 3D Shapes.
  Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei.
  Sci. Ann. Comput. Sci., 20, pp. 1–31, 2010. Link BibTeX
• Journal Shape Calculus: Timed Operational Semantics and Well-formedness.
  Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei.
  arXiv:1011.2488, 2010. DOI BibTeX
• Conference Simulation and Analysis of Distributed Systems in Klaim.
  Francesco Calzolai, Michele Loreti.
  Coordination Models and Languages, 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings, Lecture Notes in Computer Science 6116, pp. 122–136, 2010. DOI BibTeX
• Journal Timed Operational Semantics and Well-Formedness of Shape Calculus.
  Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei.
  Sci. Ann. Comput. Sci., 20, pp. 32–52, 2010. Link BibTeX
• Conference Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes.
  Marco Bernardo, Rocco De Nicola, Michele Loreti.
  Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers, Lecture Notes in Computer Science 6084, pp. 35–56, 2010. DOI BibTeX

2009

• Conference A process Algebra Approach to Fuzzy Reasoning.
  Liliana D'Errico, Michele Loreti.
  Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference, Lisbon, Portugal, July 20-24, 2009, pp. 1136–1141, 2009. Link BibTeX
• Conference A Shape Calculus for Biological Processes.
  Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei.
  Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings, pp. 30–33, 2009. BibTeX
• Conference Assume-Guarantee Verification of Concurrent Systems.
  Liliana D'Errico, Michele Loreti.
  Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, Lecture Notes in Computer Science 5521, pp. 288–305, 2009. DOI BibTeX
• Conference Constraint-Based Dynamic Conversations.
  Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito.
  The Fifth International Conference on Networking and Services, ICNS 2009, 20-25 April 2009, Valencia, Spain, pp. 7–12, 2009. DOI BibTeX
• Journal Explicit fairness in testing semantics.
  Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi.
  Log. Methods Comput. Sci., 5(2), 2009. DOI BibTeX
• Conference On a Uniform Framework for the Definition of Stochastic Process Languages.
  Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink.
  Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings, Lecture Notes in Computer Science 5825, pp. 9–25, 2009. DOI BibTeX
• Conference Rate-Based Transition Systems for Stochastic Process Calculi.
  Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink.
  Automata, Languages and Programming, 36th Internatilonal Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II, Lecture Notes in Computer Science 5556, pp. 435–446, 2009. DOI BibTeX
• Journal Timed P Automata.
  Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei.
  Fundam. Informaticae, 94(1), pp. 1–19, 2009. DOI BibTeX

2008

• Conference A Fluid Flow Approach to Usability Analysis of Multi-user Systems.
  Mieke Massink, Diego Latella, Maurice H. ter Beek, Michael D. Harrison, Michele Loreti.
  Engineering Interactive Systems, Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings, Lecture Notes in Computer Science 5247, pp. 166–180, 2008. DOI BibTeX
• Conference A model-prover for constrained dynamic conversations.
  Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Luca Tesei, Leonardo Vito.
  iiWAS'2008 - The Tenth International Conference on Information Integration and Web-based Applications Services, 24-26 November 2008, Linz, Austria, pp. 630–633, 2008. DOI BibTeX
• Conference Combining Timed Coordination Primitives and Probabilistic Tuple Spaces.
  Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro.
  Trustworthy Global Computing, 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers, Lecture Notes in Computer Science 5474, pp. 52–68, 2008. DOI BibTeX
• Conference Implementing Session Centered Calculi.
  Lorenzo Bettini, Rocco De Nicola, Michele Loreti.
  Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings, Lecture Notes in Computer Science 5052, pp. 17–32, 2008. DOI BibTeX
• Conference MarCaSPiS: a Markovian Extension of a Calculus for Services.
  Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink.
  Proceedings of the Fifth Workshop on Structural Operational Semantics, SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008, Electronic Notes in Theoretical Computer Science 229, pp. 11–26, 2008. DOI BibTeX
• Conference Model Checking Biological Oscillators.
  Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei.
  Proceedings of the Second Workshop From Biology to Concurrency and Back, FBTC@ICALP 2008, Reykjavik, Iceland, July 12, 2008, Electronic Notes in Theoretical Computer Science 229, pp. 41–58, 2008. DOI BibTeX
• Journal Multiple-Labelled Transition Systems for nominal calculi and their logics.
  Rocco De Nicola, Michele Loreti.
  Math. Struct. Comput. Sci., 18(1), pp. 107–143, 2008. DOI BibTeX
• Conference Provably Correct Implementations of Services.
  Roberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina.
  Trustworthy Global Computing, 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers, Lecture Notes in Computer Science 5474, pp. 69–86, 2008. DOI BibTeX
• Journal Quality of service in e-government underlines the role of information usability.
  Flavio Corradini, Alberto Polzonetti, Barbara Re, Luca Tesei.
  Int. J. Inf. Qual., 2(2), pp. 133–151, 2008. DOI BibTeX
• Conference Sessions and Pipelines for Structured Service Programming.
  Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti.
  Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings, Lecture Notes in Computer Science 5051, pp. 19–38, 2008. DOI BibTeX
• Journal TAPAs: A Tool for the Analysis of Process Algebras.
  Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi.
  Trans. Petri Nets Other Model. Concurr., 1, pp. 54–70, 2008. DOI BibTeX
• Conference Timed P Automata.
  Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei.
  Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2008, Iaşi, Romania, September 3-4, 2008, Electronic Notes in Theoretical Computer Science 227, pp. 21–36, 2008. DOI BibTeX

2007

• Conference Design of a Password-based Authentication Method for Wireless Networks.
  Andrea Manganaro, Mingyur Koblensky, Michele Loreti.
  WINSYS 2007 - Proceedings of the International Conference on Wireless Information Networks and Systems, Barcelona, Spain, July 28-31, 2007, WINSYS is part of ICETE - The International Joint Conference on e-Business and Telecommunications, pp. 9–16, 2007. BibTeX
• Conference Design of a Password-Based EAP Method.
  Andrea Manganaro, Mingyur Koblensky, Michele Loreti.
  E-business and Telecommunications - 4th International Conference, ICETE 2007, Barcelona, Spain, July 28-31, 2007, Revised Selected Papers, Communications in Computer and Information Science 23, pp. 343–355, 2007. DOI BibTeX
• Conference Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus.
  Diletta Cacciagrano, Flavio Corradini, Jesús Aranda, Frank D. Valencia.
  Proceedings of the 14th International Workshop on Expressiveness in Concurrency, EXPRESS 2007, Lisbon, Portugal, September 3, 2007, Electronic Notes in Theoretical Computer Science 194, pp. 59–84, 2007. DOI BibTeX
• Journal Model checking mobile stochastic logic.
  Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink.
  Theor. Comput. Sci., 382(1), pp. 42–70, 2007. DOI BibTeX
• Conference Modeling Fuzzy Behaviours in Concurrent Systems.
  Liliana D'Errico, Michele Loreti.
  Theoretical Computer Science, 10th Italian Conference, ICTCS 2007, Rome, Italy, October 3-5, 2007, Proceedings, pp. 94–105, 2007. BibTeX
• Journal Separation of synchronous and asynchronous communication via testing.
  Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi.
  Theor. Comput. Sci., 386(3), pp. 218–235, 2007. DOI BibTeX

2006

• Conference Assessing CS1 java skills: a three-year experience.
  Pilu Crescenzi, Michele Loreti, Rosario Pugliese.
  Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2006, Bologna, Italy, June 26-28, 2006, pp. 348, 2006. DOI BibTeX
• Conference Dynamic Constraint-Based Invocation of Web Services.
  Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito.
  Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings, Lecture Notes in Computer Science 4184, pp. 138–147, 2006. DOI BibTeX
• Conference Fair Pi.
  Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi.
  Proceedings of the 13th International Workshop on Expressiveness in Concurrency, EXPRESS 2006, Bonn, Germany, August 26, 2006, Electronic Notes in Theoretical Computer Science 175, pp. 3–26, 2006. DOI BibTeX
• Conference Implementing a Distributed Mobile Calculus Using the IMC Framework.
  Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Michele Loreti.
  Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006), Bologna, Italy, June 13, 2006, Electronic Notes in Theoretical Computer Science 181, pp. 63–79, 2006. DOI BibTeX
• Journal Implementing Mobile and Distributed Applications in X-Klaim.
  Lorenzo Bettini, Rocco De Nicola, Michele Loreti.
  Scalable Comput. Pract. Exp., 7(4), 2006. Link BibTeX
• Conference Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi.
  Rocco De Nicola, Michele Loreti.
  Proceedings of the Workshop on Logic, Models and Computer Science, LMCS 2006, Camerino, Italy, April 20-22, 2006, Electronic Notes in Theoretical Computer Science 169, pp. 133–146, 2006. DOI BibTeX
• Conference SCC: A Service Centered Calculus.
  Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro.
  Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings, Lecture Notes in Computer Science 4184, pp. 38–57, 2006. DOI BibTeX

2005

• Conference A Flexible and Modular Framework for Implementing Infrastructures for Global Computing.
  Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Michele Loreti.
  Distributed Applications and Interoperable Systems, 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings, Lecture Notes in Computer Science 3543, pp. 181–193, 2005. DOI BibTeX
• Conference Separation of Synchronous and Asynchronous Communication Via Testing.
  Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi.
  Proceedings of the 12th Workshop on Expressiveness on Concurrency, EXPRESS 2005, San Francisco, CA, USA, August 27, 2005, Electronic Notes in Theoretical Computer Science 154, pp. 95–108, 2005. DOI BibTeX

2004

• Journal A modal logic for mobile agents.
  Rocco De Nicola, Michele Loreti.
  ACM Trans. Comput. Log., 5(1), pp. 79–128, 2004. DOI BibTeX
• Journal Abstract Interpretation Against Races.
  Roberto Barbuti, Stefano Cataudella, Luca Tesei.
  Fundam. Informaticae, 60(1-4), pp. 67–79, 2004. Link BibTeX
• Conference An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses.
  Lorenzo Bettini, Pilu Crescenzi, Gaia Innocenti, Michele Loreti, Leonardo Cecchi.
  Proceedings of the IEEE International Conference on Advanced Learning Technologies, ICALT 2004, Joensuu, Finland, August 30 - September 1, 2004, 2004. DOI BibTeX
• Conference Expressiveness of Timed Events and Timed Languages.
  Diletta Cacciagrano, Flavio Corradini.
  Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures, Lecture Notes in Computer Science 3185, pp. 98–131, 2004. DOI BibTeX
• Journal Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming.
  Lorenzo Bettini, Rocco De Nicola, Michele Loreti.
  Autom. Softw. Eng., 11(3), pp. 245–288, 2004. DOI BibTeX
• Conference MoMo: A Modal Logic for Reasoning About Mobility.
  Rocco De Nicola, Michele Loreti.
  Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures, Lecture Notes in Computer Science 3657, pp. 95–119, 2004. DOI BibTeX
• Journal Timed automata with urgent transitions.
  Roberto Barbuti, Luca Tesei.
  Acta Informatica, 40(5), pp. 317–347, 2004. DOI BibTeX

2003

• Journal A Decidable Notion of Timed Non-Interference.
  Roberto Barbuti, Luca Tesei.
  Fundam. Informaticae, 54(2-3), pp. 137–150, 2003. Link BibTeX
• Journal Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems.
  Nicoletta De Francesco, Antonella Santone, Luca Tesei.
  Fundam. Informaticae, 54(2-3), pp. 195–211, 2003. Link BibTeX
• Conference The Klaim Project: Theory and Practice.
  Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian-Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri.
  Global Computing. Programming Environments, Languages, Security, and Analysis of Systems, IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers, Lecture Notes in Computer Science 2874, pp. 88–150, 2003. DOI BibTeX

2002

• Journal A Notion of Non-Interference for Timed Automata.
  Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Luca Tesei.
  Fundam. Informaticae, 51(1-2), pp. 1–11, 2002. Link BibTeX
• Conference AGILE: Software Architecture for Mobility.
  Luís Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki.
  Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers, Lecture Notes in Computer Science 2755, pp. 1–33, 2002. DOI BibTeX
• Conference An infrastructure language for open nets.
  Lorenzo Bettini, Michele Loreti, Rosario Pugliese.
  Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain, pp. 373–377, 2002. DOI BibTeX
• Conference Fixing the Java bytecode verifier by a suitable type domain.
  Roberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco.
  Proceedings of the 14th international conference on Software engineering and knowledge engineering, SEKE 2002, Ischia, Italy, July 15-19, 2002, pp. 377–382, 2002. DOI BibTeX
• Conference Formalizing Properties of Mobile Agent Systems.
  Lorenzo Bettini, Rocco De Nicola, Michele Loreti.
  Coordination Models and Languages, 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002, Proceedings, Lecture Notes in Computer Science 2315, pp. 72–87, 2002. DOI BibTeX
• Conference Software update via mobile agent based programming.
  Lorenzo Bettini, Rocco De Nicola, Michele Loreti.
  Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain, pp. 32–36, 2002. DOI BibTeX

2001

• Conference Hyperformulae, Parallel Deductions and Intersection Types.
  Beatrice Capitani, Michele Loreti, Betti Venneri.
  Bohm's theorem: applications to Computer Science Theory, BOTH 2001, Satellite Workshop of ICALP 2001, Crete, Greece, July 13, 2001, Electronic Notes in Theoretical Computer Science 50, pp. 178–195, 2001. DOI BibTeX
• Conference Modelling Node Connectivity in Dynamically Evolving Networks.
  Lorenzo Bettini, Michele Loreti, Rosario Pugliese.
  International Workshop on Concurrency and Coordination, ConCoord 2001, associated to the 13th Lipari School, Lipari Island, Italy, July 6-8, 2001, Electronic Notes in Theoretical Computer Science 54, pp. 81–91, 2001. DOI BibTeX
• Conference On Synchronous and Asynchronous Communication Paradigms.
  Diletta Cacciagrano, Flavio Corradini.
  Theoretical Computer Science, 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001, Proceedings, Lecture Notes in Computer Science 2202, pp. 256–268, 2001. DOI BibTeX
• Journal Timed Automata with non-Instantaneous Actions.
  Roberto Barbuti, Nicoletta De Francesco, Luca Tesei.
  Fundam. Informaticae, 47(3-4), pp. 189–200, 2001. Link BibTeX

2000

• Conference A Modal Logic for KLAIM.
  Rocco De Nicola, Michele Loreti.
  Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, Lecture Notes in Computer Science 1816, pp. 339–354, 2000. DOI BibTeX
• Conference Structured Nets in KLAIM.
  Lorenzo Bettini, Michele Loreti, Rosario Pugliese.
  Applied Computing 2000, Proceedings of the 2000 ACM Symposium on Applied Computing, Villa Olmo, Via Cantoni 1, 22100 Como, Italy, March 19-21, 2000. Volume 1, pp. 174–180, 2000. DOI BibTeX