Gerd Behrmann und Kim Larsen - Info zur Person

(1 - 7 von 8

)

A Performance Study of Distributed Timed Automata Reachability...

www.sciencedirect.com

Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, David Alexandre, Fehnker Ansgar, Thomas S. Hune, Bertrand Jeannet, Kim Larsen, ...

Intro to UPPAAL. Gerd Behrmann Kim Larsen. BRICS & Aalborg ...technodocbox.com › C_and_CPP › Intro...

technodocbox.com

Intro to UPPAAL p Intro to UPPAAL Gerd Behrmann Kim Larsen BRICS & Aalborg University Intro to UPPAAL p Plan of the Lecture 1.

PROGRAM OF TUESDAY, APRIL 3RD

etaps.org

Gerd Behrmann (Aalborg University), Ansgar Fehnker (University of Nijmegen), Thomas Hune (Aarhus University), Kim Larsen (University of Twente), Paul Pettersson (Uppsala University), Judi Romijn (University of Nijmegen) Linear Parametric Model Checking of Timed Automata Thomas ...

Minimum-Cost Reachability for Priced Timed Automata? Gerd ...docplayer.net ›

docplayer.net

Gerd Behrmann 1, Ansgar Fehnker 3, Thomas Hune 2, Kim Larsen 1 Paul Pettersson 4, Judi Romijn 3,andFrits Vaandrager 3 1 Basic Research in Computer ...

HTMLcse.cgi.unsw.edu.au › ~eptcs

cgi.cse.unsw.edu.au

Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Larsen, Paul Pettersson, Judi Romijn & Frits Vaandrager (2001): Minimum-Cost Reachability for Priced ...

Minimum-cost reachability for priced timed automata — Macquarie...

researchers.mq.edu.au

Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Larsen, Paul Pettersson, Judi Romijn, Frits Vaandrager. Research output: Chapter in Book/Report/Conference ...