Publications

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, to appear in Journal of Reliable Intelligent Environments,

2016

  • Franco Raimondi, Using multi-agent systems to go beyond temporal patterns verification. SIGLOG News 3(2): 69-77 (2016)
  • Taolue Chen, Giuseppe Primiero, Franco Raimondi, Neha Rungta, A Computationally Grounded, Weighted Doxastic Logic. Studia Logica 104(4): 679-703 (2016)
  • Franco Raimondi, Using multi-agent systems to go beyond temporal patterns verification, in ACM SIGLOG News, Volume 3, number 2, page 69 (pdf)
  • Gianluca Barbon, Michael Margolis, Filippo Palumbo, Franco Raimondi, Nick Weldin, Taking Arduino to the Internet of Things: the ASIP programming model, in Elsevier Computer Communications (pdf preprint or final version).
  • Neha Rungta, Eric Mercer, Franco Raimondi, Bjorn Krantz, Richard Stocker and Andrew Wallace, Modeling Complex Air Traffic Management Systems, in 8th Workshop on Modelling in Software Engineering (MiSE’2016), colocated with ICSE 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: 196-199
  • Dalal Khalid Aljasem, Michael Heeney, Armando Pesenti Gritti, Franco Raimondi: On-the-Fly Image Classification to Help Blind People. Intelligent Environments 2016: 155-158
  • Michele Bottone, Giuseppe Primiero, Franco Raimondi, Vincenzo De Florio: A Model for Trustworthy Orchestration in the Internet of Things. Intelligent Environments 2016: 171-174
  • 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
  • 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
  • Thomas Bauereiß, Armando Pesenti Gritti, Andrei Popescu, Franco Raimondi: CoSMed: A Confidentiality-Verified Social Media Platform. ITP 2016: 87-106
  • 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
  • Jaap Boender, E. Currie, M. Loomes, Giuseppe Primiero, Franco Raimondi: Teaching Functional Patterns through Robotic Applications. TFPIE 2016: 17-29

2015

  • N. Alechina, B. Logan, H.N. Nguyen, F. Raimondi, Symbolic model checking for one-resource RB+-ATL, in proceedings of IJCAI 2015 (pdf) .
  • A. Lomuscio, H. Qu, F. Raimondi, MCMAS: an open-source model checker for the verification of multi-agent systems, in STTT, Int J Softw Tools Technol Transfer (link to pdf).
  • S. Busard, C. Pecheur, H. Qu, F. Raimondi, Reasoning about Memoryless Strategies under Partial Observability and Unconditional Fairness Constraints, in Information and Computation, 2015 (pdf preprint)
  • M. Bordoni, M. Bottone, B. Fields, N. Gorogiannis, M. Margolis, G. Primiero, F. Raimondi, Towards Cyber-Physical Systems as Services: the ASIP Protocol,  in Proceedings of SEsCPS15 (pdf preprint)
  • R. Stocker, N. Rungta, E. Mercer, F. Raimondi, J. Holbrook, C. Cardoza, M.Goodrich, An Approach to Quantify Workload in a System of Agents, in Proceedings of AAMAS 2015 (pdf preprint)
  • N. Alechina, B. Logan, H.N. Nguyen, F. Raimondi, Symbolic Model-checking for Resource-Bounded ATL (extended abstract), in Proceedings of AAMAS 2015 (pdf preprint)
  • B. Barn, R. Barn, F. Raimondi, On the Role of Value Sensitive Concerns in Software Engineering Practice,  in Proceedings of ICSE 2015 (pdf preprint)

2014

  • N. Alechina, B. Logan, H. Nga Nguyen, F. Raimondi, Decidable Model-Checking for a Resource Logic with Production of Resources, in Proceedings of ECAI 2014 (pdf)
  • G. Primiero, F. Raimondi, A typed natural deduction calculus to reason about secure trust, in Proceedings of PST 2014 (pdf)
  • G. Primiero, F. Raimondi, N. Rungta, Model Checking Degrees of Belief in a System of Agents, in Proceedings of AAMAS 2014 (pdf preprint).
  • K.Androutsopoulos, N. Gorogiannis, M. Loomes, M. Margolis, G. Primiero, F. Raimondi, P. Varsani, N. Weldin, A.Zivanovic, A Racket-Based Robot to Teach First-Year Computer Science, in Proceedings of the 7th European Lisp Symposium, ELS 2014 (pdf)
  • Balbir S. Barn, Franco Raimondi, Lalith Athappian, Tony Clark, Slrtool: A Tool to Support Collaborative Systematic Literature Reviews in Proceedings of ICEIS 2014.
  • Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi, Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints, in Proceedings of ICFEM 2014.

