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: Cassez:Franck
Contributed to:
2015
2013
2010
2000Wrote 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.