Richard Bubel

Technische Universität Darmstadt

H-index: 20

Europe-Germany

About Richard Bubel

Richard Bubel, With an exceptional h-index of 20 and a recent h-index of 14 (since 2020), a distinguished researcher at Technische Universität Darmstadt, specializes in the field of Formal Methods, Software Verification, Theorem Proving.

His recent articles reflect a diverse array of research interests and contributions to the field:

Trace-based deductive verification

Towards Trace-based Deductive Verification (Tech Report)

Towards a usable and sustainable deductive verification tool

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

Automatic loop invariant generation for data dependence analysis

Finding semantic bugs fast

Delta-based verification of software product families

Using Abstract Contracts for Verifying Evolving Features and Their Interactions

Richard Bubel Information

University	Technische Universität Darmstadt
Position	Department of Computer Science
Citations(all)	1891
Citations(since 2020)	809
Cited By	1424
hIndex(all)	20
hIndex(since 2020)	14
i10Index(all)	38
i10Index(since 2020)	18
Email	Access Email
University Profile Page	Technische Universität Darmstadt
Google Scholar	View Google Scholar Profile

Richard Bubel Skills & Research Interests

Formal Methods

Software Verification

Theorem Proving

Top articles of Richard Bubel

Title	Journal	Author(s)	Publication Date
Trace-based deductive verification	Proceedings of 24th International Conference on Logic	Richard Bubel Dilian Gurov Reiner Hähnle Marco Scaletta	2023/6/3
Towards Trace-based Deductive Verification (Tech Report)	arXiv preprint arXiv:2211.09487	Richard Bubel Dilian Gurov Reiner Hähnle Marco Scaletta	2022/11/17
Towards a usable and sustainable deductive verification tool		Bernhard Beckert Richard Bubel Reiner Hähnle Mattias Ulbrich	2022/10/17
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday		Wolfgang Ahrendt Bernhard Beckert Richard Bubel Einar Broch Johnsen	2022/7/4
Automatic loop invariant generation for data dependence analysis		Asmae Heydari Tabar Richard Bubel Reiner Hähnle	2022/5/22
Finding semantic bugs fast		Lukas Grätz Reiner Hähnle Richard Bubel	2022/3/29
Delta-based verification of software product families		Marco Scaletta Reiner Hähnle Dominic Steinhöfel Richard Bubel	2021/10/17
Using Abstract Contracts for Verifying Evolving Features and Their Interactions	Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY	Alexander Knüppel Stefan Krüger Thomas Thüm Richard Bubel Sebastian Krieter ...	2020
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY		Wolfgang Ahrendt Bernhard Beckert Richard Bubel Reiner Hähnle Mattias Ulbrich	2020
Proceedings of the PhD Symposium at iFM’19on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’19)		Ka I Pun Volker Stolz Elahe Fazeldehkordi Olaf Owe Toktam Ramezanifarkhani ...	2020
Formal analysis of smart contracts: applying the KeY system	Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY	Jonas Schiffl Wolfgang Ahrendt Bernhard Beckert Richard Bubel	2020
Functional verification of smart contracts via strong data integrity		Wolfgang Ahrendt Richard Bubel	2020