Alessio Lomuscio

Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi: Verification of Agent-Based Artifact Systems. CoRR abs/1301.2678 (2013)

Panagiotis Kouvaros, Alessio Lomuscio: Automatic Verification of Parameterised Interleaved Multi-Agent Systems. CoRR abs/1301.6431 (2013)

Alessio Lomuscio, Hongyang Qu, Monika Solanki: Towards verifying contract regulated service composition. Autonomous Agents and Multi-Agent Systems 24(3): 345-373 (2012)

Francesco Belardinelli, Alessio Lomuscio: Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results. J. Artif. Intell. Res. (JAIR) 45: 1-45 (2012)

Andrew V. Jones, Michal Knapik, Wojciech Penczek, Alessio Lomuscio: Group synthesis for parametric temporal-epistemic logic. AAMAS 2012: 1107-1114

Ioana Boureanu, Andrew V. Jones, Alessio Lomuscio: Automatic verification of epistemic specifications under convergent equational theories. AAMAS 2012: 1141-1148

Steve Barker, Andrew J. I. Jones, Antonis C. Kakas, Robert A. Kowalski, Alessio Lomuscio, Rob Miller, Stephen Muggleton, Giovanni Sartor: The Scientific Contribution of Marek Sergot. Logic Programs, Norms and Action 2012: 4-11

Alessio Lomuscio, Wojciech Penczek: Symbolic Model Checking for Temporal-Epistemic Logic. Logic Programs, Norms and Action 2012: 172-195

Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi: Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction. ICSOC 2012: 17-31

Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio: Verifying GSM-Based Business Artifacts. ICWS 2012: 25-32

Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi: An Abstraction Technique for the Verification of Artifact-Centric Systems. KR 2012

Paolo Felli, Giuseppe De Giacomo, Alessio Lomuscio: Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments. KR 2012

Francesco Belardinelli, Pavel Gonzalez, Alessio Lomuscio: Automated Verification of Quantum Protocols using MCMAS. QAPL 2012: 48-62

Francesco Belardinelli, Alessio Lomuscio: First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. Fundam. Inform. 106(2-4): 175-190 (2011)

Alessio Lomuscio, Wojciech Penczek, Monika Solanki, Maciej Szreter: Runtime Monitoring of Contract Regulated Web Services. Fundam. Inform. 111(3): 339-355 (2011)

Francesco Belardinelli, Andrew V. Jones, Alessio Lomuscio: Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata. Fundam. Inform. 112(1): 19-37 (2011)

Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi: Verification of Deployed Artifact Systems via Data Abstraction. ICSOC 2011: 142-156

Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi: A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results. IJCAI 2011: 738-743

Jonathan Ezekiel, Alessio Lomuscio, Levente Molnar, Sandor M. Veres: Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle. IJCAI 2011: 1659-1664

Alessio Lomuscio, Wojciech Penczek, Hongyang Qu: Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems. Fundam. Inform. 101(1-2): 71-90 (2010)

Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu: Model Checking Optimisation Based Congestion Control Algorithms. Fundam. Inform. 102(1): 77-96 (2010)

Alessio Lomuscio, Wojciech Penczek, Hongyang Qu: Partial order reductions for model checking temporal epistemic logics over interleaved multi-agent systems. AAMAS 2010: 659-666

Andrew V. Jones, Alessio Lomuscio: Distributed BDD-based BMC for the verification of multi-agent systems. AAMAS 2010: 675-682

Ioana Boureanu, Mika Cohen, Alessio Lomuscio: Model checking detectability of attacks in multiagent systems. AAMAS 2010: 691-698

Alessio Lomuscio, Monika Solanki, Wojciech Penczek, Maciej Szreter: Runtime monitoring of contract regulated web services. AAMAS 2010: 1449-1450

Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Qu: Parallel Model Checking for Temporal Epistemic Logic. ECAI 2010: 543-548

