Gerd Behrmann

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