1
0
0
(1 - 25 von 25
)
Document List by Author - EGI Document Database - EGI.eudocuments.egi.eu › public
documents.egi.eu
Gerd Behrmann of is listed as an author on some version of the following documents: See documents with Gerd Behrmann as an author only on the most recent ...
Publications, generated: 21:35, 9 March 2022
domino.mpi-inf.mpg.de
Sebastian Kupferschmid, Jörg Hoffmann, Henning Dierks, and Gerd Behrmann In: Model checking software : 13th International SPIN Workshop, Vienna, Austria, ... › L...
Dependable Software Systems Engineeringgoogle.es
books.google.es
... Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G. Larsen, Paul Pettersson, and Wang Yi. Uppaal implementation secrets. In Werner Damm and Ernst ...
Formal Modeling and Analysis of Timed Systems: Third ...google.es
books.google.es
... Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, and Kim G. Larsen. Static guard analysis in timed automata verification. In Proc. 9th International ...
Formal Techniques in Real-Time and Fault-Tolerant Systems: ...google.es
books.google.es
... Gerd Behrmann, Thomas Hune, and Frits Vaandrager. Distributed timed model checking - How the search order matters. In Proc. of 12th International Conference ...
Model-Based Validation of Intelligencewww.aaai.org › Library › Symposia › Spring
www.aaai.org
Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, and Judi Romijn. Protocol Verification with Heuristic Search / 75
Publications Master Template, generated: 0:41, 7 December 2019
domino.mpi-inf.mpg.de
Your search returned the following document: Sebastian Kupferschmid, Jörg Hoffmann, Henning Dierks, and Gerd Behrmann Adapting an AI Planning Heuristic ...
Tools and Algorithms for the Construction and Analysis of ...google.es
books.google.es
... Gerd Behrmann , Patricia Bouyer , Kim G. Larsen , and Radek Pelanek . Lower and upper bounds in zone - based abstractions of timed automata . Int . J. Softw ...
Dependable Software Systems Engineering - Google Books
books.google.ru
Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G. Larsen, Paul Pettersson, and Wang Yi. Uppaal implementation secrets. In Werner Damm and ...
Engineering Methods and Tools for Software Safety and Security -...
books.google.ru
As a consequence of the wide distribution of software and software infrastructure, information security and safety depend on the quality and excellent...
Formal Methods for the Design of Real-Time Systems: International...
books.google.ru
Gerd Behrmann. Distributed reachability analysis in timed automata. Software Tool For Technology Transfer (STTT), Currently available in the Online First ...
Formal Modeling and Analysis of Timed Systems: Third International...
books.google.ru
This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS...
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th...
books.google.ru
This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the...
Modeling and Verification of Parallel Processes: 4th Summer School,...
books.google.ru
Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP...
Engineering Dependable Software Systems
books.google.de
Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G. Larsen, Paul Pettersson, and Wang Yi. Uppaal implementation secrets.
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 ...
Formal Modeling and Analysis of Timed Systems: Third ...
books.google.de
Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, and Kim G. Larsen. Static guard analysis in timed automata verification. In Proc.
Embedded Software: Third International Conference, EMSOFT 2003,...
books.google.de
This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in...
Modeling and Verification of Parallel Processes: 4th Summer ...
books.google.de
Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, and Judi Romijn. Efficient Guiding Towards Cost-Optimality in uppaal.
Formal Methods for Components and Objects: Third International...
books.google.de
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the...
Tools and Algorithms for the Construction and Analysis of Systems:...
books.google.de
... Germany University of Dortmund, Germany RIACS, NASA Ames Research Center, USA Gerd Behrmann Saddek Bensalem Cinzia Bernardeschi Gérard Berry ...
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,
Verwandte Suchanfragen zu Gerd Behrmann
Ansgar Fehnker Paul Pettersson Werner Damm | Carsten Weise Henning Dierks Peter Phleps | Denis Winter |
Person "Behrmann" (4) Vorname "Gerd" (24029) Name "Behrmann" (657) |
sortiert nach Relevanz / Datum