×
Compute Distance To:
Author ID: lomuscio.alessio Recent zbMATH articles by "Lomuscio, Alessio"
Published as: Lomuscio, Alessio; Lomuscio, A.
Homepage: http://www.doc.ic.ac.uk/~alessio/
External Links: MGP · ORCID · ResearchGate · dblp

Publications by Year

Citations contained in zbMATH Open

31 Publications have been cited 185 times in 105 Documents Cited by Year
Verifying epistemic properties of multi-agent systems via bounded model checking. Zbl 1111.68512
Penczek, Wojciech; Lomuscio, Alessio
22
2003
Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams. Zbl 1122.68076
Raimondi, Franco; Lomuscio, Alessio
17
2007
Deontic interpreted systems. Zbl 1033.03012
Lomuscio, Alessio; Sergot, Marek
15
2003
A logic for ignorance. Zbl 1270.03042
van der Hoek, Wiebe; Lomuscio, Alessio
14
2004
Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results. Zbl 1267.68221
Belardinelli, F.; Lomuscio, A.
12
2012
Multi-agent \(\mathcal {VSK}\) logic. Zbl 0998.68164
Wooldridge, Michael; Lomuscio, Alessio
8
2000
Parameterised verification for multi-agent systems. Zbl 1351.68294
Kouvaros, Panagiotis; Lomuscio, Alessio
8
2016
Quantified epistemic logics for reasoning about knowledge in multi-agent systems. Zbl 1191.68646
Belardinelli, F.; Lomuscio, A.
7
2009
Verification of agent-based artifact systems. Zbl 1367.68321
Belardinelli, Francesco; Lomuscio, Alessio; Patrizi, Fabio
7
2014
A computationally grounded logic of visibility, perception, and knowledge. Zbl 0974.68203
Wooldridge, Michael; Lomuscio, Alessio
6
2001
Bounded model checking for knowledge and real time. Zbl 1168.68422
Lomuscio, Alessio; Penczek, Wojciech; Woźna, Bożena
6
2007
Comparing BDD and SAT based techniques for model checking Chaum’s dining cryptographers protocol. Zbl 1097.68074
Kacprzak, Magdalena; Lomuscio, Alessio; Niewiadomski, Artur; Penczek, Wojciech; Raimondi, Franco; Szreter, Maciej
5
2006
Partial order reductions for model checking temporal-epistemic logics over interleaved multi-agent systems. Zbl 1213.68382
Lomuscio, Alessio; Penczek, Wojciech; Qu, Hongyang
5
2010
Automatic verification of temporal-epistemic properties of cryptographic protocols. Zbl 1186.68105
Boureanu, Ioana; Cohen, Mika; Lomuscio, Alessio
5
2009
From bounded to unbounded model checking for temporal epistemic logic. Zbl 1102.68107
Kacprzak, M.; Lomuscio, A.; Pencek, W.
4
2004
A spectrum of modes of knowledge sharing between agents. Zbl 0956.03017
Lomuscio, Alessio; Ryan, Mark
4
2000
A formalisation of violation, error recovery, and enforcement in the bit transmission problem. Zbl 1076.68074
Lomuscio, Alessio; Sergot, Marek
4
2004
First-order linear-time epistemic logic with group knowledge: an axiomatisation of the monodic fragment. Zbl 1252.03031
Belardinelli, Francesco; Lomuscio, Alessio
4
2011
Practical verification of multi-agent systems against Slk specifications. Zbl 1395.68255
Čermák, Petr; Lomuscio, Alessio; Mogavero, Fabio; Murano, Aniello
4
2018
A logic for knowledge, correctness, and real time. Zbl 1081.68098
Woźna, Bożena; Lomuscio, Alessio
3
2005
Reasoning about visibility, perception, and knowledge. Zbl 0961.68127
Wooldridge, Michael; Lomuscio, Alessio
3
2000
A data symmetry reduction technique for temporal-epistemic logic. Zbl 1262.68110
Cohen, Mika; Dam, Mads; Lomuscio, Alessio; Qu, Hongyang
3
2009
Bounded model checking for deontic interpreted systems. Zbl 1272.68279
Woźna, Bożena; Lomuscio, Alessio; Penczek, Wojciech
3
2005
Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems. Zbl 1370.68201
Ezekiel, J.; Lomuscio, A.
3
2017
Agent-based refinement for predicate abstraction of multi-agent systems. Zbl 1403.68300
Belardinelli, Francesco; Lomuscio, Alessio; Michaliszyn, Jakub
2
2016
Parameterised model checking for alternating-time temporal logic. Zbl 1403.68127
Kouvaros, Panagiotis; Lomuscio, Alessio
2
2016
mcmas: a model checker for multi-agent systems. Zbl 1459.68121
Lomuscio, Alessio; Raimondi, Franco
2
2006
Parallel model checking for temporal epistemic logic. Zbl 1211.68406
Kwiatkowska, Marta; Lomuscio, Alessio; Qu, Hongyang
2
2010
Assume-guarantee reasoning with local specifications. Zbl 1286.68319
Lomuscio, Alessio; Strulo, Ben; Walker, Nigel; Wu, Peng
2
2013
Symbolic model checking for temporal-epistemic logic. Zbl 1356.68144
Lomuscio, Alessio; Penczek, Wojciech
2
2012
Deontic logic in computer science. 7th international workshop on deontic logic in computer science, DEON 2004, Madeira, Portugal, May 26–28, 2004. Proceedings. Zbl 1051.03004
1
2004
Practical verification of multi-agent systems against Slk specifications. Zbl 1395.68255
Čermák, Petr; Lomuscio, Alessio; Mogavero, Fabio; Murano, Aniello
4
2018
Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems. Zbl 1370.68201
Ezekiel, J.; Lomuscio, A.
3
2017
Parameterised verification for multi-agent systems. Zbl 1351.68294
Kouvaros, Panagiotis; Lomuscio, Alessio
8
2016
Agent-based refinement for predicate abstraction of multi-agent systems. Zbl 1403.68300
Belardinelli, Francesco; Lomuscio, Alessio; Michaliszyn, Jakub
2
2016
Parameterised model checking for alternating-time temporal logic. Zbl 1403.68127
Kouvaros, Panagiotis; Lomuscio, Alessio
2
2016
Verification of agent-based artifact systems. Zbl 1367.68321
Belardinelli, Francesco; Lomuscio, Alessio; Patrizi, Fabio
7
2014
Assume-guarantee reasoning with local specifications. Zbl 1286.68319
Lomuscio, Alessio; Strulo, Ben; Walker, Nigel; Wu, Peng
2
2013
Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results. Zbl 1267.68221
Belardinelli, F.; Lomuscio, A.
12
2012
Symbolic model checking for temporal-epistemic logic. Zbl 1356.68144
Lomuscio, Alessio; Penczek, Wojciech
2
2012
First-order linear-time epistemic logic with group knowledge: an axiomatisation of the monodic fragment. Zbl 1252.03031
Belardinelli, Francesco; Lomuscio, Alessio
4
2011
Partial order reductions for model checking temporal-epistemic logics over interleaved multi-agent systems. Zbl 1213.68382
Lomuscio, Alessio; Penczek, Wojciech; Qu, Hongyang
5
2010
Parallel model checking for temporal epistemic logic. Zbl 1211.68406
Kwiatkowska, Marta; Lomuscio, Alessio; Qu, Hongyang
2
2010
Quantified epistemic logics for reasoning about knowledge in multi-agent systems. Zbl 1191.68646
Belardinelli, F.; Lomuscio, A.
7
2009
Automatic verification of temporal-epistemic properties of cryptographic protocols. Zbl 1186.68105
Boureanu, Ioana; Cohen, Mika; Lomuscio, Alessio
5
2009
A data symmetry reduction technique for temporal-epistemic logic. Zbl 1262.68110
Cohen, Mika; Dam, Mads; Lomuscio, Alessio; Qu, Hongyang
3
2009
Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams. Zbl 1122.68076
Raimondi, Franco; Lomuscio, Alessio
17
2007
Bounded model checking for knowledge and real time. Zbl 1168.68422
Lomuscio, Alessio; Penczek, Wojciech; Woźna, Bożena
6
2007
Comparing BDD and SAT based techniques for model checking Chaum’s dining cryptographers protocol. Zbl 1097.68074
Kacprzak, Magdalena; Lomuscio, Alessio; Niewiadomski, Artur; Penczek, Wojciech; Raimondi, Franco; Szreter, Maciej
5
2006
mcmas: a model checker for multi-agent systems. Zbl 1459.68121
Lomuscio, Alessio; Raimondi, Franco
2
2006
A logic for knowledge, correctness, and real time. Zbl 1081.68098
Woźna, Bożena; Lomuscio, Alessio
3
2005
Bounded model checking for deontic interpreted systems. Zbl 1272.68279
Woźna, Bożena; Lomuscio, Alessio; Penczek, Wojciech
3
2005
A logic for ignorance. Zbl 1270.03042
van der Hoek, Wiebe; Lomuscio, Alessio
14
2004
From bounded to unbounded model checking for temporal epistemic logic. Zbl 1102.68107
Kacprzak, M.; Lomuscio, A.; Pencek, W.
4
2004
A formalisation of violation, error recovery, and enforcement in the bit transmission problem. Zbl 1076.68074
Lomuscio, Alessio; Sergot, Marek
4
2004
Deontic logic in computer science. 7th international workshop on deontic logic in computer science, DEON 2004, Madeira, Portugal, May 26–28, 2004. Proceedings. Zbl 1051.03004
1
2004
Verifying epistemic properties of multi-agent systems via bounded model checking. Zbl 1111.68512
Penczek, Wojciech; Lomuscio, Alessio
22
2003
Deontic interpreted systems. Zbl 1033.03012
Lomuscio, Alessio; Sergot, Marek
15
2003
A computationally grounded logic of visibility, perception, and knowledge. Zbl 0974.68203
Wooldridge, Michael; Lomuscio, Alessio
6
2001
Multi-agent \(\mathcal {VSK}\) logic. Zbl 0998.68164
Wooldridge, Michael; Lomuscio, Alessio
8
2000
A spectrum of modes of knowledge sharing between agents. Zbl 0956.03017
Lomuscio, Alessio; Ryan, Mark
4
2000
Reasoning about visibility, perception, and knowledge. Zbl 0961.68127
Wooldridge, Michael; Lomuscio, Alessio
3
2000
all top 5

