./other-files/photo2.jpg

Franck Cassez

Principal Researcher, NICTA, Sydney, Australia

Address:

National ICT Australia
Locked Bag 6016
The University of New South Wales
Sydney NSW 1466, Australia
Ph: +61 2 8306 0480 | Fax: +61 2 8306 0404

Email: (remove no-spam)

no-spam-Franck.Cassez@nicta.com.au

Former Positions:

Research Scientist, CNRS (1997-2012)

Marie Curie Research Fellow (2008-2011)

From September 2008 until August 2011 I was a Marie Curie Fellow and Research Scientist at CNRS. From September 2008 until August 2010 I was seconded to National ICT Australia, Kensington Lab in Sydney (NICTA). From September 2010 until January 2012, I was Research Scientist at Research Scientist at CNRS and with the Institut de Recherche en Communications et Cybernetique de Nantes (IRCCyN), France.

Since February 2012, I am with NICTA Sydney again.

Upcoming & Past Events

MOVEP'2012 The 10th winter school on Modelling and Verifying Parallel processes, Marseille, France, December 3--7, 2012

RTNS'2012 The 20th International Conference on Real-Time and Network Systems, Pont à Mousson, France, November 8--9, 2012

FORMATS'2012 The 10th International Conference on Formal Modeling and Analysis of Timed Systems, Imperial College London, London, UK, 18--20 September 2012

ACSD'2012 The 12th International Conference on Application of Concurrency to System Design, Hamburg, Germany, June 25--29, 2012

MOVEP'2010 The 9th International Summer School on modeling and verifying parallel processes, Aachen, Germany, June 28--July 2, 2010

FORMATS'09 The 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'09 2009), Budapest, Hungary, 13-16 September 2009

TIME'09 the Sixteenth International Symposium on Temporal Representation and Reasoning (TIME 2009), Brixen, Italy, July 2009

FORMATS'08 The 6th Int. Conference on Formal Modelling and Analysis of Timed Systems, Saint-Malo, France, September 15--17th, 2008.

MOVEP'08 Summer School on MOdeling and VErification of Parallel processes, Orléans, France, June 23--27, 2008.

Research Themes

Static Analysis of C/C++ programs
Computation of Worst-Case Execution-Times New!
Infinite state systems
Semantics of reactive and timed systems
Verification and control of timed systems

Research Projects

I was involved in

QUASIMODO: European project Quantitative System Properties in Model-Driven Design of Embedded Systems
DOTS: Distributed Open Timed Systems (Started January 2007)

I was involved in

ACI CORTOS: Control and Observation of Real-Time Open Systems (Ended January 2007)
ACI CHRONO: Tools and Algorithms for the Verification of Hybrid Systems (Ended September 2003)
Timed Extension of AltaRica (Ended 2004)

Some Publications

can be found here by type and here by year and here by category and the BibTeX file

List of publications from the DBLP server

People

Here are some nice people I work with:

Karine Altisen, VERIMAG, Grenoble, France
Béatrice Bérard, LIP6, Université Pierre et Marie Curie, France
Patricia Bouyer, LSV, ENS Cachan, France
Thierry Cachat, LIAFA, Paris, France
Thomas Chatain, LSV, ENS Cachan, France
Alexandre David, Aalborg University, Denmark
Jérémy Dubreil, Laboratoire d'Informatique de l'Ecole Polytechnique (LIX), Palaiseau, France
Ansgar Fehnker, National ICT Australia, Sydney, Australia
Alain Finkel, LSV, ENS Cachan, France
Emmanuel Fleury, LaBRI, Univ. Bordeaux 1, France
Serge Haddad, LSV, ENS Cachan, France
Thomas A. Henzinger, IST, Austria
Frédéric Herbreteau, LaBRI, Bordeaux, France
Ralf Huuck, National ICT Australia, Sydney, Australia
Claude Jard, IRISA, Rennes, France
François Laroussinie, LIAFA, Université Paris Diderot - Paris 7, France
Kim Guldstrand Larsen, Aalborg University, Denmark
Hervé Marchand, IRISA/INRIA, Rennes, France
Nicolas Markey, LSV, ENS Cachan, France
John Mullins, Ecole Polytechnique de Montréal, Canada
Jean-François Raskin, Université Libre de Bruxelles, Belgium
Pierre-Alain Reynier, LIF, Marseille, France
Vlad Rusu, INRIA, Lille, France
Mark Ryan, University of Birmingham, UK
Pierre-Yves Schobbens, Facultés Universitaires Notre Dame de la Paix, Namur, Belgium
Grégoire Sutre, LaBRI, Université de Bordeaux I, France
Stavros Tripakis, Verimag, France and UC Berkeley, USA
Ron van der Meyden, School of Computer Science and Engineering, University of New South Wales, Sydney, Australia
Chenyi Zhang, CSE, the University of New South Wales (UNSW), Sydney, Australia.

