2007 | ||
---|---|---|
31 | EE | Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime: UPPAAL-Tiga: Time for Playing Games! CAV 2007: 121-125 |
30 | EE | Jacob Illum Rasmussen, Gerd Behrmann, Kim Guldstrand Larsen: Complexity in Simplicity: Flexible Agent-Based State Space Exploration. TACAS 2007: 231-245 |
29 | EE | 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: 679-682 |
2006 | ||
28 | EE | Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks: UPPAAL 4.0. QEST 2006: 125-126 |
27 | EE | Sebastian Kupferschmid, Jörg Hoffmann, Henning Dierks, Gerd Behrmann: Adapting an AI Planning Heuristic for Directed Model Checking. SPIN 2006: 35-52 |
26 | EE | Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek: Lower and upper bounds in zone-based abstractions of timed automata. STTT 8(3): 204-215 (2006) |
2005 | ||
25 | EE | Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen: Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness. FORMATS 2005: 81-94 |
24 | EE | Gerd Behrmann, Ed Brinksma, Martijn Hendriks, Angelika Mader: Production Scheduling by Reachability Analysis - A Case Study. IPDPS 2005 |
23 | EE | Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen: Optimal scheduling using priced timed automata. SIGMETRICS Performance Evaluation Review 32(4): 34-40 (2005) |
22 | EE | Gerd Behrmann: Distributed reachability analysis in timed automata. STTT 7(1): 19-30 (2005) |
2004 | ||
21 | EE | Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen: Priced Timed Automata: Algorithms and Applications. FMCO 2004: 162-182 |
20 | EE | Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen: A Tutorial on Uppaal. SFM 2004: 200-236 |
19 | EE | Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek: Lower and Upper Bounds in Zone Based Abstractions of Timed Automata. TACAS 2004: 312-326 |
2003 | ||
18 | EE | Gerd Behrmann, Kim Guldstrand Larsen, Radek Pelánek: To Store or Not to Store. CAV 2003: 433-445 |
17 | EE | Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager: Adding Symmetry Reduction to Uppaal. FORMATS 2003: 46-59 |
16 | EE | Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi: Unification & Sharing in Timed Automata Verification. SPIN 2003: 225-229 |
15 | EE | Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen: Static Guard Analysis in Timed Automata Verification. TACAS 2003: 254-277 |
2002 | ||
14 | EE | 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: 352-366 |
13 | EE | Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: UPPAAL Implementation Secrets. FTRTFT 2002: 3-22 |
12 | EE | Gerd Behrmann: A Performance Study of Distributed Timed Automata Reachability Analysis. Electr. Notes Theor. Comput. Sci. 68(4): (2002) |
11 | 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 in System Design 21(2): 225-244 (2002) | |
2001 | ||
10 | EE | 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: 493-505 |
9 | EE | 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: 147-161 |
8 | EE | Gerd Behrmann, Ansgar Fehnker: Efficient Guiding Towards Cost-Optimality in UPPAAL. TACAS 2001: 174-188 |
7 | 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 in System Design 18(1): 5-23 (2001) | |
2000 | ||
6 | Gerd Behrmann, Thomas Hune, Frits W. Vaandrager: Distributing Timed Model Checking - How the Search Order Matters. CAV 2000: 216-231 | |
5 | EE | 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: 99-124 |
4 | EE | 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. IEEE Computer 33(5): 68-75 (2000) |
1999 | ||
3 | EE | Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi: Efficient Timed Reachability Analysis Using Clock Difference Diagrams. CAV 1999: 341-353 |
2 | EE | 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: 163-177 |
1998 | ||
1 | EE | 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: 201-216 |