Searching for authors named "Gerd Behrmann" – sorted by Relevance.
26 documents found, showing 1 through 10.
Next 10 →
-
Data Structures and Algorithms for the Analysis of Real Time Systems
- …Data Structures and Algorithms for the Analysis of Real Time Systems Gerd Behrmann Aalborg…
- Cited by 2 (1 self) – Add To MetaCart
-
Solving Planning Problems Using Real-Time Model Checking (Translating PDDL3 into Timed Automata)
- …) Henning Dierks University of Oldenburg Germany Gerd Behrmann BRICS, Aalborg University Denmark Kim G…
- Cited by 4 (1 self) – Add To MetaCart
-
Distributing Timed Model Checking - How the Search Order Matters
- … Order Matters # Gerd Behrmann 1 , Thomas Hune 2 , and Frits Vaandrager 3 1 Basic Research…
- Cited by 33 (5 self) – Add To MetaCart
-
Adapting an AI planning heuristic for directed model checking
- …"org Hoffmann2, Henning Dierks3, andGerd Behrmann 4 1 University of Freiburg, Germany, kupfersc…
- Cited by 9 (7 self) – Add To MetaCart
-
Ecient Guiding Towards Cost-Optimality in
- …Ecient Guiding Towards Cost-Optimality in UPPAAL ? Gerd Behrmann 1 , Ansgar Fehnker 3 , Thomas…
- Cited by 1 (0 self) – Add To MetaCart
-
unknown title
- … Adding Symmetry Reduction to Uppaal ? Martijn Hendriks 1 , Gerd Behrmann 2 , Kim Larsen 2…
- Add To MetaCart
-
Adding Symmetry Reduction to UPPAAL
- …Adding Symmetry Reduction to Uppaal Martijn Hendriks 1 Gerd Behrmann 2 Kim Larsen 2 Peter…
- Cited by 11 (1 self) – Add To MetaCart
-
A tutorial on uppaal
- …A Tutorial on Uppaal Updated 17th November 2004 Gerd Behrmann, Alexandre David, and Kim G. Larsen…
- Cited by 71 (6 self) – Add To MetaCart
-
Unification & Sharing in Timed Automata Verification
- …Unification & Sharing in Timed Automata Verification Alexandre David 1 , Gerd Behrmann 2 , Kim…
- Cited by 3 (2 self) – Add To MetaCart
-
Priced Timed Automata: Algorithms and Applications
- …Priced Timed Automata: Algorithms and Applications Gerd Behrmann, Kim G. Larsen, and Jacob I…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
