Gerd Behrmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
3
Active years
1998–2018
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | PDP | Storage for Advanced Scientific Use-Cases and Beyond. | A. Paul Millar, Olufemi Adeyemi, Gerd Behrmann, Patrick Fuhrmann, Vincent Garonne, Dmitry Litvintsev, Tigran Mkrtchyan, Albert Rossi, Marina Sahakyan, Jrgen Starek |
| 2007 | CAV | UPPAAL-Tiga: Time for Playing Games! | Gerd Behrmann, Agns Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime |
| 2007 | TACAS | Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking. | Sebastian Kupferschmid, Klaus Drger, Jrg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann |
| 2007 | TACAS | Complexity in Simplicity: Flexible Agent-Based State Space Exploration. | Jacob Illum Rasmussen, Gerd Behrmann, Kim Guldstrand Larsen |
| 2004 | TACAS | Lower and Upper Bounds in Zone Based Abstractions of Timed Automata. | Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelnek |
| 2003 | CAV | To Store or Not to Store. | Gerd Behrmann, Kim Guldstrand Larsen, Radek Pelnek |
| 2003 | TACAS | Static Guard Analysis in Timed Automata Verification. | Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen |
| 2001 | CAV | As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. | Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn |
| 2001 | TACAS | Efficient Guiding Towards Cost-Optimality in UPPAAL. | Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn |
| 2000 | CAV | Distributing Timed Model Checking - How the Search Order Matters. | Gerd Behrmann, Thomas Hune, Frits W. Vaandrager |
| 1999 | CAV | Efficient Timed Reachability Analysis Using Clock Difference Diagrams. | Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi |
| 1999 | TACAS | Verification of Hierarchical State/Event Systems Using Reusability and Compositionality. | Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jrn Lind-Nielsen |
| 1998 | TACAS | Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. | Jrn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, Kre J. Kristoffersen, Kim Guldstrand Larsen |