( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY.

, , , и . SE/SWM, том P-292 из LNI, стр. 165-166. GI, (2019)

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.

Renate Knüppel

Fritz Knüppel

Erich Knüppel

Günter Knüppel

Frieder Knüppel

 

Другие публикации лиц с тем же именем

How much Specification is Enough? Mutation Analysis for Software Contracts., , и . FormaliSE@ICSE, стр. 42-53. IEEE, (2021)Experience Report on Formally Verifying Parts of OpenJDK's API with KeY., , , и . F-IDE@FLoC, том 284 из EPTCS, стр. 53-70. (2018)GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers., , и . FormaliSE@ICSE, стр. 124-129. IEEE, (2021)Skill-Based Verification of Cyber-Physical Systems., , , , , и . FASE, том 12076 из Lecture Notes in Computer Science, стр. 203-223. Springer, (2020)Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY., , , и . SE/SWM, том P-292 из LNI, стр. 165-166. GI, (2019)Scalability of Deductive Verification Depends on Method Call Treatment., , , и . ISoLA (4), том 11247 из Lecture Notes in Computer Science, стр. 159-175. Springer, (2018)Feature-oriented contract composition., , , , и . SPLC (A), стр. 5:1. ACM, (2019)Verification Strategies for Feature-Oriented Software Product Lines., , , , и . VaMoS, стр. 12:1-12:9. ACM, (2022)Variational correctness-by-construction., , , , и . VaMoS, стр. 7:1-7:9. ACM, (2020)Scaling Correctness-by-Construction., , и . ISoLA (1), том 12476 из Lecture Notes in Computer Science, стр. 187-207. Springer, (2020)