Efficient Timed Reachability Analysis Using Clock Difference Diagrams. - Gerd Behrmann; Kim Guldstrand Larsen; Justin Pearson; Carsten Weise; Wang Yi 001 (CAV, 1999)

Distributing Timed Model Checking - How the Search Order Matters. - Gerd Behrmann; Thomas Hune; Frits W. Vaandrager (CAV, 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; et al. (MOVEP, 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)

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 (CAV, 2001)

UPPAAL - present and future. - Gerd Behrmann; Kim G. Larsen; Oliver Möller; Alexandre David; Paul Pettersson; Wang Yi 001 (CDC, 2001)

Minimum-Cost Reachability for Priced Timed Automata. - Gerd Behrmann; Ansgar Fehnker; Thomas Hune; Kim Guldstrand Larsen; Paul Pettersson; Judi Romijn; Frits W. Vaandrager (HSCC, 2001)

Efficient Guiding Towards Cost-Optimality in UPPAAL. - Gerd Behrmann; Ansgar Fehnker; Thomas Hune; Kim G. Larsen; Paul Pettersson; Judi Romijn (TACAS, 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)

UPPAAL Implementation Secrets. - Gerd Behrmann; Johan Bengtsson; Alexandre David; Kim Guldstrand Larsen; Paul Pettersson; Wang Yi 001 (FTRTFT, 2002)

A Tool Architecture for the Next Generation of Uppaal. - Alexandre David; Gerd Behrmann; Kim Guldstrand Larsen; Wang Yi 001 (10th Anniversary Colloquium of UNU/IIST, 2002)

A Performance Study of Distributed Timed Automata Reachability Analysis. - Gerd Behrmann (PDMC@CONCUR, 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)

To Store or Not to Store. - Gerd Behrmann; Kim Guldstrand Larsen; Radek Pelánek (CAV, 2003)

Adding Symmetry Reduction to Uppaal. - Martijn Hendriks; Gerd Behrmann; Kim Guldstrand Larsen; Peter Niebert; Frits W. Vaandrager (FORMATS, 2003)

Unification & Sharing in Timed Automata Verification. - Alexandre David; Gerd Behrmann; Kim Guldstrand Larsen; Wang Yi 001 (SPIN, 2003)

Static Guard Analysis in Timed Automata Verification. - Gerd Behrmann; Patricia Bouyer; Emmanuel Fleury; Kim Guldstrand Larsen (TACAS, 2003)

Priced Timed Automata: Algorithms and Applications. - Gerd Behrmann; Kim Guldstrand Larsen; Jacob Illum Rasmussen (FMCO, 2004)

A Tutorial on Uppaal. - Gerd Behrmann; Alexandre David; Kim Guldstrand Larsen (SFM, 2004)

Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness. - Gerd Behrmann; Kim Guldstrand Larsen; Jacob Illum Rasmussen (FORMATS, 2005)

Production Scheduling by Reachability Analysis - A Case Study. - Gerd Behrmann; Ed Brinksma; Martijn Hendriks; Angelika Mader (IPDPS, 2005)

Optimal scheduling using priced timed automata. - Gerd Behrmann; Kim Guldstrand Larsen; Jacob Illum Rasmussen (SIGMETRICS Perform. Evaluation Rev., 2005)

Distributed reachability analysis in timed automata. - Gerd Behrmann (Int. J. Softw. Tools Technol. Transf., 2005)

UPPAAL 4.0. - Gerd Behrmann; Alexandre David; Kim Guldstrand Larsen; John Håkansson; Paul Pettersson; Wang Yi 001; Martijn Hendriks (QEST, 2006)

Adapting an AI Planning Heuristic for Directed Model Checking. - Sebastian Kupferschmid; Jörg Hoffmann 001; Henning Dierks; Gerd Behrmann (SPIN, 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)

UPPAAL-Tiga: Time for Playing Games! - Gerd Behrmann; Agnès Cougnard; Alexandre David; Emmanuel Fleury; Kim Guldstrand Larsen; Didier Lime (CAV, 2007)

Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking. - Sebastian Kupferschmid; Klaus Dräger; Jörg Hoffmann 001; Bernd Finkbeiner; Henning Dierks; Andreas Podelski; Gerd Behrmann (TACAS, 2007)

Complexity in Simplicity: Flexible Agent-Based State Space Exploration. - Jacob Illum Rasmussen; Gerd Behrmann; Kim Guldstrand Larsen (TACAS, 2007)

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 (eScience, 2011)

Developing UPPAAL over 15 years. - Gerd Behrmann; Alexandre David; Kim Guldstrand Larsen; Paul Pettersson; Wang Yi 001 (Softw. Pract. Exp., 2011)

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 001; Kenneth Yrke Jørgensen; Didier Lime; et al. (Communicating Embedded Systems, 2013)

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 (PDP, 2018)