Mika Cohen, Alessio Lomuscio: Non-elementary speed up for model checking synchronous perfect recall. ECAI 2010: 1077-1078

Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu: Assume-Guarantee Reasoning with Local Specifications. ICFEM 2010: 204-219

Jonathan Ezekiel, Alessio Lomuscio: A Methodology for Automatic Diagnosability Analysis. ICFEM 2010: 549-564

Francesco Belardinelli, Alessio Lomuscio: Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems. KR 2010

Alessio Lomuscio, Hongyang Qu, Francesco Russo: Automatic Data-Abstraction in Model Checking Multi-Agent Systems. MoChArt 2010: 52-68

Francesco Belardinelli, Alessio Lomuscio: Quantified epistemic logics for reasoning about knowledge in multi-agent systems. Artif. Intell. 173(9-10): 982-1013 (2009)

Ioana Boureanu, Mika Cohen, Alessio Lomuscio: Automatic verification of temporal-epistemic properties of cryptographic protocols. Journal of Applied Non-Classical Logics 19(4): 463-487 (2009)

Alessio Lomuscio, Monika Solanki: Mapping OWL-S Processes to Multi Agent Systems: A Verification Oriented Approach. AINA Workshops 2009: 488-493

Jonathan Ezekiel, Alessio Lomuscio: Combining fault injection and model checking to verify fault tolerance in multi-agent systems. AAMAS (1) 2009: 113-120

Mika Cohen, Mads Dam, Alessio Lomuscio, Francesco Russo: Abstraction in model checking multi-agent systems. AAMAS (2) 2009: 945-952

Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu: A Data Symmetry Reduction Technique for Temporal-epistemic Logic. ATVA 2009: 69-83

Alessio Lomuscio, Hongyang Qu, Franco Raimondi: MCMAS: A Model Checker for the Verification of Multi-Agent Systems. CAV 2009: 682-688

Alessio Lomuscio, Monika Solanki: Towards an Agent Based Approach for Verification of OWL-S Process Models. ESWC 2009: 578-592

Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu: A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic. IJCAI 2009: 721-726

Jonathan Ezekiel, Alessio Lomuscio: An Automated Approach to Verifying Diagnosability in Multi-agent Systems. SEFM 2009: 51-60

Francesco Belardinelli, Alessio Lomuscio: First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. WoLLIC 2009: 140-154

Alessio Lomuscio, Wojciech Penczek: LDYIS: a Framework for Model Checking Security Protocols. Fundam. Inform. 85(1-4): 359-375 (2008)

Alessio Lomuscio, Hongyang Qu, Monika Solanki: Towards verifying compliance in agent-based web service compositions. AAMAS (1) 2008: 265-272

Alessio Lomuscio, Hongyang Qu, Monika Solanki: Towards Verifying Contract Regulated Service Composition. ICWS 2008: 254-261

Francesco Belardinelli, Alessio Lomuscio: A Complete First-Order Logic of Knowledge and Time. KR 2008: 705-714

Alessio Lomuscio, Wojciech Penczek, Hongyang Qu: Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic. MoChArt 2008: 106-121

Alessio Lomuscio, Wojciech Penczek, Bozena Wozna: Bounded model checking for knowledge and real time. Artif. Intell. 171(16-17): 1011-1038 (2007)

Alessio Lomuscio, Franco Raimondi, Bozena Wozna: Verification of the TESLA protocol in MCMAS-X. Fundam. Inform. 79(3-4): 473-486 (2007)

Franco Raimondi, Alessio Lomuscio: Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams. J. Applied Logic 5(2): 235-251 (2007)

Alessio Lomuscio, Wojciech Penczek: Symbolic model checking for temporal-epistemic logics. SIGACT News 38(3): 77-99 (2007)

Francesco Belardinelli, Alessio Lomuscio: A quantified epistemic logic for reasoning about multiagent systems. AAMAS 2007: 87

Alessio Lomuscio, Bozena Wozna: A temporal epistemic logic with a reset operation. AAMAS 2007: 145