Verification Tools

For Model-checking and Controller Synthesis, you can use:

UPPAAL Model Checking of Timed Automata
UPPAAL-TiGA Efficient Controller Synthesis for Timed Automata
CMC Compositional Model-Checking for Timed and Hybrid Automata
KRONOS Model-Checking for Timed Automata
HyTech Reachability analysis for Hybrid Automata. Here is a tgz hytech-for-osX.tgz for compiling HyTech under Mac OS X (unofficial version). To use see the README-OSX in src directory.
PHAver Polyhedral Hybrid Automaton Verifyer (and How to Install it for Mac OSX)
SPIN Model-Checking for Communicating Systems
GOANNA Static analysis tool for C/C++ source code
Roméo A tool for Time Petri Nets analysis
Tina TIme petri Net Analyzer
TIMES Tool for Modeling and Implementation of Embedded Systems

Talks & Slides

Other slides of my conference papers are available in the publication section.

Computation of WCET using Program Slicing and Real-Time Model-Checking, Aalborg, Denmark, CISS Seminar, November 15th, 2011. Slides available here.
Computation of WCET using Program Slicing and Real-Time Model-Checking, NICTA, Sydney, ERTOS Seminar, June 3rd, 2011. Slides available here.
Fault Diagnosis with Dynamic Diagnosers, Canberra, October 1st, 2009. Slides available here.
Theory Applied to real Embedded Systems, Sydney, December 15th, 2008. Slides available here.
Control of Timed Systems, Journées « Formalisation des Activités Concurrentes », Toulouse, April 3-4, 2008. Slides available here.
Y-a-t-il une limite à la puissance des ordinateurs ?, conférence dans le cadre des « Petits-déjeuners scientifiques » , Fête de la Science; organisée par le CRDP Pays de la Loire, Nantes, October 2007. Slides are available here. Dernière version ici, mise à jour le 1er février 2008; conférences donnée au Lycée La Joliverie, Saint Sébastien sur Loire; Lycée Sainte Françoise d'Amboise, Nantes; Lycée Livet, Nantes;
Control of Timed Systems, « Habilitation à Diriger les Recherches », Nantes, defended on September 21st, 2007. Slides of the defense are available here. The report is available in French and in English.
Control and Fault Diagnosis of Timed Systems, Ecole Temps-Réel, Nantes, September 2007; Slides are available in English.
Monitoring and Fault Diagnosis, seminar of the Centre Fédéré en Vérification, Brussels, November 2006; Slides.
Control of Timed Systems, Sydney, Australia, 2005; slides available in PDF Lecture 1, Lecture 2, Lecture 3
Systèmes d'exploitation - Exemple d'Unix, Ecole Centrale de Nantes, 2004; slides available in French pdf
Vérification qualitative - Model-Checking et logiques temporelles, Ecole Temps-Réel, Toulouse, septembre 2003, Slides are available in French in pdf
I taught Modelling and Verification of Concurrent Systems at Ecole Centrale, Nantes in 2001, 2002; Slides are available in French in pdf. I am not lecturing this course any longer ...
I used to teach Introduction to Lexical Analysis and Parsing at ENSAI, Rennes
- pdf slides for Lab Work Lab work with Java,
- links to JFlex and CUP
- a note on finite automata and regular expressions pdf file
Once I was a lecturer in Computer Science at Université de Bretagne Occidentale, Brest, France where I taught Compilation Maîtrise Informatique, Operating Systems, License Informatique, Theory of Computation (Decidability and Complexity), Maîtrise Informatique

Personal Homepage

Some pictures are available from here

Tokyo Bay, Rainbow Bridge