Towards model checking interpreted systems. - Alessio Lomuscio; Franco Raimondi; Marek J. Sergot (AAMAS, 2003)

A Tool For Specification And Verification Of Epistemic Properties In Interpreted Systems. - Franco Raimondi; Alessio Lomuscio (LCMAS, 2003)

Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation. - Franco Raimondi; Alessio Lomuscio (AAMAS, 2004)

Automatic Verification of Deontic Properties of Multi-agent Systems. - Franco Raimondi; Alessio Lomuscio (DEON, 2004)

Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD's. - Franco Raimondi; Alessio Lomuscio (ECAI, 2004)

Towards Symbolic Model Checking for Multi-agent Systems via OBDD's. - Franco Raimondi; Alessio Lomuscio (FAABS, 2004)

Model checking knowledge, strategies, and games in multi-agent systems. - Alessio Lomuscio; Franco Raimondi (AAMAS, 2006)

The Complexity of Model Checking Concurrent Programs Against CTLK Specifications. - Alessio Lomuscio; Franco Raimondi (DALT, 2006)

Symbolic Model Checking of Logics with Actions. - Charles Pecheur; Franco Raimondi (MoChArt, 2006)

MCMAS: A Model Checker for Multi-agent Systems. - Alessio Lomuscio; Franco Raimondi (TACAS, 2006)

Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol. - Magdalena Kacprzak; Alessio Lomuscio; Artur Niewiadomski 001; Wojciech Penczek; Franco Raimondi; Maciej Szreter (Fundam. Informaticae, 2006)

Model checking multi-agent systems. - Franco Raimondi (2006)

Automatic Verification of Knowledge and Time with NuSMV. - Alessio Lomuscio; Charles Pecheur; Franco Raimondi (IJCAI, 2007)

CTG: a connectivity trace generator for testing the performance of opportunistic mobile systems. - Roberta Calegari; Mirco Musolesi; Franco Raimondi; Cecilia Mascolo (ESEC/SIGSOFT FSE, 2007)

Testing Planning Domains (without Model Checkers). - Franco Raimondi; Charles Pecheur; Guillaume Brat (MBT, 2007)

Verification of the TESLA protocol in MCMAS-X. - Alessio Lomuscio; Franco Raimondi; Bozena Wozna (Fundam. Informaticae, 2007)

Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams. - Franco Raimondi; Alessio Lomuscio (J. Appl. Log., 2007)

The Secret Santa Problem. - Leo Liberti; Franco Raimondi (AAIM, 2008)

Algorithms for efficient symbolic detection of faults in context-aware applications. - Michele Sama; Franco Raimondi; David S. Rosenblum; Wolfgang Emmerich (ASE Workshops, 2008)

Efficient online monitoring of web-service SLAs. - Franco Raimondi; James Skene; Wolfgang Emmerich (SIGSOFT FSE, 2008)

A Model to Design and Verify Context-Aware Adaptive Service Composition. - Javier Cubo; Michele Sama; Franco Raimondi; David S. Rosenblum (IEEE SCC, 2009)

MCMAS: A Model Checker for the Verification of Multi-Agent Systems. - Alessio Lomuscio; Hongyang Qu 001; Franco Raimondi (CAV, 2009)

Combinatorial Optimization Based Recommender Systems. - Fabio Roda; Leo Liberti; Franco Raimondi (CTW, 2009)

A formal analysis of requirements-based testing. - Charles Pecheur; Franco Raimondi; Guillaume Brat (ISSTA, 2009)

Context-Aware Adaptive Applications: Fault Patterns and Their Automated Identification. - Michele Sama; Sebastian G. Elbaum; Franco Raimondi; David S. Rosenblum; Zhimin Wang (IEEE Trans. Software Eng., 2010)

Service-Level Agreements for Electronic Services. - James Skene; Franco Raimondi; Wolfgang Emmerich (IEEE Trans. Software Eng., 2010)

Evaluation of Collaborative Filtering Algorithms Using a Small Dataset. - Fabio Roda; Leo Liberti; Franco Raimondi (WEBIST, 2011)

Implementing Adaptation and Reconfiguration Strategies in Heterogeneous WSN. - Antinisca Di Marco; Francesco Gallo; Orhan Gemikonakli; Leonardo Mostarda; Franco Raimondi (AINA, 2013)

Aviation safety: modeling and analyzing complex interactions between humans and automated systems. - Neha Rungta; Guillaume Brat; William J. Clancey; Charlotte Linde; Franco Raimondi; Chin Seah; Michael G. Shafto (ATACCS, 2013)

A synergistic and extensible framework for multi-agent system verification. - Josie Hunter; Franco Raimondi; Neha Rungta; Richard Stocker 001 (AAMAS, 2013)

Domain Types: Abstract-Domain Selection Based on Variable Usage. - Sven Apel; Dirk Beyer 001; Karlheinz Friedberger; Franco Raimondi; Alexander von Rhein (Haifa Verification Conference, 2013)

The Anonymous Subgraph Problem. - Andrea Bettinelli; Leo Liberti; Franco Raimondi; David Savourey (Comput. Oper. Res., 2013)

