## 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*, to appear in 8th Workshop on Modelling in Software Engineering (MiSE’2016), colocated with ICSE 2016.

## 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*, to appear 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*, to appear 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*, to appear 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**, to appear 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*, to appear 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)*. 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.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)