13 citations · 35 across the 16 of their papers we have counts for
5 papers · 1 filter
Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction
Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen
We address the safety verification and synthesis problems for real-time systems. We introduce real-time programs that are made of instructions that can perform assignments to discr…
Timed Automata for Modelling Caches and Pipelines
Franck Cassez, Pablo González de Aledo Marugán
In this paper, we focus on modelling the timing aspects of binary programs running on architectures featuring caches and pipelines. The objective is to obtain a timed automaton mod…
Dynamic Observers for Fault Diagnosis of Timed Systems
Franck Cassez
In this paper we extend the work on \emph{dynamic ob\-servers} for fault diagnosis to timed automata. We study sensor minimization problems with static observers and then address t…
Fault Diagnosis with Dynamic Observers
Franck Cassez, Stavros Tripakis
In this paper, we review some recent results about the use of dynamic observers for fault diagnosis of discrete event systems. Fault diagnosis consists in synthesizing a diagnoser…
The Complexity of Codiagnosability for Discrete Event and Timed Systems
Franck Cassez
In this paper we study the fault codiagnosis problem for discrete event systems given by finite automata (FA) and timed systems given by timed automata (TA). We provide a uniform c…