Reasoning about Strategies under Partial Observability and Fairness Constraints - Simon Busard; Charles Pecheur; Hongyang Qu 001; Franco Raimondi (SR, 2013)

Domain Types: Selecting Abstractions Based on Variable Usage - Sven Apel; Dirk Beyer 001; Karlheinz Friedberger; Franco Raimondi; Alexander von Rhein (CoRR, 2013)

Model checking degrees of belief in a system of agents. - Giuseppe Primiero; Franco Raimondi; Neha Rungta (AAMAS, 2014)

Programming the MIRTO Robot with Neurons. - Christian R. Huyck; Giuseppe Primiero; Franco Raimondi (BICA, 2014)

Decidable Model-Checking for a Resource Logic with Production of Resources. - Natasha Alechina; Brian Logan 001; Hoang Nga Nguyen; Franco Raimondi (ECAI, 2014)

A Racket-Based Robot to Teach First-Year Computer Science. - Franco Raimondi; Giuseppe Primiero; Kelly Androutsopoulos; Nikos Gorogiannis; Martin J. Loomes; Michael Margolis; Puja Varsani; Nick Weldin; Alex Zivanovic (ELS, 2014)

Slrtool: A Tool to Support Collaborative Systematic Literature Reviews. - Balbir S. Barn; Franco Raimondi; Lalith Athappian; Tony Clark 001 (ICEIS (2), 2014)

Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints. - Simon Busard; Charles Pecheur; Hongyang Qu 001; Franco Raimondi (ICFEM, 2014)

A typed natural deduction calculus to reason about secure trust. - Giuseppe Primiero; Franco Raimondi (PST, 2014)

A Constrained ECA Language Supporting Formal Verification of WSNs. - Flavio Corradini; Rosario Culmone; Leonardo Mostarda; Luca Tesei; Franco Raimondi (AINA Workshops, 2015)

Software Theory Change for Resilient Near-Complete Specifications. - Giuseppe Primiero; Franco Raimondi (ANT/SEIT, 2015)

Symbolic Model-checking for Resource-Bounded ATL. - Natasha Alechina; Brian Logan 001; Hoang Nga Nguyen; Franco Raimondi; Leonardo Mostarda (AAMAS, 2015)

An Approach to Quantify Workload in a System of Agents. - Richard Stocker 001; Neha Rungta; Eric Mercer; Franco Raimondi; Jon Holbrook; Colleen Cardoza; Michael A. Goodrich (AAMAS, 2015)

On the Role of Value Sensitive Concerns in Software Engineering Practice. - Balbir S. Barn; Ravinder Barn; Franco Raimondi (ICSE (2), 2015)

Towards Cyber-physical Systems as Services: The ASIP Protocol. - Mirco Bordoni; Michele Bottone; Bob Fields; Nikos Gorogiannis; Michael Margolis; Giuseppe Primiero; Franco Raimondi (SEsCPS@ICSE, 2015)

Symbolic Model Checking for One-Resource RB+-ATL. - Natasha Alechina; Brian Logan 001; Hoang Nga Nguyen; Franco Raimondi (IJCAI, 2015)

Minimizing transitive trust threats in software management systems. - Jaap Boender; Giuseppe Primiero; Franco Raimondi (PST, 2015)

Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Franco Raimondi (CoRR, 2015)

The packing chromatic number of the infinite square lattice is less than or equal to 16. - Barnaby Martin; Franco Raimondi; Taolue Chen 001; Jos Martin (CoRR, 2015)

Reasoning about memoryless strategies under partial observability and unconditional fairness constraints. - Simon Busard; Charles Pecheur; Hongyang Qu 001; Franco Raimondi (Inf. Comput., 2015)

Implementing Virtual Pheromones in BDI Robots Using MQTT and Jason (Short Paper). - Michele Bottone; Filippo Palumbo; Giuseppe Primiero; Franco Raimondi; Richard Stocker 001 (CloudNet, 2016)

Contradictory information flow in networks with trust and distrust. - Giuseppe Primiero; Michele Bottone; Franco Raimondi; Jacopo Tagliabue (COMPLEX NETWORKS, 2016)

Modeling complex air traffic management systems. - Neha Rungta; Eric G. Mercer; Franco Raimondi; Bjorn C. Krantz; Richard Stocker 001; Andrew Wallace (MiSE@ICSE, 2016)

On-the-Fly Image Classification to Help Blind People. - Dalal Khalid Aljasem; Michael Heeney; Armando Pesenti Gritti; Franco Raimondi (Intelligent Environments, 2016)

A Model for Trustworthy Orchestration in the Internet of Things. - Michele Bottone; Giuseppe Primiero; Franco Raimondi; Vincenzo De Florio (Intelligent Environments, 2016)

From Raw Data to Agent Perceptions for Simulation, Verification, and Monitoring. - Michele Bottone; Giuseppe Primiero; Franco Raimondi; Neha Rungta (Intelligent Environments (Workshops), 2016)

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

Efficient Model Checking Timed and Weighted Interpreted Systems Using SMT and SAT Solvers. - Agnieszka M. Zbrzezny; Andrzej Zbrzezny; Franco Raimondi (KES-AMSTA, 2016)

