Author of the publication

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

Relational Test Tables: A Practical Specification Language for Evolution and Security., , , , and . CoRR, (2019)On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems., , , , , and . INDIN, page 413-418. IEEE, (2019)Formal Verification of Evolutionary Changes., , , and . Managed Software Evolution, Springer, (2019)Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems., , , and . ICTAC, volume 13572 of Lecture Notes in Computer Science, page 7-13. Springer, (2022)Achieving delta description of the control software for an automated production system evolution., , , , and . CASE, page 1170-1176. IEEE, (2018)Formal Specification and Verification of JDK's Identity Hash Map Implementation., , , , , and . IFM, volume 13274 of Lecture Notes in Computer Science, page 45-62. Springer, (2022)Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis., , , , , and . CoRR, (2024)Formal Specification and Verification for Automated Production Systems.. Karlsruhe Institute of Technology, Germany, (2021)Quantifying Software Reliability via Model-Counting., and . QEST, volume 12846 of Lecture Notes in Computer Science, page 59-79. Springer, (2021)Static Capability-Based Security for Smart Contracts., , and . DAPPS, page 110-117. IEEE, (2023)