2013

  • N. Rungta, G. Brat, W. Clancey, C. Linde, F. Raimondi, Chin S. and M. Shafto, Aviation Safety: Modeling and Analyzing Complex Interactions between Humans and Automated Systems, in Proceedings of ATACCS 2013 (pdf preprint).
  • S. Busard, C. Pecheur, H. Qu, F. Raimondi, Reasoning about Strategies under Partial Observability and Fairness Constraints, in Proceedings of Strategic Reasoning 2013 (pdf).
  • J. Hunter, F. Raimondi, N. Rungta, R. Stocker, A Synergistic and Extensible Framework for Multi-Agent System Verification, in Proceedings of AAMAS 2013 (pdf preprint).
  • Sven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi, Alexander von Rhein, Domain Types: Abstract-Domain Selection Based on Variable Usage, in Proceedings of Haifa Verification Conference 2013: 262-278.
  • A. Di Marco, F. Gallo, O. Gemikonakli, L. Mostarda, F. Raimondi, Implementing Adaptation and Reconfiguration Strategies in Heterogeneous WSN, in Proceedings of the 27th IEEE International Conference on Advanced Information Networking and Applications (AINA-2013).
  • M. Sama, F. Raimondi, Synchronized Symmetric Model-View-Controller, in Proceedings of ID 2013 (International Workshop on Interference and Dependence) (pdf).

2012

  • A. Bettinelli, L. Liberti, F. Raimondi, D. Savourey, The Anonymous Subgraph Problem, in Computers & Operations Research, Elsevier (pdf)
  • F. Gallo, A. Di Marco, F. Raimondi, PROTEUS: a language for Adaptation Plans, in Proceedings of ADAPTIVE 2012.

2011

  • A. von Rhein, S. Apel, F. Raimondi, Introducing Binary Decision Diagrams in the Explicit-State Verification of Java Code, in Proceedings of the Java Pathfinder Workshop 2011 (co-locatedwith ASE 2011) (pdf).
  • F. Roda, L. Liberti, F. Raimondi, Evaluation of Collaborative Filtering Algorithms Using a Small Dataset, in Proceedings of WEBIST 2011: 603-606

2010

  • M. Sama, F. Raimondi, S. Elbaum, D. Rosenblum, Z. Wang, Context-Aware Adaptive Applications: Fault Patterns and Their Automated Identification, in IEEE Transactions on Software Engineering, 36(2): 288-304.
  • J. Skene, F.Raimondi, W. Emmerich, Service-Level Agreements for Electronic Services, in IEEE Transactions on Software Engineering, 36(5): 644-661.

2009

  • F. Raimondi, C. Pecheur, G. Brat, PDDL, a tool to verify PDDL planning domains, in proceedings of VVPS 2009 (pdf).
  • J. Cubo, M. Sama, F. Raimondi, D. Rosenblum, A Model to Design and Verify Context-Aware Adaptive Service Composition,  in IEEE proceedings of SCC 2009.
  • A. Bettinelli, L. Liberti, F. Raimondi, D. Savourey, The Anonymous Subgraph Problem, in Proceedings of CTW 2009 (pdf).
  • F. Roda, L. Liberti, F. Raimondi, Combinatorial optimization based recommender systems, in Proceedings of CTW 2009 (pdf).
  • A. Lomuscio, H. Qu, F. Raimondi, MCMAS: A Model Checker for the verification of Multi-Agent Systems, in Proceedings of CAV 2009 (pdf)
  • C. Pecheur, F. Raimondi, G. Brat, A Formal Analysis of Requirements-Based Testing, in Proceedings of ISSTA 2009 (pdf)

2008

  • M. Sama, F. Raimondi, D. Rosenblum, W. Emmerich, Algorithms for efficient symbolic detection of faults in context-aware applications. In IEEE DL proceedings of the ARAMIS 2008, L’Aquila, Italy, 2008 (pdf).
  • F. Raimondi, J. Skene, W. Emmerich, Efficient online monitoring of web-service SLAs. In Proceedings of ACM SIGSOFT/FSE 2008, Atlanta, USA, 2008 (pdf).
  • L. Liberti, F.Raimondi, The Secret Santa Problem. In Proceedings of AAIM 2008, Shangai, China, 2008 (pdf).

2007

  • R. Calegari, M. Musolesi, F. Raimondi, C. Mascolo,  CTG: a Connectivity Trace Generator for testing the performance of opportunistic mobile systems. In Proceedings of ESEC/FSE 2007, Dubrovnik, Croatia, September 2007.
  • F. Raimondi, J. Skene, W. Emmerich, B. Wozna, A Methodology for online monitoring non-functional specification of web-services. Proceedings of PROVECS 2007 – TOOLS 2007, Zurich, June 2007 (pdf).
  • A. Lomuscio, F. Raimondi, B. Wozna, Verification of the TESLA protocol with MCMAS-X. Fundamenta Informaticae, 79 (3-4): 473-486 (pdf preprint).
  • F. Raimondi, C. Pecheur, G. Brat, Testing Planning Domains (without Model Checkers), in Proceedings of MBT (Model Based Testing), colocated with ETAPS 2007, Braga, Portugal, March 2007 (pdf).
  • A. Lomuscio, C. Pecheur, F. Raimondi, Verification of knowledge and time with NuSMV. In Proceedings of IJCAI07 (International Conference on Artificial Intelligence), Hyderabadad, India, January 2007. (ps, pdf). NOTICE: all IJCAI proceedings (from all years!) are available online at http://www.ijcai.org

