Franck Cassez

According to our database, Franck Cassez authored at least 71 papers between 1995 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Deductive verification of smart contracts with Dafny.

Franck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles

Int. J. Softw. Tools Technol. Transf., April, 2024

Deductive Verification of Smart Contracts (Invited Talk).

Franck Cassez

Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024

2023

Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny.

Franck Cassez, Joanne Fuller, Milad K. Ghale, David J. Pearce, Horacio Mijail Anton Quiles

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

Formal Verification of the Ethereum 2.0 Beacon Chain.

Franck Cassez, Joanne Fuller, Aditya Asgaonkar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

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

Verification of the Incremental Merkle Tree Algorithm with Dafny.

Franck Cassez

Proceedings of the Formal Methods - 24th International Symposium, 2021

2018

Efficient and Scalable Runtime Monitoring for Cyber-Physical System.

Xi Zheng, Christine Julien, Rodion M. Podorozhny, Franck Cassez, Thierry Rakotoarivelo

IEEE Syst. J., 2018

2017

Real-Time Simulation Support for Runtime Verification of Cyber-Physical Systems.

Xi Zheng, Christine Julien, Hongxu Chen, Rodion M. Podorozhny, Franck Cassez

ACM Trans. Embed. Comput. Syst., 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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

ScalaSMT: satisfiability modulo theory in Scala (tool paper).

Franck Cassez, Anthony M. Sloane

Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, 2017

Refinement of Trace Abstraction for Real-Time Programs.

Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen

Proceedings of the Reachability Problems - 11th International Workshop, 2017

WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL.

Franck Cassez, Pablo González de Aledo, Peter Gjøl Jensen

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

The complexity of synchronous notions of information flow security.

Franck Cassez, Ron van der Meyden, Chenyi Zhang

Theor. Comput. Sci., 2016

The sbt-rats parser generator plugin for Scala (tool paper).

Anthony M. Sloane, Franck Cassez, Scott Buckley

Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

2015

Control and synthesis of non-interferent timed systems.

Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux

Int. J. Control, 2015

Timed Automata for Modelling Caches and Pipelines.

Franck Cassez, Pablo González de Aledo Marugán

Proceedings of the Proceedings Workshop on Models for Formal Analysis of Real Systems, 2015

Perentie: Modular Trace Refinement and Selective Value Tracking - (Competition Contribution).

Franck Cassez, Takashi Matsuoka, Edward Pierzchalski, Nathan Smyth

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

BraceAssertion: Runtime Verification of Cyber-Physical Systems.

Xi Zheng, Christine Julien, Rodion M. Podorozhny, Franck Cassez

Proceedings of the 12th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 2015

Verification of Concurrent Programs Using Trace Abstraction Refinement.

Franck Cassez, Frowin Ziegler

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

2014

Energy and mean-payoff timed games.

Romain Brenguier, Franck Cassez, Jean-François Raskin

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Summary-Based Inter-Procedural Analysis via Modular Trace Refinement.

Franck Cassez, Christian Müller, Karla Burnett

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

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

PtrTracker: Pragmatic pointer analysis.

Sebastian Biallas, Mads Chr. Olesen, Franck Cassez, Ralf Huuck

Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation, 2013

Predictability of Event Occurrences in Timed Systems.

Franck Cassez, Alban Grastien

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

Timing Analysis of Binary Programs with UPPAAL.

Franck Cassez, Jean-Luc Béchennec

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

Fault Diagnosis of Timed Systems.

Franck Cassez, Stavros Tripakis

Proceedings of the Communicating Embedded Systems, 2013

Control of Timed Systems.

Franck Cassez, Nicolas Markey

Proceedings of the Communicating Embedded Systems, 2013

2012

The Complexity of Codiagnosability for Discrete Event and Timed Systems.

Franck Cassez

IEEE Trans. Autom. Control., 2012

Synthesis of opaque systems with static and dynamic masks.

Franck Cassez, Jérémy Dubreil, Hervé Marchand

Formal Methods Syst. Des., 2012

High Performance Static Analysis for Industry.

Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson, Ralf Huuck

Proceedings of the Third Workshop on Tools for Automatic Program Analysis, 2012

What is a Timing Anomaly?.

Franck Cassez, René Rydhof Hansen, Mads Chr. Olesen

Proceedings of the 12th International Workshop on Worst-Case Execution Time Analysis, 2012

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

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Timed Modal Logics for Real-Time Systems - Specification, Verification and Control.

Patricia Bouyer, Franck Cassez, François Laroussinie

J. Log. Lang. Inf., 2011

Computation of WCET using Program Slicing and Real-Time Model-Checking

