Hristo Pentchev

According to our database, Hristo Pentchev authored at least 3 papers between 2009 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2016

Sound semantics of a high-level language with interprocessor interrupts.

Hristo Pentchev

PhD thesis, 2016

2010

Modular specification and verification of interprocess communication.

Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Hristo Pentchev

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2009

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, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev

Proceedings of the Perspectives of Systems Informatics, 2009