Franco Raimondi

According to our database, Franco Raimondi authored at least 86 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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), 2024

Implementing a Digital Twin for a Robotic Platform to Support Large-Scale Coding Classes.

Michael Heeney, Kelly Androutsopoulos, Franco Raimondi

Proceedings of the 5th International Computer Programming Education Conference, 2024

Towards Efficient Norm-Aware Robots' Decision Making Using Datalog (Short Paper).

Mahrokh Mirani, Franco Raimondi, Nicolas Troquard

Proceedings of the 3rd Workshop on Bias, 2024

2023

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

Proceedings of the Static Analysis - 30th International Symposium, 2023

2022

Differential cost analysis with simultaneous potentials and anti-potentials.

Dorde Zikelic, Bor-Yuh Evan Chang, Pauline Bolignano, Franco Raimondi

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

A theory of change for prioritised resilient and evolvable software systems.

Giuseppe Primiero, Franco Raimondi, Taolue Chen

Synth., 2021

Automatic Annotation of Confidential Data in Java Code.

Iulia Bastys, Pauline Bolignano, Franco Raimondi, Daniel Schoepe

Proceedings of the Foundations and Practice of Security - 14th International Symposium, 2021

2019

Comparing approaches for model-checking strategies under imperfect information and fairness constraints.

Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi

Int. J. Softw. Tools Technol. Transf., 2019

2018

CoSMed: A Confidentiality-Verified Social Media Platform.

Thomas Bauereiß, Armando Pesenti Gritti, Andrei Popescu, Franco Raimondi

J. Autom. Reason., 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

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, Michael Margolis, M. Petridis, A. Piermarteri, Giuseppe Primiero, Franco Raimondi, Nick Weldin

Proceedings of the 3rd European Conference of Software Engineering Education, 2018

Multi-agent Based Simulations of Block-Free Distributed Ledgers.

Michele Bottone, Franco Raimondi, Giuseppe Primiero

Proceedings of the 32nd International Conference on Advanced Information Networking and Applications Workshops, 2018

2017

MCMAS: an open-source model checker for the verification of multi-agent systems.

Alessio Lomuscio, Hongyang Qu, Franco Raimondi

Int. J. Softw. Tools Technol. Transf., 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

Model-checking for Resource-Bounded ATL with production and consumption of resources.

Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi

J. Comput. Syst. Sci., 2017

The packing chromatic number of the infinite square lattice is between 13 and 15.

Barnaby Martin, Franco Raimondi, Taolue Chen, Jos Martin

Discret. Appl. Math., 2017

Trust and distrust in contradictory information transmission.

Giuseppe Primiero, Franco Raimondi, Michele Bottone, Jacopo Tagliabue

Appl. Netw. Sci., 2017

CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees.

Thomas Bauereiß, Armando Pesenti Gritti, Andrei Popescu, Franco Raimondi

Proceedings of the 2017 IEEE Symposium on Security and Privacy, 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

Proceedings of the 2017 International Conference on Intelligent Environments, 2017

A Novel Symbolic Approach to Verifying Epistemic Properties of Programs.

Nikos Gorogiannis, Franco Raimondi, Ioana Boureanu

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

A Proof-Theoretic Trust and Reputation Model for VANET.

Giuseppe Primiero, Franco Raimondi, Taolue Chen, Rajagopal Nagarajan

Proceedings of the 2017 IEEE European Symposium on Security and Privacy Workshops, 2017

Formal Analysis of Multiple Coordinated HMI Systems.

Guillaume Brat, Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Franco Raimondi, Neha Rungta

Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

2016

Using multi-agent systems to go beyond temporal patterns verification.

Franco Raimondi

ACM SIGLOG News, 2016

A Computationally Grounded, Weighted Doxastic Logic.

Taolue Chen, Giuseppe Primiero, Franco Raimondi, Neha Rungta

Stud Logica, 2016

Teaching Functional Patterns through Robotic Applications.

Jaap Boender, Edward Currie, Martin J. Loomes, Giuseppe Primiero, Franco Raimondi

Proceedings of the 4th and 5th International Workshop on Trends in Functional Programming in Education, 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

Efficient Model Checking Timed and Weighted Interpreted Systems Using SMT and SAT Solvers.

Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Franco Raimondi

Proceedings of the Agent and Multi-Agent Systems: Technology and Applications, 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

Proceedings of the Intelligent Environments 2016, 2016

From Raw Data to Agent Perceptions for Simulation, Verification, and Monitoring.

Michele Bottone, Giuseppe Primiero, Franco Raimondi, Neha Rungta

