Skip to main content

Franck Cassez

Franck Cassez
Visiting Researcher; Conjoint Associate Professor, UNSW

Research Interests

Franck's research interests include software verification techniques, static analysis, model-checking, SMT-solvers, as well as infinite state systems, verification and control of timed systems, timed logics or worst-case execution time.

Contact Details

Phone: +61 2 8306 0480
Email:Franck.Cassez@nicta.com.au

More contact information is available at the Contact page.

Photo of Franck Cassez

Franck's research interests include software verification techniques, static analysis, model-checking, SMT-solvers, as well as infinite state systems, verification and control of timed systems, timed logics or worst-case execution time.

Career Summary

2012 -- present: Principal Researcher at NICTA and Conjoint Associate Professor at UNSW.

1997 -- 2012: Senior Research Scientist at Centre National de la Recherche Scientifique (CNRS, France).

Qualifications

For older publications visit this URL Publications prior to 2012

  • Habilitation in Computer Science, University of Nantes, France, 2007
    Control of Timed Systems
  • PhD in Computer Science, Ecole Centrale de Nantes, France, 1993
  • Dipl. Ing. Computer Science, Ecole Centrale de Nantes, France, 1990

Affiliations

NICTA and UNSW

Steering Committees

I am in the Steering Committee of the summer school MOVEP (Modelling and Verifying Parallel processes). 20th anniversary of MOVEP is coming soon, in 2014.
Here are the links to some of the previous editions of the school:

  • MOVEP'2012 The 10th MOVEP, Marseille, France, December 3--7, 2012
  • MOVEP'2010 The 9th MOVEP, Aachen, Germany, June 28--July 2, 2010
  • MOVEP'2008 The 8th MOVEP, Orléans, France, June 23--27, 2008.
  • MOVEP'2006 The 7th MOVEP, Bordeaux, France, June 19--23, 2006.

Program Committees and Editorial Boards

Upcoming Events

Past Events

  • ACSD'2013 The 13th Int. Conf. on Application of Concurrency to System Design, Barcelona, Spain, July 8--10, 2013
  • ETFA'2013 The 18th IEEE Int. Conf. on Emerging Technologies and Factory Applications, Cagliari, Italy, September 10--13, 2013
  • SSV'2012 7th Conf. on Systems Software Verification Sydney, Australia, 28-30 November 2012
  • RTNS'2012 The 20th Int. Conf. on Real-Time and Network Systems, Pont à Mousson, France, November 8--9, 2012
  • ACSD'2012 The 12th International Conference on Application of Concurrency to System Design, Hamburg, Germany, June 25--29, 2012
  • FORMATS'2012 The 10th Int. Conf. on Formal Modeling and Analysis of Timed Systems, Imperial College London, London, UK, 18--20 September 2012
  • FORMATS'2009 The 7th Int. Conf. on Formal Modelling and Analysis of Timed Systems (FORMATS'09 2009), Budapest, Hungary, 13-16 September 2009
  • TIME'09 the Sixteenth Int. Sy,mp. on Temporal Representation and Reasoning (TIME 2009), Brixen, Italy, July 2009
  • FORMATS'2008 The 6th Int. Conf. on Formal Modelling and Analysis of Timed Systems, Saint-Malo, France, September 15--17th, 2008.

Recognition and Awards

2008 -- 2011 Marie Curie Research Fellow

Publications

NICTA Papers

2015

Abstract PDF Franck Cassez, Takashi Matsuoka, Edward Pierzchalski and Nathan Smyth
Perentie: Modular trace refinement and selective value tracking
SV-COMP-2015, pp. 439-442, London, UK, April, 2015
Abstract PDF Gilles Benattar, Franck Cassez, Didier Lime and Olivier H. Roux
Control and synthesis of non-interferent timed systems
International Journal of Control, March, 2015

2014

Abstract PDF Franck Cassez, Christian Mueller and Karla Burnett
Summary-based interprocedural analysis via modular trace refinement
FSTTCS, pp. 545–556, India, December, 2014
Abstract PDF Romain Brenguier, Franck Cassez and Jean-Francois Raskin
Energy and mean payoff timed games
Hybrid Systems: Computation and Control (HSCC), pp. 283–292, Germany, April, 2014

2013

Abstract PDF Ralf Huuck, Franck Cassez, Mads Olesen and Sebastian Biallas
PtrTracker: Pragmatic pointer analysis
International Working Conference on Source Code Analysis and Manipulation, pp. 69 - 73, Eindhoven, Netherlands, September, 2013
Abstract PDF Franck Cassez and Alban Grastien
Predictability of event occurrences in timed systems
11th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS), pp. 62–76, Buenos Aires, Argentina, August, 2013
Available at CoRR/abs http://arxiv.org/abs/1306.0662
Abstract PDF Franck Cassez and Jean-Luc Bechennec
Timing analysis of binary programs with UPPAAL
13th International Conference on Application of Concurrency to System Design (ACSD), pp. 41-50, Barcelona, Spain, July, 2013
Abstract PDF Beatrice Berard, Franck Cassez, Serge Haddad, Didier Lime and Olivier H. Roux
The expressive power of time petri nets
Theoretical Computer Science, Volume 474, pp. 1–20, March, 2013

