( en | de | ru )

 

Disambiguation of "Damm, Werner"

Author of the publication

copydeleteadd this publication to your clipboard
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata.

, , and . FroCos, volume 9322 of Lecture Notes in Computer Science, page 186-202. Springer, (2015)

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.

Werner Damm

Werner Damm

Klaus-Werner Damm

Klaus-Werner Damm

Klaus-Werner Damm

 

Other publications of authors with the same name

Perspectives on the Validation and Verification of Machine Learning Systems in the Context of Highly Automated Vehicles., , , and . AAAI Spring Symposia, AAAI Press, (2018)Embedded system development for automotive applications: trends and challenges.. EMSOFT, page 1. ACM, (2006)Verification of microprogrammed computer architectures in the S*-system: a case study., and . MICRO, page 61-73. ACM/IEEE, (1985)Understanding UML - Pains and Rewards.. UML, volume 2185 of Lecture Notes in Computer Science, page 240. Springer, (2001)A schematalogical approach to the alalysis of the procedure concept in algol-languages., and . CLAAP, page 130-134. Université de Lille 1, (1980)Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach.. FMICS, volume 5596 of Lecture Notes in Computer Science, page 3. Springer, (2008)Exploiting Learning and Scenario-Based Specification Languages for the Verification and Validation of Highly Automated Driving., and . SEFAIAS@ICSE, page 39-46. ACM, (2018)Integrating Neurophysiological Sensors and Driver Models for Safe and Performant Automated Vehicle Control in Mixed Traffic., , , , , and . IV, page 82-89. IEEE, (2019)Offering Formal Verification Capabilities for Industry Standard Case Tools: Challenges and Results.. ICFEM, page 153. IEEE Computer Society, (2000)A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations., , , , , , , , , and 13 other author(s). ACM Trans. Cyber Phys. Syst., 8 (1): 4:1-4:23 (January 2024)