Gerd Behrmann und Computer - Info zur Person

(1 - 17 von 18

)

Computer Aided Verification: 14th International Conference, CAV

books.google.de

... Pnueli (Weizmann Inst.) Joseph Sifakis (IMAG Grenoble) Dept. of CS, Aalborg University Twente University BRICS Gerd Behrmann Shoham Ben-David Johan ...

Minimum-cost Reachability for Priced Timed Automata - Gerd Behrmann -...

books.google.de

Minimum-Cost Reachability for Priced Timed Automata. Front Cover. Gerd Behrmann. BRICS, Computer Science Department, University of Aarhus,

A Tutorial on Uppaal - Aalborg UniversitetA Tutorial on Uppaal Gerd...

pdfslide.us

A Tutorial on Uppaal Gerd Behrmann, Alexandre David, and Kim G. Larsen Department of Computer Science, Aalborg University, Denmark...

dblp: Gerd Behrmann

dblp.uni-trier.de

List of computer science publications by Gerd Behrmann

Department of Computer Science - Technical Reports

tr.informatik.uni-freiburg.de

Sebastian Kupferschmid, Joerg Hoffmann, Henning Dierks, Gerd Behrmann: Adapting an AI Planning Heuristic for Directed Model Checking Keywords: directed model checking, heuristic search (Abstract) Report No.221, August (PostScript) K. A. Mohamed: Identifying Tabletop Corners with Angular- and Velocity-Type Trace-Features in Pen-Gestures

dblp: Jørn Lind-Nielsen

dblp.uni-trier.de

List of computer science publications by Jørn Lind-Nielsen

dblp: Patricia Bouyer

dblp.uni-trier.de

List of computer science publications by Patricia Bouyer

Patricia BOUYER-DECITRE - LSV - ReadkonG

www.readkong.com

[114] Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, and Kim G. Larsen. Static guard anal- ysis in timed automata verification. In Proceedings of the 9th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS’03), Warsaw, Poland, April 2003, volume of Lecture Notes in Computer Science, pages 254–277.