Author of the publication

Test Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition Systems.

, and . QSIC, page 122-131. IEEE Computer Society, (2010)

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.

 

Other publications of authors with the same name

Safety and security co-engineering for highly automated vehicles., , , , , , and . Elektrotech. Informationstechnik, 138 (7): 469-479 (2021)Generation of executable test cases based on behavioral UML system models., and . AST, page 31-34. ACM, (2010)A Systematic Empirical Analysis of Forging Fingerprints to Fool Biometric Systems., and . Int. J. Secur. Softw. Eng., 2 (1): 40-83 (2011)Static- and Dynamic Consistency Analysis of UML State Chart Models., and . MoDELS (1), volume 6394 of Lecture Notes in Computer Science, page 151-165. Springer, (2010)From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation., , and . QSIC, page 173-178. IEEE Computer Society, (2009)Evaluation of an indoor localization system for a mobile robot., , and . ICCVE, page 1-5. IEEE, (2019)Test case generation in practice for communicating embedded systems., and . Elektrotech. Informationstechnik, 128 (6): 240-244 (2011)Triggering Conditions Analysis and Use Case for Validation of ADAS/ADS Functions., , , , and . SAFECOMP Workshops, volume 13415 of Lecture Notes in Computer Science, page 11-22. Springer, (2022)ACTIVE - Autonomous Car to Infrastructure Communication Mastering Adverse Environments., , , , , , , , , and 3 other author(s). SDF, page 1-6. IEEE, (2019)SELENE: Self-Monitored Dependable Platform for High-Performance Safety-Critical Systems., , , , , , , , , and 9 other author(s). DSD, page 370-377. IEEE, (2020)