( en | de | ru )

 

Disambiguierung von "Behrmann, Gerd"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Optimal scheduling using priced timed automata.

, , und . SIGMETRICS Perform. Evaluation Rev., 32 (4): 34-40 (2005)

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.

Franz Behrmann

Adolf Behrmann

Karin Behrmann

Peter Behrmann

Malte Behrmann

 

Weitere Publikationen von Autoren mit dem selben Namen

As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata., , , , , , und . CAV, Volume 2102 von Lecture Notes in Computer Science, Seite 493-505. Springer, (2001)To Store or Not to Store., , und . CAV, Volume 2725 von Lecture Notes in Computer Science, Seite 433-445. Springer, (2003)Distributed reachability analysis in timed automata.. Int. J. Softw. Tools Technol. Transf., 7 (1): 19-30 (2005)UPPAAL - present and future., , , , , und . CDC, Seite 2881-2886. IEEE, (2001)Optimal scheduling using priced timed automata., , und . SIGMETRICS Perform. Evaluation Rev., 32 (4): 34-40 (2005)Lower and Upper Bounds in Zone Based Abstractions of Timed Automata., , , und . TACAS, Volume 2988 von Lecture Notes in Computer Science, Seite 312-326. Springer, (2004)Static Guard Analysis in Timed Automata Verification., , , und . TACAS, Volume 2619 von Lecture Notes in Computer Science, Seite 254-277. Springer, (2003)Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness., , und . FORMATS, Volume 3829 von Lecture Notes in Computer Science, Seite 81-94. Springer, (2005)A Performance Study of Distributed Timed Automata Reachability Analysis.. PDMC@CONCUR, Volume 68 von Electronic Notes in Theoretical Computer Science, Seite 486-502. Elsevier, (2002)Efficient Guiding Towards Cost-Optimality in UPPAAL., , , , , und . TACAS, Volume 2031 von Lecture Notes in Computer Science, Seite 174-188. Springer, (2001)