Franck 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
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