Proceedings of the Intelligent Environments 2016, 2016

A Model for Trustworthy Orchestration in the Internet of Things.

Michele Bottone, Giuseppe Primiero, Franco Raimondi, Vincenzo De Florio

Proceedings of the 12th International Conference on Intelligent Environments, 2016

On-the-Fly Image Classification to Help Blind People.

Dalal Khalid Aljasem, Michael Heeney, Armando Pesenti Gritti, Franco Raimondi

Proceedings of the 12th International Conference on Intelligent Environments, 2016

Modeling complex air traffic management systems.

Neha Rungta, Eric G. Mercer, Franco Raimondi, Bjorn C. Krantz, Richard Stocker, Andrew Wallace

Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016

Contradictory information flow in networks with trust and distrust.

Giuseppe Primiero, Michele Bottone, Franco Raimondi, Jacopo Tagliabue

Proceedings of the Complex Networks & Their Applications V - Proceedings of the 5th International Workshop on Complex Networks and their Applications (COMPLEX NETWORKS 2016), Milan, Italy, November 30, 2016

Implementing Virtual Pheromones in BDI Robots Using MQTT and Jason (Short Paper).

Michele Bottone, Filippo Palumbo, Giuseppe Primiero, Franco Raimondi, Richard Stocker

Proceedings of the 5th IEEE International Conference on Cloud Networking, 2016

2015

Reasoning about memoryless strategies under partial observability and unconditional fairness constraints.

Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi

Inf. Comput., 2015

The packing chromatic number of the infinite square lattice is less than or equal to 16.

Barnaby Martin, Franco Raimondi, Taolue Chen, Jos Martin

CoRR, 2015

Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources.

Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Franco Raimondi

CoRR, 2015

Minimizing transitive trust threats in software management systems.

Jaap Boender, Giuseppe Primiero, Franco Raimondi

Proceedings of the 13th Annual Conference on Privacy, Security and Trust, 2015

Symbolic Model Checking for One-Resource RB+-ATL.

Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Towards Cyber-physical Systems as Services: The ASIP Protocol.

Mirco Bordoni, Michele Bottone, Bob Fields, Nikos Gorogiannis, Michael Margolis, Giuseppe Primiero, Franco Raimondi

Proceedings of the 1st IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2015

On the Role of Value Sensitive Concerns in Software Engineering Practice.

Balbir S. Barn, Ravinder Barn, Franco Raimondi

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

An Approach to Quantify Workload in a System of Agents.

Richard Stocker, Neha Rungta, Eric Mercer, Franco Raimondi, Jon Holbrook, Colleen Cardoza, Michael A. Goodrich

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Symbolic Model-checking for Resource-Bounded ATL.

Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Leonardo Mostarda

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Software Theory Change for Resilient Near-Complete Specifications.

Giuseppe Primiero, Franco Raimondi

Proceedings of the 6th International Conference on Ambient Systems, 2015

A Constrained ECA Language Supporting Formal Verification of WSNs.

Flavio Corradini, Rosario Culmone, Leonardo Mostarda, Luca Tesei, Franco Raimondi

Proceedings of the 29th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2015

2014

A typed natural deduction calculus to reason about secure trust.

Giuseppe Primiero, Franco Raimondi

Proceedings of the 2014 Twelfth Annual International Conference on Privacy, 2014

Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints.

Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi

Proceedings of the Formal Methods and Software Engineering, 2014

Slrtool: A Tool to Support Collaborative Systematic Literature Reviews.

Balbir S. Barn, Franco Raimondi, Lalith Athappian, Tony Clark

Proceedings of the ICEIS 2014, 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

Proceedings of ELS 2014 - 7th European Lisp Symposium, Paris, France, May 5-6, 2014., 2014

Decidable Model-Checking for a Resource Logic with Production of Resources.

Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Programming the MIRTO Robot with Neurons.

Christian R. Huyck, Giuseppe Primiero, Franco Raimondi

Proceedings of the 5th Annual International Conference on Biologically Inspired Cognitive Architectures, 2014

Model checking degrees of belief in a system of agents.

Giuseppe Primiero, Franco Raimondi, Neha Rungta

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013

Domain Types: Selecting Abstractions Based on Variable Usage

Sven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi, Alexander von Rhein

CoRR, 2013

Reasoning about Strategies under Partial Observability and Fairness Constraints

Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi

Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013

The Anonymous Subgraph Problem.

Andrea Bettinelli, Leo Liberti, Franco Raimondi, David Savourey

Comput. Oper. Res., 2013

Domain Types: Abstract-Domain Selection Based on Variable Usage.

Sven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi, Alexander von Rhein

