Travelled to:1 × Italy
2 × Spain
2 × USA
Collaborated with:N.D.Jones ∅ F.Nielson H.R.Nielson J.G.Jensen J.Brunel D.Doligez J.L.Lawall G.Muller H.Sun M.Buchholtz H.Pilegaard H.Seidl
Talks about:interpret (1) intermedi (1) succinct (1) abstract (1) program (1) languag (1) hardest (1) foundat (1) ambient (1) tempor (1)
Person: René Rydhof Hansen
DBLP: Hansen:Ren=eacute=_Rydhof
Contributed to:
2009
2008
2004
2004
1999Wrote 5 papers:
- POPL-2009-BrunelDHLM #logic #model checking #using
- A foundation for flow-based program matching: using temporal logic and model checking (JB, DD, RRH, JLL, GM), pp. 114–126.
- VMCAI-2008-JonesH
- CTL as an Intermediate Language (NDJ, RRH), p. 4.
- ESOP-2004-Hansen
- A Hardest Attacker for Leaking References (RRH), pp. 310–324.
- TACAS-2004-NielsonNSBHPS
- The Succinct Solver Suite (FN, HRN, HS, MB, RRH, HP, HS), pp. 251–265.
- SAS-1999-HansenJNN #abstract interpretation #mobile
- Abstract Interpretation of Mobile Ambients (RRH, JGJ, FN, HRN), pp. 134–148.