Franck Cassez

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 20

Top Topics

Formal Verification

Intermediate Representation

Top Venues

Publications

Franck Cassez
Deductive Verification of Smart Contracts (Invited Talk). FMBC@CAV (2024)
Franck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles
Deductive verification of smart contracts with Dafny. Int. J. Softw. Tools Technol. Transf. 26 (2) (2024)
Franck Cassez, Joanne Fuller, Milad K. Ghale, David J. Pearce, Horacio Mijail Anton Quiles
Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny. CoRR (2023)
Franck Cassez, Joanne Fuller, Milad K. Ghale, David J. Pearce, Horacio Mijail Anton Quiles
Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny. FM (2023)
Franck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles
Deductive Verification of Smart Contracts with Dafny. FMICS (2022)
Franck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles
Deductive Verification of Smart Contracts with Dafny. CoRR (2022)
Franck Cassez, Joanne Fuller, Aditya Asgaonkar
Formal Verification of the Ethereum 2.0 Beacon Chain. TACAS (1) (2022)
Franck Cassez, Joanne Fuller, Aditya Asgaonkar
Formal Verification of the Ethereum 2.0 Beacon Chain. CoRR (2021)
Franck Cassez
Verification of the Incremental Merkle Tree Algorithm with Dafny. FM (2021)
Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen
Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction. Fundam. Informaticae 178 (1-2) (2021)
Franck Cassez
Verification of the Incremental Merkle Tree Algorithm with Dafny. CoRR (2021)
Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen
Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction. CoRR (2020)
Xi Zheng, Christine Julien, Rodion M. Podorozhny, Franck Cassez, Thierry Rakotoarivelo
Efficient and Scalable Runtime Monitoring for Cyber-Physical System. IEEE Syst. J. 12 (2) (2018)
Xi Zheng, Christine Julien, Hongxu Chen, Rodion M. Podorozhny, Franck Cassez
Real-Time Simulation Support for Runtime Verification of Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 16 (4) (2017)
Franck Cassez, Anthony M. Sloane
ScalaSMT: satisfiability modulo theory in Scala (tool paper). SCALA@SPLASH (2017)
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)
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)
Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen
Refinement of Trace Abstraction for Real-Time Programs. RP (2017)
Anthony M. Sloane, Franck Cassez, Scott Buckley
The sbt-rats parser generator plugin for Scala (tool paper). SCALA@SPLASH (2016)
Franck Cassez, Ron van der Meyden, Chenyi Zhang
The complexity of synchronous notions of information flow security. Theor. Comput. Sci. 631 (2016)
Franck Cassez, Frowin Ziegler
Verification of Concurrent Programs Using Trace Abstraction Refinement. LPAR (2015)
Franck Cassez, Pablo González de Aledo Marugán
Timed Automata for Modelling Caches and Pipelines. MARS (2015)
Xi Zheng, Christine Julien, Rodion M. Podorozhny, Franck Cassez
BraceAssertion: Runtime Verification of Cyber-Physical Systems. MASS (2015)
Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux
Control and synthesis of non-interferent timed systems. Int. J. Control 88 (2) (2015)
Franck Cassez, Takashi Matsuoka, Edward Pierzchalski, Nathan Smyth
Perentie: Modular Trace Refinement and Selective Value Tracking - (Competition Contribution). TACAS (2015)
Franck Cassez, Christian Müller, Karla Burnett
Summary-Based Inter-Procedural Analysis via Modular Trace Refinement. FSTTCS (2014)
Franck Cassez, Ron van der Meyden, Chenyi Zhang
The Complexity of Synchronous Notions of Information Flow Security. CoRR (2014)
Romain Brenguier, Franck Cassez, Jean-François Raskin
Energy and mean-payoff timed games. HSCC (2014)
Sebastian Biallas, Mads Chr. Olesen, Franck Cassez, Ralf Huuck
PtrTracker: Pragmatic pointer analysis. SCAM (2013)
Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
The expressive power of time Petri nets. Theor. Comput. Sci. 474 (2013)
Franck Cassez, Jean-Luc Béchennec
Timing Analysis of Binary Programs with UPPAAL. ACSD (2013)
Franck Cassez, Alban Grastien
Predictability of Event Occurrences in Timed Systems. CoRR (2013)
Franck Cassez, Alban Grastien
Predictability of Event Occurrences in Timed Systems. FORMATS (2013)
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)
Franck Cassez, Jérémy Dubreil, Hervé Marchand
Synthesis of opaque systems with static and dynamic masks. Formal Methods Syst. Des. 40 (1) (2012)
Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson, Ralf Huuck
High Performance Static Analysis for Industry. Electron. Notes Theor. Comput. Sci. 289 (2012)
Franck Cassez, René Rydhof Hansen, Mads Chr. Olesen
What is a Timing Anomaly?. WCET (2012)
Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux
Control and Synthesis of Non-Interferent Timed Systems CoRR (2012)
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 (2012)
Franck Cassez
The Complexity of Codiagnosability for Discrete Event and Timed Systems. IEEE Trans. Autom. Control. 57 (7) (2012)
Patricia Bouyer, Franck Cassez, François Laroussinie
Timed Modal Logics for Real-Time Systems - Specification, Verification and Control. J. Log. Lang. Inf. 20 (2) (2011)
Jean-Luc Béchennec, Franck Cassez
Computation of WCET using Program Slicing and Real-Time Model-Checking CoRR (2011)
Franck Cassez
Timed Games for Computing WCET for Pipelined Processors with Caches. ACSD (2011)
Franck Cassez
Timed Games for Computing Worst-Case Execution-Times CoRR (2010)
Franck Cassez
The Complexity of Codiagnosability for Discrete Event and Timed Systems. ATVA (2010)
Franck Cassez
Dynamic Observers for Fault Diagnosis of Timed Systems CoRR (2010)
Franck Cassez, Ron van der Meyden, Chenyi Zhang
The Complexity of Synchronous Notions of Information Flow Security. FoSSaCS (2010)
Franck Cassez
A Note on Fault Diagnosis Algorithms CoRR (2010)
Franck Cassez, Stavros Tripakis
Fault Diagnosis with Dynamic Observers CoRR (2010)
Franck Cassez
Dynamic observers for fault diagnosis of timed systems. CDC (2010)
Franck Cassez
The Complexity of Codiagnosability for Discrete Event and Timed Systems CoRR (2010)
Franck Cassez
A note on fault diagnosis algorithms. CDC (2009)
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)
Franck Cassez, Jérémy Dubreil, Hervé Marchand
Dynamic Observers for the Synthesis of Opaque Systems. ATVA (2009)
Franck Cassez
The Dark Side of Timed Opacity. ISA (2009)
Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux
Synthesis of Non-Interferent Timed Systems. FORMATS (2009)
Franck Cassez, Stavros Tripakis
Fault Diagnosis with Static and Dynamic Observers. Fundam. Informaticae 88 (4) (2008)
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) (2008)
Gilles Bernot, Franck Cassez, Jean-Paul Comet, Franck Delaplace, Céline Müller, Olivier F. Roux
Semantics of Biological Regulatory Networks. Electron. Notes Theor. Comput. Sci. 180 (3) (2007)
Franck Cassez
Efficient On-the-Fly Algorithms for Partially Observable Timed Games. FORMATS (2007)
Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin
Timed Control with Observation Based and Stuttering Invariant Strategies. ATVA (2007)
Franck Cassez, Stavros Tripakis, Karine Altisen
Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. ACSD (2007)
Franck Cassez, Stavros Tripakis, Karine Altisen
Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. TASE (2007)
Karine Altisen, Franck Cassez, Stavros Tripakis
Monitoring and fault-diagnosis with digital clocks ACSD (2006)
Franck Cassez, Olivier H. Roux
Structural translation from Time Petri Nets to Timed Automata. J. Syst. Softw. 79 (10) (2006)
Franck Cassez, Thomas Chatain, Claude Jard
Symbolic Unfoldings for Networks of Timed Automata. ATVA (2006)
Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
Comparison of Different Semantics for Time Petri Nets. ATVA (2005)
Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen
Synthesis of Optimal Strategies Using HyTech. Electron. Notes Theor. Comput. Sci. 119 (1) (2005)
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)
Franck Cassez, Olivier H. Roux
Structural Translation from Time Petri Nets to Timed Automata. Electron. Notes Theor. Comput. Sci. 128 (6) (2005)
Patricia Bouyer, Franck Cassez, François Laroussinie
Modal Logics for Timed Control. CONCUR (2005)
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)
Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime
Efficient On-the-Fly Algorithms for the Analysis of Timed Games. CONCUR (2005)
Franck Cassez, Claire Pagetti, Olivier H. Roux
A Timed Extension for ALTARICA. Fundam. Informaticae 62 (3-4) (2004)
Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen
Optimal Strategies in Priced Timed Game Automata. FSTTCS (2004)
Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier F. Roux, Grégoire Sutre
Verification of Embedded Reactive Fiffo Systems. LATIN (2002)
Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier F. Roux
Extending the Translation from SDL to Promela. SPIN (2002)
Franck Cassez, Thomas A. Henzinger, Jean-François Raskin
A Comparison of Control Problems for Timed and Hybrid Systems. HSCC (2002)
Frédéric Herbreteau, Franck Cassez, Olivier F. Roux
Application of Partial-Order Methods to Reactive Programs with Event Memorization. Real Time Syst. 20 (3) (2001)
Franck Cassez, Kim Guldstrand Larsen
The Impressive Power of Stopwatches. CONCUR (2000)
Franck Cassez, Mark Dermot Ryan, Pierre-Yves Schobbens
Proving feature non-interaction with Alternating-Time Temporal Logic. FIREworks (2000)
Franck Cassez, François Laroussinie
Model-Checking for Hybrid Systems by Quotienting and Constraints Solving. CAV (2000)
Olivier F. Roux, Vlad Rusu, Franck Cassez
Hybrid Verifications of Reactive Programs. Formal Aspects Comput. 11 (4) (1999)
Grégoire Sutre, Alain Finkel, Olivier F. Roux, Franck Cassez
Effective Recognizability and Model Checking of Reactive Fiffo Automata. AMAST (1998)
Franck Cassez, Olivier F. Roux
Compilation of the ELECTRE Reactive Language into Finite Transition Systems. Theor. Comput. Sci. 146 (1&2) (1995)