( en | de | ru )

 

Disambiguation of "Bubel, Richard"

Author of the publication

copydeleteadd this publication to your clipboard
Verifying OpenJDK's Sort Method for Generic Collections.

, , , , , and . J. Autom. Reason., 62 (1): 93-126 (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. 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

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)The KeY tool, , , , , , , , , and 1 other author(s). Software and Systems Modeling, 4 (1): 32--54 (February 2005)Automatic Loop Invariant Generation for Data Dependence Analysis., , and . FormaliSE@ICSE, page 34-45. ACM, (2022)Delta-based verification of software product families., , , and . GPCE, page 69-82. ACM, (2021)Trace-based Deductive Verification., , , and . LPAR, volume 94 of EPiC Series in Computing, page 73-95. EasyChair, (2023)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)SmartML: Towards a Modeling Language for Smart Contracts., , and . CoRR, (2024)Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic., , and . LFM@IJCAR, volume 199 of Electronic Notes in Theoretical Computer Science, page 107-128. Elsevier, (2004)Finding Semantic Bugs Fast., , and . FASE, volume 13241 of Lecture Notes in Computer Science, page 145-154. Springer, (2022)The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more., , and . Int. J. Softw. Tools Technol. Transf., 21 (5): 485-513 (2019)