Browse by UCL people
Group by: Type | Date
Number of items: 4.
Article
Kacprzak, M.;
Lomuscio, A.;
Niewiadomski, A.;
Penczek, W.;
Raimondi, F.;
Szreter, M.;
(2006)
Comparing BDD and SAT based techniques for model checking Chaum's Dining Cryptographers Protocol.
Fundamenta Informaticae
, 72
(1-3)
pp. 215-234.
|
 |
Proceedings paper
|
Lomuscio, A;
Pecheur, C;
Raimondi, F;
(2007)
Automatic verification of knowledge and time with NuSMV.
In: Veloso, M, (ed.)
(pp. pp. 1384-1389).
IJCAI/ AAAI Press: Menlo Park, US.
|
|
|
Lomuscio, A.;
Raimondi, F.;
Wozna, B.;
(2006)
Verification of the TESLA protocol in MCMAS-X.
In: Lindemann, G. and Schlingloff, H., (eds.)
Proceedings of Concurrency, Specification and Programming (CS&P) 2006.
(pp. pp. 255-267).
Humboldt University Press: Wandlitz, Germany.
|
|
Thesis
|
Lomuscio, A.;
(1999)
Information sharing among ideal agents.
Doctoral thesis , University of Birmingham.
|
|
