Institut für Rechnerarchitektur
und Parallelrechner
Dr. Hristo Pentchev
Universität des Saarlandes   Gebäude E1 3
FR 6.2 Informatik   Raum 315
Postfach 151150   Tel: +49 (0)681 302-3239
D-66041 Saarbrücken   Fax: +49 (0)681 302-4290
Germany   eMail: pentchev at
Private Homepage
Alkassar, E. and Cohen, E. and Hillebrand, M. and Pentchev, H.   BibTeX
Modular Specification and Verification of Interprocess Communication.
In Formal Methods in Computer Aided Design (FMCAD) 2010,
IEEE, 2010.
Note: to appear
Cohen, E. and Alkassar, E. and Boyarinov, V. and Dahlweid, M. and Degenbaev, U. and Hillebrand, M. and Langenstein, B. and Leinenbach, D. and Moskal, M. and Obua, S. and Paul, W. and Pentchev, H. and Petrova, E. and Santen, T. and Schirmer, N. and Schmaltz, S. and Schulte, W. and Shadrin, A. and Tobies, S. and Tsyban, A. and Tverdyshev, S. EE BibTeX
Invariants, Modularity, and Rights.
In Amir Pnueli and Irina Virbitskaite and Andrei Voronkov, editors, Perspectives of Systems Informatics (PSI 2009),
Novosibirsk, Russia
volume 5947 of Lecture Notes in Computer Science, pages 43--55, Springer, 2009.