×

zbMATH — the first resource for mathematics

Lomuscio, Alessio

Compute Distance To:
Author ID: lomuscio.alessio Recent zbMATH articles by "Lomuscio, Alessio"
Published as: Lomuscio, A.; Lomuscio, Alessio
Homepage: http://www.doc.ic.ac.uk/~alessio/
External Links: MGP · ORCID · ResearchGate · dblp
Documents Indexed: 56 Publications since 2000, including 5 Books

Publications by Year

Citations contained in zbMATH Open

32 Publications have been cited 176 times in 104 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
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
A logic for ignorance. Zbl 1270.03042
van der Hoek, Wiebe; Lomuscio, Alessio
10
2004
Multi-agent \(\mathcal {VSK}\) logic. Zbl 0998.68164
Wooldridge, Michael; Lomuscio, Alessio
8
2000
Verification of agent-based artifact systems. Zbl 1367.68321
Belardinelli, Francesco; Lomuscio, Alessio; Patrizi, Fabio
7
2014
Quantified epistemic logics for reasoning about knowledge in multi-agent systems. Zbl 1191.68646
Belardinelli, F.; Lomuscio, A.
7
2009
Parameterised verification for multi-agent systems. Zbl 1351.68294
Kouvaros, Panagiotis; Lomuscio, Alessio
6
2016
Bounded model checking for knowledge and real time. Zbl 1168.68422
Lomuscio, Alessio; Penczek, Wojciech; Woźna, Bożena
6
2007
A computationally grounded logic of visibility, perception, and knowledge. Zbl 0974.68203
Wooldridge, Michael; Lomuscio, Alessio
6
2001
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
Practical verification of multi-agent systems against Slk specifications. Zbl 1395.68255
Čermák, Petr; Lomuscio, Alessio; Mogavero, Fabio; Murano, Aniello
4
2018
Partial order reductions for model checking temporal-epistemic logics over interleaved multi-agent systems. Zbl 1213.68382
Lomuscio, Alessio; Penczek, Wojciech; Qu, Hongyang
4
2010
A data symmetry reduction technique for temporal-epistemic logic. Zbl 1262.68110
Cohen, Mika; Dam, Mads; Lomuscio, Alessio; Qu, Hongyang
4
2009
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
A spectrum of modes of knowledge sharing between agents. Zbl 0956.03017
Lomuscio, Alessio; Ryan, Mark
4
2000
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
First-order linear-time epistemic logic with group knowledge: an axiomatisation of the monodic fragment. Zbl 1252.03031
Belardinelli, Francesco; Lomuscio, Alessio
3
2011
Automatic verification of temporal-epistemic properties of cryptographic protocols. Zbl 1186.68105
Boureanu, Ioana; Cohen, Mika; Lomuscio, Alessio
3
2009
Bounded model checking for deontic interpreted systems. Zbl 1272.68279
Woźna, Bożena; Lomuscio, Alessio; Penczek, Wojciech
3
2005
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
Parameterised model checking for alternating-time temporal logic. Zbl 1403.68127
Kouvaros, Panagiotis; Lomuscio, Alessio
2
2016
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
Parallel model checking for temporal epistemic logic. Zbl 1211.68406
Kwiatkowska, Marta; Lomuscio, Alessio; Qu, Hongyang
2
2010
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
Lomuscio, Alessio (ed.); Nute, Donald (ed.)
2
2004
Agent-based refinement for predicate abstraction of multi-agent systems. Zbl 1403.68300
Belardinelli, Francesco; Lomuscio, Alessio; Michaliszyn, Jakub
1
2016
Automatic verification of deontic properties of multi-agent systems. Zbl 1169.68618
Raimondi, Franco; Lomuscio, Alessio
1
2004
On multi-agent systems specification via deontic logic. Zbl 1050.68131
Lomuscio, Alessio; Sergot, Marek
1
2002
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
6
2016
Parameterised model checking for alternating-time temporal logic. Zbl 1403.68127
Kouvaros, Panagiotis; Lomuscio, Alessio
2
2016
Agent-based refinement for predicate abstraction of multi-agent systems. Zbl 1403.68300
Belardinelli, Francesco; Lomuscio, Alessio; Michaliszyn, Jakub
1
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
3
2011
Partial order reductions for model checking temporal-epistemic logics over interleaved multi-agent systems. Zbl 1213.68382
Lomuscio, Alessio; Penczek, Wojciech; Qu, Hongyang
4
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
A data symmetry reduction technique for temporal-epistemic logic. Zbl 1262.68110
Cohen, Mika; Dam, Mads; Lomuscio, Alessio; Qu, Hongyang
4
2009
Automatic verification of temporal-epistemic properties of cryptographic protocols. Zbl 1186.68105
Boureanu, Ioana; Cohen, Mika; Lomuscio, Alessio
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
Bounded model checking for deontic interpreted systems. Zbl 1272.68279
Woźna, Bożena; Lomuscio, Alessio; Penczek, Wojciech
3
2005
A logic for knowledge, correctness, and real time. Zbl 1081.68098
Woźna, Bożena; Lomuscio, Alessio
3
2005
A logic for ignorance. Zbl 1270.03042
van der Hoek, Wiebe; Lomuscio, Alessio
10
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
Lomuscio, Alessio (ed.); Nute, Donald (ed.)
2
2004
Automatic verification of deontic properties of multi-agent systems. Zbl 1169.68618
Raimondi, Franco; Lomuscio, Alessio
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
On multi-agent systems specification via deontic logic. Zbl 1050.68131
Lomuscio, Alessio; Sergot, Marek
1
2002
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 178 Authors

