Franck Cassez - RankMe

93 papers A* 1A 1B 16C 2Misc 1Journal 32Unranked 34

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	ByteSpector: A Verifying Disassembler for EVM Bytecode. FMBC Franck Cassez
2024	—	`conf`	Deductive Verification of Smart Contracts (Invited Talk). FMBC@CAV Franck Cassez
2024	J	`jnl`	Deductive verification of smart contracts with Dafny. Int. J. Softw. Tools Technol. Transf. Franck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles
2023	B	`conf`	Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny. FM Franck Cassez, Joanne Fuller, Milad K. Ghale, David J. Pearce, Horacio Mijail Anton Quiles
2023	J	`jnl`	Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny. CoRR Franck Cassez, Joanne Fuller, Milad K. Ghale, David J. Pearce, Horacio Mijail Anton Quiles
2022	C	`conf`	Deductive Verification of Smart Contracts with Dafny. FMICS Franck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles
2022	J	`jnl`	Deductive Verification of Smart Contracts with Dafny. CoRR Franck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles
2022	—	`conf`	Formal Verification of the Ethereum 2.0 Beacon Chain. TACAS (1) Franck Cassez, Joanne Fuller, Aditya Asgaonkar
2021	J	`jnl`	Formal Verification of the Ethereum 2.0 Beacon Chain. CoRR Franck Cassez, Joanne Fuller, Aditya Asgaonkar
2021	J	`jnl`	Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction. Fundam. Informaticae Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen
2021	B	`conf`	Verification of the Incremental Merkle Tree Algorithm with Dafny. FM Franck Cassez
2021	J	`jnl`	Verification of the Incremental Merkle Tree Algorithm with Dafny. CoRR Franck Cassez
2020	J	`jnl`	Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction. CoRR Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen
2018	J	`jnl`	Efficient and Scalable Runtime Monitoring for Cyber-Physical System. IEEE Syst. J. Xi Zheng, Christine Julien, Rodion M. Podorozhny, Franck Cassez, Thierry Rakotoarivelo
2017	J	`jnl`	Real-Time Simulation Support for Runtime Verification of Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. Xi Zheng, Christine Julien, Hongxu Chen, Rodion M. Podorozhny, Franck Cassez
2017	—	`conf`	Refinement of Trace Abstraction for Real-Time Programs. RP Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen
2017	—	`conf`	ScalaSMT: satisfiability modulo theory in Scala (tool paper). SCALA@SPLASH Franck Cassez, Anthony M. Sloane
2017	—	`conf`	Skink: Static Analysis of Programs in LLVM Intermediate Representation - (Competition Contribution). TACAS (2) Franck Cassez, Anthony M. Sloane, Matthew Roberts, Matthew Pigram, Pongsak Suvanpong, Pablo González de Aledo Marugán
2017	—	`conf`	WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL. Models, Algorithms, Logics and Tools Franck Cassez, Pablo González de Aledo, Peter Gjøl Jensen
2016	J	`jnl`	The complexity of synchronous notions of information flow security. Theor. Comput. Sci. Franck Cassez, Ron van der Meyden, Chenyi Zhang
2016	—	`conf`	The sbt-rats parser generator plugin for Scala (tool paper). SCALA@SPLASH Anthony M. Sloane, Franck Cassez, Scott Buckley
2015	B	`conf`	BraceAssertion: Runtime Verification of Cyber-Physical Systems. MASS Xi Zheng, Christine Julien, Rodion M. Podorozhny, Franck Cassez
2015	J	`jnl`	Control and synthesis of non-interferent timed systems. Int. J. Control Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux
2015	A	`conf`	Perentie: Modular Trace Refinement and Selective Value Tracking - (Competition Contribution). TACAS Franck Cassez, Takashi Matsuoka, Edward Pierzchalski, Nathan Smyth
2015	—	`conf`	Timed Automata for Modelling Caches and Pipelines. MARS Franck Cassez, Pablo González de Aledo Marugán
2015	B	`conf`	Verification of Concurrent Programs Using Trace Abstraction Refinement. LPAR Franck Cassez, Frowin Ziegler
2014	B	`ed.`	Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings ATVA Franck Cassez, Jean-François Raskin
2014	—	`conf`	Energy and mean-payoff timed games. HSCC Romain Brenguier, Franck Cassez, Jean-François Raskin
2014	—	`conf`	Summary-Based Inter-Procedural Analysis via Modular Trace Refinement. FSTTCS Franck Cassez, Christian Müller, Karla Burnett
2014	J	`jnl`	The Complexity of Synchronous Notions of Information Flow Security. CoRR Franck Cassez, Ron van der Meyden, Chenyi Zhang
2013	—	`ch.`	Control of Timed Systems. Communicating Embedded Systems Franck Cassez, Nicolas Markey
2013	—	`ch.`	Fault Diagnosis of Timed Systems. Communicating Embedded Systems Franck Cassez, Stavros Tripakis
2013	—	`conf`	Predictability of Event Occurrences in Timed Systems. FORMATS Franck Cassez, Alban Grastien
2013	J	`jnl`	Predictability of Event Occurrences in Timed Systems. CoRR Franck Cassez, Alban Grastien
2013	C	`conf`	PtrTracker: Pragmatic pointer analysis. SCAM Sebastian Biallas, Mads Chr. Olesen, Franck Cassez, Ralf Huuck
2013	J	`jnl`	The expressive power of time Petri nets. Theor. Comput. Sci. Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
2013	—	`conf`	Timing Analysis of Binary Programs with UPPAAL. ACSD Franck Cassez, Jean-Luc Béchennec
2012	J	`jnl`	Control and Synthesis of Non-Interferent Timed Systems CoRR Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux
2012	J	`jnl`	Controllers with Minimal Observation Power (Application to Timed Systems) CoRR Peter E. Bulychev, Franck Cassez, Alexandre David, Kim G. Larsen, Jean-François Raskin, Pierre-Alain Reynier
2012	B	`conf`	Controllers with Minimal Observation Power (Application to Timed Systems). ATVA Peter E. Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier
2012	—	`conf`	High Performance Static Analysis for Industry. TAPAS@SAS Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson, Ralf Huuck
2012	—	`ed.`	Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012. SSV Franck Cassez, Ralf Huuck, Gerwin Klein, Bastian Schlich
2012	J	`jnl`	Synthesis of opaque systems with static and dynamic masks. Formal Methods Syst. Des. Franck Cassez, Jérémy Dubreil, Hervé Marchand
2012	J	`jnl`	The Complexity of Codiagnosability for Discrete Event and Timed Systems. IEEE Trans. Autom. Control. Franck Cassez
2012	—	`conf`	What is a Timing Anomaly?. WCET Franck Cassez, René Rydhof Hansen, Mads Chr. Olesen
2011	J	`jnl`	Computation of WCET using Program Slicing and Real-Time Model-Checking CoRR Jean-Luc Béchennec, Franck Cassez
2011	—	`conf`	Timed Games for Computing WCET for Pipelined Processors with Caches. ACSD Franck Cassez
2011	J	`jnl`	Timed Modal Logics for Real-Time Systems - Specification, Verification and Control. J. Log. Lang. Inf. Patricia Bouyer, Franck Cassez, François Laroussinie
2010	J	`jnl`	A Note on Fault Diagnosis Algorithms CoRR Franck Cassez
2010	J	`jnl`	Dynamic Observers for Fault Diagnosis of Timed Systems CoRR Franck Cassez
2010	—	`conf`	Dynamic observers for fault diagnosis of timed systems. CDC Franck Cassez
2010	J	`jnl`	Fault Diagnosis with Dynamic Observers CoRR Franck Cassez, Stavros Tripakis
2010	J	`jnl`	The Complexity of Codiagnosability for Discrete Event and Timed Systems CoRR Franck Cassez
2010	B	`conf`	The Complexity of Codiagnosability for Discrete Event and Timed Systems. ATVA Franck Cassez
2010	B	`conf`	The Complexity of Synchronous Notions of Information Flow Security. FoSSaCS Franck Cassez, Ron van der Meyden, Chenyi Zhang
2010	J	`jnl`	Timed Games for Computing Worst-Case Execution-Times CoRR Franck Cassez
2009	—	`conf`	A note on fault diagnosis algorithms. CDC Franck Cassez
2009	—	`conf`	Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study. HSCC Franck Cassez, Jan Jakob Jessen, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier
2009	B	`conf`	Dynamic Observers for the Synthesis of Opaque Systems. ATVA Franck Cassez, Jérémy Dubreil, Hervé Marchand
2009	—	`conf`	Synthesis of Non-Interferent Timed Systems. FORMATS Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux
2009	—	`conf`	The Dark Side of Timed Opacity. ISA Franck Cassez
2008	J	`jnl`	Fault Diagnosis with Static and Dynamic Observers. Fundam. Informaticae Franck Cassez, Stavros Tripakis
2008	—	`ed.`	Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings FORMATS Franck Cassez, Claude Jard
2008	J	`jnl`	When are Timed Automata weakly timed bisimilar to Time Petri Nets? Theor. Comput. Sci. Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
2007	—	`book`	Control of Timed Systems. Franck Cassez
2007	—	`conf`	Efficient On-the-Fly Algorithms for Partially Observable Timed Games. FORMATS Franck Cassez
2007	—	`conf`	Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. ACSD Franck Cassez, Stavros Tripakis, Karine Altisen
2007	Misc	`conf`	Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. TASE Franck Cassez, Stavros Tripakis, Karine Altisen
2007	B	`conf`	Timed Control with Observation Based and Stuttering Invariant Strategies. ATVA Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin
2006	—	`conf`	Monitoring and fault-diagnosis with digital clocks ACSD Karine Altisen, Franck Cassez, Stavros Tripakis
2006	J	`jnl`	Structural translation from Time Petri Nets to Timed Automata. J. Syst. Softw. Franck Cassez, Olivier H. Roux
2006	B	`conf`	Symbolic Unfoldings for Networks of Timed Automata. ATVA Franck Cassez, Thomas Chatain, Claude Jard
2005	B	`conf`	Comparison of Different Semantics for Time Petri Nets. ATVA Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
2005	—	`conf`	Comparison of the Expressiveness of Timed Automata and Time Petri Nets. FORMATS Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
2005	B	`conf`	Efficient On-the-Fly Algorithms for the Analysis of Timed Games. CONCUR Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime
2005	B	`conf`	Modal Logics for Timed Control. CONCUR Patricia Bouyer, Franck Cassez, François Laroussinie
2005	—	`conf`	When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets? FSTTCS Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
2004	J	`jnl`	A Timed Extension for ALTARICA. Fundam. Informaticae Franck Cassez, Claire Pagetti, Olivier H. Roux
2004	—	`conf`	Optimal Strategies in Priced Timed Game Automata. FSTTCS Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen
2004	—	`conf`	Structural Translation from Time Petri Nets to Timed Automata. AVoCS Franck Cassez, Olivier H. Roux
2004	—	`conf`	Synthesis of Optimal Strategies Using HyTech. GDV@CAV Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen
2003	—	`conf`	Semantics of Biological Regulatory Networks. BioConcur@CONCUR Gilles Bernot, Franck Cassez, Jean-Paul Comet, Franck Delaplace, Céline Müller, Olivier F. Roux
2002	—	`conf`	A Comparison of Control Problems for Timed and Hybrid Systems. HSCC Franck Cassez, Thomas A. Henzinger, Jean-François Raskin
2002	—	`conf`	Extending the Translation from SDL to Promela. SPIN Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier F. Roux
2002	B	`conf`	Verification of Embedded Reactive Fiffo Systems. LATIN Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier F. Roux, Grégoire Sutre
2001	J	`jnl`	Application of Partial-Order Methods to Reactive Programs with Event Memorization. Real Time Syst. Frédéric Herbreteau, Franck Cassez, Olivier F. Roux
2001	—	`ed.`	Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 MOVEP Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan
2000	A*	`conf`	Model-Checking for Hybrid Systems by Quotienting and Constraints Solving. CAV Franck Cassez, François Laroussinie
2000	—	`conf`	Proving feature non-interaction with Alternating-Time Temporal Logic. FIREworks Franck Cassez, Mark Dermot Ryan, Pierre-Yves Schobbens
2000	B	`conf`	The Impressive Power of Stopwatches. CONCUR Franck Cassez, Kim Guldstrand Larsen
1999	J	`jnl`	Hybrid Verifications of Reactive Programs. Formal Aspects Comput. Olivier F. Roux, Vlad Rusu, Franck Cassez
1998	—	`conf`	Effective Recognizability and Model Checking of Reactive Fiffo Automata. AMAST Grégoire Sutre, Alain Finkel, Olivier F. Roux, Franck Cassez
1995	J	`jnl`	Compilation of the ELECTRE Reactive Language into Finite Transition Systems. Theor. Comput. Sci. Franck Cassez, Olivier F. Roux