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 × The Netherlands
1 × USA
1 × United Kingdom
Collaborated with:
F.Laroussinie R.v.d.Meyden C.Zhang T.Matsuoka E.Pierzchalski N.Smyth S.Biallas M.C.Olesen R.Huuck
Talks about:
constraint (1) contribut (1) synchron (1) quotient (1) competit (1) tracker (1) pragmat (1) pointer (1) perenti (1) modular (1)

Person: Franck Cassez

DBLP DBLP: Cassez:Franck

Contributed to:

TACAS 20152015
SCAM 20132013
FOSSACS 20102010
CAV 20002000

Wrote 4 papers:

TACAS-2015-CassezMPS #composition #contest #named #refinement
Perentie: Modular Trace Refinement and Selective Value Tracking — (Competition Contribution) (FC, TM, EP, NS), pp. 439–442.
SCAM-2013-BiallasOCH #analysis #named #pointer
PtrTracker: Pragmatic pointer analysis (SB, MCO, FC, RH), pp. 69–73.
FoSSaCS-2010-CassezMZ #complexity #data flow #security
The Complexity of Synchronous Notions of Information Flow Security (FC, RvdM, CZ), pp. 282–296.
CAV-2000-CassezL #constraints #hybrid #model checking
Model-Checking for Hybrid Systems by Quotienting and Constraints Solving (FC, FL), pp. 373–388.

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.