×
Compute Distance To:
Author ID: hoenicke.jochen Recent zbMATH articles by "Hoenicke, Jochen"
Published as: Hoenicke, Jochen
Documents Indexed: 25 Publications since 2002
Co-Authors: 23 Co-Authors with 25 Joint Publications
487 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

17 Publications have been cited 71 times in 59 Documents Cited by Year
Nested interpolants. Zbl 1312.68059
Heizmann, Matthias; Hoenicke, Jochen; Podelski, Andreas
17
2010
Proof tree preserving interpolation. Zbl 1381.68152
Christ, Jürgen; Hoenicke, Jochen; Nutz, Alexander
8
2013
Linear ranking for linear lasso programs. Zbl 1410.68086
Heizmann, Matthias; Hoenicke, Jochen; Leike, Jan; Podelski, Andreas
7
2013
CSP-OZ-DC: a combination of specification techniques for processes, data and time. Zbl 1088.68643
Hoenicke, Jochen; Olderog, Ernst-Rüdiger
5
2002
Refinement of trace abstraction. Zbl 1248.68146
Heizmann, Matthias; Hoenicke, Jochen; Podelski, Andreas
5
2009
Model checking duration calculus: a practical approach. Zbl 1151.68487
Meyer, Roland; Faber, Johannes; Hoenicke, Jochen; Rybalchenko, Andrey
4
2008
Combining specification techniques for processes, data and time. Zbl 1057.68626
Hoenicke, Jochen; Olderog, Ernst-Rüdiger
4
2002
Efficient interpolation for the theory of arrays. Zbl 06958122
Hoenicke, Jochen; Schindler, Tanja
4
2018
Fairness for dynamic control. Zbl 1284.68400
Hoenicke, Jochen; Olderog, Ernst-Rüdiger; Podelski, Andreas
3
2010
Weakly equivalent arrays. Zbl 1471.68136
Christ, Jürgen; Hoenicke, Jochen
3
2015
Splitting via interpolants. Zbl 1326.68091
Ermis, Evren; Hoenicke, Jochen; Podelski, Andreas
3
2012
Model-checking of specifications integrating processes, data and time. Zbl 1120.68417
Hoenicke, Jochen; Maier, Patrick
2
2005
Thread modularity at many levels: a pearl in compositional verification. Zbl 1380.68274
Hoenicke, Jochen; Majumdar, Rupak; Podelski, Andreas
2
2017
Proof tree preserving tree interpolation. Zbl 1356.68184
Christ, Jürgen; Hoenicke, Jochen
1
2016
Doomed program points. Zbl 1211.68090
Hoenicke, Jochen; Leino, K. Rustan M.; Podelski, Andreas; Schäf, Martin; Wies, Thomas
1
2010
Fairness for infinitary control. Zbl 1444.68018
Hoenicke, Jochen; Podelski, Andreas
1
2015
Incremental search for conflict and unit instances of quantified formulas with E-matching. Zbl 1472.68184
Hoenicke, Jochen; Schindler, Tanja
1
2021
Incremental search for conflict and unit instances of quantified formulas with E-matching. Zbl 1472.68184
Hoenicke, Jochen; Schindler, Tanja
1
2021
Efficient interpolation for the theory of arrays. Zbl 06958122
Hoenicke, Jochen; Schindler, Tanja
4
2018
Thread modularity at many levels: a pearl in compositional verification. Zbl 1380.68274
Hoenicke, Jochen; Majumdar, Rupak; Podelski, Andreas
2
2017
Proof tree preserving tree interpolation. Zbl 1356.68184
Christ, Jürgen; Hoenicke, Jochen
1
2016
Weakly equivalent arrays. Zbl 1471.68136
Christ, Jürgen; Hoenicke, Jochen
3
2015
Fairness for infinitary control. Zbl 1444.68018
Hoenicke, Jochen; Podelski, Andreas
1
2015
Proof tree preserving interpolation. Zbl 1381.68152
Christ, Jürgen; Hoenicke, Jochen; Nutz, Alexander
8
2013
Linear ranking for linear lasso programs. Zbl 1410.68086
Heizmann, Matthias; Hoenicke, Jochen; Leike, Jan; Podelski, Andreas
7
2013
Splitting via interpolants. Zbl 1326.68091
Ermis, Evren; Hoenicke, Jochen; Podelski, Andreas
3
2012
Nested interpolants. Zbl 1312.68059
Heizmann, Matthias; Hoenicke, Jochen; Podelski, Andreas
17
2010
Fairness for dynamic control. Zbl 1284.68400
Hoenicke, Jochen; Olderog, Ernst-Rüdiger; Podelski, Andreas
3
2010
Doomed program points. Zbl 1211.68090
Hoenicke, Jochen; Leino, K. Rustan M.; Podelski, Andreas; Schäf, Martin; Wies, Thomas
1
2010
Refinement of trace abstraction. Zbl 1248.68146
Heizmann, Matthias; Hoenicke, Jochen; Podelski, Andreas
5
2009
Model checking duration calculus: a practical approach. Zbl 1151.68487
Meyer, Roland; Faber, Johannes; Hoenicke, Jochen; Rybalchenko, Andrey
4
2008
Model-checking of specifications integrating processes, data and time. Zbl 1120.68417
Hoenicke, Jochen; Maier, Patrick
2
2005
CSP-OZ-DC: a combination of specification techniques for processes, data and time. Zbl 1088.68643
Hoenicke, Jochen; Olderog, Ernst-Rüdiger
5
2002
Combining specification techniques for processes, data and time. Zbl 1057.68626
Hoenicke, Jochen; Olderog, Ernst-Rüdiger
4
2002
all top 5

