Gerd Behrmann - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 36 from 36

2018

Storage for Advanced Scientific Use-Cases and BeyondPaul Millar, Olufemi Adeyemi, Gerd Behrmann, Patrick Fuhrmann, Vincent Garonne, Dmitry Litvinsev, Tigran Mkrtchyan, Albert Rossi, Marina Sahakyan, Jürgen Starek. pdp 2018: 651-657 [doi]

2013

2011

Developing UPPAAL over 15 yearsGerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi. SPE, 41(2):133-142, 2011. [doi]

Building and Operating a Distributed Regional Centre for LHC Computing and Data StorageOxana Smirnova, Gerd Behrmann, Michael Grønager, Daniel Johansson, Josva Kleist, Aleksandr Konstantinov, Balázs Kónya, Henrik Thostrup Jensen. eScience 2011: 181-188 [doi]

2007

2006

2005

2004

Priced Timed Automata: Algorithms and ApplicationsGerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen. FMCO 2005: 162-182 [doi]

Lower and Upper Bounds in Zone Based Abstractions of Timed AutomataGerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek. TACAS 2004: 312-326 [doi]

A Tutorial on UppaalGerd Behrmann, Alexandre David, Kim Guldstrand Larsen. sfm 2004: 200-236 [doi]

2003

2002

2001

Efficient Guiding Towards Cost-Optimality in UPPAALGerd Behrmann, Ansgar Fehnker. TACAS 2001: 174-188 [doi]

UPPAAL - present and futureGerd Behrmann, Kim G. Larsen, Oliver Möller, Alexandre David, Paul Pettersson, Wang Yi 0001. cdc 2001: 2881-2886 [doi]

Minimum-Cost Reachability for Priced Timed AutomataGerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager. hybrid 2001: 147-161 [doi]

As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed AutomataKim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn. cav 2001: 493-505 [doi]

Verification of Large State/Event Systems Using Compositionality and Dependency AnalysisJørn Lind-Nielsen, Henrik Reif Andersen, Henrik Hulgaard, Gerd Behrmann, Kåre J. Kristoffersen, Kim Guldstrand Larsen. fmsd, 18(1):5-23, 2001.

2000

1999

Efficient Timed Reachability Analysis Using Clock Difference DiagramsGerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi. cav 1999: 341-353 [doi]

Verification of Hierarchical State/Event Systems Using Reusability and CompositionalityGerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen. TACAS 1999: 163-177 [doi]

1998

Verification of Large State/Event Systems Using Compositionality and Dependency AnalysisJørn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, Kåre J. Kristoffersen, Kim Guldstrand Larsen. TACAS 1998: 201-216 [doi]

Sign in or sign up to see more results.

runs on WebDSL