Upcoming & Past Events

Research Themes

Research Projects

Publications

People

Verification Tools

Talks & Slides

Personal Homepage

./other-files/photo2.jpg

Franck Cassez

Principal Researcher, NICTA, Sydney, Australia
NICTA
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)
CNRS
Marie Curie Research Fellow (2008-2011)
Marie Curie People
  FP7 EU

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

Research Projects

I was involved in I was involved in

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:

Verification Tools

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

Talks & Slides

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

Personal Homepage

Some pictures are available from here

?
Tokyo Bay, Rainbow Bridge

Last updated February 14, 2012 by Franck Cassez