Concepedia

Jochen Hoenicke

JH

13

Publications

372

Citations

12

H-Index

2002

Active since

Affiliations

University of Freiburg(Current)

Tel Aviv University

Carl von Ossietzky Universität Oldenburg

Robert Bosch (Germany)

University of California, Los Angeles

Jochen Hoenicke is an author at University of Freiburg specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsAutomated ReasoningFormal VerificationProgram AnalysisSoftware AnalysisSystems EngineeringFormal Specification

Publications per year

2002–2019

13

Publications

13

Nested interpolants

Matthias Heizmann, Jochen Hoenicke, Andreas Podelski · 2010 · 101 citations

Partial Correctness Proofs, Formal Specification, Engineering +13

Reducing liveness to safety in first-order logic

Oded Padon, Jochen Hoenicke, Giuliano Losa et al. · Proceedings of the ACM on Programming Languages · 2017 · 38 citations · Full text

Applied Logic, Engineering, Verification +18

Automotive behavioral requirements expressed in a specification pattern system: a case study at BOSCH

Amalinda Post, Igor Menzel, Jochen Hoenicke et al. · Requirements Engineering · 2012 · 37 citations

Software Requirement, Automotive Engineering, Engineering +12

CSP-OZ-DC: a combination of specification techniques for processes, data and time

Jochen Hoenicke, Ernst-Rüdiger Olderog · Nordic journal of computing · 2002 · 32 citations

Engineering, Verification, Software Engineering +23

Nested interpolants

Matthias Heizmann, Jochen Hoenicke, Andreas Podelski · ACM SIGPLAN Notices · 2010 · 29 citations

Partial Correctness Proofs, Formal Specification, Engineering +13

Rows per page

1–5 of 13