Invariants, Modularity, and Rights. - Ernie Cohen; Eyad Alkassar; Vladimir Boyarinov; Markus Dahlweid; Ulan Degenbaev; Mark A. Hillebrand; Bruno Langenstein; Dirk Leinenbach; Michal Moskal; Steven Obua; Wolfgang J. Paul; Hristo Pentchev; et al. (Ershov Memorial Conference, 2009)

Modular specification and verification of interprocess communication. - Eyad Alkassar; Ernie Cohen; Mark A. Hillebrand; Hristo Pentchev (FMCAD, 2010)

Sound semantics of a high-level language with interprocessor interrupts. - Hristo Pentchev (2016)