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

Set-based Design in Agile Development: Developing a Banana Sorting Module - A Practical Approach., , and . IEEM, page 159-164. IEEE, (2019)A Lightweight Transradial Hand Prosthesis with a Variable Position Thumb and Thermoregulation., , and . ICAR, page 61-68. IEEE, (2019)Quantitative MRI of cerebral white matter hyperintensities: A new approach towards understanding the underlying pathology., , , , , , and . NeuroImage, (2019)Robust co-design of robots via cascaded optimisation., , and . ICRA, page 11280-11286. IEEE, (2023)On the Potential of Extending Aircraft Service Time Using a Fatigue Damage Index., , , and . CoRR, (2020)Accelerated Parameter Mapping of Multiple-Echo Gradient-Echo Data Using Model-Based Iterative Reconstruction., , , and . IEEE Trans. Med. Imaging, 37 (2): 626-637 (2018)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)