Francesco Belardinelli, Alessio Lomuscio: A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems. CLIMA 2007: 248-267

Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Monika Solanki: Verifying Temporal and Epistemic Properties of Web Service Compositions. ICSOC 2007: 456-461

Alessio Lomuscio, Charles Pecheur, Franco Raimondi: Automatic Verification of Knowledge and Time with NuSMV. IJCAI 2007: 1384-1389

Stefan Edelkamp, Alessio Lomuscio (Eds.): Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers. Lecture Notes in Computer Science 4428, Springer 2007, isbn 978-3-540-74127-5

Alessio Lomuscio, Wojciech Penczek: Logic Column 19: Symbolic Model Checking for Temporal-Epistemic Logics. CoRR abs/0709.0446 (2007)

Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge: Preface. Electr. Notes Theor. Comput. Sci. 157(4): 1-2 (2006)

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. Inform. 72(1-3): 215-234 (2006)

Alessio Lomuscio, Bozena Wozna: A complete and decidable security-specialised logic and its application to the TESLA protocol. AAMAS 2006: 145-152

Alessio Lomuscio, Franco Raimondi: Model checking knowledge, strategies, and games in multi-agent systems. AAMAS 2006: 161-168

Wiebe van der Hoek, Alessio Lomuscio, Michael Wooldridge: On the complexity of practical ATL model checking. AAMAS 2006: 201-208

Alessio Lomuscio, Franco Raimondi: The complexity of model checking concurrent programs against CTLK specifications. AAMAS 2006: 548-550

Alessio Lomuscio, Franco Raimondi: The Complexity of Model Checking Concurrent Programs Against CTLK Specifications. DALT 2006: 29-42

Alessio Lomuscio, Bozena Wozna: A Complete and Decidable Axiomatisation for Deontic Interpreted Systems. DEON 2006: 238-254

Alessio Lomuscio, Bozena Wozna, Andrzej Zbrzezny: Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation. MoChArt 2006: 95-112

Alessio Lomuscio, Franco Raimondi: MCMAS: A Model Checker for Multi-agent Systems. TACAS 2006: 450-454

Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge: Preface. Electr. Notes Theor. Comput. Sci. 126: 1-2 (2005)

Bozena Wozna, Alessio Lomuscio, Wojciech Penczek: Bounded Model Checking for Deontic Interpreted Systems. Electr. Notes Theor. Comput. Sci. 126: 93-114 (2005)

Alessio Lomuscio, Donald Nute: Editorial. J. Applied Logic 3(3-4): 369-370 (2005)

Bozena Wozna, Alessio Lomuscio, Wojciech Penczek: Bounded model checking for knowledge and real time. AAMAS 2005: 165-172

Alessio Lomuscio, Bozena Wozna: A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results. DALT 2005: 188-204

Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge: Preface: Volume 85, Issue 2. Electr. Notes Theor. Comput. Sci. 85(2): 81 (2004)

Wiebe van der Hoek, Alessio Lomuscio: A Logic For Ignorance. Electr. Notes Theor. Comput. Sci. 85(2): 117-133 (2004)

Franco Raimondi, Alessio Lomuscio: A Tool For Specification And Verification Of Epistemic Properties In Interpreted Systems. Electr. Notes Theor. Comput. Sci. 85(2): 176-191 (2004)

Magdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek: From Bounded to Unbounded Model Checking for Temporal Epistemic Logic. Fundam. Inform. 63(2-3): 221-240 (2004)

Alessio Lomuscio, Marek J. Sergot: A formalisation of violation, error recovery, and enforcement in the bit transmission problem. J. Applied Logic 2(1): 93-116 (2004)

Franco Raimondi, Alessio Lomuscio: Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation. AAMAS 2004: 630-637

Magdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek: Verification of Multiagent Systems via Unbounded Model Checking. AAMAS 2004: 638-645

