-
1
Porous invariants for linear systems
Veröffentlicht in Formal methods in system design
VolltextArtikel -
2
Diagnosis and Degradation Control for Probabilistic Systems
Veröffentlicht in Discrete event dynamic systems
VolltextArtikel -
3
Diagnosability of repairable faults
Veröffentlicht in Discrete event dynamic systems
VolltextArtikel -
4
One-Clock Priced Timed Games with Negative Weights
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
5
-
6
On the Monniaux Problem in Abstract Interpretation
Veröffentlicht in Journal of the ACM
VolltextArtikel -
7
-
8
-
9
A tale of two diagnoses in probabilistic systems
Veröffentlicht in Information and computation
VolltextArtikel -
10
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata
Veröffentlicht in arXiv.org
VolltextArtikel -
11
-
12
-
13
-
14
-
15
One-Clock Priced Timed Games with Arbitrary Weights
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
16
What’s decidable about linear loops?
Veröffentlicht in Proceedings of ACM on programming languages
VolltextArtikel -
17
-
18
The Orbit Problem for Parametric Linear Dynamical Systems
Veröffentlicht in arXiv.org
VolltextArtikel -
19
-
20