Gerd Behrmann

Publication Activity (10 Years)

Years Active: 1998-2018
Publications (10 Years): 1

Top Topics

Computational Science

Storage Requirements

Scientific Data

Top Venues

Publications

Paul Millar, Olufemi Adeyemi, Gerd Behrmann, Patrick Fuhrmann, Vincent Garonne, Dmitry Litvintsev, Tigran Mkrtchyan, Albert Rossi, Marina Sahakyan, Jürgen Starek
Storage for Advanced Scientific Use-Cases and Beyond. PDP (2018)
Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
Developing UPPAAL over 15 years. Softw. Pract. Exp. 41 (2) (2011)
Oxana Smirnova, Gerd Behrmann, Michael Grønager, Daniel Johansson, Josva Kleist, Aleksandr Konstantinov, Balázs Kónya, Henrik Thostrup Jensen
Building and Operating a Distributed Regional Centre for LHC Computing and Data Storage. eScience (2011)
Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime
UPPAAL-Tiga: Time for Playing Games! CAV (2007)
Jacob Illum Rasmussen, Gerd Behrmann, Kim Guldstrand Larsen
Complexity in Simplicity: Flexible Agent-Based State Space Exploration. TACAS (2007)
Sebastian Kupferschmid, Klaus Dräger, Jörg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann
Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking. TACAS (2007)
Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks
UPPAAL 4.0. QEST (2006)
Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek
Lower and upper bounds in zone-based abstractions of timed automata. Int. J. Softw. Tools Technol. Transf. 8 (3) (2006)
Sebastian Kupferschmid, Jörg Hoffmann, Henning Dierks, Gerd Behrmann
Adapting an AI Planning Heuristic for Directed Model Checking. SPIN (2006)
Gerd Behrmann, Ed Brinksma, Martijn Hendriks, Angelika Mader
Production Scheduling by Reachability Analysis - A Case Study. IPDPS (2005)
Gerd Behrmann
Distributed reachability analysis in timed automata. Int. J. Softw. Tools Technol. Transf. 7 (1) (2005)
Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen
Optimal scheduling using priced timed automata. SIGMETRICS Perform. Evaluation Rev. 32 (4) (2005)
Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen
Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness. FORMATS (2005)
Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen
Priced Timed Automata: Algorithms and Applications. FMCO (2004)
Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen
A Tutorial on Uppaal. SFM (2004)
Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek
Lower and Upper Bounds in Zone Based Abstractions of Timed Automata. TACAS (2004)
Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager
Adding Symmetry Reduction to Uppaal. FORMATS (2003)
Gerd Behrmann, Kim Guldstrand Larsen, Radek Pelánek
To Store or Not to Store. CAV (2003)
Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen
Static Guard Analysis in Timed Automata Verification. TACAS (2003)
Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi
Unification & Sharing in Timed Automata Verification. SPIN (2003)
Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
UPPAAL Implementation Secrets. FTRTFT (2002)
Gerd Behrmann
A Performance Study of Distributed Timed Automata Reachability Analysis. Electron. Notes Theor. Comput. Sci. 68 (4) (2002)
Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen
Verification of Hierarchical State/Event Systems using Reusability and Compositionality. Formal Methods Syst. Des. 21 (2) (2002)
Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi
A Tool Architecture for the Next Generation of Uppaal. 10th Anniversary Colloquium of UNU/IIST (2002)
Gerd Behrmann, Kim G. Larsen, Oliver Möller, Alexandre David, Paul Pettersson, Wang Yi
UPPAAL - present and future. CDC (2001)
Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager
Minimum-Cost Reachability for Priced Timed Automata. HSCC (2001)
Gerd Behrmann, Ansgar Fehnker
Efficient Guiding Towards Cost-Optimality in UPPAAL. TACAS (2001)
Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn
As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. CAV (2001)
Jørn Lind-Nielsen, Henrik Reif Andersen, Henrik Hulgaard, Gerd Behrmann, Kåre J. Kristoffersen, Kim Guldstrand Larsen
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. Formal Methods Syst. Des. 18 (1) (2001)
Jørgen Staunstrup, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen, Kim Guldstrand Larsen, Gerd Behrmann, Kåre J. Kristoffersen, Arne Skou, Henrik Leerberg, Niels Bo Theilgaard
Practical Verification of Embedded Software. Computer 33 (5) (2000)
Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi
UPPAAL - Now, Next, and Future. MOVEP (2000)
Gerd Behrmann, Thomas Hune, Frits W. Vaandrager
Distributing Timed Model Checking - How the Search Order Matters. CAV (2000)
Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen
Verification of Hierarchical State/Event Systems Using Reusability and Compositionality. TACAS (1999)
Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi
Efficient Timed Reachability Analysis Using Clock Difference Diagrams. CAV (1999)
Jørn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, Kåre J. Kristoffersen, Kim Guldstrand Larsen
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. TACAS (1998)