Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarFranck Cassez
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
[j19]Xi Zheng, Christine Julien, Rodion M. Podorozhny, Franck Cassez, Thierry Rakotoarivelo:
Efficient and Scalable Runtime Monitoring for Cyber-Physical System. IEEE Systems Journal 12(2): 1667-1678 (2018)- 2017
- [j18]Xi Zheng, Christine Julien, Hongxu Chen, Rodion M. Podorozhny, Franck Cassez:
Real-Time Simulation Support for Runtime Verification of Cyber-Physical Systems. ACM Trans. Embedded Comput. Syst. 16(4): 106:1-106:24 (2017) - [c43]Franck Cassez, Pablo González de Aledo, Peter Gjøl Jensen:
WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL. Models, Algorithms, Logics and Tools 2017: 560-577 - [c42]Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen:
Refinement of Trace Abstraction for Real-Time Programs. RP 2017: 42-58 - [c41]Franck Cassez, Anthony M. Sloane:
ScalaSMT: satisfiability modulo theory in Scala (tool paper). SCALA@SPLASH 2017: 51-55 - [c40]Franck Cassez, Anthony M. Sloane, Matthew Roberts, Matthew Pigram, Pongsak Suvanpong, Pablo González de Aledo Marugán:
Skink: Static Analysis of Programs in LLVM Intermediate Representation - (Competition Contribution). TACAS (2) 2017: 380-384 - 2016
- [j17]Franck Cassez, Ron van der Meyden, Chenyi Zhang:
The complexity of synchronous notions of information flow security. Theor. Comput. Sci. 631: 16-42 (2016) - [c39]Anthony M. Sloane, Franck Cassez, Scott Buckley:
The sbt-rats parser generator plugin for Scala (tool paper). SCALA@SPLASH 2016: 110-113 - 2015
- [j16]Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux:
Control and synthesis of non-interferent timed systems. Int. J. Control 88(2): 217-236 (2015) - [c38]Franck Cassez, Frowin Ziegler:
Verification of Concurrent Programs Using Trace Abstraction Refinement. LPAR 2015: 233-248 - [c37]Xi Zheng, Christine Julien, Rodion M. Podorozhny, Franck Cassez:
BraceAssertion: Runtime Verification of Cyber-Physical Systems. MASS 2015: 298-306 - [c36]Franck Cassez, Takashi Matsuoka, Edward Pierzchalski, Nathan Smyth:
Perentie: Modular Trace Refinement and Selective Value Tracking - (Competition Contribution). TACAS 2015: 439-442 - [c35]Franck Cassez, Pablo González de Aledo Marugán:
Timed Automata for Modelling Caches and Pipelines. MARS 2015: 37-45 - 2014
- [c34]Franck Cassez, Christian Müller, Karla Burnett:
Summary-Based Inter-Procedural Analysis via Modular Trace Refinement. FSTTCS 2014: 545-556 - [c33]Romain Brenguier, Franck Cassez, Jean-François Raskin:
Energy and mean-payoff timed games. HSCC 2014: 283-292 - [e4]Franck Cassez, Jean-François Raskin:
Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings. Lecture Notes in Computer Science 8837, Springer 2014, ISBN 978-3-319-11935-9 [contents] - [i10]Franck Cassez, Ron van der Meyden, Chenyi Zhang:
The Complexity of Synchronous Notions of Information Flow Security. CoRR abs/1402.0601 (2014) - 2013
- [j15]Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux:
The expressive power of time Petri nets. Theor. Comput. Sci. 474: 1-20 (2013) - [c32]
- [c31]Franck Cassez, Alban Grastien:
Predictability of Event Occurrences in Timed Systems. FORMATS 2013: 62-76 - [c30]Sebastian Biallas, Mads Chr. Olesen, Franck Cassez, Ralf Huuck:
PtrTracker: Pragmatic pointer analysis. SCAM 2013: 69-73 - [i9]Franck Cassez, Alban Grastien:
Predictability of Event Occurrences in Timed Systems. CoRR abs/1306.0662 (2013) - 2012
- [j14]Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson, Ralf Huuck:
High Performance Static Analysis for Industry. Electr. Notes Theor. Comput. Sci. 289: 3-14 (2012) - [j13]Franck Cassez, Jérémy Dubreil, Hervé Marchand:
Synthesis of opaque systems with static and dynamic masks. Formal Methods in System Design 40(1): 88-115 (2012) - [j12]Franck Cassez:
The Complexity of Codiagnosability for Discrete Event and Timed Systems. IEEE Trans. Automat. Contr. 57(7): 1752-1764 (2012) - [c29]Peter E. Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier:
Controllers with Minimal Observation Power (Application to Timed Systems). ATVA 2012: 223-237 - [c28]
- [e3]Franck Cassez, Ralf Huuck, Gerwin Klein, Bastian Schlich:
Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012. EPTCS 102, 2012 [contents] - [i8]Peter E. Bulychev, Franck Cassez, Alexandre David, Kim G. Larsen, Jean-François Raskin, Pierre-Alain Reynier:
Controllers with Minimal Observation Power (Application to Timed Systems). CoRR abs/1207.1276 (2012) - [i7]Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux:
Control and Synthesis of Non-Interferent Timed Systems. CoRR abs/1207.4984 (2012) - 2011
- [j11]Patricia Bouyer, Franck Cassez, François Laroussinie:
Timed Modal Logics for Real-Time Systems - Specification, Verification and Control. Journal of Logic, Language and Information 20(2): 169-203 (2011) - [c27]Franck Cassez:
Timed Games for Computing WCET for Pipelined Processors with Caches. ACSD 2011: 195-204 - [i6]Jean-Luc Béchennec, Franck Cassez:
Computation of WCET using Program Slicing and Real-Time Model-Checking. CoRR abs/1105.1633 (2011) - 2010
- [c26]Franck Cassez:
The Complexity of Codiagnosability for Discrete Event and Timed Systems. ATVA 2010: 82-96 - [c25]
- [c24]Franck Cassez, Ron van der Meyden, Chenyi Zhang:
The Complexity of Synchronous Notions of Information Flow Security. FoSSaCS 2010: 282-296 - [i5]Franck Cassez:
The Complexity of Codiagnosability for Discrete Event and Timed Systems. CoRR abs/1004.2550 (2010) - [i4]
- [i3]
- [i2]
- [i1]
2000 – 2009
- 2009
- [c23]Franck Cassez, Jérémy Dubreil, Hervé Marchand:
Dynamic Observers for the Synthesis of Opaque Systems. ATVA 2009: 352-367 - [c22]
- [c21]Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux:
Synthesis of Non-Interferent Timed Systems. FORMATS 2009: 28-42 - [c20]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 - [c19]
- 2008
- [j10]Franck Cassez, Stavros Tripakis:
Fault Diagnosis with Static and Dynamic Observers. Fundam. Inform. 88(4): 497-540 (2008) - [j9]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) - [e2]Franck Cassez, Claude Jard:
Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings. Lecture Notes in Computer Science 5215, Springer 2008, ISBN 978-3-540-85777-8 [contents] - 2007
- [b1]Franck Cassez:
Control of Timed Systems. Institut de Recherche en Communications et Cybernétique de Nantes, France 2007 - [j8]Gilles Bernot, Franck Cassez, Jean-Paul Comet, Franck Delaplace, Céline Müller, Olivier F. Roux:
Semantics of Biological Regulatory Networks. Electr. Notes Theor. Comput. Sci. 180(3): 3-14 (2007) - [c18]Franck Cassez, Stavros Tripakis, Karine Altisen:
Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. ACSD 2007: 90-99 - [c17]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 - [c16]Franck Cassez:
Efficient On-the-Fly Algorithms for Partially Observable Timed Games. FORMATS 2007: 5-24 - [c15]Franck Cassez, Stavros Tripakis, Karine Altisen:
Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. TASE 2007: 316-325 - 2006
- [j7]Franck Cassez, Olivier H. Roux:
Structural translation from Time Petri Nets to Timed Automata. Journal of Systems and Software 79(10): 1456-1468 (2006) - [c14]Karine Altisen, Franck Cassez, Stavros Tripakis:
Monitoring and fault-diagnosis with digital clocks. ACSD 2006: 101-110 - [c13]Franck Cassez, Thomas Chatain, Claude Jard:
Symbolic Unfoldings for Networks of Timed Automata. ATVA 2006: 307-321 - 2005
- [j6]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) - [j5]Franck Cassez, Olivier H. Roux:
Structural Translation from Time Petri Nets to Timed Automata. Electr. Notes Theor. Comput. Sci. 128(6): 145-160 (2005) - [c12]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 - [c11]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 - [c10]Patricia Bouyer, Franck Cassez, François Laroussinie:
Modal Logics for Timed Control. CONCUR 2005: 81-94 - [c9]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 - [c8]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 - 2004
- [j4]Franck Cassez, Claire Pagetti, Olivier H. Roux:
A Timed Extension for ALTARICA. Fundam. Inform. 62(3-4): 291-332 (2004) - [c7]Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen:
Optimal Strategies in Priced Timed Game Automata. FSTTCS 2004: 148-160 - 2002
- [c6]Franck Cassez, Thomas A. Henzinger, Jean-François Raskin:
A Comparison of Control Problems for Timed and Hybrid Systems. HSCC 2002: 134-148 - [c5]Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier F. Roux, Grégoire Sutre:
Verification of Embedded Reactive Fiffo Systems. LATIN 2002: 400-414 - [c4]Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier F. Roux:
Extending the Translation from SDL to Promela. SPIN 2002: 79-94 - 2001
- [j3]Frédéric Herbreteau, Franck Cassez, Olivier F. Roux:
Application of Partial-Order Methods to Reactive Programs with Event Memorization. Real-Time Systems 20(3): 287-316 (2001) - [e1]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. Lecture Notes in Computer Science 2067, Springer 2001, ISBN 3-540-42787-2 [contents] - 2000
- [c3]Franck Cassez, François Laroussinie:
Model-Checking for Hybrid Systems by Quotienting and Constraints Solving. CAV 2000: 373-388 - [c2]
1990 – 1999
- 1999
- [j2]Olivier F. Roux, Vlad Rusu, Franck Cassez:
Hybrid Verifications of Reactive Programs. Formal Asp. Comput. 11(4): 448-471 (1999) - 1998
- [c1]Grégoire Sutre, Alain Finkel, Olivier F. Roux, Franck Cassez:
Effective Recognizability and Model Checking of Reactive Fiffo Automata. AMAST 1998: 106-123 - 1995
- [j1]Franck Cassez, Olivier F. Roux:
Compilation of the ELECTRE Reactive Language into Finite Transition Systems. Theor. Comput. Sci. 146(1&2): 109-143 (1995)
Coauthor Index
maintained by 
, founded at 
, founded at 
last updated on 2019-02-08 22:38 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