Cited by 138 Authors

7 Hoenicke, Jochen
4 Podelski, Andreas
4 Rümmer, Philipp
3 Fedyukovich, Grigory
3 Frohn, Florian
3 Giesl, Jürgen
3 Hensel, Jera
3 Meyer, Roland
3 Rybalchenko, Andrey
3 Ströder, Thomas
2 Barrett, Clark W.
2 Beyer, Dirk
2 Cavalcanti, Ana
2 Christ, Jürgen
2 Faber, Johannes
2 Gurfinkel, Arie
2 Hajdu, Ákos
2 Heizmann, Matthias
2 Kapur, Deepak
2 Muskalla, Sebastian
2 Olderog, Ernst-Rüdiger
2 Padon, Oded
2 Sharygina, Natasha
1 Albarghouthi, Aws
1 André, Étienne
1 Apt, Krzysztof Rafal
1 Asadi, Sepideh
1 Aschermann, Cornelius
1 Backeman, Peter
1 Ben-Amram, Amir M.
1 Best, Eike
1 Blicha, Martin
1 Bodik, Rastislav
1 Brekling, Aske Wiid
1 Brockschmidt, Marc
1 Bruttomesso, Roberto
1 Cassez, Franck
1 Chaki, Sagar
1 Chechik, Marsha
1 Cook, Byron
1 Czerwiński, Wojciech
1 Dangl, Matthias
1 Devillers, Raymond
1 Dietsch, Daniel
1 Dong, JinSong
1 Dong, Ruzhen
1 Erofeev, Evgeny
1 Esen, Zafer
1 Falke, Stephan
1 Filiot, Emmanuel
1 Fischer, Bernd
1 Friedmann, Oliver
1 Fuhs, Carsten
1 Gallagher, John P.
1 Gange, Graeme
1 Gaudel, Marie-Claude
1 Genaim, Samir
1 Ghilardi, Silvio
1 Gianola, Alessandro
1 Grech, Neville
1 Griggio, Alberto
1 Guldstrand, Larsen Kim
1 Gulwani, Sumit
1 Gupta, Aarti
1 Hague, Matthew
1 Hansen, Michael Reichhardt
1 Heath, David G.
1 Hyvärinen, Antti E. J.
1 Irfan, Ahmed
1 Jensen, Peter Gjøl
1 Jhala, Ranjit
1 Kafle, Bishoksan
1 Kaufman, Samuel J.
1 Ke, Wei
1 Khazem, Kareem
1 Klaedtke, Felix
1 Komuravelli, Anvesh
1 Kröning, Daniel
1 Lange, Martin
1 Lanotte, Ruggero
1 Lasota, Sławomir
1 Lengál, Ondřej
1 Lin, Anthony Widjaja
1 Liu, Yang
1 Liu, Zhiming
1 Madhusudan, Parthasarathy
1 Maggiolo-Schettini, Andrea
1 Majumdar, Rupak
1 Majzik, Istvan
1 Mann, Makai
1 Mathur, Umang
1 McMillan, Kenneth L.
1 Micskei, Zoltán
1 Monniaux, David P.
1 Narayan, Kumar K.
1 Navas, Jorge A.
1 Nutz, Alexander
1 Phan, Anh-Dung
1 Pick, Lauren
1 Platzer, André
...and 38 more Authors

Citations by Year