Browse by UCL Departments and Centres
Group by: Author | Type
Jump to: Article | Proceedings paper
Number of items: 3.
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.;
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.
|
Pecheur, C.;
Raimondi, F.;
(2006)
Symbolic model checking of logics with actions.
In: Edelkamp, S. and Lomuscio, A., (eds.)
Model Checking and Artifical Intelligence: 4th Workshop, MoChArt IV, Riva del garda, Italy, August 29, 2006, Revised Selected and Invited Papers.
(pp. pp. 113-128).
Springer Verlag: Berlin/ Heidelberg, Germany.
|