2012

Abstract PDF Peter Bulychev, Franck Cassez, Alexandre David, Kim G. Larsen, Jean-Francois Raskin and Pierre-Alain Reynier
Controllers with minimal observation power– application to timed systems
Automated Technology for Verification and Analysis (ATVA) 2012, pp. 223–237, Thiruvananthapuram (Trivandrum), Kerala, India, October, 2012
Abstract PDF Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson and Ralf Huuck
High performance static analysis for industry
Tools for Automatic Program AnalysiS (TAPAS 2012), pp. 3–14, Deauville, France, September, 2012
Abstract PDF Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson and Ralf Huuck
Goanna – fast, flexible static analysis with OCaml
Abstract, ML12, September, 2012.
Abstract PDF Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson, Ralf Huuck and Maximillian Junker
GoannaSMT – a static analyzer with SMT-based refinement
Abstract, Tools for Automatic Program AnalysiS (TAPAS 2012), Deauville, France, pp. ??, July, 2012.
Abstract PDF Franck Cassez
The complexity of codiagnosability for discrete event and timed systems
IEEE Transactions on Automatic Control, Volume 57, Number 7, pp. 1752-1764, July, 2012
Abstract PDF Franck Cassez, René Rydhof Hansen and Mads Olesen
What is a timing anomaly?
Workshop on Worst-Case Execution-Time Analysis, pp. 1-12, Pisa, Italy, July, 2012
Abstract PDF Franck Cassez, Jeremy Dubreil and Herve Marchand
Synthesis of opaque systems with static and dynamic masks
Formal Methods in System Design, Volume 40, Number 1, pp. 88–115, February, 2012

2011

Abstract PDF Patricia Bouyer, Franck Cassez and Francois Laroussinie
Timed modal logics for real-time systems - specification, verification and control.
Journal of Logic, Language and Information, Volume 20, Number 2, pp. 169-203, May, 2011

2010

Abstract PDF Franck Cassez
The complexity of codiagnosability for discrete event and timed systems
8th International Symposium on Automated Technology for Verification and Analysis (ATVA), pp. 82–96, Singapore, September, 2010
Abstract PDF Franck Cassez, Ron van der Meyden and Chenyi Zhang
The complexity of synchronous notions of information flow security
13th International Conference on Foundations of Software Science and Computation Structures, pp. 282-296, Paphos, Cyprus, June, 2010

2009

Abstract PDF Franck Cassez
A note on fault diagnosis algorithms
48th IEEE Conference on Decision and Control, pp. 6941-6946, Shanghai, China, December, 2009
Abstract PDF Franck Cassez
Dynamic observers for fault diagnosis of timed systems
49th IEEE Conference on Decision and Control, pp. 4359-4364, Atlanta, USA, December, 2009
Abstract PDF Gilles Benattar, Franck Cassez, Didier Lime and Olivir Henri Roux
Synthesis of non-interferent timed systems
Proc. of the 7th Int. Conf. on Formal Modeling and Analysis of Timed Systems (FORMATS'09), pp. 28-42, Budapest, Hungary, October, 2009
Abstract PDF Franck Cassez
How to install PHAVer on mac OS x
Technical Report, NICTA, October, 2009
Abstract PDF Franck Cassez, Jérémy Dubreil and Hervé Marchand
Dynamic observers for the synthesis of opaque systems
7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09), pp. 352–367, Macau SAR, China, October, 2009
Abstract PDF Franck Cassez, Jérémy Dubreil and Hervé Marchand
Dynamic observers for the synthesis of opaque systems
Technical Report 1930, IRISA, October, 2009
Abstract PDF Franck Cassez and Nicolas Markey
Control of timed systems
Communicating Embedded Systems, pp. 83–120, ISTE Ltd. – John Wiley & Sons, Ltd., 2009
Abstract PDF Franck Cassez and Stavros Tripakis
Fault diagnosis of timed systems
Communicating Embedded Systems Software and Design, pp. 120–151, ISTE Ltd. – John Wiley & Sons, Ltd., 2009
Abstract PDF Franck Cassez
The dark side of timed opacity.
Proc. of the 3rd International Conference on Information Security and Assurance (ISA'09), pp. 21–30, Seoul, Korea, June, 2009
Abstract PDF Franck Cassez, Jan J. Jessen, Kim G. Larsen, Jean-François Raskin and Pierre-Alain Reynier
Automatic synthesis of robust and optimal controllers - an industrial case study.
Proc. of the 12th International Conference on Hybrid Systems: Computation and Control (HSCC'09), pp. 90–104, San Francisco, CA, USA, May, 2009