Compilation of the ELECTRE Reactive Language into Finite Transition Systems. - Franck Cassez; Olivier F. Roux (Theor. Comput. Sci., 1995)

Effective Recognizability and Model Checking of Reactive Fiffo Automata. - Grégoire Sutre; Alain Finkel; Olivier F. Roux; Franck Cassez (AMAST, 1998)

Hybrid Verifications of Reactive Programs. - Olivier F. Roux; Vlad Rusu; Franck Cassez (Formal Aspects Comput., 1999)

Model-Checking for Hybrid Systems by Quotienting and Constraints Solving. - Franck Cassez; François Laroussinie (CAV, 2000)

The Impressive Power of Stopwatches. - Franck Cassez; Kim Guldstrand Larsen (CONCUR, 2000)

Proving feature non-interaction with Alternating-Time Temporal Logic. - Franck Cassez; Mark Dermot Ryan; Pierre-Yves Schobbens (FIREworks, 2000)

Application of Partial-Order Methods to Reactive Programs with Event Memorization. - Frédéric Herbreteau; Franck Cassez; Olivier F. Roux (Real Time Syst., 2001)

A Comparison of Control Problems for Timed and Hybrid Systems. - Franck Cassez; Thomas A. Henzinger; Jean-François Raskin (HSCC, 2002)

Verification of Embedded Reactive Fiffo Systems. - Frédéric Herbreteau; Franck Cassez; Alain Finkel; Olivier F. Roux; Grégoire Sutre (LATIN, 2002)

Extending the Translation from SDL to Promela. - Armelle Prigent; Franck Cassez; Philippe Dhaussy; Olivier F. Roux (SPIN, 2002)

Semantics of Biological Regulatory Networks. - Gilles Bernot; Franck Cassez; Jean-Paul Comet; Franck Delaplace; Céline Müller; Olivier F. Roux (BioConcur@CONCUR, 2003)

Optimal Strategies in Priced Timed Game Automata. - Patricia Bouyer; Franck Cassez; Emmanuel Fleury; Kim Guldstrand Larsen (FSTTCS, 2004)

Synthesis of Optimal Strategies Using HyTech. - Patricia Bouyer; Franck Cassez; Emmanuel Fleury; Kim Guldstrand Larsen (GDV@CAV, 2004)

A Timed Extension for ALTARICA. - Franck Cassez; Claire Pagetti; Olivier H. Roux (Fundam. Informaticae, 2004)

Comparison of Different Semantics for Time Petri Nets. - Béatrice Bérard; Franck Cassez; Serge Haddad; Didier Lime; Olivier H. Roux (ATVA, 2005)

Modal Logics for Timed Control. - Patricia Bouyer; Franck Cassez; François Laroussinie (CONCUR, 2005)

Efficient On-the-Fly Algorithms for the Analysis of Timed Games. - Franck Cassez; Alexandre David; Emmanuel Fleury; Kim Guldstrand Larsen; Didier Lime (CONCUR, 2005)

Comparison of the Expressiveness of Timed Automata and Time Petri Nets. - Béatrice Bérard; Franck Cassez; Serge Haddad; Didier Lime; Olivier H. Roux (FORMATS, 2005)

Monitoring and fault-diagnosis with digital clocks - Karine Altisen; Franck Cassez; Stavros Tripakis (ACSD, 2006)

Symbolic Unfoldings for Networks of Timed Automata. - Franck Cassez; Thomas Chatain; Claude Jard (ATVA, 2006)

Structural translation from Time Petri Nets to Timed Automata. - Franck Cassez; Olivier H. Roux (J. Syst. Softw., 2006)

Control of Timed Systems. - Franck Cassez (2007)

Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. - Franck Cassez; Stavros Tripakis; Karine Altisen (ACSD, 2007)

Timed Control with Observation Based and Stuttering Invariant Strategies. - Franck Cassez; Alexandre David; Kim Guldstrand Larsen; Didier Lime; Jean-François Raskin (ATVA, 2007)

Efficient On-the-Fly Algorithms for Partially Observable Timed Games. - Franck Cassez (FORMATS, 2007)

Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. - Franck Cassez; Stavros Tripakis; Karine Altisen (TASE, 2007)

Fault Diagnosis with Static and Dynamic Observers. - Franck Cassez; Stavros Tripakis (Fundam. Informaticae, 2008)

When are Timed Automata weakly timed bisimilar to Time Petri Nets? - Béatrice Bérard; Franck Cassez; Serge Haddad; Didier Lime; Olivier H. Roux (Theor. Comput. Sci., 2008)

Dynamic Observers for the Synthesis of Opaque Systems. - Franck Cassez; Jérémy Dubreil; Hervé Marchand (ATVA, 2009)

A note on fault diagnosis algorithms. - Franck Cassez (CDC, 2009)

Synthesis of Non-Interferent Timed Systems. - Gilles Benattar; Franck Cassez; Didier Lime; Olivier H. Roux (FORMATS, 2009)

Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study. - Franck Cassez; Jan Jakob Jessen; Kim Guldstrand Larsen; Jean-François Raskin; Pierre-Alain Reynier (HSCC, 2009)

The Dark Side of Timed Opacity. - Franck Cassez (ISA, 2009)

Dynamic observers for fault diagnosis of timed systems. - Franck Cassez (CDC, 2010)

Fault Diagnosis with Dynamic Observers - Franck Cassez; Stavros Tripakis (CoRR, 2010)

Timed Games for Computing Worst-Case Execution-Times - Franck Cassez (CoRR, 2010)

Timed Games for Computing WCET for Pipelined Processors with Caches. - Franck Cassez (ACSD, 2011)

Computation of WCET using Program Slicing and Real-Time Model-Checking - Jean-Luc Béchennec; Franck Cassez (CoRR, 2011)

