| 2023 | FM | 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 |
| 2022 | FMICS | Deductive Verification of Smart Contracts with Dafny. | Franck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles |
| 2022 | TACAS | Formal Verification of the Ethereum 2.0 Beacon Chain. | Franck Cassez, Joanne Fuller, Aditya Asgaonkar |
| 2021 | FM | Verification of the Incremental Merkle Tree Algorithm with Dafny. | Franck Cassez |
| 2017 | TACAS | Skink: Static Analysis of Programs in LLVM Intermediate Representation - (Competition Contribution). | Franck Cassez, Anthony M. Sloane, Matthew Roberts, Matthew Pigram, Pongsak Suvanpong, Pablo Gonzlez de Aledo Marugn |
| 2015 | LPAR | Verification of Concurrent Programs Using Trace Abstraction Refinement. | Franck Cassez, Frowin Ziegler |
| 2015 | MASS | BraceAssertion: Runtime Verification of Cyber-Physical Systems. | Xi Zheng, Christine Julien, Rodion M. Podorozhny, Franck Cassez |
| 2015 | TACAS | Perentie: Modular Trace Refinement and Selective Value Tracking - (Competition Contribution). | Franck Cassez, Takashi Matsuoka, Edward Pierzchalski, Nathan Smyth |
| 2013 | SCAM | PtrTracker: Pragmatic pointer analysis. | Sebastian Biallas, Mads Chr. Olesen, Franck Cassez, Ralf Huuck |
| 2012 | ATVA | Controllers with Minimal Observation Power (Application to Timed Systems). | Peter E. Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-Franois Raskin, Pierre-Alain Reynier |
| 2010 | ATVA | The Complexity of Codiagnosability for Discrete Event and Timed Systems. | Franck Cassez |
| 2010 | FOSSACS | The Complexity of Synchronous Notions of Information Flow Security. | Franck Cassez, Ron van der Meyden, Chenyi Zhang |
| 2009 | ATVA | Dynamic Observers for the Synthesis of Opaque Systems. | Franck Cassez, Jrmy Dubreil, Herv Marchand |
| 2007 | ATVA | Timed Control with Observation Based and Stuttering Invariant Strategies. | Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-Franois Raskin |
| 2007 | TASE | Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. | Franck Cassez, Stavros Tripakis, Karine Altisen |
| 2006 | ATVA | Symbolic Unfoldings for Networks of Timed Automata. | Franck Cassez, Thomas Chatain, Claude Jard |
| 2005 | ATVA | Comparison of Different Semantics for Time Petri Nets. | Batrice Brard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux |
| 2005 | CONCUR | Modal Logics for Timed Control. | Patricia Bouyer, Franck Cassez, Franois Laroussinie |
| 2005 | CONCUR | Efficient On-the-Fly Algorithms for the Analysis of Timed Games. | Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime |
| 2002 | LATIN | Verification of Embedded Reactive Fiffo Systems. | Frdric Herbreteau, Franck Cassez, Alain Finkel, Olivier F. Roux, Grgoire Sutre |
| 2000 | CAV | Model-Checking for Hybrid Systems by Quotienting and Constraints Solving. | Franck Cassez, Franois Laroussinie |
| 2000 | CONCUR | The Impressive Power of Stopwatches. | Franck Cassez, Kim Guldstrand Larsen |