BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Smans:Jan

Contributed to:

FM 20112011
ESOP 20102010
ECOOP 20092009
FASE 20082008

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.