-
Automatic Construction of Diagnoser for Complex Discrete Event Systems
International audience -
Diagnostic of discrete event systems using timed automata in MATLAB SIMULINK
International audience -
Interrupt Timed Automata: verification and expressiveness
International audience -
Generating functions of timed languages
International audience -
Real-Time Scheduling of Energy Harvesting Embedded Systems with Timed Automata
International audience -
Lazy abstractions for timed automata
International audience -
The Inverse Method
International audience -
Modeling and testing secure web-based systems : application to an industrial ...
International audience -
Formal Timing Analysis of Mixed Music Scores
Interactive music systems coordinate in real-time an artificial perception of dynamics of human musicians with timely execution of machine reactions. As every human... -
A Kleene Theorem for Piecewise Constant Signals Automata
International audience -
Time-constrained systems validation using mda model transformation. A railway...
International audience -
A maximal entropy stochastic process for a timed automaton
International audience -
Analysis Support for TADL2 Timing Constraints on EAST-ADL Models
International audience -
Implementing timed automata specifications: the "sandwich" approach
International audience -
Diagnostic approach using Bond Graph and timed automata
International audience -
Analyzing an Embedded Sensor with Timed Automata in Uppaal
International audience -
Robustness in timed automata : analysis, synthesis, implementation
Timed automata are a formalism to model, verify, and synthesize real-time systems. They have the advantage of having an abstract mathematical semantics, which allow... -
Composition of Web Services based on Timed Mediation.
International audience -
Contribution to the Verification of Timed Automata: Determinization, Quantita...
This thesis is about verification of timed automata, a well-established model for real time systems. The document is structured in three parts. The first part is...
