Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Gilles Benattar
Synthesis of Non-Interferent Timed Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Formal Testing of Timed and Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Generating Path Conditions for Timed Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symbolic Model Checking for Simply-Timed Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Encoding Timed Models as Uniform Labeled Transition Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Quantitative Analysis of Real-Time Systems Using Priced Timed Automata
Communications of the ACM
Computer Science
Timed-Automata Abstraction of Switched Dynamical Systems Using Control Invariants
Real-Time Systems
Control
Systems Engineering
Optimization
Electronic Engineering
Computer Networks
Simulation
Communications
Computer Science Applications
Electrical
Modeling
Algorithmic Approach to Abstracting Linear Systems by Timed Automata*
IFAC Proceedings Volumes
Timed Unfoldings for Networks of Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Real-Time Scheduling of Energy Harvesting Embedded Systems With Timed Automata