Proceedings of the Hardware and Software: Verification and Testing, 2013

A synergistic and extensible framework for multi-agent system verification.

Josie Hunter, Franco Raimondi, Neha Rungta, Richard Stocker

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 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

Proceedings of the International Conference on Application and Theory of Automation in Command and Control Systems, 2013

Implementing Adaptation and Reconfiguration Strategies in Heterogeneous WSN.

Antinisca Di Marco, Francesco Gallo, Orhan Gemikonakli, Leonardo Mostarda, Franco Raimondi

Proceedings of the 27th IEEE International Conference on Advanced Information Networking and Applications, 2013

2011

Evaluation of Collaborative Filtering Algorithms Using a Small Dataset.

Fabio Roda, Leo Liberti, Franco Raimondi

Proceedings of the WEBIST 2011, 2011

2010

Service-Level Agreements for Electronic Services.

James Skene, Franco Raimondi, Wolfgang Emmerich

IEEE Trans. Software Eng., 2010

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

2009

A formal analysis of requirements-based testing.

Charles Pecheur, Franco Raimondi, Guillaume Brat

Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

Combinatorial Optimization Based Recommender Systems.

Fabio Roda, Leo Liberti, Franco Raimondi

Proceedings of the 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, 2009

MCMAS: A Model Checker for the Verification of Multi-Agent Systems.

Alessio Lomuscio, Hongyang Qu, Franco Raimondi

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

A Model to Design and Verify Context-Aware Adaptive Service Composition.

Javier Cubo, Michele Sama, Franco Raimondi, David S. Rosenblum

Proceedings of the 2009 IEEE International Conference on Services Computing (SCC 2009), 2009

2008

Efficient online monitoring of web-service SLAs.

Franco Raimondi, James Skene, Wolfgang Emmerich

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Algorithms for efficient symbolic detection of faults in context-aware applications.

Michele Sama, Franco Raimondi, David S. Rosenblum, Wolfgang Emmerich

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008

The Secret Santa Problem.

Leo Liberti, Franco Raimondi

Proceedings of the Algorithmic Aspects in Information and Management, 2008

2007

Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams.

Franco Raimondi, Alessio Lomuscio

J. Appl. Log., 2007

Verification of the TESLA protocol in MCMAS-X.

Alessio Lomuscio, Franco Raimondi, Bozena Wozna

Fundam. Informaticae, 2007

Testing Planning Domains (without Model Checkers).

Franco Raimondi, Charles Pecheur, Guillaume Brat

Proceedings of the Third Workshop on Model Based Testing, 2007

CTG: a connectivity trace generator for testing the performance of opportunistic mobile systems.

Roberta Calegari, Mirco Musolesi, Franco Raimondi, Cecilia Mascolo

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Automatic Verification of Knowledge and Time with NuSMV.

Alessio Lomuscio, Charles Pecheur, Franco Raimondi

Proceedings of the IJCAI 2007, 2007

2006

Model checking multi-agent systems.

Franco Raimondi

PhD thesis, 2006

Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol.

Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski, Wojciech Penczek, Franco Raimondi, Maciej Szreter

Fundam. Informaticae, 2006

MCMAS: A Model Checker for Multi-agent Systems.

Alessio Lomuscio, Franco Raimondi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Symbolic Model Checking of Logics with Actions.

Charles Pecheur, Franco Raimondi

Proceedings of the Model Checking and Artificial Intelligence, 4th Workshop, 2006

The Complexity of Model Checking Concurrent Programs Against CTLK Specifications.

Alessio Lomuscio, Franco Raimondi

Proceedings of the Declarative Agent Languages and Technologies IV, 2006

Model checking knowledge, strategies, and games in multi-agent systems.

Alessio Lomuscio, Franco Raimondi

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2004

Towards Symbolic Model Checking for Multi-agent Systems via OBDD's.

Franco Raimondi, Alessio Lomuscio

Proceedings of the Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, 2004

Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD's.

Franco Raimondi, Alessio Lomuscio

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Automatic Verification of Deontic Properties of Multi-agent Systems.

Franco Raimondi, Alessio Lomuscio

Proceedings of the Deontic Logic in Computer Science, 2004

Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation.

Franco Raimondi, Alessio Lomuscio

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

2003

A Tool For Specification And Verification Of Epistemic Properties In Interpreted Systems.

Franco Raimondi, Alessio Lomuscio

Proceedings of the 1st International Workshop on Logic and Communication in Multi-Agent Systems, 2003

Towards model checking interpreted systems.

Alessio Lomuscio, Franco Raimondi, Marek J. Sergot

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003