Travelled to:1 × Hungary
1 × Italy
1 × Poland
Collaborated with:D.Distefano J.Brotherston R.Grigore N.Tzevelekos L.Birkedal A.Nanevski G.Morrisett
Talks about:automata (1) theori (1) runtim (1) regist (1) realiz (1) impred (1) entail (1) cyclic (1) verif (1) separ (1)
Person: Rasmus Lerchedahl Petersen
DBLP: Petersen:Rasmus_Lerchedahl
Contributed to:
2013
2011
2008Wrote 3 papers:
- TACAS-2013-GrigoreDPT #automaton #runtime #verification
- Runtime Verification Based on Register Automata (RG, DD, RLP, NT), pp. 260–276.
- CADE-2011-BrotherstonDP #automation #logic #proving
- Automated Cyclic Entailment Proofs in Separation Logic (JB, DD, RLP), pp. 131–146.
- ESOP-2008-PetersenBNM #hoare #type system
- A Realizability Model for Impredicative Hoare Type Theory (RLP, LB, AN, GM), pp. 337–352.