Author of the publication

An Approach for Safe and Secure Software Protection Supported by Symbolic Execution

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

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

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