Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

Address: [go: Go Back, main page]
Remove Scripts Accept Cookies Show Images Show Referer Rotate13 Base64 Strip Meta Strip Title Session Cookies

Address

Research Themes

Research Projects

Publications

People

Verification Tools

Teaching

Le Kit de survie

Personal Homepage

Franck Cassez

Chargé de recherche au CNRS/ Full-Time Researcher, CNRS

Address:	IRCCyN - UMR CNRS 6597
	1, rue de la Noë
	B.P. 92101
	44321 Nantes Cedex 3
	France

Tel: (+33|0) 2 40 37 69 81

Fax: (+33|0) 2 40 37 69 30

Email: no-spam-Franck.Cassez@irccyn.ec-nantes.fr (Remove no-spam-)

MOVEP'04 Winter School - Modeling and Verification of Parallel Processes, Brussels, Belgium, 13-17 December 2004

Research Themes

• Infinite state systems - FIFFO-Automata (over now ...)
• Semantics of reactive and timed systems
• Verification of timed and hybrid systems
• Control of timed and hybrid systems

Research Projects

I am involved in

• Control and Observation of Real- Time Open Systems ACI CORTOS
• Tools and Algorithms for the Verification of Hybrid Systems ACI CHRONO
• Timed Extension of AltaRica

Some Publications

can be found here

People

I work with (apart from my collegues in Nantes)

• Patricia Bouyer, LSV, ENS Cachan, France
• Alain Finkel, LSV, ENS Cachan, France
• Emmanuel Fleury, Ålborg University, Denmark
• Thomas A. Henzinger, University of California at Berkeley, USA
• Frédéric Herbreteau, LaBRI, Bordeaux, France
• François Laroussinie, LSV, ENS Cachan, France
• Kim Guldstrand Larsen, Ålborg University, Denmark
• Jean-François Raskin, Université Libre de Bruxelles, Belgium
• Vlad Rusu, IRISA, Rennes, France
• Mark Ryan, University of Birmingham
• Pierre-Yves Schobbens, Facultés Universitaires Notre Dame de la Paix, Namur, Belgium
• Grégoire Sutre, LaBRI, Université de Bordeaux I, France

Verification Tools

(Model-checking)

• UPPAAL Model-Checking 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.
• SPIN Model-Checking for Communicating Systems
• Roméo State Class Graph for Timed Petri Nets

Teaching

• 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
• Recently 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 teach Introduction to Lexical Analysis and Parsing at ENSAI, Rennes (no slides ...) Lab work with Java, JFlex and CUP
• 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

Manuel de survie

à l'IRCCyN et à l'Ecole Centrale de Nantes Voir ici

Personal Homepage

My personal homepage is here

Last updated January 25, 2005 by Franck Cassez