Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Gerd
Last name:	Behrmann
DBLP:	39/5834
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 25 of 31  

Select a publication
Show	Title	Venue	Rating	Date
	Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime. UPPAAL-Tiga: Time for Playing Games!	Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings 2007	(0)	2007
	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.	Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedi 2007	(0)	2007
	Jacob Illum Rasmussen, Gerd Behrmann, Kim Guldstrand Larsen. Complexity in Simplicity: Flexible Agent-Based State Space Exploration.	Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedi 2007	(0)	2007
	Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks. UPPAAL 4.0.	Third International Conference on the Quantitative Evaluaiton of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA 2006	(0)	2006
	Sebastian Kupferschmid, Jörg Hoffmann, Henning Dierks, Gerd Behrmann. Adapting an AI Planning Heuristic for Directed Model Checking.	Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings 2006	(0)	2006
	Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek. Lower and upper bounds in zone-based abstractions of timed automata.	STTT 2006, Volume 8	(0)	2006
	Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen. Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness.	Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings 2005	(0)	2005
	Gerd Behrmann, Ed Brinksma, Martijn Hendriks, Angelika Mader. Production Scheduling by Reachability Analysis - A Case Study.	19th International Parallel and Distributed Processing Symposium (IPDPS 2005), CD-ROM / Abstracts Proceedings, 4-8 April 2005, Denver, CA, USA 2005	(0)	2005
	Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen. Optimal scheduling using priced timed automata.	SIGMETRICS Performance Evaluation Review 2004, Volume 32	(0)	2005
	Gerd Behrmann. Distributed reachability analysis in timed automata.	STTT 2005, Volume 7	(0)	2005
	Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen. Priced Timed Automata: Algorithms and Applications.	Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures 2005	(0)	2004
	Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen. A Tutorial on Uppaal.	Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures 2004	(0)	2004
	Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek. Lower and Upper Bounds in Zone Based Abstractions of Timed Automata.	Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee 2004	(0)	2004
	Gerd Behrmann, Kim Guldstrand Larsen, Radek Pelánek. To Store or Not to Store.	Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings 2003	(0)	2003
	Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager. Adding Symmetry Reduction to Uppaal.	Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers 2003	(0)	2003
	Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi. Unification Sharing in Timed Automata Verification.	Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings 2003	(0)	2003
	Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen. Static Guard Analysis in Timed Automata Verification.	Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings 2003	(0)	2003
	Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi. UPPAAL Implementation Secrets.	Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings 2002	(0)	2002
	Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi. A Tool Architecture for the Next Generation of Uppaal.	Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers 2003	(0)	2002
	Gerd Behrmann. A Performance Study of Distributed Timed Automata Reachability Analysis.	Electr. Notes Theor. Comput. Sci. 2003, Volume 68	(0)	2002
	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, Volume 21	(0)	2002
	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.	Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings 2001	(0)	2001
	Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager. Minimum-Cost Reachability for Priced Timed Automata.	Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings 2001	(0)	2001
	Gerd Behrmann, Ansgar Fehnker. Efficient Guiding Towards Cost-Optimality in UPPAAL.	Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings 2001	(0)	2001
	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, Volume 18	(0)	2001

Your query returned 31 matches in the database.