default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFranco Raimondi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c65]Michael Heeney, Kelly Androutsopoulos, Franco Raimondi:
Implementing a Digital Twin for a Robotic Platform to Support Large-Scale Coding Classes. ICPEC 2024: 15:1-15:12- [c64]Mattia Paccamiccio, Franco Raimondi, Michele Loreti:
Building call graph of WebAssembly programs via abstract semantics. ITASEC 2024 - [i5]Mattia Paccamiccio, Franco Raimondi, Michele Loreti:
Building Call Graph of WebAssembly Programs via Abstract Semantics. CoRR abs/2407.14527 (2024) - 2023
- [c63]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: 460-484 - 2022
- [c62]Dorde Zikelic, Bor-Yuh Evan Chang, Pauline Bolignano, Franco Raimondi:
Differential cost analysis with simultaneous potentials and anti-potentials. PLDI 2022: 442-457 - [i4]Dorde Zikelic, Bor-Yuh Evan Chang, Pauline Bolignano, Franco Raimondi:
Differential Cost Analysis with Simultaneous Potentials and Anti-potentials. CoRR abs/2204.00870 (2022) - 2021
- [j19]Giuseppe Primiero, Franco Raimondi, Taolue Chen:
A theory of change for prioritised resilient and evolvable software systems. Synth. 198(23): 5719-5744 (2021) - [c61]Iulia Bastys, Pauline Bolignano, Franco Raimondi, Daniel Schoepe:
Automatic Annotation of Confidential Data in Java Code. FPS 2021: 146-161
2010 – 2019
- 2019
- [j18]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): 449-469 (2019) - 2018
- [j17]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): 261-273 (2018) - [j16]Thomas Bauereiß, Armando Pesenti Gritti, Andrei Popescu, Franco Raimondi:
CoSMed: A Confidentiality-Verified Social Media Platform. J. Autom. Reason. 61(1-4): 113-139 (2018) - [c60]Michele Bottone, Franco Raimondi, Giuseppe Primiero:
Multi-agent Based Simulations of Block-Free Distributed Ledgers. AINA Workshops 2018: 585-590 - [c59]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:
MIRTO: an Open-Source Robotic Platform for Education. ECSEE 2018: 55-62 - 2017
- [j15]Giuseppe Primiero, Franco Raimondi, Michele Bottone, Jacopo Tagliabue:
Trust and distrust in contradictory information transmission. Appl. Netw. Sci. 2: 12 (2017) - [j14]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: 136-142 (2017) - [j13]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: 126-144 (2017) - [j12]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): 117-130 (2017) - [j11]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): 9-30 (2017) - [c58]Giuseppe Primiero, Franco Raimondi, Taolue Chen, Rajagopal Nagarajan:
A Proof-Theoretic Trust and Reputation Model for VANET. EuroS&P Workshops 2017: 146-152 - [c57]Nikos Gorogiannis, Franco Raimondi, Ioana Boureanu:
A Novel Symbolic Approach to Verifying Epistemic Properties of Programs. IJCAI 2017: 206-212 - [c56]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: 92-99 - [c55]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: 729-748 - [p1]Guillaume Brat, Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Franco Raimondi, Neha Rungta:
Formal Analysis of Multiple Coordinated HMI Systems. Handbook of Formal Methods in Human-Computer Interaction 2017: 405-431 - 2016
- [j10]Gianluca Barbon, Michael Margolis, Filippo Palumbo, Franco Raimondi, Nick Weldin:
Taking Arduino to the Internet of Things: The ASIP programming model. Comput. Commun. 89-90: 128-140 (2016) - [j9]Taolue Chen, Giuseppe Primiero, Franco Raimondi, Neha Rungta:
A Computationally Grounded, Weighted Doxastic Logic. Stud Logica 104(4): 679-703 (2016) - [j8]Franco Raimondi:
Using multi-agent systems to go beyond temporal patterns verification. ACM SIGLOG News 3(2): 69-77 (2016) - [c54]Michele Bottone, Filippo Palumbo, Giuseppe Primiero, Franco Raimondi, Richard Stocker:
Implementing Virtual Pheromones in BDI Robots Using MQTT and Jason (Short Paper). CloudNet 2016: 196-199 - [c53]Giuseppe Primiero, Michele Bottone, Franco Raimondi, Jacopo Tagliabue:
Contradictory information flow in networks with trust and distrust. COMPLEX NETWORKS 2016: 361-372 - [c52]Neha Rungta, Eric G. Mercer, Franco Raimondi, Bjorn C. Krantz, Richard Stocker, Andrew Wallace:
Modeling complex air traffic management systems. MiSE@ICSE 2016: 41-47 - [c51]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: 56-65 - [c50]Michele Bottone, Giuseppe Primiero, Franco Raimondi, Neha Rungta:
From Raw Data to Agent Perceptions for Simulation, Verification, and Monitoring. Intelligent Environments (Workshops) 2016: 66-75 - [c49]Dalal Khalid Aljasem, Michael Heeney, Armando Pesenti Gritti, Franco Raimondi:
On-the-Fly Image Classification to Help Blind People. Intelligent Environments 2016: 155-158 - [c48]Michele Bottone, Giuseppe Primiero, Franco Raimondi, Vincenzo De Florio:
A Model for Trustworthy Orchestration in the Internet of Things. Intelligent Environments 2016: 171-174 - [c47]Thomas Bauereiß, Armando Pesenti Gritti, Andrei Popescu, Franco Raimondi:
CoSMed: A Confidentiality-Verified Social Media Platform. ITP 2016: 87-106 - [c46]Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Franco Raimondi:
Efficient Model Checking Timed and Weighted Interpreted Systems Using SMT and SAT Solvers. KES-AMSTA 2016: 45-55 - [c45]Jaap Boender, Edward Currie, Martin J. Loomes, Giuseppe Primiero, Franco Raimondi:
Teaching Functional Patterns through Robotic Applications. TFPIE 2016: 17-29 - 2015
- [j7]Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi:
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints. Inf. Comput. 242: 128-156 (2015) - [c44]Flavio Corradini, Rosario Culmone, Leonardo Mostarda, Luca Tesei, Franco Raimondi:
A Constrained ECA Language Supporting Formal Verification of WSNs. AINA Workshops 2015: 187-192 - [c43]Giuseppe Primiero, Franco Raimondi:
Software Theory Change for Resilient Near-Complete Specifications. ANT/SEIT 2015: 988-995 - [c42]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: 1041-1050 - [c41]Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Leonardo Mostarda:
Symbolic Model-checking for Resource-Bounded ATL. AAMAS 2015: 1809-1810 - [c40]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: 52-55 - [c39]Balbir S. Barn, Ravinder Barn, Franco Raimondi:
On the Role of Value Sensitive Concerns in Software Engineering Practice. ICSE (2) 2015: 497-500 - [c38]Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi:
Symbolic Model Checking for One-Resource RB+-ATL. IJCAI 2015: 1069-1075 - [c37]Jaap Boender, Giuseppe Primiero, Franco Raimondi:
Minimizing transitive trust threats in software management systems. PST 2015: 191-198 - [i3]Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Franco Raimondi:
Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources. CoRR abs/1504.06766 (2015) - [i2]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 abs/1510.02374 (2015) - 2014
- [c36]Giuseppe Primiero, Franco Raimondi, Neha Rungta:
Model checking degrees of belief in a system of agents. AAMAS 2014: 133-140 - [c35]Christian R. Huyck, Giuseppe Primiero, Franco Raimondi:
Programming the MIRTO Robot with Neurons. BICA 2014: 75-82 - [c34]Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi:
Decidable Model-Checking for a Resource Logic with Production of Resources. ECAI 2014: 9-14 - [c33]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: 54-62 - [c32]Balbir S. Barn, Franco Raimondi, Lalith Athappian, Tony Clark:
Slrtool: A Tool to Support Collaborative Systematic Literature Reviews. ICEIS (2) 2014: 440-447 - [c31]Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi:
Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints. ICFEM 2014: 27-42 - [c30]Giuseppe Primiero, Franco Raimondi:
A typed natural deduction calculus to reason about secure trust. PST 2014: 379-382 - 2013
- [j6]Andrea Bettinelli, Leo Liberti, Franco Raimondi, David Savourey:
The Anonymous Subgraph Problem. Comput. Oper. Res. 40(4): 973-979 (2013) - [c29]Antinisca Di Marco, Francesco Gallo, Orhan Gemikonakli, Leonardo Mostarda, Franco Raimondi:
Implementing Adaptation and Reconfiguration Strategies in Heterogeneous WSN. AINA 2013: 477-483 - [c28]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: 27-37 - [c27]Josie Hunter, Franco Raimondi, Neha Rungta, Richard Stocker:
A synergistic and extensible framework for multi-agent system verification. AAMAS 2013: 869-876 - [c26]Sven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi, Alexander von Rhein:
Domain Types: Abstract-Domain Selection Based on Variable Usage. Haifa Verification Conference 2013: 262-278 - [c25]Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi:
Reasoning about Strategies under Partial Observability and Fairness Constraints. SR 2013: 71-79 - [i1]Sven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi, Alexander von Rhein:
Domain Types: Selecting Abstractions Based on Variable Usage. CoRR abs/1305.6640 (2013) - 2011
- [c24]Fabio Roda, Leo Liberti, Franco Raimondi:
Evaluation of Collaborative Filtering Algorithms Using a Small Dataset. WEBIST 2011: 603-606 - 2010
- [j5]James Skene, Franco Raimondi, Wolfgang Emmerich:
Service-Level Agreements for Electronic Services. IEEE Trans. Software Eng. 36(2): 288-304 (2010) - [j4]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): 644-661 (2010) - [c23]Javier Cubo, Michele Sama, Franco Raimondi, David S. Rosenblum:
A Model to Design and Verify Context-Aware Adaptive Service Composition. JISBD 2010: 259-259
2000 – 2009
- 2009
- [c22]Javier Cubo, Michele Sama, Franco Raimondi, David S. Rosenblum:
A Model to Design and Verify Context-Aware Adaptive Service Composition. IEEE SCC 2009: 184-191 - [c21]Alessio Lomuscio, Hongyang Qu, Franco Raimondi:
MCMAS: A Model Checker for the Verification of Multi-Agent Systems. CAV 2009: 682-688 - [c20]Fabio Roda, Leo Liberti, Franco Raimondi:
Combinatorial Optimization Based Recommender Systems. CTW 2009: 175-179 - [c19]Andrea Bettinelli, Leo Liberti, Franco Raimondi, David Savourey:
The Anonymous Subgraph Problem. CTW 2009: 269-274 - [c18]Charles Pecheur, Franco Raimondi, Guillaume Brat:
A formal analysis of requirements-based testing. ISSTA 2009: 47-56 - 2008
- [c17]Leo Liberti, Franco Raimondi:
The Secret Santa Problem. AAIM 2008: 271-279 - [c16]Michele Sama, Franco Raimondi, David S. Rosenblum, Wolfgang Emmerich:
Algorithms for efficient symbolic detection of faults in context-aware applications. ASE Workshops 2008: 1-8 - [c15]Franco Raimondi, James Skene, Wolfgang Emmerich:
Efficient online monitoring of web-service SLAs. SIGSOFT FSE 2008: 170-180 - 2007
- [j3]Alessio Lomuscio, Franco Raimondi, Bozena Wozna:
Verification of the TESLA protocol in MCMAS-X. Fundam. Informaticae 79(3-4): 473-486 (2007) - [j2]Franco Raimondi, Alessio Lomuscio:
Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams. J. Appl. Log. 5(2): 235-251 (2007) - [c14]Alessio Lomuscio, Charles Pecheur, Franco Raimondi:
Automatic Verification of Knowledge and Time with NuSMV. IJCAI 2007: 1384-1389 - [c13]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: 415-424 - [c12]Franco Raimondi, Charles Pecheur, Guillaume Brat:
Testing Planning Domains (without Model Checkers). MBT 2007: 113-125 - 2006
- [b1]Franco Raimondi:
Model checking multi-agent systems. University College London, UK, 2006 - [j1]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): 215-234 (2006) - [c11]Alessio Lomuscio, Franco Raimondi:
Model checking knowledge, strategies, and games in multi-agent systems. AAMAS 2006: 161-168 - [c10]Alessio Lomuscio, Franco Raimondi:
The complexity of model checking concurrent programs against CTLK specifications. AAMAS 2006: 548-550 - [c9]Alessio Lomuscio, Franco Raimondi:
The Complexity of Model Checking Concurrent Programs Against CTLK Specifications. DALT 2006: 29-42 - [c8]Charles Pecheur, Franco Raimondi:
Symbolic Model Checking of Logics with Actions. MoChArt 2006: 113-128 - [c7]Alessio Lomuscio, Franco Raimondi:
MCMAS: A Model Checker for Multi-agent Systems. TACAS 2006: 450-454 - 2004
- [c6]Franco Raimondi, Alessio Lomuscio:
Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation. AAMAS 2004: 630-637 - [c5]Franco Raimondi, Alessio Lomuscio:
Automatic Verification of Deontic Properties of Multi-agent Systems. DEON 2004: 228-242 - [c4]Franco Raimondi, Alessio Lomuscio:
Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD's. ECAI 2004: 53-57 - [c3]Franco Raimondi, Alessio Lomuscio:
Towards Symbolic Model Checking for Multi-agent Systems via OBDD's. FAABS 2004: 213-221 - 2003
- [c2]Alessio Lomuscio, Franco Raimondi, Marek J. Sergot:
Towards model checking interpreted systems. AAMAS 2003: 1054-1055 - [c1]Franco Raimondi, Alessio Lomuscio:
A Tool For Specification And Verification Of Epistemic Properties In Interpreted Systems. LCMAS 2003: 176-191
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
