×

zbMATH — the first resource for mathematics

Cassez, Franck

Compute Distance To:
Author ID: cassez.franck Recent zbMATH articles by "Cassez, Franck"
Published as: Cassez, F.; Cassez, Franck
Documents Indexed: 43 Publications since 1995, including 3 Books

Publications by Year

Citations contained in zbMATH

32 Publications have been cited 177 times in 142 Documents Cited by Year
Efficient on-the-fly algorithms for the analysis of timed games. Zbl 1134.68382
Cassez, Franck; David, Alexandre; Fleury, Emmanuel; Larsen, Kim G.; Lime, Didier
27
2005
The impressive power of stopwatches. Zbl 0999.68112
Cassez, Franck; Larsen, Kim
19
2000
Fault diagnosis with static and dynamic observers. Zbl 1167.68011
Cassez, Franck; Tripakis, Stavros
17
2008
Synthesis of opaque systems with static and dynamic masks. Zbl 1247.68161
Cassez, Franck; Dubreil, Jérémy; Marchand, Hervé
15
2012
A comparison of control problems for timed and hybrid systems. Zbl 1044.93518
Cassez, Franck; Henzinger, Thomas A.; Raskin, Jean-François
11
2002
Optimal strategies in priced timed game automata. Zbl 1117.68396
Bouyer, Patricia; Cassez, Franck; Fleury, Emmanuel; Larsen, Kim G.
10
2004
Automatic synthesis of robust and optimal controllers – an industrial case study. Zbl 1237.93058
Cassez, Franck; Jessen, Jan J.; Larsen, Kim G.; Raskin, Jean-François; Reynier, Pierre-Alain
8
2009
Comparison of the expressiveness of timed automata and time Petri nets. Zbl 1175.68270
Bérard, Beatrice; Cassez, Franck; Haddad, Serge; Lime, Didier; Roux, Olivier H.
7
2005
The complexity of codiagnosability for discrete event and timed systems. Zbl 1369.93374
Cassez, Franck
6
2012
Timed control with observation based and stuttering invariant strategies. Zbl 1141.68428
Cassez, Franck; David, Alexandre; Larsen, Kim G.; Lime, Didier; Raskin, Jean-François
6
2007
Structural translation from time Petri nets to timed automata. Zbl 1272.68294
Cassez, Franck; Roux, Olivier H.
6
2005
Predictability of event occurrences in timed systems. Zbl 1390.68383
Cassez, Franck; Grastien, Alban
5
2013
Dynamic observers for the synthesis of opaque systems. Zbl 1262.68107
Cassez, Franck; Dubreil, Jérémy; Marchand, Hervé
5
2009
Model-checking for hybrid systems by quotienting and constraints solving. Zbl 0974.68117
Cassez, Franck; Laroussinie, François
5
2000
Comparison of different semantics for time Petri nets. Zbl 1170.68537
Bérard, B.; Cassez, F.; Haddad, S.; Lime, Didier; Roux, O. H.
4
2005
Efficient on-the-fly algorithms for partially observable timed games. Zbl 1141.93377
Cassez, Franck
3
2007
Control and synthesis of non-interferent timed systems. Zbl 1328.93109
Benattar, Gilles; Cassez, Franck; Lime, Didier; Roux, Olivier H.
2
2015
Energy and mean-payoff timed games. Zbl 1362.91003
Brenguier, Romain; Cassez, Franck; Raskin, Jean-François
2
2014
The expressive power of time Petri nets. Zbl 1259.68141
Bérard, B.; Cassez, F.; Haddad, S.; Lime, D.; Roux, O. H.
2
2013
Timed modal logics for real-time systems. Specification, verification and control. Zbl 1216.68158
Bouyer, Patricia; Cassez, Franck; Laroussinie, François
2
2011
The complexity of synchronous notions of information flow security. Zbl 1284.68385
Cassez, Franck; van der Meyden, Ron; Zhang, Chenyi
2
2010
Symbolic unfoldings for networks of timed automata. Zbl 1161.68615
Cassez, Franck; Chatain, Thomas; Jard, Claude
2
2006
Modal logics for timed control. Zbl 1134.68399
Bouyer, Patricia; Cassez, Franck; Laroussinie, François
2
2005
Refinement of trace abstraction for real-time programs. Zbl 06820343
Cassez, Franck; Jensen, Peter Gjøl; Guldstrand Larsen, Kim
1
2017
Automated technology for verification and analysis. 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3–7, 2014. Proceedings. Zbl 1325.68014
Cassez, Franck (ed.); Raskin, Jean-François (ed.)
1
2014
The complexity of codiagnosability for discrete event and timed systems. Zbl 1305.68111
Cassez, Franck
1
2010
Synthesis of non-interferent timed systems. Zbl 1262.68084
Benattar, Gilles; Cassez, Franck; Lime, Didier; Roux, Olivier H.
1
2009
When are timed automata weakly timed bisimilar to time Petri nets? Zbl 1158.68029
Bérard, B.; Cassez, F.; Haddad, S.; Lime, D.; Roux, O. H.
1
2008
Synthesis of optimal strategies using HyTech. Zbl 1272.68228
Bouyer, Patricia; Cassez, Franck; Fleury, Emmanuel; Larsen, Kim G.
1
2005
When are timed automata weakly timed bisimilar to time Petri nets? Zbl 1158.68424
Bérard, Beatrice; Cassez, Franck; Haddad, Serge; Lime, Didier; Roux, Olivier H.
1
2005
A timed extension for ALTARICA. Zbl 1097.68573
Cassez, Franck; Pagetti, Claire; Roux, Olivier
1
2004
Modeling and verification of parallel processes. 4th Summer school, MOVEP 2000, Nantes, France, June 19–23, 2000. Revised tutorial lectures. Zbl 0974.00044
Cassez, Franck (ed.); Jard, Claude (ed.); Rozoy, Brigitte (ed.); Ryan, Mark Dermot (ed.)
1
2001
Refinement of trace abstraction for real-time programs. Zbl 06820343
Cassez, Franck; Jensen, Peter Gjøl; Guldstrand Larsen, Kim
1
2017
Control and synthesis of non-interferent timed systems. Zbl 1328.93109
Benattar, Gilles; Cassez, Franck; Lime, Didier; Roux, Olivier H.
2
2015
Energy and mean-payoff timed games. Zbl 1362.91003
Brenguier, Romain; Cassez, Franck; Raskin, Jean-François
2
2014
Automated technology for verification and analysis. 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3–7, 2014. Proceedings. Zbl 1325.68014
Cassez, Franck (ed.); Raskin, Jean-François (ed.)
1
2014
Predictability of event occurrences in timed systems. Zbl 1390.68383
Cassez, Franck; Grastien, Alban
5
2013
The expressive power of time Petri nets. Zbl 1259.68141
Bérard, B.; Cassez, F.; Haddad, S.; Lime, D.; Roux, O. H.
2
2013
Synthesis of opaque systems with static and dynamic masks. Zbl 1247.68161
Cassez, Franck; Dubreil, Jérémy; Marchand, Hervé
15
2012
The complexity of codiagnosability for discrete event and timed systems. Zbl 1369.93374
Cassez, Franck
6
2012
Timed modal logics for real-time systems. Specification, verification and control. Zbl 1216.68158
Bouyer, Patricia; Cassez, Franck; Laroussinie, François
2
2011
The complexity of synchronous notions of information flow security. Zbl 1284.68385
Cassez, Franck; van der Meyden, Ron; Zhang, Chenyi
2
2010
The complexity of codiagnosability for discrete event and timed systems. Zbl 1305.68111
Cassez, Franck
1
2010
Automatic synthesis of robust and optimal controllers – an industrial case study. Zbl 1237.93058
Cassez, Franck; Jessen, Jan J.; Larsen, Kim G.; Raskin, Jean-François; Reynier, Pierre-Alain
8
2009
Dynamic observers for the synthesis of opaque systems. Zbl 1262.68107
Cassez, Franck; Dubreil, Jérémy; Marchand, Hervé
5
2009
Synthesis of non-interferent timed systems. Zbl 1262.68084
Benattar, Gilles; Cassez, Franck; Lime, Didier; Roux, Olivier H.
1
2009
Fault diagnosis with static and dynamic observers. Zbl 1167.68011
Cassez, Franck; Tripakis, Stavros
17
2008
When are timed automata weakly timed bisimilar to time Petri nets? Zbl 1158.68029
Bérard, B.; Cassez, F.; Haddad, S.; Lime, D.; Roux, O. H.
1
2008
Timed control with observation based and stuttering invariant strategies. Zbl 1141.68428
Cassez, Franck; David, Alexandre; Larsen, Kim G.; Lime, Didier; Raskin, Jean-François
6
2007
Efficient on-the-fly algorithms for partially observable timed games. Zbl 1141.93377
Cassez, Franck
3
2007
Symbolic unfoldings for networks of timed automata. Zbl 1161.68615
Cassez, Franck; Chatain, Thomas; Jard, Claude
2
2006
Efficient on-the-fly algorithms for the analysis of timed games. Zbl 1134.68382
Cassez, Franck; David, Alexandre; Fleury, Emmanuel; Larsen, Kim G.; Lime, Didier
27
2005
Comparison of the expressiveness of timed automata and time Petri nets. Zbl 1175.68270
Bérard, Beatrice; Cassez, Franck; Haddad, Serge; Lime, Didier; Roux, Olivier H.
7
2005
Structural translation from time Petri nets to timed automata. Zbl 1272.68294
Cassez, Franck; Roux, Olivier H.
6
2005
Comparison of different semantics for time Petri nets. Zbl 1170.68537
Bérard, B.; Cassez, F.; Haddad, S.; Lime, Didier; Roux, O. H.
4
2005
Modal logics for timed control. Zbl 1134.68399
Bouyer, Patricia; Cassez, Franck; Laroussinie, François
2
2005
Synthesis of optimal strategies using HyTech. Zbl 1272.68228
Bouyer, Patricia; Cassez, Franck; Fleury, Emmanuel; Larsen, Kim G.
1
2005
When are timed automata weakly timed bisimilar to time Petri nets? Zbl 1158.68424
Bérard, Beatrice; Cassez, Franck; Haddad, Serge; Lime, Didier; Roux, Olivier H.
1
2005
Optimal strategies in priced timed game automata. Zbl 1117.68396
Bouyer, Patricia; Cassez, Franck; Fleury, Emmanuel; Larsen, Kim G.
10
2004
A timed extension for ALTARICA. Zbl 1097.68573
Cassez, Franck; Pagetti, Claire; Roux, Olivier
1
2004
A comparison of control problems for timed and hybrid systems. Zbl 1044.93518
Cassez, Franck; Henzinger, Thomas A.; Raskin, Jean-François
11
2002
Modeling and verification of parallel processes. 4th Summer school, MOVEP 2000, Nantes, France, June 19–23, 2000. Revised tutorial lectures. Zbl 0974.00044
Cassez, Franck (ed.); Jard, Claude (ed.); Rozoy, Brigitte (ed.); Ryan, Mark Dermot (ed.)
1
2001
The impressive power of stopwatches. Zbl 0999.68112
Cassez, Franck; Larsen, Kim
19
2000
Model-checking for hybrid systems by quotienting and constraints solving. Zbl 0974.68117
Cassez, Franck; Laroussinie, François
5
2000
all top 5

