The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Gerd Behrmann: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002