Franco Raimondi publications:

2012

• 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-located with 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, to appear 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). To appear 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. To appear 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.Raimondi and M.Sergot, Towards model checking 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. Raimondi and M.Sergot, Towards model checking interpreted systems. Proceedings of MoChArt 2002 (Model Checking Artificial Intelligence), Lyon (ps, pdf)