Jean-Luc Béchennec, Franck Cassez

CoRR, 2011

Timed Games for Computing WCET for Pipelined Processors with Caches.

Franck Cassez

Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010

Timed Games for Computing Worst-Case Execution-Times

Franck Cassez

CoRR, 2010

Fault Diagnosis with Dynamic Observers

Franck Cassez, Stavros Tripakis

CoRR, 2010

Dynamic observers for fault diagnosis of timed systems.

Franck Cassez

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009

The Dark Side of Timed Opacity.

Franck Cassez

Proceedings of the Advances in Information Security and Assurance, 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

Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

Synthesis of Non-Interferent Timed Systems.

Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

A note on fault diagnosis algorithms.

Franck Cassez

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Dynamic Observers for the Synthesis of Opaque Systems.

Franck Cassez, Jérémy Dubreil, Hervé Marchand

Proceedings of the Automated Technology for Verification and Analysis, 2009

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

Fault Diagnosis with Static and Dynamic Observers.

Franck Cassez, Stavros Tripakis

Fundam. Informaticae, 2008

2007

Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems.

Franck Cassez, Stavros Tripakis, Karine Altisen

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Efficient On-the-Fly Algorithms for Partially Observable Timed Games.

Franck Cassez

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

Timed Control with Observation Based and Stuttering Invariant Strategies.

Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin

Proceedings of the Automated Technology for Verification and Analysis, 2007

Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis.

Franck Cassez, Stavros Tripakis, Karine Altisen

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

Control of Timed Systems.

Franck Cassez

, 2007

2006

Structural translation from Time Petri Nets to Timed Automata.

Franck Cassez, Olivier H. Roux

J. Syst. Softw., 2006

Symbolic Unfoldings for Networks of Timed Automata.

Franck Cassez, Thomas Chatain, Claude Jard

Proceedings of the Automated Technology for Verification and Analysis, 2006

Monitoring and fault-diagnosis with digital clocks

Karine Altisen, Franck Cassez, Stavros Tripakis

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

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

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

Efficient On-the-Fly Algorithms for the Analysis of Timed Games.

Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

Modal Logics for Timed Control.

Patricia Bouyer, Franck Cassez, François Laroussinie

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

Comparison of Different Semantics for Time Petri Nets.

Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux

Proceedings of the Automated Technology for Verification and Analysis, 2005

2004

A Timed Extension for ALTARICA.

Franck Cassez, Claire Pagetti, Olivier H. Roux

Fundam. Informaticae, 2004

Synthesis of Optimal Strategies Using HyTech.

Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen

Proceedings of the Workshop on Games in Design and Verification, 2004

Optimal Strategies in Priced Timed Game Automata.

Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen

Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

2003

Semantics of Biological Regulatory Networks.

Gilles Bernot, Franck Cassez, Jean-Paul Comet, Franck Delaplace, Céline Müller, Olivier F. Roux

Proceedings of the First Workshop on Concurrent Models in Molecular Biology, 2003

2002

Extending the Translation from SDL to Promela.

Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier F. Roux

Proceedings of the Model Checking of Software, 2002

Verification of Embedded Reactive Fiffo Systems.

Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier F. Roux, Grégoire Sutre

Proceedings of the LATIN 2002: Theoretical Informatics, 2002

A Comparison of Control Problems for Timed and Hybrid Systems.

Franck Cassez, Thomas A. Henzinger, Jean-François Raskin

Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

2001

Application of Partial-Order Methods to Reactive Programs with Event Memorization.

Frédéric Herbreteau, Franck Cassez, Olivier F. Roux

Real Time Syst., 2001

2000

Proving feature non-interaction with Alternating-Time Temporal Logic.

Franck Cassez, Mark Dermot Ryan, Pierre-Yves Schobbens

Proceedings of the Language Constructs for Describing Features, 2000

The Impressive Power of Stopwatches.

Franck Cassez, Kim Guldstrand Larsen

Proceedings of the CONCUR 2000, 2000

Model-Checking for Hybrid Systems by Quotienting and Constraints Solving.

Franck Cassez, François Laroussinie

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Hybrid Verifications of Reactive Programs.

Olivier F. Roux, Vlad Rusu, Franck Cassez

Formal Aspects Comput., 1999

1998

Effective Recognizability and Model Checking of Reactive Fiffo Automata.

Grégoire Sutre, Alain Finkel, Olivier F. Roux, Franck Cassez

Proceedings of the Algebraic Methodology and Software Technology, 1998

1995

Compilation of the ELECTRE Reactive Language into Finite Transition Systems.

Franck Cassez, Olivier F. Roux

Theor. Comput. Sci., 1995