Edit Profile Cassez, Franck Compute Distance To: Compute Author ID: cassez.franck Published as: Cassez, F.; Cassez, Franck Documents Indexed: 43 Publications since 1995, including 3 Books all top 5 Co-Authors 3 single-authored 9 Lime, Didier 9 Roux, Olivier H. 8 Larsen, Kim Guldstrand 6 Raskin, Jean-François 5 Bérard, Béatrice 5 Haddad, Serge 5 Roux, Olivier F. 4 Bouyer, Patricia 3 David, Alexandre 3 Fleury, Emmanuel 3 Jard, Claude 3 Laroussinie, François 2 Benattar, Gilles 2 Dubreil, Jérémy 2 Herbreteau, Frédéric 2 Marchand, Hervé 2 Reynier, Pierre-Alain 2 Ryan, Mark Dermot 2 van der Meyden, Ron 2 Zhang, Chenyi 1 Brenguier, Romain 1 Bulychev, Peter E. 1 Burnett, Karla 1 Chatain, Thomas 1 Dhaussy, Philippe 1 Finkel, Alain 1 Grastien, Alban 1 Henzinger, Thomas A. 1 Jensen, Peter Gjøl 1 Jessen, Jan J. 1 Müller, Christian R. 1 Pagetti, Claire 1 Prigent, Armelle 1 Rozoy, Brigitte 1 Rusu, Vlad 1 Schobbens, Pierre-Yves 1 Sutre, Grégoire 1 Tripakis, Stavros 1 Ziegler, Frowin all top 5 Serials 4 Theoretical Computer Science 3 Lecture Notes in Computer Science 2 Fundamenta Informaticae 1 International Journal of Control 1 IEEE Transactions on Automatic Control 1 Formal Aspects of Computing 1 Real-Time Systems 1 Formal Methods in System Design 1 Journal of Logic, Language and Information Fields 41 Computer science (68-XX) 9 Systems theory; control (93-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Mathematical logic and foundations (03-XX) 3 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications 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.68382Cassez, Franck; David, Alexandre; Fleury, Emmanuel; Larsen, Kim G.; Lime, Didier 27 2005 The impressive power of stopwatches. Zbl 0999.68112Cassez, Franck; Larsen, Kim 19 2000 Fault diagnosis with static and dynamic observers. Zbl 1167.68011Cassez, Franck; Tripakis, Stavros 17 2008 Synthesis of opaque systems with static and dynamic masks. Zbl 1247.68161Cassez, Franck; Dubreil, Jérémy; Marchand, Hervé 15 2012 A comparison of control problems for timed and hybrid systems. Zbl 1044.93518Cassez, Franck; Henzinger, Thomas A.; Raskin, Jean-François 11 2002 Optimal strategies in priced timed game automata. Zbl 1117.68396Bouyer, Patricia; Cassez, Franck; Fleury, Emmanuel; Larsen, Kim G. 10 2004 Automatic synthesis of robust and optimal controllers – an industrial case study. Zbl 1237.93058Cassez, 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.68270Bé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.93374Cassez, Franck 6 2012 Timed control with observation based and stuttering invariant strategies. Zbl 1141.68428Cassez, 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.68294Cassez, Franck; Roux, Olivier H. 6 2005 Predictability of event occurrences in timed systems. Zbl 1390.68383Cassez, Franck; Grastien, Alban 5 2013 Dynamic observers for the synthesis of opaque systems. Zbl 1262.68107Cassez, Franck; Dubreil, Jérémy; Marchand, Hervé 5 2009 Model-checking for hybrid systems by quotienting and constraints solving. Zbl 0974.68117Cassez, Franck; Laroussinie, François 5 2000 Comparison of different semantics for time Petri nets. Zbl 1170.68537Bé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.93377Cassez, Franck 3 2007 Control and synthesis of non-interferent timed systems. Zbl 1328.93109Benattar, Gilles; Cassez, Franck; Lime, Didier; Roux, Olivier H. 2 2015 Energy and mean-payoff timed games. Zbl 1362.91003Brenguier, Romain; Cassez, Franck; Raskin, Jean-François 2 2014 The expressive power of time Petri nets. Zbl 1259.68141Bé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.68158Bouyer, Patricia; Cassez, Franck; Laroussinie, François 2 2011 The complexity of synchronous notions of information flow security. Zbl 1284.68385Cassez, Franck; van der Meyden, Ron; Zhang, Chenyi 2 2010 Symbolic unfoldings for networks of timed automata. Zbl 1161.68615Cassez, Franck; Chatain, Thomas; Jard, Claude 2 2006 Modal logics for timed control. Zbl 1134.68399Bouyer, Patricia; Cassez, Franck; Laroussinie, François 2 2005 Refinement of trace abstraction for real-time programs. Zbl 06820343Cassez, 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.68014Cassez, Franck (ed.); Raskin, Jean-François (ed.) 1 2014 The complexity of codiagnosability for discrete event and timed systems. Zbl 1305.68111Cassez, Franck 1 2010 Synthesis of non-interferent timed systems. Zbl 1262.68084Benattar, Gilles; Cassez, Franck; Lime, Didier; Roux, Olivier H. 1 2009 When are timed automata weakly timed bisimilar to time Petri nets? Zbl 1158.68029Bérard, B.; Cassez, F.; Haddad, S.; Lime, D.; Roux, O. H. 1 2008 Synthesis of optimal strategies using HyTech. Zbl 1272.68228Bouyer, Patricia; Cassez, Franck; Fleury, Emmanuel; Larsen, Kim G. 1 2005 When are timed automata weakly timed bisimilar to time Petri nets? Zbl 1158.68424Bérard, Beatrice; Cassez, Franck; Haddad, Serge; Lime, Didier; Roux, Olivier H. 1 2005 A timed extension for ALTARICA. Zbl 1097.68573Cassez, 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.00044Cassez, Franck (ed.); Jard, Claude (ed.); Rozoy, Brigitte (ed.); Ryan, Mark Dermot (ed.) 1 2001 Refinement of trace abstraction for real-time programs. Zbl 06820343Cassez, Franck; Jensen, Peter Gjøl; Guldstrand Larsen, Kim 1 2017 Control and synthesis of non-interferent timed systems. Zbl 1328.93109Benattar, Gilles; Cassez, Franck; Lime, Didier; Roux, Olivier H. 2 2015 Energy and mean-payoff timed games. Zbl 1362.91003Brenguier, 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.68014Cassez, Franck (ed.); Raskin, Jean-François (ed.) 1 2014 Predictability of event occurrences in timed systems. Zbl 1390.68383Cassez, Franck; Grastien, Alban 5 2013 The expressive power of time Petri nets. Zbl 1259.68141Bérard, B.; Cassez, F.; Haddad, S.; Lime, D.; Roux, O. H. 2 2013 Synthesis of opaque systems with static and dynamic masks. Zbl 1247.68161Cassez, Franck; Dubreil, Jérémy; Marchand, Hervé 15 2012 The complexity of codiagnosability for discrete event and timed systems. Zbl 1369.93374Cassez, Franck 6 2012 Timed modal logics for real-time systems. Specification, verification and control. Zbl 1216.68158Bouyer, Patricia; Cassez, Franck; Laroussinie, François 2 2011 The complexity of synchronous notions of information flow security. Zbl 1284.68385Cassez, Franck; van der Meyden, Ron; Zhang, Chenyi 2 2010 The complexity of codiagnosability for discrete event and timed systems. Zbl 1305.68111Cassez, Franck 1 2010 Automatic synthesis of robust and optimal controllers – an industrial case study. Zbl 1237.93058Cassez, 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.68107Cassez, Franck; Dubreil, Jérémy; Marchand, Hervé 5 2009 Synthesis of non-interferent timed systems. Zbl 1262.68084Benattar, Gilles; Cassez, Franck; Lime, Didier; Roux, Olivier H. 1 2009 Fault diagnosis with static and dynamic observers. Zbl 1167.68011Cassez, Franck; Tripakis, Stavros 17 2008 When are timed automata weakly timed bisimilar to time Petri nets? Zbl 1158.68029Bérard, B.; Cassez, F.; Haddad, S.; Lime, D.; Roux, O. H. 1 2008 Timed control with observation based and stuttering invariant strategies. Zbl 1141.68428Cassez, 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.93377Cassez, Franck 3 2007 Symbolic unfoldings for networks of timed automata. Zbl 1161.68615Cassez, Franck; Chatain, Thomas; Jard, Claude 2 2006 Efficient on-the-fly algorithms for the analysis of timed games. Zbl 1134.68382Cassez, 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.68270Bérard, Beatrice; Cassez, Franck; Haddad, Serge; Lime, Didier; Roux, Olivier H. 7 2005 Structural translation from time Petri nets to timed automata. Zbl 1272.68294Cassez, Franck; Roux, Olivier H. 6 2005 Comparison of different semantics for time Petri nets. Zbl 1170.68537Bérard, B.; Cassez, F.; Haddad, S.; Lime, Didier; Roux, O. H. 4 2005 Modal logics for timed control. Zbl 1134.68399Bouyer, Patricia; Cassez, Franck; Laroussinie, François 2 2005 Synthesis of optimal strategies using HyTech. Zbl 1272.68228Bouyer, Patricia; Cassez, Franck; Fleury, Emmanuel; Larsen, Kim G. 1 2005 When are timed automata weakly timed bisimilar to time Petri nets? Zbl 1158.68424Bérard, Beatrice; Cassez, Franck; Haddad, Serge; Lime, Didier; Roux, Olivier H. 1 2005 Optimal strategies in priced timed game automata. Zbl 1117.68396Bouyer, Patricia; Cassez, Franck; Fleury, Emmanuel; Larsen, Kim G. 10 2004 A timed extension for ALTARICA. Zbl 1097.68573Cassez, Franck; Pagetti, Claire; Roux, Olivier 1 2004 A comparison of control problems for timed and hybrid systems. Zbl 1044.93518Cassez, 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.00044Cassez, Franck (ed.); Jard, Claude (ed.); Rozoy, Brigitte (ed.); Ryan, Mark Dermot (ed.) 1 2001 The impressive power of stopwatches. Zbl 0999.68112Cassez, Franck; Larsen, Kim 19 2000 Model-checking for hybrid systems by quotienting and constraints solving. Zbl 0974.68117Cassez, Franck; Laroussinie, François 5 2000 all cited Publications top 5 cited Publications 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 all top 5 Cited in 26 Serials 20 Discrete Event Dynamic Systems 17 Automatica 14 Theoretical Computer Science 11 Formal Methods in System Design 8 Information and Computation 5 Acta Informatica 4 International Journal of Control 4 Information Processing Letters 4 Real-Time Systems 2 Journal of Computer and System Sciences 2 Formal Aspects of Computing 2 Distributed Computing 2 Journal of Logical and Algebraic Methods in Programming 1 ACM Computing Surveys 1 Moscow University Computational Mathematics and Cybernetics 1 Systems & Control Letters 1 Annals of Pure and Applied Logic 1 Journal of Computer Science and Technology 1 Journal of Automated Reasoning 1 Cybernetics and Systems Analysis 1 Journal of Logic, Language and Information 1 The Journal of Logic and Algebraic Programming 1 Journal of Applied Mathematics 1 Logical Methods in Computer Science 1 Asian Journal of Control 1 Computer Science Review all top 5 Cited in 8 Fields 106 Computer science (68-XX) 54 Systems theory; control (93-XX) 17 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 10 Mathematical logic and foundations (03-XX) 9 Operations research, mathematical programming (90-XX) 6 Information and communication theory, circuits (94-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) Citations by Year