Franck Cassez

From MaRDI portal
Person:209127

Available identifiers

zbMath Open cassez.franckMaRDI QIDQ209127

List of research outcomes

PublicationDate of PublicationType
Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction*2021-05-21Paper
Refinement of trace abstraction for real-time programs2017-12-20Paper
The Complexity of Codiagnosability for Discrete Event and Timed Systems2017-09-08Paper
Energy and mean-payoff timed games2017-05-16Paper
The complexity of synchronous notions of information flow security2016-05-02Paper
Verification of Concurrent Programs Using Trace Abstraction Refinement2016-01-12Paper
Control and synthesis of non-interferent timed systems2015-07-29Paper
https://portal.mardi4nfdi.de/entity/Q28484192013-09-26Paper
https://portal.mardi4nfdi.de/entity/Q28495602013-09-20Paper
Predictability of Event Occurrences in Timed Systems2013-08-16Paper
The expressive power of time Petri nets2013-03-27Paper
Controllers with Minimal Observation Power (Application to Timed Systems)2012-11-21Paper
Synthesis of opaque systems with static and dynamic masks2012-09-27Paper
Timed modal logics for real-time systems. Specification, verification and control2011-06-30Paper
The Complexity of Codiagnosability for Discrete Event and Timed Systems2010-10-04Paper
The Complexity of Synchronous Notions of Information Flow Security2010-04-27Paper
Dynamic Observers for the Synthesis of Opaque Systems2009-12-01Paper
Synthesis of Non-Interferent Timed Systems2009-12-01Paper
Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study2009-04-30Paper
https://portal.mardi4nfdi.de/entity/Q36027522009-02-12Paper
When are timed automata weakly timed bisimilar to time Petri nets?2008-09-16Paper
Symbolic Unfoldings for Networks of Timed Automata2008-09-04Paper
Timed Control with Observation Based and Stuttering Invariant Strategies2008-07-03Paper
Efficient On-the-Fly Algorithms for Partially Observable Timed Games2008-07-03Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science2006-11-14Paper
Formal Modeling and Analysis of Timed Systems2006-11-14Paper
CONCUR 2005 – Concurrency Theory2006-11-01Paper
CONCUR 2005 – Concurrency Theory2006-11-01Paper
Automated Technology for Verification and Analysis2006-10-10Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science2005-08-12Paper
https://portal.mardi4nfdi.de/entity/Q46542672005-03-03Paper
https://portal.mardi4nfdi.de/entity/Q48170522004-09-14Paper
https://portal.mardi4nfdi.de/entity/Q30443422004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q47384702004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q47365802004-08-09Paper
https://portal.mardi4nfdi.de/entity/Q45365992002-11-28Paper
https://portal.mardi4nfdi.de/entity/Q27540972001-11-11Paper
Application of partial-order methods to reactive programs with event memorization2001-10-14Paper
Hybrid verifications of reactive programs2000-05-07Paper
Compilation of the ELECTRE reactive language into finite transition systems1997-02-28Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Franck Cassez