Author of the publication

Skill-Based Verification of Cyber-Physical Systems.

, , , , , and . Software Engineering, volume P-310 of LNI, page 67-68. Gesellschaft für Informatik e.V., (2021)

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

How much Specification is Enough? Mutation Analysis for Software Contracts., , and . FormaliSE@ICSE, page 42-53. IEEE, (2021)Experience Report on Formally Verifying Parts of OpenJDK's API with KeY., , , and . F-IDE@FLoC, volume 284 of EPTCS, page 53-70. (2018)Skill-Based Verification of Cyber-Physical Systems., , , , , and . FASE, volume 12076 of Lecture Notes in Computer Science, page 203-223. Springer, (2020)Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY., , , and . SE/SWM, volume P-292 of LNI, page 165-166. GI, (2019)GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers., , and . FormaliSE@ICSE, page 124-129. IEEE, (2021)Feature-oriented contract composition., , , , and . J. Syst. Softw., (2019)Scalability of Deductive Verification Depends on Method Call Treatment., , , and . ISoLA (4), volume 11247 of Lecture Notes in Computer Science, page 159-175. Springer, (2018)Using Abstract Contracts for Verifying Evolving Features and Their Interactions., , , , , , and . 20 Years of KeY, volume 12345 of Lecture Notes in Computer Science, Springer, (2020)Verification Strategies for Feature-Oriented Software Product Lines., , , , and . VaMoS, page 12:1-12:9. ACM, (2022)Skill-Based Verification of Cyber-Physical Systems., , , , , and . Software Engineering, volume P-310 of LNI, page 67-68. Gesellschaft für Informatik e.V., (2021)