Franck Cassez

2009
31	EE	Franck Cassez, Jan Jakob Jessen, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier: Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study. HSCC 2009: 90-104
2008
30		Franck Cassez, Claude Jard: Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings Springer 2008
29	EE	Franck Cassez, Stavros Tripakis: Fault Diagnosis with Static and Dynamic Observers. Fundam. Inform. 88(4): 497-540 (2008)
28	EE	Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux: When are Timed Automata weakly timed bisimilar to Time Petri Nets? Theor. Comput. Sci. 403(2-3): 202-220 (2008)
2007
27	EE	Franck Cassez, Stavros Tripakis, Karine Altisen: Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. ACSD 2007: 90-99
26	EE	Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin: Timed Control with Observation Based and Stuttering Invariant Strategies. ATVA 2007: 192-206
25	EE	Franck Cassez: Efficient On-the-Fly Algorithms for Partially Observable Timed Games. FORMATS 2007: 5-24
24	EE	Franck Cassez, Stavros Tripakis, Karine Altisen: Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. TASE 2007: 316-325
23	EE	Gilles Bernot, Franck Cassez, Jean-Paul Comet, Franck Delaplace, Céline Müller, Olivier Roux: Semantics of Biological Regulatory Networks. Electr. Notes Theor. Comput. Sci. 180(3): 3-14 (2007)
2006
22	EE	Karine Altisen, Franck Cassez, Stavros Tripakis: Monitoring and fault-diagnosis with digital clocks ACSD 2006: 101-110
21	EE	Franck Cassez, Thomas Chatain, Claude Jard: Symbolic Unfoldings for Networks of Timed Automata. ATVA 2006: 307-321
20	EE	Franck Cassez, Olivier H. Roux: Structural translation from Time Petri Nets to Timed Automata. Journal of Systems and Software 79(10): 1456-1468 (2006)
2005
19	EE	Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux: Comparison of Different Semantics for Time Petri Nets. ATVA 2005: 293-307
18	EE	Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime: Efficient On-the-Fly Algorithms for the Analysis of Timed Games. CONCUR 2005: 66-80
17	EE	Patricia Bouyer, Franck Cassez, François Laroussinie: Modal Logics for Timed Control. CONCUR 2005: 81-94
16	EE	Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux: Comparison of the Expressiveness of Timed Automata and Time Petri Nets. FORMATS 2005: 211-225
15	EE	Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux: When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets? FSTTCS 2005: 273-284
14	EE	Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen: Synthesis of Optimal Strategies Using HyTech. Electr. Notes Theor. Comput. Sci. 119(1): 11-31 (2005)
13	EE	Franck Cassez, Olivier H. Roux: Structural Translation from Time Petri Nets to Timed Automata. Electr. Notes Theor. Comput. Sci. 128(6): 145-160 (2005)
2004
12	EE	Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen: Optimal Strategies in Priced Timed Game Automata. FSTTCS 2004: 148-160
11	EE	Franck Cassez, Claire Pagetti, Olivier H. Roux: A Timed Extension for ALTARICA. Fundam. Inform. 62(3-4): 291-332 (2004)
2002
10	EE	Franck Cassez, Thomas A. Henzinger, Jean-François Raskin: A Comparison of Control Problems for Timed and Hybrid Systems. HSCC 2002: 134-148
9	EE	Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier Roux, Grégoire Sutre: Verification of Embedded Reactive Fiffo Systems. LATIN 2002: 400-414
8	EE	Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier Roux: Extending the Translation from SDL to Promela. SPIN 2002: 79-94
2001
7		Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan: Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 Springer 2001
6		Frédéric Herbreteau, Franck Cassez, Olivier Roux: Application of Partial-Order Methods to Reactive Programs with Event Memorization. Real-Time Systems 20(3): 287-316 (2001)
2000
5		Franck Cassez, François Laroussinie: Model-Checking for Hybrid Systems by Quotienting and Constraints Solving. CAV 2000: 373-388
4	EE	Franck Cassez, Kim Guldstrand Larsen: The Impressive Power of Stopwatches. CONCUR 2000: 138-152
1999
3	EE	Olivier Roux, Vlad Rusu, Franck Cassez: Hybrid Verifications of Reactive Programs. Formal Asp. Comput. 11(4): 448-471 (1999)
1998
2	EE	Grégoire Sutre, Alain Finkel, Olivier Roux, Franck Cassez: Effective Recognizability and Model Checking of Reactive Fiffo Automata. AMAST 1998: 106-123
1995
1	EE	Franck Cassez, Olivier Roux: Compilation of the ELECTRE Reactive Language into Finite Transition Systems. Theor. Comput. Sci. 146(1&2): 109-143 (1995)

Coauthor Index

1	Karine Altisen	[22] [24] [27]
2	Béatrice Bérard	[15] [16] [19] [28]
3	Gilles Bernot	[23]
4	Patricia Bouyer	[12] [14] [17]
5	Thomas Chatain	[21]
6	Jean-Paul Comet	[23]
7	Alexandre David	[18] [26]
8	Franck Delaplace	[23]
9	Philippe Dhaussy	[8]
10	Alain Finkel	[2] [9]
11	Emmanuel Fleury	[12] [14] [18]
12	Serge Haddad	[15] [16] [19] [28]
13	Thomas A. Henzinger	[10]
14	Frédéric Herbreteau	[6] [9]
15	Claude Jard	[7] [21] [30]
16	Jan Jakob Jessen	[31]
17	François Laroussinie	[5] [17]
18	Kim Guldstrand Larsen	[4] [12] [14] [18] [26] [31]
19	Didier Lime	[15] [16] [18] [19] [26] [28]
20	Céline Müller	[23]
21	Claire Pagetti	[11]
22	Armelle Prigent	[8]
23	Jean-François Raskin	[10] [26] [31]
24	Pierre-Alain Reynier	[31]
25	Olivier H. Roux (Olivier Roux)	[1] [2] [3] [6] [8] [9] [11] [13] [15] [16] [19] [20] [23] [28]
26	Brigitte Rozoy	[7]
27	Vlad Rusu	[3]
28	Mark Ryan (Mark Dermot Ryan)	[7]
29	Grégoire Sutre	[2] [9]
30	Stavros Tripakis	[22] [24] [27] [29]

Colors in the list of coauthors