Franco Raimondi

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 45

Top Venues

CoRR

Intelligent Environments

AAMAS

Intelligent Environments (Workshops)

University College London, UK (PHD)

Education History

University College London, UK

PHD

Publications

Mattia Paccamiccio, Franco Raimondi, Michele Loreti
Building call graph of WebAssembly programs via abstract semantics. ITASEC (2024)
Mattia Paccamiccio, Franco Raimondi, Michele Loreti
Building Call Graph of WebAssembly Programs via Abstract Semantics. CoRR (2024)
Daniel Schoepe, David Seekatz, Ilina Stoilkovska, Sandro Stucki, Daniel Tattersall, Pauline Bolignano, Franco Raimondi, Bor-Yuh Evan Chang
Lifting On-Demand Analysis to Higher-Order Languages. SAS (2023)
Dorde Zikelic, Bor-Yuh Evan Chang, Pauline Bolignano, Franco Raimondi
Differential cost analysis with simultaneous potentials and anti-potentials. PLDI (2022)
Dorde Zikelic, Bor-Yuh Evan Chang, Pauline Bolignano, Franco Raimondi
Differential Cost Analysis with Simultaneous Potentials and Anti-potentials. CoRR (2022)
Giuseppe Primiero, Franco Raimondi, Taolue Chen
A theory of change for prioritised resilient and evolvable software systems. Synth. 198 (23) (2021)
Iulia Bastys, Pauline Bolignano, Franco Raimondi, Daniel Schoepe
Automatic Annotation of Confidential Data in Java Code. FPS (2021)
Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi
Comparing approaches for model-checking strategies under imperfect information and fairness constraints. Int. J. Softw. Tools Technol. Transf. 21 (4) (2019)
Thomas Bauereiß, Armando Pesenti Gritti, Andrei Popescu, Franco Raimondi
CoSMed: A Confidentiality-Verified Social Media Platform. J. Autom. Reason. 61 (1-4) (2018)
Michele Bottone, Franco Raimondi, Giuseppe Primiero
Multi-agent Based Simulations of Block-Free Distributed Ledgers. AINA Workshops (2018)
Kelly Androutsopoulos, L. Aristodemou, Jaap Boender, Michele Bottone, Edward Currie, I. El-Aroussi, Bob Fields, L. Gheri, Nikos Gorogiannis, M. Heeney, Michael Micheletti, Martin J. Loomes, Michael Margolis, M. Petridis, A. Piermarteri, Giuseppe Primiero, Franco Raimondi, Nick Weldin
MIRTO: an Open-Source Robotic Platform for Education. ECSEE (2018)
Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi, Claudia Vannucchi
Analysis and verification of ECA rules in intelligent environments. J. Ambient Intell. Smart Environ. 10 (3) (2018)
Alessio Lomuscio, Hongyang Qu, Franco Raimondi
MCMAS: an open-source model checker for the verification of multi-agent systems. Int. J. Softw. Tools Technol. Transf. 19 (1) (2017)
Nikos Gorogiannis, Franco Raimondi, Ioana Boureanu
A Novel Symbolic Approach to Verifying Epistemic Properties of Programs. IJCAI (2017)
Giuseppe Primiero, Franco Raimondi, Taolue Chen, Rajagopal Nagarajan
A Proof-Theoretic Trust and Reputation Model for VANET. EuroS&P Workshops (2017)
Claudia Vannucchi, Michelangelo Diamanti, Gianmarco Mazzante, Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi
vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments. Intelligent Environments (2017)
Giuseppe Primiero, Franco Raimondi, Michele Bottone, Jacopo Tagliabue
Trust and distrust in contradictory information transmission. Appl. Netw. Sci. 2 (2017)
Claudia Vannucchi, Michelangelo Diamanti, Gianmarco Mazzante, Diletta Cacciagrano, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi
Symbolic verification of event-condition-action rules in intelligent environments. J. Reliab. Intell. Environ. 3 (2) (2017)
Barnaby Martin, Franco Raimondi, Taolue Chen, Jos Martin
The packing chromatic number of the infinite square lattice is between 13 and 15. Discret. Appl. Math. 225 (2017)
Thomas Bauereiß, Armando Pesenti Gritti, Andrei Popescu, Franco Raimondi
CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees. IEEE Symposium on Security and Privacy (2017)
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi
Model-checking for Resource-Bounded ATL with production and consumption of resources. J. Comput. Syst. Sci. 88 (2017)
Franco Raimondi
Using multi-agent systems to go beyond temporal patterns verification. ACM SIGLOG News 3 (2) (2016)
Giuseppe Primiero, Michele Bottone, Franco Raimondi, Jacopo Tagliabue
Contradictory information flow in networks with trust and distrust. COMPLEX NETWORKS (2016)
Michele Bottone, Giuseppe Primiero, Franco Raimondi, Vincenzo De Florio
A Model for Trustworthy Orchestration in the Internet of Things. Intelligent Environments (2016)
Neha Rungta, Eric G. Mercer, Franco Raimondi, Bjorn C. Krantz, Richard Stocker, Andrew Wallace
Modeling complex air traffic management systems. MiSE@ICSE (2016)
Claudia Vannucchi, Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Mostarda, Franco Raimondi, Luca Tesei
A Formal Model for Event-Condition-Action Rules in Intelligent Environments. Intelligent Environments (Workshops) (2016)
Michele Bottone, Filippo Palumbo, Giuseppe Primiero, Franco Raimondi, Richard Stocker
Implementing Virtual Pheromones in BDI Robots Using MQTT and Jason (Short Paper). CloudNet (2016)
Dalal Khalid Aljasem, Michael Heeney, Armando Pesenti Gritti, Franco Raimondi
On-the-Fly Image Classification to Help Blind People. Intelligent Environments (2016)
Thomas Bauereiß, Armando Pesenti Gritti, Andrei Popescu, Franco Raimondi
CoSMed: A Confidentiality-Verified Social Media Platform. ITP (2016)
Jaap Boender, Edward Currie, Martin J. Loomes, Giuseppe Primiero, Franco Raimondi
Teaching Functional Patterns through Robotic Applications. TFPIE (2016)
Michele Bottone, Giuseppe Primiero, Franco Raimondi, Neha Rungta
From Raw Data to Agent Perceptions for Simulation, Verification, and Monitoring. Intelligent Environments (Workshops) (2016)
Gianluca Barbon, Michael Margolis, Filippo Palumbo, Franco Raimondi, Nick Weldin
Taking Arduino to the Internet of Things: The ASIP programming model. Comput. Commun. (2016)
Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Franco Raimondi
Efficient Model Checking Timed and Weighted Interpreted Systems Using SMT and SAT Solvers. KES-AMSTA (2016)
Taolue Chen, Giuseppe Primiero, Franco Raimondi, Neha Rungta
A Computationally Grounded, Weighted Doxastic Logic. Stud Logica 104 (4) (2016)
Barnaby Martin, Franco Raimondi, Taolue Chen, Jos Martin
The packing chromatic number of the infinite square lattice is less than or equal to 16. CoRR (2015)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Franco Raimondi
Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources. CoRR (2015)
Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints. Inf. Comput. 242 (2015)
Richard Stocker, Neha Rungta, Eric Mercer, Franco Raimondi, Jon Holbrook, Colleen Cardoza, Michael A. Goodrich
An Approach to Quantify Workload in a System of Agents. AAMAS (2015)
Giuseppe Primiero, Franco Raimondi
Software Theory Change for Resilient Near-Complete Specifications. ANT/SEIT (2015)
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Leonardo Mostarda
Symbolic Model-checking for Resource-Bounded ATL. AAMAS (2015)
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi
Symbolic Model Checking for One-Resource RB+-ATL. IJCAI (2015)
Balbir S. Barn, Ravinder Barn, Franco Raimondi
On the Role of Value Sensitive Concerns in Software Engineering Practice. ICSE (2) (2015)
Mirco Bordoni, Michele Bottone, Bob Fields, Nikos Gorogiannis, Michael Margolis, Giuseppe Primiero, Franco Raimondi
Towards Cyber-physical Systems as Services: The ASIP Protocol. SEsCPS@ICSE (2015)
Flavio Corradini, Rosario Culmone, Leonardo Mostarda, Luca Tesei, Franco Raimondi
A Constrained ECA Language Supporting Formal Verification of WSNs. AINA Workshops (2015)
Jaap Boender, Giuseppe Primiero, Franco Raimondi
Minimizing transitive trust threats in software management systems. PST (2015)
Christian R. Huyck, Giuseppe Primiero, Franco Raimondi
Programming the MIRTO Robot with Neurons. BICA (2014)
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi
Decidable Model-Checking for a Resource Logic with Production of Resources. ECAI (2014)
Franco Raimondi, Giuseppe Primiero, Kelly Androutsopoulos, Nikos Gorogiannis, Martin J. Loomes, Michael Margolis, Puja Varsani, Nick Weldin, Alex Zivanovic
A Racket-Based Robot to Teach First-Year Computer Science. ELS (2014)
Giuseppe Primiero, Franco Raimondi
A typed natural deduction calculus to reason about secure trust. PST (2014)
Giuseppe Primiero, Franco Raimondi, Neha Rungta
Model checking degrees of belief in a system of agents. AAMAS (2014)
Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi
Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints. ICFEM (2014)
Balbir S. Barn, Franco Raimondi, Lalith Athappian, Tony Clark
Slrtool: A Tool to Support Collaborative Systematic Literature Reviews. ICEIS (2) (2014)
Andrea Bettinelli, Leo Liberti, Franco Raimondi, David Savourey
The Anonymous Subgraph Problem. Comput. Oper. Res. 40 (4) (2013)
Neha Rungta, Guillaume Brat, William J. Clancey, Charlotte Linde, Franco Raimondi, Chin Seah, Michael G. Shafto
Aviation safety: modeling and analyzing complex interactions between humans and automated systems. ATACCS (2013)
Sven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi, Alexander von Rhein
Domain Types: Abstract-Domain Selection Based on Variable Usage. Haifa Verification Conference (2013)
Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi
Reasoning about Strategies under Partial Observability and Fairness Constraints SR (2013)
Josie Hunter, Franco Raimondi, Neha Rungta, Richard Stocker
A synergistic and extensible framework for multi-agent system verification. AAMAS (2013)
Antinisca Di Marco, Francesco Gallo, Orhan Gemikonakli, Leonardo Mostarda, Franco Raimondi
Implementing Adaptation and Reconfiguration Strategies in Heterogeneous WSN. AINA (2013)
Sven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi, Alexander von Rhein
Domain Types: Selecting Abstractions Based on Variable Usage CoRR (2013)
Fabio Roda, Leo Liberti, Franco Raimondi
Evaluation of Collaborative Filtering Algorithms Using a Small Dataset. WEBIST (2011)
Javier Cubo, Michele Sama, Franco Raimondi, David S. Rosenblum
A Model to Design and Verify Context-Aware Adaptive Service Composition. JISBD (2010)
James Skene, Franco Raimondi, Wolfgang Emmerich
Service-Level Agreements for Electronic Services. IEEE Trans. Software Eng. 36 (2) (2010)
Michele Sama, Sebastian G. Elbaum, Franco Raimondi, David S. Rosenblum, Zhimin Wang
Context-Aware Adaptive Applications: Fault Patterns and Their Automated Identification. IEEE Trans. Software Eng. 36 (5) (2010)
Fabio Roda, Leo Liberti, Franco Raimondi
Combinatorial Optimization Based Recommender Systems. CTW (2009)
Andrea Bettinelli, Leo Liberti, Franco Raimondi, David Savourey
The Anonymous Subgraph Problem. CTW (2009)
Javier Cubo, Michele Sama, Franco Raimondi, David S. Rosenblum
A Model to Design and Verify Context-Aware Adaptive Service Composition. IEEE SCC (2009)
Charles Pecheur, Franco Raimondi, Guillaume Brat
A formal analysis of requirements-based testing. ISSTA (2009)
Alessio Lomuscio, Hongyang Qu, Franco Raimondi
MCMAS: A Model Checker for the Verification of Multi-Agent Systems. CAV (2009)
Michele Sama, Franco Raimondi, David S. Rosenblum, Wolfgang Emmerich
Algorithms for efficient symbolic detection of faults in context-aware applications. ASE Workshops (2008)
Leo Liberti, Franco Raimondi
The Secret Santa Problem. AAIM (2008)
Franco Raimondi, James Skene, Wolfgang Emmerich
Efficient online monitoring of web-service SLAs. SIGSOFT FSE (2008)
Roberta Calegari, Mirco Musolesi, Franco Raimondi, Cecilia Mascolo
CTG: a connectivity trace generator for testing the performance of opportunistic mobile systems. ESEC/SIGSOFT FSE (2007)
Alessio Lomuscio, Charles Pecheur, Franco Raimondi
Automatic Verification of Knowledge and Time with NuSMV. IJCAI (2007)
Franco Raimondi, Alessio Lomuscio
Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams. J. Appl. Log. 5 (2) (2007)
Alessio Lomuscio, Franco Raimondi, Bozena Wozna
Verification of the TESLA protocol in MCMAS-X. Fundam. Informaticae 79 (3-4) (2007)
Franco Raimondi, Charles Pecheur, Guillaume Brat
Testing Planning Domains (without Model Checkers). Electron. Notes Theor. Comput. Sci. 190 (2) (2007)
Alessio Lomuscio, Franco Raimondi
The Complexity of Model Checking Concurrent Programs Against CTLK Specifications. DALT (2006)
Charles Pecheur, Franco Raimondi
Symbolic Model Checking of Logics with Actions. MoChArt (2006)
Alessio Lomuscio, Franco Raimondi
MCMAS: A Model Checker for Multi-agent Systems. TACAS (2006)
Alessio Lomuscio, Franco Raimondi
The complexity of model checking concurrent programs against CTLK specifications. AAMAS (2006)
Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski, Wojciech Penczek, Franco Raimondi, Maciej Szreter
Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol. Fundam. Informaticae 72 (1-3) (2006)
Alessio Lomuscio, Franco Raimondi
Model checking knowledge, strategies, and games in multi-agent systems. AAMAS (2006)
Franco Raimondi, Alessio Lomuscio
Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation. AAMAS (2004)
Franco Raimondi, Alessio Lomuscio
Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD's. ECAI (2004)
Franco Raimondi, Alessio Lomuscio
Automatic Verification of Deontic Properties of Multi-agent Systems. DEON (2004)
Franco Raimondi, Alessio Lomuscio
Towards Symbolic Model Checking for Multi-agent Systems via OBDD's. FAABS (2004)
Franco Raimondi, Alessio Lomuscio
A Tool For Specification And Verification Of Epistemic Properties In Interpreted Systems. Electron. Notes Theor. Comput. Sci. 85 (2) (2004)
Alessio Lomuscio, Franco Raimondi, Marek J. Sergot
Towards model checking interpreted systems. AAMAS (2003)

Franco Raimondi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Franco Raimondi