Rasmus Lerchedahl Petersen

Publication Activity (10 Years)

Years Active: 2005-2015
Publications (10 Years): 1

Top Topics

Formal Verification

Boolean Algebra

Top Venues

J. Log. Algebraic Methods Program.

Publications

Peter W. O'Hearn, Rasmus Lerchedahl Petersen, Jules Villard, Akbar Hussain
On the relation between Concurrent Separation Logic and Concurrent Kleene Algebra. J. Log. Algebraic Methods Program. 84 (3) (2015)
Radu Grigore, Dino Distefano, Rasmus Lerchedahl Petersen, Nikos Tzevelekos
Runtime Verification Based on Register Automata. TACAS (2013)
James Brotherston, Nikos Gorogiannis, Rasmus Lerchedahl Petersen
A Generic Cyclic Theorem Prover. APLAS (2012)
Dino Distefano, Radu Grigore, Rasmus Lerchedahl Petersen, Nikos Tzevelekos
Runtime Verification Based on Register Automata CoRR (2012)
C. A. R. Hoare, Akbar Hussain, Bernhard Möller, Peter W. O'Hearn, Rasmus Lerchedahl Petersen, Georg Struth
On Locality and the Exchange Law for Concurrent Processes. CONCUR (2011)
James Brotherston, Dino Distefano, Rasmus Lerchedahl Petersen
Automated Cyclic Entailment Proofs in Separation Logic. CADE (2011)
Rasmus Lerchedahl Petersen, Lars Birkedal, Aleksandar Nanevski, Greg Morrisett
A Realizability Model for Impredicative Hoare Type Theory. ESOP (2008)
Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen
Domain-theoretical models of parametric polymorphism. Theor. Comput. Sci. 388 (1-3) (2007)
Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen
Linear Abadi and Plotkin Logic CoRR (2006)
Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen
Linear Abadi and Plotkin Logic. Log. Methods Comput. Sci. 2 (5) (2006)
Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen
Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus. MFPS (2005)