Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Developing UPPAAL over 15 years.

G. Behrmann, A. David, K. Larsen, P. Pettersson, und W. Yi. Softw., Pract. Exper., 41 (2): 133-142 (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Prof. Dr. Gerd Blind University of Stuttgart

Gerd Reichardt University of Stuttgart

Lisa Gerdes University of Stuttgart

Jan-Niklas Gerdes University of Stuttgart

Hon. -Prof. Dr. rer. nat. Gerd Wolff University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Building and Operating a Distributed Regional Centre for LHC Computing and Data Storage.O. Smirnova, G. Behrmann, M. Grønager, D. Johansson, J. Kleist, A. Konstantinov, B. Kónya, und H. Jensen. eScience, Seite 181-188. IEEE Computer Society, (2011)Tools for Model-Checking Timed Systems.A. David, G. Behrmann, P. Bulychev, J. Byg, T. Chatain, K. Larsen, P. Pettersson, J. Rasmussen, J. Srba, W. Yi und 5 andere Autor(en). Communicating Embedded Systems, Wiley, (2013)Distributing Timed Model Checking - How the Search Order Matters.G. Behrmann, T. Hune, und F. Vaandrager. CAV, Volume 1855 von Lecture Notes in Computer Science, Seite 216-231. Springer, (2000)Complexity in Simplicity: Flexible Agent-Based State Space Exploration.J. Rasmussen, G. Behrmann, und K. Larsen. TACAS, Volume 4424 von Lecture Notes in Computer Science, Seite 231-245. Springer, (2007)Verification of Hierarchical State/Event Systems Using Reusability and Compositionality.G. Behrmann, K. Larsen, H. Andersen, H. Hulgaard, und J. Lind-Nielsen. TACAS, Volume 1579 von Lecture Notes in Computer Science, Seite 163-177. Springer, (1999)Priced Timed Automata: Algorithms and Applications.G. Behrmann, K. Larsen, und J. Rasmussen. FMCO, Volume 3657 von Lecture Notes in Computer Science, Seite 162-182. Springer, (2004)Production Scheduling by Reachability Analysis - A Case Study.G. Behrmann, E. Brinksma, M. Hendriks, und A. Mader. IPDPS, IEEE Computer Society, (2005)As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata.K. Larsen, G. Behrmann, E. Brinksma, A. Fehnker, T. Hune, P. Pettersson, und J. Romijn. CAV, Volume 2102 von Lecture Notes in Computer Science, Seite 493-505. Springer, (2001)A Tutorial on Uppaal.G. Behrmann, A. David, und K. Larsen. SFM, Volume 3185 von Lecture Notes in Computer Science, Seite 200-236. Springer, (2004)Lower and upper bounds in zone-based abstractions of timed automata.G. Behrmann, P. Bouyer, K. Larsen, und R. Pelánek. STTT, 8 (3): 204-215 (2006)