Search results for "Gerd Behrmann"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi	Developing UPPAAL over 15 years.	Softw., Pract. Exper.	2011	DBLP DOI BibTeX RDF
1	Oxana Smirnova, Gerd Behrmann, Michael Grønager, Daniel Johansson, Josva Kleist, Aleksandr Konstantinov, Balázs Kónya, Henrik Thostrup Jensen	Building and Operating a Distributed Regional Centre for LHC Computing and Data Storage.	eScience	2011	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Jacob Illum Rasmussen, Gerd Behrmann, Kim Guldstrand Larsen	Complexity in Simplicity: Flexible Agent-Based State Space Exploration.	TACAS	2007	DBLP DOI BibTeX RDF
1	Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime	UPPAAL-Tiga: Time for Playing Games!	CAV	2007	DBLP DOI BibTeX RDF
1	Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek	Lower and upper bounds in zone-based abstractions of timed automata.	STTT	2006	DBLP DOI BibTeX RDF	Verification, Abstraction, Timed automata, Extrapolation
1	Sebastian Kupferschmid, Jörg Hoffmann, Henning Dierks, Gerd Behrmann	Adapting an AI Planning Heuristic for Directed Model Checking.	SPIN	2006	DBLP DOI BibTeX RDF
1	Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks	UPPAAL 4.0.	QEST	2006	DBLP DOI BibTeX RDF
1	Gerd Behrmann	Distributed reachability analysis in timed automata.	STTT	2005	DBLP DOI BibTeX RDF	Distributed state space generation, Model checking, Load balancing, Timed automata
1	Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen	Optimal scheduling using priced timed automata.	SIGMETRICS Performance Evaluation Review	2005	DBLP DOI BibTeX RDF
1	Gerd Behrmann, Ed Brinksma, Martijn Hendriks, Angelika Mader	Production Scheduling by Reachability Analysis - A Case Study.	IPDPS	2005	DBLP DOI BibTeX RDF
1	Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen	Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness.	FORMATS	2005	DBLP DOI BibTeX RDF
1	Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek	Lower and Upper Bounds in Zone Based Abstractions of Timed Automata.	TACAS	2004	DBLP DOI BibTeX RDF
1	Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen	Priced Timed Automata: Algorithms and Applications.	FMCO	2004	DBLP DOI BibTeX RDF
1	Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen	A Tutorial on Uppaal.	SFM	2004	DBLP DOI BibTeX RDF
1	Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen	Static Guard Analysis in Timed Automata Verification.	TACAS	2003	DBLP DOI BibTeX RDF
1	Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager	Adding Symmetry Reduction to Uppaal.	FORMATS	2003	DBLP DOI BibTeX RDF
1	Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi	Unification & Sharing in Timed Automata Verification.	SPIN	2003	DBLP DOI BibTeX RDF
1	Gerd Behrmann, Kim Guldstrand Larsen, Radek Pelánek	To Store or Not to Store.	CAV	2003	DBLP DOI BibTeX RDF	Timed automata model checking, Static analysis
1	Gerd Behrmann	A Performance Study of Distributed Timed Automata Reachability Analysis.	Electr. Notes Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	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	2002	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi	UPPAAL Implementation Secrets.	FTRTFT	2002	DBLP DOI BibTeX RDF
1	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	2001	DBLP DOI BibTeX RDF
1	Gerd Behrmann, Ansgar Fehnker	Efficient Guiding Towards Cost-Optimality in UPPAAL.	TACAS	2001	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	Optimization, Algorithms, Verification, Data Structures, Timed Automata
1	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	2000	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Gerd Behrmann, Thomas Hune, Frits W. Vaandrager	Distributing Timed Model Checking - How the Search Order Matters.	CAV	2000	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi	Efficient Timed Reachability Analysis Using Clock Difference Diagrams.	CAV	1999	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF

Publications of "Gerd Behrmann" ( http://dblp.L3S.de/Authors/Gerd_Behrmann )