Franco Raimondi

96 papers A* 6A 13B 8C 7Journal 25Unranked 35

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