( en | de | ru )

 

Disambiguierung von "Zimmermann, Markus"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Approach for Safe and Secure Software Protection Supported by Symbolic Execution

, , , , , und . Database and Expert Systems Applications - DEXA 2023 Workshops, Seite 67--78. Cham, Springer Nature Switzerland, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Markus Zimmermann

Markus Zimmermann

Markus Zimmermann

Markus Zimmermann

Markus Zimmermann

 

Weitere Publikationen von Autoren mit dem selben Namen

Robust co-design of robots via cascaded optimisation., , und . ICRA, Seite 11280-11286. IEEE, (2023)Quantitative MRI of cerebral white matter hyperintensities: A new approach towards understanding the underlying pathology., , , , , , und . NeuroImage, (2019)A Lightweight Transradial Hand Prosthesis with a Variable Position Thumb and Thermoregulation., , und . ICAR, Seite 61-68. IEEE, (2019)Set-based Design in Agile Development: Developing a Banana Sorting Module - A Practical Approach., , und . IEEM, Seite 159-164. IEEE, (2019)A Roland for an Oliver? Subjective perception of cooperation during conditionally automated driving., , und . CTS, Seite 57-63. IEEE, (2015)Vigilance, boredom proneness and detection time of a malfunction in partially automated driving., , und . CTS, Seite 70-76. IEEE, (2015)Accelerated Parameter Mapping of Multiple-Echo Gradient-Echo Data Using Model-Based Iterative Reconstruction., , , und . IEEE Trans. Med. Imaging, 37 (2): 626-637 (2018)On the Potential of Extending Aircraft Service Time Using a Fatigue Damage Index., , , und . CoRR, (2020)An Approach for Safe and Secure Software Protection Supported by Symbolic Execution., , , , , und . DEXA Workshops, Volume 1872 von Communications in Computer and Information Science, Seite 67-78. Springer, (2023)Formalizing Selected Mechatronic Component's Constraints in SysML Models., , , , , , und . IECON, Seite 1-8. IEEE, (2023)