( en | de | ru )

 

Disambiguation of "Behrmann, Gerd"

Author of the publication

copydeleteadd this publication to your clipboard
Verification of Hierarchical State/Event Systems using Reusability and Compositionality.

, , , , and . Formal Methods Syst. Des., 21 (2): 225-244 (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Karin Behrmann

Peter Behrmann

Franz Behrmann

Adolf Behrmann

Malte Behrmann

 

Other publications of authors with the same name

As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata., , , , , , and . CAV, volume 2102 of Lecture Notes in Computer Science, page 493-505. Springer, (2001)Distributing Timed Model Checking - How the Search Order Matters., , and . CAV, volume 1855 of Lecture Notes in Computer Science, page 216-231. Springer, (2000)Verification of Hierarchical State/Event Systems Using Reusability and Compositionality., , , , and . TACAS, volume 1579 of Lecture Notes in Computer Science, page 163-177. Springer, (1999)Storage for Advanced Scientific Use-Cases and Beyond., , , , , , , , , and . PDP, page 651-657. IEEE Computer Society, (2018)Building and Operating a Distributed Regional Centre for LHC Computing and Data Storage., , , , , , , and . eScience, page 181-188. IEEE Computer Society, (2011)Complexity in Simplicity: Flexible Agent-Based State Space Exploration., , and . TACAS, volume 4424 of Lecture Notes in Computer Science, page 231-245. Springer, (2007)Tools for Model-Checking Timed Systems., , , , , , , , , and 5 other author(s). Communicating Embedded Systems, Wiley, (2013)Priced Timed Automata: Algorithms and Applications., , and . FMCO, volume 3657 of Lecture Notes in Computer Science, page 162-182. Springer, (2004)Distributed reachability analysis in timed automata.. Int. J. Softw. Tools Technol. Transf., 7 (1): 19-30 (2005)Practical Verification of Embedded Software., , , , , , , , , and . Computer, 33 (5): 68-75 (2000)