BRiefcaSE

with the support of RTRA STAE

Projet RTRA STAE - BRiefCASE (Basic FResearch in System Engineering) (Avr. 2013 - Sep. 2016) - Responsable : Silvano Dal Zilio (CNRS), Didier Le Botlan (INSA)

Avatar
Silvano DAL ZILIO
CNRS Researcher

My research interests include formal methods and concurrency semantics.

Publications

Solving Language Equations Using Flanked Automata

We define a new subclass of nondeterministic finite automata for prefix-closed languages called Flanked Finite Automata (FFA). …

On the Complexity of Flanked Finite State Automata

We define a new subclass of nondeterministic finite automata for prefix-closed languages called Flanked Finite Automata (FFA). We …

Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus

A classical method for model-checking timed properties, such as those expressed using timed extensions of temporal logic, is to …

Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina

We describe our experience with modeling a video tracking system used to detect and follow moving targets from an airplane. We …