( en | de | ru )

 

Disambiguation of "Bubel, Richard"

Author of the publication

copydeleteadd this publication to your clipboard
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct.

, , , , , , and . LNCS Trans. Found. Mastering Chang., (2016)

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.

Richard Bubel

Karl Bubel

Kathrin Bubel

Ingrid Bubel

Frank Bubel

 

Other publications of authors with the same name

The KeY tool, , , , , , , , , and 1 other author(s). Software and Systems Modeling, 4 (1): 32--54 (February 2005)Functional Verification of Smart Contracts via Strong Data Integrity., and . ISoLA (3), volume 12478 of Lecture Notes in Computer Science, page 9-24. Springer, (2020)Automatic Loop Invariant Generation for Data Dependence Analysis., , and . FormaliSE@ICSE, page 34-45. ACM, (2022)Trace-based Deductive Verification., , , and . LPAR, volume 94 of EPiC Series in Computing, page 73-95. EasyChair, (2023)Delta-based verification of software product families., , , and . GPCE, page 69-82. ACM, (2021)Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier., , , , , , and . FSEN, volume 11761 of Lecture Notes in Computer Science, page 228-243. Springer, (2019)Towards a Usable and Sustainable Deductive Verification Tool., , , and . ISoLA (2), volume 13702 of Lecture Notes in Computer Science, page 281-300. Springer, (2022)Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct., , , , , , and . LNCS Trans. Found. Mastering Chang., (2016)A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY., , , , , and . Softw. Syst. Model., 15 (4): 987-1012 (2016)Formal Analysis of Smart Contracts: Applying the KeY System., , , and . 20 Years of KeY, volume 12345 of Lecture Notes in Computer Science, Springer, (2020)