 | 2009 |
|---|
| 70 |       | Jonathan Ezekiel,
Alessio Lomuscio:
Combining fault injection and model checking to verify fault tolerance in multi-agent systems.
AAMAS (1) 2009: 113-120 |
| 69 | | Mika Cohen,
Mads Dam,
Alessio Lomuscio,
Francesco Russo:
Abstraction in model checking multi-agent systems.
AAMAS (2) 2009: 945-952 |
| 68 | | Mika Cohen,
Mads Dam,
Alessio Lomuscio,
Hongyang Qu:
A Data Symmetry Reduction Technique for Temporal-epistemic Logic.
ATVA 2009: 69-83 |
| 67 | | Alessio Lomuscio,
Hongyang Qu,
Franco Raimondi:
MCMAS: A Model Checker for the Verification of Multi-Agent Systems.
CAV 2009: 682-688 |
| 66 | | Alessio Lomuscio,
Monika Solanki:
Towards an Agent Based Approach for Verification of OWL-S Process Models.
ESWC 2009: 578-592 |
| 65 | | Mika Cohen,
Mads Dam,
Alessio Lomuscio,
Hongyang Qu:
A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic.
IJCAI 2009: 721-726 |
| 64 | | Francesco Belardinelli,
Alessio Lomuscio:
First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment.
WoLLIC 2009: 140-154 |
| 63 | | Francesco Belardinelli,
Alessio Lomuscio:
Quantified epistemic logics for reasoning about knowledge in multi-agent systems.
Artif. Intell. 173(9-10): 982-1013 (2009) |
| 2008 |
|---|
| 62 | | Alessio Lomuscio,
Hongyang Qu,
Monika Solanki:
Towards verifying compliance in agent-based web service compositions.
AAMAS (1) 2008: 265-272 |
| 61 | | Alessio Lomuscio,
Hongyang Qu,
Monika Solanki:
Towards Verifying Contract Regulated Service Composition.
ICWS 2008: 254-261 |
| 60 |  | Francesco Belardinelli,
Alessio Lomuscio:
A Complete First-Order Logic of Knowledge and Time.
KR 2008: 705-714 |
| 59 | | Alessio Lomuscio,
Wojciech Penczek,
Hongyang Qu:
Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic.
MoChArt 2008: 106-121 |
| 58 | | Alessio Lomuscio,
Wojciech Penczek:
LDYIS: a Framework for Model Checking Security Protocols.
Fundam. Inform. 85(1-4): 359-375 (2008) |
| 2007 |
|---|
| 57 | | Stefan Edelkamp,
Alessio Lomuscio:
Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
Springer 2007 |
| 56 | | Alessio Lomuscio,
Bozena Wozna:
A temporal epistemic logic with a reset operation.
AAMAS 2007: 145 |
| 55 | | Francesco Belardinelli,
Alessio Lomuscio:
A quantified epistemic logic for reasoning about multiagent systems.
AAMAS 2007: 87 |
| 54 | | Francesco Belardinelli,
Alessio Lomuscio:
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems.
CLIMA VIII 2007: 248-267 |
| 53 | | Alessio Lomuscio,
Hongyang Qu,
Marek J. Sergot,
Monika Solanki:
Verifying Temporal and Epistemic Properties of Web Service Compositions.
ICSOC 2007: 456-461 |
| 52 | | Alessio Lomuscio,
Charles Pecheur,
Franco Raimondi:
Automatic Verification of Knowledge and Time with NuSMV.
IJCAI 2007: 1384-1389 |
| 51 | | Alessio Lomuscio,
Wojciech Penczek,
Bozena Wozna:
Bounded model checking for knowledge and real time.
Artif. Intell. 171(16-17): 1011-1038 (2007) |
| 50 | | Alessio Lomuscio,
Wojciech Penczek:
Logic Column 19: Symbolic Model Checking for Temporal-Epistemic Logics
CoRR abs/0709.0446: (2007) |
| 49 | | Alessio Lomuscio,
Franco Raimondi,
Bozena Wozna:
Verification of the TESLA protocol in MCMAS-X.
Fundam. Inform. 79(3-4): 473-486 (2007) |
| 48 | | 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) |
| 47 | | Alessio Lomuscio,
Wojciech Penczek:
Symbolic model checking for temporal-epistemic logics.
SIGACT News 38(3): 77-99 (2007) |
| 2006 |
|---|
| 46 | | Alessio Lomuscio,
Bozena Wozna:
A complete and decidable security-specialised logic and its application to the TESLA protocol.
AAMAS 2006: 145-152 |
| 45 | | Alessio Lomuscio,
Franco Raimondi:
Model checking knowledge, strategies, and games in multi-agent systems.
AAMAS 2006: 161-168 |
| 44 | | Wiebe van der Hoek,
Alessio Lomuscio,
Michael Wooldridge:
On the complexity of practical ATL model checking.
AAMAS 2006: 201-208 |
| 43 | | Alessio Lomuscio,
Franco Raimondi:
The complexity of model checking concurrent programs against CTLK specifications.
AAMAS 2006: 548-550 |
| 42 | | Alessio Lomuscio,
Franco Raimondi:
The Complexity of Model Checking Concurrent Programs Against CTLK Specifications.
DALT 2006: 29-42 |
| 41 | | Alessio Lomuscio,
Bozena Wozna:
A Complete and Decidable Axiomatisation for Deontic Interpreted Systems.
DEON 2006: 238-254 |
| 40 | | Alessio Lomuscio,
Bozena Wozna,
Andrzej Zbrzezny:
Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation.
MoChArt 2006: 95-112 |
| 39 | | Alessio Lomuscio,
Franco Raimondi:
MCMAS: A Model Checker for Multi-agent Systems.
TACAS 2006: 450-454 |
| 38 | | Wiebe van der Hoek,
Alessio Lomuscio,
Erik P. de Vink,
Michael Wooldridge:
Preface.
Electr. Notes Theor. Comput. Sci. 157(4): 1-2 (2006) |
| 37 | | 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) |
| 2005 |
|---|
| 36 | | Bozena Wozna,
Alessio Lomuscio,
Wojciech Penczek:
Bounded model checking for knowledge and real time.
AAMAS 2005: 165-172 |
| 35 | | Alessio Lomuscio,
Bozena Wozna:
A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results.
DALT 2005: 188-204 |
| 34 | | Wiebe van der Hoek,
Alessio Lomuscio,
Erik P. de Vink,
Michael Wooldridge:
Preface.
Electr. Notes Theor. Comput. Sci. 126: 1-2 (2005) |
| 33 | | Bozena Wozna,
Alessio Lomuscio,
Wojciech Penczek:
Bounded Model Checking for Deontic Interpreted Systems.
Electr. Notes Theor. Comput. Sci. 126: 93-114 (2005) |
| 32 | | Alessio Lomuscio,
Donald Nute:
Editorial.
J. Applied Logic 3(3-4): 369-370 (2005) |
| 2004 |
|---|
| 31 | | Alessio Lomuscio,
Donald Nute:
Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings
Springer 2004 |
| 30 | | Franco Raimondi,
Alessio Lomuscio:
Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation.
AAMAS 2004: 630-637 |
| 29 | | Magdalena Kacprzak,
Alessio Lomuscio,
Wojciech Penczek:
Verification of Multiagent Systems via Unbounded Model Checking.
AAMAS 2004: 638-645 |
| 28 | | Bozena Wozna,
Alessio Lomuscio:
A Logic for Knowledge, Correctness, and Real Time.
CLIMA V 2004: 1-15 |
| 27 | | Franco Raimondi,
Alessio Lomuscio:
Automatic Verification of Deontic Properties of Multi-agent Systems.
DEON 2004: 228-242 |
| 26 | | Franco Raimondi,
Alessio Lomuscio:
Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD's.
ECAI 2004: 53-57 |
| 25 | | Magdalena Kacprzak,
Alessio Lomuscio,
T. Lasica,
Wojciech Penczek,
Maciej Szreter:
Verifying Multi-agent Systems via Unbounded Model Checking.
FAABS 2004: 189-212 |
| 24 | | Franco Raimondi,
Alessio Lomuscio:
Towards Symbolic Model Checking for Multi-agent Systems via OBDD's.
FAABS 2004: 213-221 |
| 23 | | Magdalena Kacprzak,
Alessio Lomuscio,
Wojciech Penczek:
From Bounded to Unbounded Model Checking for Temporal Epistemic Logic.
Fundam. Inform. 63(2-3): 221-240 (2004) |
| 22 | | 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) |
| 2003 |
|---|
| 21 | | Alessio Lomuscio,
Franco Raimondi,
Marek J. Sergot:
Towards model checking interpreted systems.
AAMAS 2003: 1054-1055 |
| 20 | | Wiebe van der Hoek,
Alessio Lomuscio:
Ignore at your peril - towards a logic for ignorance.
AAMAS 2003: 1148-1149 |
| 19 | | Wojciech Penczek,
Alessio Lomuscio:
Verifying epistemic properties of multi-agent systems via bounded model checking.
AAMAS 2003: 209-216 |
| 18 | | Guido Governatori,
Alessio Lomuscio,
Marek J. Sergot:
A Tableaux System for Deontic Interpreted Systems.
Australian Conference on Artificial Intelligence 2003: 339-351 |
| 17 | | Wiebe van der Hoek,
Alessio Lomuscio:
A logic for ignorance.
DALT 2003: 97-108 |
| 16 | | Wojciech Penczek,
Alessio Lomuscio:
Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking.
Fundam. Inform. 55(2): 167-185 (2003) |
| 15 | | Alessio Lomuscio,
Marek J. Sergot:
Deontic Interpreted Systems.
Studia Logica 75(1): 63-92 (2003) |
| 2002 |
|---|
| 14 | | Alessio Lomuscio,
Marek J. Sergot:
The bit transmission problem revisited.
AAMAS 2002: 946-947 |
| 13 | | Alessio Lomuscio,
T. Lasica,
Wojciech Penczek:
Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results.
FAABS 2002: 115-125 |
| 2001 |
|---|
| 12 | | Alessio Lomuscio,
Marek J. Sergot:
On Multi-agent Systems Specification via Deontic Logic.
ATAL 2001: 86-99 |
| 11 | | Alessio Lomuscio,
Michael Wooldridge,
Nicholas R. Jennings:
A Classification Scheme for Negotiation in Electronic Commerce.
AgentLink 2001: 19-33 |
| 10 | | Michael Wooldridge,
Alessio Lomuscio:
A Computationally Grounded Logic of Visibility, Perception, and Knowledge.
Logic Journal of the IGPL 9(2): (2001) |
| 2000 |
|---|
| 9 | | Michael Wooldridge,
Alessio Lomuscio:
Multi-agent VSK Logic.
JELIA 2000: 300-312 |
| 8 | | 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) |
| 1999 |
|---|
| 7 | | Michael Wooldridge,
Alessio Lomuscio:
Reasoning about Visibility, Perception and Knowledge.
ATAL 1999: 1-12 |
| 6 | | Alessio Lomuscio,
Mark Ryan:
A Spectrum of Modes of Knowledge Sharing between Agents.
ATAL 1999: 13-26 |
| 5 | | Alessio Lomuscio,
Mark Ryan:
An algorithmic approach to knowledge evolution.
AI EDAM 13(2): 119-132 (1999) |
| 4 | | Alessio Lomuscio,
Ron van der Meyden,
Mark Ryan:
Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast
CoRR cs.LO/9909019: (1999) |
| 1998 |
|---|
| 3 | | Alessio Lomuscio,
Mark Ryan:
Ideal Agents Sharing (some!) Knowledge.
ECAI 1998: 557-561 |
| 1997 |
|---|
| 2 | | 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 |
| 1996 |
|---|
| 1 | | Alessio Lomuscio,
Marco Colombetti:
QLB: A Quantified Logic for Belief.
ATAL 1996: 71-85 |
