Franck Cassez

According to our database1, Franck Cassez authored at least 73 papers between 1995 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Efficient and Scalable Runtime Monitoring for Cyber-Physical System.
IEEE Systems Journal, 2018

2017
Real-Time Simulation Support for Runtime Verification of Cyber-Physical Systems.
ACM Trans. Embedded Comput. Syst., 2017

Skink: Static Analysis of Programs in LLVM Intermediate Representation - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

ScalaSMT: satisfiability modulo theory in Scala (tool paper).
Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, 2017

Refinement of Trace Abstraction for Real-Time Programs.
Proceedings of the Reachability Problems - 11th International Workshop, 2017

WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL.
Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016
The complexity of synchronous notions of information flow security.
Theor. Comput. Sci., 2016

The sbt-rats parser generator plugin for Scala (tool paper).
Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

2015
Control and synthesis of non-interferent timed systems.
Int. J. Control, 2015

Timed Automata for Modelling Caches and Pipelines.
Proceedings of the Proceedings Workshop on Models for Formal Analysis of Real Systems, 2015

Perentie: Modular Trace Refinement and Selective Value Tracking - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

BraceAssertion: Runtime Verification of Cyber-Physical Systems.
Proceedings of the 12th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 2015

Verification of Concurrent Programs Using Trace Abstraction Refinement.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

2014
The Complexity of Synchronous Notions of Information Flow Security.
CoRR, 2014

Energy and mean-payoff timed games.
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.
Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

2013
The expressive power of time Petri nets.
Theor. Comput. Sci., 2013

Predictability of Event Occurrences in Timed Systems.
CoRR, 2013

PtrTracker: Pragmatic pointer analysis.
Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation, 2013

Predictability of Event Occurrences in Timed Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

Timing Analysis of Binary Programs with UPPAAL.
Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012
The Complexity of Codiagnosability for Discrete Event and Timed Systems.
IEEE Trans. Automat. Contr., 2012

Synthesis of opaque systems with static and dynamic masks.
Formal Methods in System Design, 2012

High Performance Static Analysis for Industry.
Electr. Notes Theor. Comput. Sci., 2012

Control and Synthesis of Non-Interferent Timed Systems
CoRR, 2012

Controllers with Minimal Observation Power (Application to Timed Systems)
CoRR, 2012

What is a Timing Anomaly?.
Proceedings of the 12th International Workshop on Worst-Case Execution Time Analysis, 2012

Controllers with Minimal Observation Power (Application to Timed Systems).
Proceedings of the Automated Technology for Verification and Analysis, 2012

2011
Timed Modal Logics for Real-Time Systems - Specification, Verification and Control.
Journal of Logic, Language and Information, 2011

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

Timed Games for Computing WCET for Pipelined Processors with Caches.
Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010
Dynamic Observers for Fault Diagnosis of Timed Systems
CoRR, 2010

Timed Games for Computing Worst-Case Execution-Times
CoRR, 2010

Fault Diagnosis with Dynamic Observers
CoRR, 2010

A Note on Fault Diagnosis Algorithms
CoRR, 2010

The Complexity of Codiagnosability for Discrete Event and Timed Systems
CoRR, 2010

The Complexity of Synchronous Notions of Information Flow Security.
Proceedings of the Foundations of Software Science and Computational Structures, 2010

Dynamic observers for fault diagnosis of timed systems.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

The Complexity of Codiagnosability for Discrete Event and Timed Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2010

2009
The Dark Side of Timed Opacity.
Proceedings of the Advances in Information Security and Assurance, 2009

Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study.
Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

Synthesis of Non-Interferent Timed Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

A note on fault diagnosis algorithms.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Dynamic Observers for the Synthesis of Opaque Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2009

2008
When are Timed Automata weakly timed bisimilar to Time Petri Nets?
Theor. Comput. Sci., 2008

Fault Diagnosis with Static and Dynamic Observers.
Fundam. Inform., 2008

2007
Semantics of Biological Regulatory Networks.
Electr. Notes Theor. Comput. Sci., 2007

Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems.
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.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

Timed Control with Observation Based and Stuttering Invariant Strategies.
Proceedings of the Automated Technology for Verification and Analysis, 2007

Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis.
Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

Control of Timed Systems.
, 2007

2006
Structural translation from Time Petri Nets to Timed Automata.
Journal of Systems and Software, 2006

Symbolic Unfoldings for Networks of Timed Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2006

Monitoring and fault-diagnosis with digital clocks
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005
Structural Translation from Time Petri Nets to Timed Automata.
Electr. Notes Theor. Comput. Sci., 2005

Synthesis of Optimal Strategies Using HyTech.
Electr. Notes Theor. Comput. Sci., 2005

When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?
Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

Comparison of the Expressiveness of Timed Automata and Time Petri Nets.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

Efficient On-the-Fly Algorithms for the Analysis of Timed Games.
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

Modal Logics for Timed Control.
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

Comparison of Different Semantics for Time Petri Nets.
Proceedings of the Automated Technology for Verification and Analysis, 2005

2004
A Timed Extension for ALTARICA.
Fundam. Inform., 2004

Optimal Strategies in Priced Timed Game Automata.
Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

2002
Extending the Translation from SDL to Promela.
Proceedings of the Model Checking of Software, 2002

Verification of Embedded Reactive Fiffo Systems.
Proceedings of the LATIN 2002: Theoretical Informatics, 2002

A Comparison of Control Problems for Timed and Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

2001
Application of Partial-Order Methods to Reactive Programs with Event Memorization.
Real-Time Systems, 2001

2000
The Impressive Power of Stopwatches.
Proceedings of the CONCUR 2000, 2000

Model-Checking for Hybrid Systems by Quotienting and Constraints Solving.
Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999
Hybrid Verifications of Reactive Programs.
Formal Asp. Comput., 1999

1998
Effective Recognizability and Model Checking of Reactive Fiffo Automata.
Proceedings of the Algebraic Methodology and Software Technology, 1998

1995
Compilation of the ELECTRE Reactive Language into Finite Transition Systems.
Theor. Comput. Sci., 1995


  Loading...