Bozena Wozna, Alessio Lomuscio: A Logic for Knowledge, Correctness, and Real Time. CLIMA 2004: 1-15

Franco Raimondi, Alessio Lomuscio: Automatic Verification of Deontic Properties of Multi-agent Systems. DEON 2004: 228-242

Franco Raimondi, Alessio Lomuscio: Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD's. ECAI 2004: 53-57

Magdalena Kacprzak, Alessio Lomuscio, T. Lasica, Wojciech Penczek, Maciej Szreter: Verifying Multi-agent Systems via Unbounded Model Checking. FAABS 2004: 189-212

Franco Raimondi, Alessio Lomuscio: Towards Symbolic Model Checking for Multi-agent Systems via OBDD's. FAABS 2004: 213-221

Alessio Lomuscio, Donald Nute (Eds.): Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings. Lecture Notes in Computer Science 3065, Springer 2004, isbn 3-540-22111-5

Wojciech Penczek, Alessio Lomuscio: Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking. Fundam. Inform. 55(2): 167-185 (2003)

Alessio Lomuscio, Marek J. Sergot: Deontic Interpreted Systems. Studia Logica 75(1): 63-92 (2003)

Wojciech Penczek, Alessio Lomuscio: Verifying epistemic properties of multi-agent systems via bounded model checking. AAMAS 2003: 209-216

Alessio Lomuscio, Franco Raimondi, Marek J. Sergot: Towards model checking interpreted systems. AAMAS 2003: 1054-1055

Wiebe van der Hoek, Alessio Lomuscio: Ignore at your peril - towards a logic for ignorance. AAMAS 2003: 1148-1149

Guido Governatori, Alessio Lomuscio, Marek J. Sergot: A Tableaux System for Deontic Interpreted Systems. Australian Conference on Artificial Intelligence 2003: 339-351

Wiebe van der Hoek, Alessio Lomuscio: A logic for ignorance. DALT 2003: 97-108

Alessio Lomuscio, Marek J. Sergot: The bit transmission problem revisited. AAMAS 2002: 946-947

Alessio Lomuscio, T. Lasica, Wojciech Penczek: Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results. FAABS 2002: 115-125

Michael Wooldridge, Alessio Lomuscio: A Computationally Grounded Logic of Visibility, Perception, and Knowledge. Logic Journal of the IGPL 9(2): 257-272 (2001)

Alessio Lomuscio, Michael Wooldridge, Nicholas R. Jennings: A Classification Scheme for Negotiation in Electronic Commerce. AgentLink 2001: 19-33

Alessio Lomuscio, Marek J. Sergot: On Multi-agent Systems Specification via Deontic Logic. ATAL 2001: 86-99

Alessio Lomuscio, Ron van der Meyden, Mark Ryan: Knowledge in multiagent systems: initial configurations and broadcast. ACM Trans. Comput. Log. 1(2): 247-284 (2000)

Michael Wooldridge, Alessio Lomuscio: Multi-agent VSK Logic. JELIA 2000: 300-312

Alessio Lomuscio, Mark Ryan: An algorithmic approach to knowledge evolution. AI EDAM 13(2): 119-132 (1999)

Michael Wooldridge, Alessio Lomuscio: Reasoning about Visibility, Perception and Knowledge. ATAL 1999: 1-12

Alessio Lomuscio, Mark Ryan: A Spectrum of Modes of Knowledge Sharing between Agents. ATAL 1999: 13-26

Alessio Lomuscio, Ron van der Meyden, Mark Ryan: Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast. CoRR cs.LO/9909019 (1999)

Alessio Lomuscio, Mark Ryan: Ideal Agents Sharing (some!) Knowledge. ECAI 1998: 557-561

Alessio Lomuscio, Mark Ryan: On the Relation between Interpreted Systems and Kripke Models. Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications 1997: 46-59

Alessio Lomuscio, Marco Colombetti: QLB: A Quantified Logic for Belief. ATAL 1996: 71-85