Timed Modal Logics for Real-Time Systems - Specification, Verification and Control. - Patricia Bouyer; Franck Cassez; François Laroussinie (J. Log. Lang. Inf., 2011)

Controllers with Minimal Observation Power (Application to Timed Systems). - Peter E. Bulychev; Franck Cassez; Alexandre David; Kim Guldstrand Larsen; Jean-François Raskin; Pierre-Alain Reynier (ATVA, 2012)

What is a Timing Anomaly?. - Franck Cassez; René Rydhof Hansen; Mads Chr. Olesen (WCET, 2012)

High Performance Static Analysis for Industry. - Mark Bradley; Franck Cassez; Ansgar Fehnker; Thomas Given-Wilson; Ralf Huuck (TAPAS@SAS, 2012)

Synthesis of opaque systems with static and dynamic masks. - Franck Cassez; Jérémy Dubreil; Hervé Marchand (Formal Methods Syst. Des., 2012)

The Complexity of Codiagnosability for Discrete Event and Timed Systems. - Franck Cassez (IEEE Trans. Autom. Control., 2012)

Control of Timed Systems. - Franck Cassez; Nicolas Markey (Communicating Embedded Systems, 2013)

Fault Diagnosis of Timed Systems. - Franck Cassez; Stavros Tripakis (Communicating Embedded Systems, 2013)

Timing Analysis of Binary Programs with UPPAAL. - Franck Cassez; Jean-Luc Béchennec (ACSD, 2013)

Predictability of Event Occurrences in Timed Systems. - Franck Cassez; Alban Grastien (FORMATS, 2013)

PtrTracker: Pragmatic pointer analysis. - Sebastian Biallas; Mads Chr. Olesen; Franck Cassez; Ralf Huuck (SCAM, 2013)

The expressive power of time Petri nets. - Béatrice Bérard; Franck Cassez; Serge Haddad; Didier Lime; Olivier H. Roux (Theor. Comput. Sci., 2013)

Summary-Based Inter-Procedural Analysis via Modular Trace Refinement. - Franck Cassez; Christian Müller 008; Karla Burnett (FSTTCS, 2014)

Energy and mean-payoff timed games. - Romain Brenguier; Franck Cassez; Jean-François Raskin (HSCC, 2014)

Verification of Concurrent Programs Using Trace Abstraction Refinement. - Franck Cassez; Frowin Ziegler (LPAR, 2015)

BraceAssertion: Runtime Verification of Cyber-Physical Systems. - Xi Zheng 001; Christine Julien 001; Rodion M. Podorozhny; Franck Cassez (MASS, 2015)

Perentie: Modular Trace Refinement and Selective Value Tracking - (Competition Contribution). - Franck Cassez; Takashi Matsuoka; Edward Pierzchalski; Nathan Smyth (TACAS, 2015)

Timed Automata for Modelling Caches and Pipelines. - Franck Cassez; Pablo González de Aledo Marugán (MARS, 2015)

Control and synthesis of non-interferent timed systems. - Gilles Benattar; Franck Cassez; Didier Lime; Olivier H. Roux (Int. J. Control, 2015)

The sbt-rats parser generator plugin for Scala (tool paper). - Anthony M. Sloane; Franck Cassez; Scott Buckley (SCALA@SPLASH, 2016)

The complexity of synchronous notions of information flow security. - Franck Cassez; Ron van der Meyden; Chenyi Zhang 001 (Theor. Comput. Sci., 2016)

WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL. - Franck Cassez; Pablo González de Aledo; Peter Gjøl Jensen (Models, Algorithms, Logics and Tools, 2017)

Refinement of Trace Abstraction for Real-Time Programs. - Franck Cassez; Peter Gjøl Jensen; Kim Guldstrand Larsen (RP, 2017)

ScalaSMT: satisfiability modulo theory in Scala (tool paper). - Franck Cassez; Anthony M. Sloane (SCALA@SPLASH, 2017)

Skink: Static Analysis of Programs in LLVM Intermediate Representation - (Competition Contribution). - Franck Cassez; Anthony M. Sloane; Matthew Roberts; Matthew Pigram; Pongsak Suvanpong; Pablo González de Aledo Marugán (TACAS (2), 2017)

Real-Time Simulation Support for Runtime Verification of Cyber-Physical Systems. - Xi Zheng 001; Christine Julien 001; Hongxu Chen; Rodion M. Podorozhny; Franck Cassez (ACM Trans. Embed. Comput. Syst., 2017)

Efficient and Scalable Runtime Monitoring for Cyber-Physical System. - Xi Zheng 001; Christine Julien 001; Rodion M. Podorozhny; Franck Cassez; Thierry Rakotoarivelo (IEEE Syst. J., 2018)

Verification of the Incremental Merkle Tree Algorithm with Dafny. - Franck Cassez (FM, 2021)

Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction. - Franck Cassez; Peter Gjøl Jensen; Kim Guldstrand Larsen (Fundam. Informaticae, 2021)

Formal Verification of the Ethereum 2.0 Beacon Chain. - Franck Cassez; Joanne Fuller; Aditya Asgaonkar (TACAS (1), 2022)

Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny. - Franck Cassez; Joanne Fuller; Milad K. Ghale; David J. Pearce 001; Horacio Mijail Anton Quiles (FM, 2023)

Deductive Verification of Smart Contracts (Invited Talk). - Franck Cassez (FMBC@CAV, 2024)

Deductive verification of smart contracts with Dafny. - Franck Cassez; Joanne Fuller; Horacio Mijail Anton Quiles (Int. J. Softw. Tools Technol. Transf., 2024)

ByteSpector: A Verifying Disassembler for EVM Bytecode. - Franck Cassez (FMBC, 2025)