Cited by 160 Authors

11 Lomuscio, Alessio
8 Fan, Jie
8 Rybakov, Vladimir Vladimirovich
7 Belardinelli, Francesco
5 De Giacomo, Giuseppe
5 Penczek, Wojciech
4 Jamroga, Wojciech
4 Murano, Aniello
4 Patrizi, Fabio
4 van der Hoek, Wiebe
4 van Ditmarsch, Hans Pieter
4 Wang, Yanjing
3 Dima, Cătălin
3 Su, Kaile
3 van der Meyden, Ron
3 Wooldridge, Michael J.
3 Zbrzezny, Andrzej
2 Alrajeh, Dalal
2 Bozzelli, Laura
2 Burrieza, Alfredo
2 Cavezza, Davide Giacomo
2 Chen, Qingliang
2 de Guzmán, Inmaculada Pérez
2 Giordano, Laura
2 Grossi, Davide
2 György, András
2 Huang, Xiaowei
2 Kacprzak, Magdalena
2 Konur, Savas
2 Kuijer, Louwe Bouke
2 Lespérance, Yves
2 Logan, Brian
2 Martelli, Alberto
2 Montali, Marco
2 Muñoz-Velasco, Emilio
2 Pace, Gordon J.
2 Qu, Hongyang
2 Sattar, Abdul
2 Schneider, Gerardo
2 Sergot, Marek J.
2 Verbrugge, Rineke
1 Ågotnes, Thomas
1 Ahrendt, Wolfgang
1 Aldewereld, Huib
1 Aldini, Alessandro
1 Alechina, Natasha
1 Andrikonis, Julius
1 Arcile, Johan
1 Bakhtiari, Zeinab
1 Bartocci, Ezio
1 Bianculli, Domenico
1 Billington, David
1 Blee, Jeff
1 Busard, Simon
1 Calvanese, Diego
1 Čermák, Petr
1 Chen, Jingyu
1 Cogan, Eva H.
1 Colombo, Christian
1 Condurache, Rodica
1 Craven, Robert P. M.
1 Dam, Mads
1 Davis, Ernest
1 Dechesne, Francien
1 Devillers, Raymond
1 Dignum, F. P. M.
1 Dix, Jurgen
1 Ezekiel, Jonathan
1 Falcone, Yliès
1 Fallah, Mehran S.
1 Felli, Paolo
1 Francalanza, Adrian
1 Garanina, Natalia O.
1 Ghosh, Sujata
1 Góngora, Pedro Arturo
1 Governatori, Guido
1 Graziani, Pierluigi
1 Guelev, Dimitar P.
1 Gutierrez, Julian
1 Halpern, Joseph Yehuda
1 Han, Yabiao
1 Hansen, Helle Hvid
1 Hoang, Thai Son
1 Hu, Guiwu
1 Hu, Yong
1 Kiefer, Stefan
1 Klaudel, Hanna
1 Knapik, Michal Jozef
1 Konikowska, Beata
1 Kooi, Barteld Pieter
1 Kouvaros, Panagiotis
1 Krstić, Srđan
1 Kurpiewski, Damian
1 Lange, Martin
1 Lanotte, Ruggero
1 Li, Qin
1 Liu, Zhifeng
1 Lourenço, João M.
1 Lu, Xiangyu
1 Luo, Cheng
...and 60 more Authors

Citations by Year