Travelled to:1 × Cyprus
1 × Hungary
1 × Ireland
1 × Italy
Collaborated with:B.Jacobs F.Piessens P.Müller K.R.M.Leino W.Schulte V.Klebanov N.Shankar G.T.Leavens V.Wüstholz E.Alkassar R.Arthan D.Bronish R.Chapman E.Cohen M.A.Hillebrand R.Monahan N.Polikarpova T.Ridge S.Tobies T.Tuerk M.Ulbrich B.Weiß
Talks about:frame (3) dynam (3) verifi (2) implicit (1) deadlock (1) competit (1) softwar (1) program (1) channel (1) automat (1)
Person: Jan Smans
DBLP: Smans:Jan
Contributed to:
2011
2010
2009
2008Wrote 5 papers:
- FM-2011-JacobsSP #verification
- Verification of Unloadable Modules (BJ, JS, FP), pp. 402–416.
- FM-2011-KlebanovMSLWAABCCHJLMPPRSTTUW #case study #contest #experience
- The 1st Verified Software Competition: Experience Report (VK, PM, NS, GTL, VW, EA, RA, DB, RC, EC, MAH, BJ, KRML, RM, FP, NP, TR, JS, ST, TT, MU, BW), pp. 154–168.
- ESOP-2010-LeinoMS #concurrent
- Deadlock-Free Channels and Locks (KRML, PM, JS), pp. 407–426.
- ECOOP-2009-SmansJP #logic
- Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic (JS, BJ, FP), pp. 148–172.
- FASE-2008-SmansJPS #automation #java #source code #verification
- An Automatic Verifier for Java-Like Programs Based on Dynamic Frames (JS, BJ, FP, WS), pp. 261–275.