A survey of timed automata for the development of real-time systems
Timed automata are a popular formalism to model real-time systems. They were introduced
two decades ago to support formal verification. Since then they have also been used for …
two decades ago to support formal verification. Since then they have also been used for …
What's decidable about parametric timed automata?
É André - International Journal on Software Tools for Technology …, 2019 - Springer
Parametric timed automata (PTAs) are a powerful formalism to reason, simulate and formally
verify critical real-time systems. After 25 years of research on PTAs, it is now well understood …
verify critical real-time systems. After 25 years of research on PTAs, it is now well understood …
[PDF][PDF] Integer parameter synthesis for real-time systems
We provide a subclass of parametric timed automata (PTA) that we can actually and
efficiently analyze, and we argue that it retains most of the practical usefulness of PTA for the …
efficiently analyze, and we argue that it retains most of the practical usefulness of PTA for the …
Guaranteeing timed opacity using parametric timed model checking
Information leakage can have dramatic consequences on systems security. Among harmful
information leaks, the timing information leakage occurs whenever an attacker successfully …
information leaks, the timing information leakage occurs whenever an attacker successfully …
Integer parameter synthesis for real-time systems
We provide a subclass of parametric timed automata (PTA) that we can actually and
efficiently analyze, and we argue that it retains most of the practical usefulness of PTA for the …
efficiently analyze, and we argue that it retains most of the practical usefulness of PTA for the …
Integer Parameter Synthesis for Timed Automata.
We provide a subclass of parametric timed automata (PTA) that we can actually and
efficiently analyze, and we argue that it retains most of the practical usefulness of PTA. The …
efficiently analyze, and we argue that it retains most of the practical usefulness of PTA. The …
Observer patterns for real-time systems
É André - 2013 18th International Conference on Engineering …, 2013 - ieeexplore.ieee.org
In the past few decades, many formal techniques for verifying complex concurrent and real-
time systems, as well as many property languages, have been proposed. Unfortunately …
time systems, as well as many property languages, have been proposed. Unfortunately …
What's decidable about parametric timed automata?
É André - International Workshop on Formal Techniques for …, 2015 - Springer
Parametric timed automata (PTA) are a powerful formalism to reason, simulate and formally
verify critical real-time systems. After two decades of research on PTA, it is now well …
verify critical real-time systems. After two decades of research on PTA, it is now well …
Efficient variational inference in large-scale Bayesian compressed sensing
G Papandreou, AL Yuille - 2011 IEEE International Conference …, 2011 - ieeexplore.ieee.org
We study linear models under heavy-tailed priors from a probabilistic viewpoint. Instead of
computing a single sparse most probable (MAP) solution as in standard deterministic …
computing a single sparse most probable (MAP) solution as in standard deterministic …
Creating open source repository of 3D models of laboratory equipments using Blender
S Dere, S Sahasrabudhe, S Iyer - … International Conference on …, 2010 - ieeexplore.ieee.org
Laboratory experiments provide hands on experience to students, thereby enhancing their
understanding of the given topic. Often, due to lack of resources, interactive simulations of …
understanding of the given topic. Often, due to lack of resources, interactive simulations of …