Gerd Behrmann

According to our database1, Gerd Behrmann authored at least 33 papers between 1998 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Storage for Advanced Scientific Use-Cases and Beyond.
Proceedings of the 26th Euromicro International Conference on Parallel, 2018

2013

2011
Developing UPPAAL over 15 years.
Softw., Pract. Exper., 2011

Building and Operating a Distributed Regional Centre for LHC Computing and Data Storage.
Proceedings of the IEEE 7th International Conference on E-Science, 2011

2007
Complexity in Simplicity: Flexible Agent-Based State Space Exploration.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

UPPAAL-Tiga: Time for Playing Games!
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006
Adapting an AI Planning Heuristic for Directed Model Checking.
Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

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

2005
Distributed reachability analysis in timed automata.
STTT, 2005

Optimal scheduling using priced timed automata.
SIGMETRICS Performance Evaluation Review, 2005

Production Scheduling by Reachability Analysis - A Case Study.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

2004
Lower and Upper Bounds in Zone Based Abstractions of Timed Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

A Tutorial on Uppaal.
Proceedings of the Formal Methods for the Design of Real-Time Systems, 2004

Priced Timed Automata: Algorithms and Applications.
Proceedings of the Formal Methods for Components and Objects, 2004

2003
Static Guard Analysis in Timed Automata Verification.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Unification & Sharing in Timed Automata Verification.
Proceedings of the Model Checking Software, 2003

Adding Symmetry Reduction to Uppaal.
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

To Store or Not to Store.
Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002
A Performance Study of Distributed Timed Automata Reachability Analysis.
Electr. Notes Theor. Comput. Sci., 2002

A Tool Architecture for the Next Generation of Uppaal.
Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

UPPAAL Implementation Secrets.
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.
Formal Methods in System Design, 2001

Efficient Guiding Towards Cost-Optimality in UPPAAL.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Minimum-Cost Reachability for Priced Timed Automata.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000
Practical Verification of Embedded Software.
IEEE Computer, 2000

UPPAAL - Now, Next, and Future.
Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000

Distributing Timed Model Checking - How the Search Order Matters.
Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999
Verification of Hierarchical State/Event Systems Using Reusability and Compositionality.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

Efficient Timed Reachability Analysis Using Clock Difference Diagrams.
Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998


  Loading...