Gerd Behrmann

According to our database, Gerd Behrmann authored at least 33 papers between 1999 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

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, Jürgen Starek

Proceedings of the 26th Euromicro International Conference on Parallel, 2018

2013

Tools for Model-Checking Timed 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

Proceedings of the Communicating Embedded Systems, 2013

2011

Developing UPPAAL over 15 years.

Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi

Softw. Pract. Exp., 2011

Building and Operating a Distributed Regional Centre for LHC Computing and Data Storage.

Oxana Smirnova, Gerd Behrmann, Michael Grønager, Daniel Johansson, Josva Kleist, Aleksandr Konstantinov, Balázs Kónya, Henrik Thostrup Jensen

Proceedings of the IEEE 7th International Conference on E-Science, 2011

2007

Complexity in Simplicity: Flexible Agent-Based State Space Exploration.

Jacob Illum Rasmussen, Gerd Behrmann, Kim Guldstrand Larsen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking.

Sebastian Kupferschmid, Klaus Dräger, Jörg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

UPPAAL-Tiga: Time for Playing Games!

Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

Lower and upper bounds in zone-based abstractions of timed automata.

Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek

Int. J. Softw. Tools Technol. Transf., 2006

Adapting an AI Planning Heuristic for Directed Model Checking.

Sebastian Kupferschmid, Jörg Hoffmann, Henning Dierks, Gerd Behrmann

Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

UPPAAL 4.0.

Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

2005

Distributed reachability analysis in timed automata.

Gerd Behrmann

Int. J. Softw. Tools Technol. Transf., 2005

Optimal scheduling using priced timed automata.

Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen

SIGMETRICS Perform. Evaluation Rev., 2005

Production Scheduling by Reachability Analysis - A Case Study.

Gerd Behrmann, Ed Brinksma, Martijn Hendriks, Angelika Mader

Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness.

Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

2004

A Tutorial on Uppaal.

Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen

Proceedings of the Formal Methods for the Design of Real-Time Systems, 2004

Priced Timed Automata: Algorithms and Applications.

Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen

Proceedings of the Formal Methods for Components and Objects, 2004

2003

Static Guard Analysis in Timed Automata Verification.

Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Unification & Sharing in Timed Automata Verification.

Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi

Proceedings of the Model Checking Software, 2003

Adding Symmetry Reduction to Uppaal.

Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

To Store or Not to Store.

Gerd Behrmann, Kim Guldstrand Larsen, Radek Pelánek

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

Verification of Hierarchical State/Event Systems using Reusability and Compositionality.

Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen

Formal Methods Syst. Des., 2002

A Performance Study of Distributed Timed Automata Reachability Analysis.

Gerd Behrmann

Proceedings of the Parallel and Distributed Model Checking, 2002

A Tool Architecture for the Next Generation of Uppaal.

Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi

Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

UPPAAL Implementation Secrets.

Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

2001

Verification of Large State/Event Systems Using Compositionality and Dependency Analysis.

Jørn Lind-Nielsen, Henrik Reif Andersen, Henrik Hulgaard, Gerd Behrmann, Kåre J. Kristoffersen, Kim Guldstrand Larsen

Formal Methods Syst. Des., 2001

Efficient Guiding Towards Cost-Optimality in UPPAAL.

Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Minimum-Cost Reachability for Priced Timed Automata.

Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

UPPAAL - present and future.

Gerd Behrmann, Kim G. Larsen, Oliver Möller, Alexandre David, Paul Pettersson, Wang Yi

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

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

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

Practical Verification of Embedded Software.

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

Computer, 2000

UPPAAL - Now, Next, and Future.

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

Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000

Distributing Timed Model Checking - How the Search Order Matters.

Gerd Behrmann, Thomas Hune, Frits W. Vaandrager

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Efficient Timed Reachability Analysis Using Clock Difference Diagrams.

Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi

Proceedings of the Computer Aided Verification, 11th International Conference, 1999