2006

  • F. Raimondi, Model Checking Multi-Agent Systems. PhD thesis, University College London. Supervisor: Dr Alessio Lomuscio. (ps, pdf)
  • A. Lomuscio, F. Raimondi, B. Wozna, Verification of the TESLA protocol with MCMAS-X. Proceedings of CS&P, International Workshop on Concurrency, Specification and Programming. Wandlitz, Germany, September 2006 (see above for the 2007 journal version).
  • C. Pecheur and F. Raimondi, Symbolic model checking of logics with Actions, Proceedings of the Fourth Workshop on model checking artificial intelligence (MoChArt 2006), Springer Verlag LNAI. (pdf)
  • M. Kacprzak and A. Lomuscio and and A. Niewiadomski and W. Penczek and F. Raimondi and M. Szreter, Comparing BDD and SAT based techniques for model checking Chaum’s Dining Cryptographers Protocol, Fundamenta Informaticae 72(1-3): 215-234. (preprint ps, pdf)
  • F. Raimondi, A. Lomuscio, Model checking knowledge, strategies, and games in multi-agent systems in Proceedings of the 5th International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS’06). (ps, pdf)
  • F. Raimondi, A. Lomuscio, The complexity of model checking concurrent programs against CTLK specifications in Proceedings of the 5th International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS’06) (this is a revised short paper from CS&P, see below). (ps, pdf)
  • F. Raimondi, A. Lomuscio, MCMAS: a tool for verifying multi-agent systems, Proceedings of TACAS 2006, 12th international conference on tools and algorithms for the construction and analysis of system, Springer Verlag LNCS 3920 (ps, pdf)

2005

  • F. Raimondi, A. Lomuscio, The complexity of symbolic model checking temporal-epistemic logics, Proceedings of the Workshop on Concurrency, Specification and Programming (CS&P), September 2005, Poland. (ps, pdf)
  • F. Raimondi, C. Pecheur, A. Lomuscio, Applications of model checking for multi-agent systems: verification of diagnosability and recoverability, Proceedings of the Workshop on Concurrency, Specification and Programming (CS&P), September 2005, Poland. (ps, pdf)
  • F. Raimondi, A. Lomuscio, Automatic verification of deontic interpreted systems by model checking via OBDD’s, in Journal of Applied Logic, special issue on Logic-based agent verification. (ps preprint, pdf preprint)
  • F. Raimondi, A. Lomuscio, Model checking knowledge, strategies, and games in multi-agent systems, Department of Computer Science Technical report RN/05/01, UCL, London (ps, pdf).

2004

  • F. Raimondi, A. Lomuscio, Automatic verification of deontic and epistemic properties of multi-agent systems by model checking via OBDD’s, Proceedings of ECAI 2004, Valencia, August 2004. (ps, pdf)
  • F. Raimondi, A. Lomuscio, Symbolic model checking of multiagent systems via OBDD’s: an algorithm and its implementation, Proceedings of AAMAS04, New York, August 2004 (ps).
  • F. Raimondi, A. Lomuscio, Automatic verification of deontic properties of multi-agent systems, Proceedings of DEON04, Springer Verlag LNCS vol. 3065 . Madeira, Portugal, May 2004. (ps preprint)
  • F. Raimondi, A. Lomuscio, Verification of multiagent systems via ordered binary decision diagrams: an algorithm and its implementation, Technical Report TR-04-01, Department of Computer Science, King’s College London, January 2004. (DCS technical reports)
  • F. Raimondi, A. Lomuscio, Symbolic model checking of multi-agent systems using OBDDs, Proceedings of the Third NASA Workshop on Formal Approaches to agent-based systems (FAABS III), Greenbelt, Maryland, USA, in Spinger Verlag LNCS, April 2004 (ps, pdf)

2003

  • F. Raimondi, Verification in multi-agent systems. Transfer Report, Department of Computer Science, King’s College London, 2003 (ps, pdf)
  • F. Raimondi, Model Checking Epistemic Properties of Interpreted Systems Proceedings of ESSLLI 2003 (European Summer school on Logic, Language and computation), Vienna, Austria. (ps, pdf)
  • A.Lomuscio, F.Raimondiand M.Sergot, Towards modelchecking interpreted systems (poster) Proceedings of AAMAS 2003, Melbourne, Australia (ps, pdf)
  • F. Raimondi, A.Lomuscio, A Tool For Specification And Verification Of Epistemic Properties In Interpreted Systems, Electronic Lecture Notes of Theoretical Computer Science, vol. 85. (ps, pdf)

2002

  • A.Lomuscio, F. Raimondiand M.Sergot, Towards model checking interpreted systems. Proceedings of MoChArt 2002 (Model Checking Artificial Intelligence), Lyon (ps, pdf)