12 Lomuscio, Alessio
8 Rybakov, Vladimir Vladimirovich
7 Belardinelli, Francesco
5 Fan, Jie
5 Penczek, Wojciech
4 De Giacomo, Giuseppe
4 Jamroga, Wojciech
4 Murano, Aniello
4 van der Hoek, Wiebe
4 van Ditmarsch, Hans Pieter
3 Dima, Cătălin
3 Patrizi, Fabio
3 Su, Kaile
3 Wang, Yanjing
3 Wooldridge, Michael J.
3 Zbrzezny, Andrzej
2 Alechina, Natasha
2 Bertrand, Nathalie
2 Burrieza, Alfredo
2 Chen, Qingliang
2 de Guzmán, Inmaculada Pérez
2 Dewaskar, Miheer
2 Genest, Blaise
2 Gimbert, Hugo
2 Giordano, Laura
2 Grossi, Davide
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 Rubin, Sasha
2 Sattar, Abdul
2 Schneider, Gerardo
2 Sergot, Marek J.
2 Spegni, Francesco
2 Verbrugge, Rineke
1 Ågotnes, Thomas
1 Aguirre, Nazareno M.
1 Ahmadi, Sepideh
1 Ahrendt, Wolfgang
1 Aldewereld, Huib
1 Alrajeh, Dalal
1 Aminof, Benjamin
1 Andrikonis, Julius
1 Arcak, Murat
1 Arcile, Johan
1 Bakhtiari, Zeinab
1 Bartocci, Ezio
1 Bianculli, Domenico
1 Billington, David
1 Blee, Jeff
1 Bozzelli, Laura
1 Brown, Mark A.
1 Bulling, Nils
1 Calvanese, Diego
1 Castro, Pablo F.
1 Cavezza, Davide Giacomo
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 E.
1 Dechesne, Francien
1 Demasi, Ramiro
1 Devillers, Raymond
1 Dignum, F. P. M.
1 Dix, Jurgen
1 Ezekiel, Jonathan
1 Falcone, Yliès
1 Fallah, Mehran S.
1 Fisher, Michael E.
1 Fisher, Michael W.
1 Francalanza, Adrian
1 Garanina, Natalia O.
1 Ghosh, Sujata
1 Godbole, Adwait Amit
1 Góngora, Pedro Arturo
1 Governatori, Guido
1 Guelev, Dimitar P.
1 Gutierrez, Julian
1 György, András
1 Han, Yabiao
1 Hansen, Helle Hvid
1 Hoang, Thai Son
1 Holbrook, Sarah
1 Hu, Guiwu
1 Hu, Yong
1 Kiefer, Stefan
1 Kim, Eric S.
1 Klaudel, Hanna
...and 78 more Authors

Citations by Year