Cited by 250 Authors

14 Bouyer, Patricia
13 Larsen, Kim Guldstrand
12 Markey, Nicolas
11 Lafortune, Stéphane
7 Lime, Didier
7 Raskin, Jean-François
7 Yin, Xiang
6 Cassez, Franck
6 Legay, Axel
6 Roux, Olivier H.
5 Doyen, Laurent
5 Haddad, Serge
5 Marchand, Hervé
4 Bérard, Béatrice
4 Brihaye, Thomas
4 David, Alexandre
4 Fahrenberg, Uli
4 Reynier, Pierre-Alain
4 Sankur, Ocan
4 Traonouez, Louis-Marie
4 Wang, Weilin
4 Wąsowski, Andrzej
3 Basilio, João Carlos
3 Boucheneb, Hanifa
3 Chatterjee, Krishnendu
3 Geeraerts, Gilles
3 Genest, Blaise
3 Haar, Stefan
3 Hélouët, Loïc
3 Lin, Feng
3 Majumdar, Rupak
3 Rudie, Karen
3 Srba, Jiří
3 Takai, Shigemasa
3 Wu, Yi-Chin
2 Akshay, S.
2 Ammour, Rabah
2 Azgomi, Mohammad Abdollahi
2 Berthomieu, Bernard
2 Bulychev, Peter E.
2 Chatain, Thomas
2 Chevalier, Fabrice
2 Dullerud, Geir E.
2 Falcone, Yliès
2 Fersman, Elena
2 Garavel, Hubert
2 Giua, Alessandro
2 Jacobsen, Lasse
2 Jacobsen, Morten
2 Kuijper, Wouter
2 Kwiatkowska, Marta Z.
2 Lang, Frédéric
2 Leclercq, Edouard
2 Lefaucheux, Engel
2 Lefebvre, Dimitri
2 Li, Zhaojian
2 Li, Zhiwu
2 Møller, Mikael Harkjær
2 Moreira, Marcos Vicente
2 Motallebi, Hassan
2 Norman, Gethin
2 Nyman, Ulrik
2 Ouaknine, Joel O.
2 Pettersson, Paul
2 Prabhakar, Pavithra
2 Randour, Mickael
2 Rutten, Eric
2 Sanlaville, Eric
2 Sears, David
2 Seatzu, Carla
2 Tong, Yin
2 van de Pol, Jan Cornelis
2 van der Meyden, Ron
2 Vernadat, François B.
2 Viswanathan, Mahesh
2 Vladimerou, Vladimeros
2 Worrell, James B.
2 Yi, Wang
2 Zhang, Chenyi
1 Abujarad, Fuad
1 Ahn, Sojin
1 Aichernig, Bernhard K.
1 André, Étienne
1 Bacci, Giovanni
1 Balaguer, Sandie
1 Barkaoui, Kamel
1 Basile, Davide
1 Basin, David A.
1 Basset, Nicolas
1 Bauer, Andreas
1 Benattar, Gilles
1 Benerecetti, Massimo
1 Benmessahel, Bilal
1 Bersani, Marcello M.
1 Bertrand, Nathalie
1 Biswas, Debmalya
1 Bodei, Chiara
1 Bonakdarpour, Borzoo
1 Bønneland, Frederik Meyer
1 Bourke, Timothy
...and 150 more Authors

Citations by Year