| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alessio Lomuscio, Hongyang Qu, Monika Solanki |
Towards verifying contract regulated service composition.  |
Autonomous Agents and Multi-Agent Systems  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Barker, Andrew J. I. Jones, Antonis C. Kakas, Robert A. Kowalski, Alessio Lomuscio, Rob Miller 0002, Stephen Muggleton, Giovanni Sartor |
The Scientific Contribution of Marek Sergot. |
Logic Programs, Norms and Action |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Wojciech Penczek |
Symbolic Model Checking for Temporal-Epistemic Logic. |
Logic Programs, Norms and Action |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Wojciech Penczek, Monika Solanki, Maciej Szreter |
Runtime Monitoring of Contract Regulated Web Services. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Belardinelli, Alessio Lomuscio |
First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Belardinelli, Andrew V. Jones, Alessio Lomuscio |
Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi |
A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jonathan Ezekiel, Alessio Lomuscio, Levente Molnar, Sandor M. Veres |
Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi |
Verification of Deployed Artifact Systems via Data Abstraction. |
ICSOC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Wojciech Penczek, Hongyang Qu |
Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu 0002 |
Model Checking Optimisation Based Congestion Control Algorithms. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu 0002 |
Assume-Guarantee Reasoning with Local Specifications. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Ezekiel, Alessio Lomuscio |
A Methodology for Automatic Diagnosability Analysis. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Qu |
Parallel Model Checking for Temporal Epistemic Logic. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mika Cohen, Alessio Lomuscio |
Non-elementary speed up for model checking synchronous perfect recall. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Hongyang Qu, Francesco Russo |
Automatic Data-Abstraction in Model Checking Multi-Agent Systems. |
MoChArt |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Belardinelli, Alessio Lomuscio |
Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ioana Boureanu, Mika Cohen, Alessio Lomuscio |
Model checking detectability of attacks in multiagent systems. |
AAMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Wojciech Penczek, Hongyang Qu |
Partial order reductions for model checking temporal epistemic logics over interleaved multi-agent systems. |
AAMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Monika Solanki, Wojciech Penczek, Maciej Szreter |
Runtime monitoring of contract regulated web services. |
AAMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew V. Jones, Alessio Lomuscio |
Distributed BDD-based BMC for the verification of multi-agent systems. |
AAMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ioana Boureanu, Mika Cohen, Alessio Lomuscio |
Automatic verification of temporal-epistemic properties of cryptographic protocols. |
Journal of Applied Non-Classical Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Francesco Belardinelli, Alessio Lomuscio |
Quantified epistemic logics for reasoning about knowledge in multi-agent systems. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Ezekiel, Alessio Lomuscio |
An Automated Approach to Verifying Diagnosability in Multi-agent Systems. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Belardinelli, Alessio Lomuscio |
First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu |
A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Alessio Lomuscio, Monika Solanki |
Towards an Agent Based Approach for Verification of OWL-S Process Models. |
ESWC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu |
A Data Symmetry Reduction Technique for Temporal-epistemic Logic. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Monika Solanki |
Mapping OWL-S Processes to Multi Agent Systems: A Verification Oriented Approach. |
AINA Workshops |
2009 |
DBLP DOI BibTeX RDF |
MCMAS, web services, semantic web, Model Checking, verification |
| 1 | Alessio Lomuscio, Hongyang Qu, Franco Raimondi |
MCMAS: A Model Checker for the Verification of Multi-Agent Systems. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mika Cohen, Mads Dam, Alessio Lomuscio, Francesco Russo |
Abstraction in model checking multi-agent systems. |
AAMAS |
2009 |
DBLP DOI BibTeX RDF |
model checking, abstraction, epistemic logic |
| 1 | Jonathan Ezekiel, Alessio Lomuscio |
Combining fault injection and model checking to verify fault tolerance in multi-agent systems. |
AAMAS |
2009 |
DBLP DOI BibTeX RDF |
fault tolerance, model checking, fault injection, epistemic logic |
| 1 | Alessio Lomuscio, Wojciech Penczek |
LDYIS: a Framework for Model Checking Security Protocols. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Alessio Lomuscio, Wojciech Penczek, Hongyang Qu |
Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic. |
MoChArt |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Belardinelli, Alessio Lomuscio |
A Complete First-Order Logic of Knowledge and Time. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Alessio Lomuscio, Hongyang Qu, Monika Solanki |
Towards verifying compliance in agent-based web service compositions. |
AAMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Hongyang Qu, Monika Solanki |
Towards Verifying Contract Regulated Service Composition. |
ICWS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Raimondi, Alessio Lomuscio |
Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams. |
J. Applied Logic |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Franco Raimondi, Bozena Wozna |
Verification of the TESLA protocol in MCMAS-X. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Alessio Lomuscio, Wojciech Penczek |
Logic Column 19: Symbolic Model Checking for Temporal-Epistemic Logics |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Alessio Lomuscio, Wojciech Penczek, Bozena Wozna |
Bounded model checking for knowledge and real time. |
Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Wojciech Penczek |
Symbolic model checking for temporal-epistemic logics. |
SIGACT News |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Belardinelli, Alessio Lomuscio |
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems. |
CLIMA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Charles Pecheur, Franco Raimondi |
Automatic Verification of Knowledge and Time with NuSMV. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Monika Solanki |
Verifying Temporal and Epistemic Properties of Web Service Compositions. |
ICSOC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
MoChArt |
2007 |
DBLP BibTeX RDF |
|
| 1 | Alessio Lomuscio, Bozena Wozna |
A temporal epistemic logic with a reset operation. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
decidability, epistemic logic, axiomatisation |
| 1 | Francesco Belardinelli, Alessio Lomuscio |
A quantified epistemic logic for reasoning about multiagent systems. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
completeness, first-order logic, epistemic logic |
| 1 | Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Alessio Lomuscio, Bozena Wozna |
A Complete and Decidable Axiomatisation for Deontic Interpreted Systems. |
DEON |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Franco Raimondi |
MCMAS: A Model Checker for Multi-agent Systems. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Franco Raimondi |
The Complexity of Model Checking Concurrent Programs Against CTLK Specifications. |
DALT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Bozena Wozna, Andrzej Zbrzezny |
Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation. |
MoChArt |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Franco Raimondi |
The complexity of model checking concurrent programs against CTLK specifications. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
model checking multi-agent systems, complexity |
| 1 | Alessio Lomuscio, Bozena Wozna |
A complete and decidable security-specialised logic and its application to the TESLA protocol. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
security protocols, epistemic logic, TESLA |
| 1 | Wiebe van der Hoek, Alessio Lomuscio, Michael Wooldridge |
On the complexity of practical ATL model checking. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
verification, complexity, cooperation, logic |
| 1 | Alessio Lomuscio, Franco Raimondi |
Model checking knowledge, strategies, and games in multi-agent systems. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
model checking multi-agent systems, ATL |
| 1 | Bozena Wozna, Alessio Lomuscio, Wojciech Penczek |
Bounded Model Checking for Deontic Interpreted Systems. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Donald Nute |
Editorial. |
J. Applied Logic |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Bozena Wozna |
A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results. |
DALT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bozena Wozna, Alessio Lomuscio, Wojciech Penczek |
Bounded model checking for knowledge and real time. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
model checking, real time, epistemic logic, interpreted systems |
| 1 | Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge |
Preface: Volume 85, Issue 2. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Alessio Lomuscio |
A Logic For Ignorance. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Raimondi, Alessio Lomuscio |
A Tool For Specification And Verification Of Epistemic Properties In Interpreted Systems. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Marek J. Sergot |
A formalisation of violation, error recovery, and enforcement in the bit transmission problem. |
J. Applied Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Magdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek |
From Bounded to Unbounded Model Checking for Temporal Epistemic Logic. |
Fundam. Inform. |
2004 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DEON |
2004 |
DBLP BibTeX RDF |
|
| 1 | Franco Raimondi, Alessio Lomuscio |
Automatic Verification of Deontic Properties of Multi-agent Systems. |
DEON |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bozena Wozna, Alessio Lomuscio |
A Logic for Knowledge, Correctness, and Real Time. |
CLIMA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Raimondi, Alessio Lomuscio |
Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD's. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Magdalena Kacprzak, Alessio Lomuscio, T. Lasica, Wojciech Penczek, Maciej Szreter |
Verifying Multi-agent Systems via Unbounded Model Checking. |
FAABS |
2004 |
DBLP DOI BibTeX RDF |
unbounded model checking, multi-agent systems, Model checking |
| 1 | Franco Raimondi, Alessio Lomuscio |
Towards Symbolic Model Checking for Multi-agent Systems via OBDD's. |
FAABS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Magdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek |
Verification of Multiagent Systems via Unbounded Model Checking. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Raimondi, Alessio Lomuscio |
Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Marek J. Sergot |
Deontic Interpreted Systems. |
Studia Logica |
2003 |
DBLP DOI BibTeX RDF |
multiagent systems, deontic logic, Interpreted systems |
| 1 | Wojciech Penczek, Alessio Lomuscio |
Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking. |
Fundam. Inform. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Guido Governatori, Alessio Lomuscio, Marek J. Sergot |
A Tableaux System for Deontic Interpreted Systems. |
Australian Conference on Artificial Intelligence |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Alessio Lomuscio |
A logic for ignorance. |
DALT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Franco Raimondi, Marek J. Sergot |
Towards model checking interpreted systems. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
model checking, epistemic logic, deontic logic, interpreted systems |
| 1 | Wojciech Penczek, Alessio Lomuscio |
Verifying epistemic properties of multi-agent systems via bounded model checking. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
logics for knowledge, model checking |
| 1 | Wiebe van der Hoek, Alessio Lomuscio |
Ignore at your peril - towards a logic for ignorance. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
epistemic logic, ignorance |
| 1 | Alessio Lomuscio, T. Lasica, Wojciech Penczek |
Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Marek J. Sergot |
The bit transmission problem revisited. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Wooldridge, Alessio Lomuscio |
A Computationally Grounded Logic of Visibility, Perception, and Knowledge. |
Logic Journal of the IGPL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Michael Wooldridge, Nicholas R. Jennings |
A Classification Scheme for Negotiation in Electronic Commerce. |
AgentLink |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Marek J. Sergot |
On Multi-agent Systems Specification via Deontic Logic. |
ATAL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Ron van der Meyden, Mark Ryan |
Knowledge in multiagent systems: initial configurations and broadcast. |
ACM Trans. Comput. Log. |
2000 |
DBLP DOI BibTeX RDF |
computational complexity, completeness |
| 1 | Michael Wooldridge, Alessio Lomuscio |
Multi-agent VSK Logic. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Mark Ryan |
An algorithmic approach to knowledge evolution. |
AI EDAM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Alessio Lomuscio, Ron van der Meyden, Mark Ryan |
Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast |
CoRR |
1999 |
DBLP BibTeX RDF |
|
| 1 | Alessio Lomuscio, Mark Ryan |
A Spectrum of Modes of Knowledge Sharing between Agents. |
ATAL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Wooldridge, Alessio Lomuscio |
Reasoning about Visibility, Perception and Knowledge. |
ATAL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Mark Ryan |
Ideal Agents Sharing (some!) Knowledge. |
ECAI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Alessio Lomuscio, Mark Ryan |
On the Relation between Interpreted Systems and Kripke Models. |
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Marco Colombetti |
QLB: A Quantified Logic for Belief. |
ATAL |
1996 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")