Taking Arduino to the Internet of Things: The ASIP programming model. - Gianluca Barbon; Michael Margolis; Filippo Palumbo; Franco Raimondi; Nick Weldin (Comput. Commun., 2016)

Teaching Functional Patterns through Robotic Applications. - Jaap Boender; Edward Currie; Martin J. Loomes; Giuseppe Primiero; Franco Raimondi (TFPIE, 2016)

A Computationally Grounded, Weighted Doxastic Logic. - Taolue Chen 001; Giuseppe Primiero; Franco Raimondi; Neha Rungta (Stud Logica, 2016)

Using multi-agent systems to go beyond temporal patterns verification. - Franco Raimondi (ACM SIGLOG News, 2016)

Formal Analysis of Multiple Coordinated HMI Systems. - Guillaume Brat; Sébastien Combéfis; Dimitra Giannakopoulou; Charles Pecheur; Franco Raimondi; Neha Rungta (Handbook of Formal Methods in Human-Computer Interaction, 2017)

A Proof-Theoretic Trust and Reputation Model for VANET. - Giuseppe Primiero; Franco Raimondi; Taolue Chen 001; Rajagopal Nagarajan (EuroS&P Workshops, 2017)

A Novel Symbolic Approach to Verifying Epistemic Properties of Programs. - Nikos Gorogiannis; Franco Raimondi; Ioana Boureanu (IJCAI, 2017)

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 (Intelligent Environments, 2017)

CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees. - Thomas Bauereiß; Armando Pesenti Gritti; Andrei Popescu 001; Franco Raimondi (IEEE Symposium on Security and Privacy, 2017)

Trust and distrust in contradictory information transmission. - Giuseppe Primiero; Franco Raimondi; Michele Bottone; Jacopo Tagliabue (Appl. Netw. Sci., 2017)

The packing chromatic number of the infinite square lattice is between 13 and 15. - Barnaby Martin; Franco Raimondi; Taolue Chen 001; Jos Martin (Discret. Appl. Math., 2017)

Model-checking for Resource-Bounded ATL with production and consumption of resources. - Natasha Alechina; Brian Logan 001; Hoang Nga Nguyen; Franco Raimondi (J. Comput. Syst. Sci., 2017)

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., 2017)

MCMAS: an open-source model checker for the verification of multi-agent systems. - Alessio Lomuscio; Hongyang Qu 001; Franco Raimondi (Int. J. Softw. Tools Technol. Transf., 2017)

Multi-agent Based Simulations of Block-Free Distributed Ledgers. - Michele Bottone; Franco Raimondi; Giuseppe Primiero (AINA Workshops, 2018)

MIRTO: an Open-Source Robotic Platform for Education. - Kelly Androutsopoulos; L. Aristodemou; Jaap Boender; Michele Bottone; Edward Currie; I. El-Aroussi; Bob Fields; L. Gheri; Nikos Gorogiannis; Miltos Heeney; Michael Micheletti; Martin J. Loomes; et al. (ECSEE, 2018)

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., 2018)

CoSMed: A Confidentiality-Verified Social Media Platform. - Thomas Bauereiß; Armando Pesenti Gritti; Andrei Popescu 001; Franco Raimondi (J. Autom. Reason., 2018)

Comparing approaches for model-checking strategies under imperfect information and fairness constraints. - Simon Busard; Charles Pecheur; Hongyang Qu 001; Franco Raimondi (Int. J. Softw. Tools Technol. Transf., 2019)

Automatic Annotation of Confidential Data in Java Code. - Iulia Bastys; Pauline Bolignano; Franco Raimondi; Daniel Schoepe (FPS, 2021)

A theory of change for prioritised resilient and evolvable software systems. - Giuseppe Primiero; Franco Raimondi; Taolue Chen 001 (Synth., 2021)

Differential cost analysis with simultaneous potentials and anti-potentials. - Dorde Zikelic; Bor-Yuh Evan Chang; Pauline Bolignano; Franco Raimondi (PLDI, 2022)

Lifting On-Demand Analysis to Higher-Order Languages. - Daniel Schoepe; David Seekatz; Ilina Stoilkovska; Sandro Stucki; Daniel Tattersall; Pauline Bolignano; Franco Raimondi; Bor-Yuh Evan Chang (SAS, 2023)

Towards Efficient Norm-Aware Robots' Decision Making Using Datalog (Short Paper). - Mahrokh Mirani; Franco Raimondi; Nicolas Troquard (BEWARE@AI*IA, 2024)

Implementing a Digital Twin for a Robotic Platform to Support Large-Scale Coding Classes. - Michael Heeney; Kelly Androutsopoulos; Franco Raimondi (ICPEC, 2024)

Building call graph of WebAssembly programs via abstract semantics. - Mattia Paccamiccio; Franco Raimondi; Michele Loreti (ITASEC, 2024)

Architecture as Code. - Alessio Bucaioni; Amleto Di Salle; Ludovico Iovino; Patrizio Pelliccione; Franco Raimondi (ICSA, 2025)