Edit Profile (opens in new tab) Hoenicke, Jochen Compute Distance To: Compute Author ID: 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 all top 5 Co-Authors 0 single-authored 13 Podelski, Andreas 6 Heizmann, Matthias 4 Christ, Jürgen 4 Nutz, Alexander 4 Olderog, Ernst-Rüdiger 3 Schindler, Tanja I. 2 Dietsch, Daniel 2 Meyer, Roland 1 Ermis, Evren 1 Faber, Johannes 1 Farzan, Azadeh 1 Kincaid, Zachary 1 Leike, Jan 1 Leino, K. Rustan M. 1 Maier, Patrick 1 Majumdar, Rupak 1 McMillan, Kenneth L. 1 Padon, Oded 1 Rybalchenko, Andrey 1 Sagiv, Mooly 1 Schäf, Martin 1 Shoham, Sharon 1 Wies, Thomas Serials 2 Formal Methods in System Design 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 Nordic Journal of Computing Fields 25 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 17 Publications have been cited 71 times in 59 Documents Cited by ▼ Year ▼ Nested interpolants. Zbl 1312.68059Heizmann, Matthias; Hoenicke, Jochen; Podelski, Andreas 17 2010 Proof tree preserving interpolation. Zbl 1381.68152Christ, Jürgen; Hoenicke, Jochen; Nutz, Alexander 8 2013 Linear ranking for linear lasso programs. Zbl 1410.68086Heizmann, Matthias; Hoenicke, Jochen; Leike, Jan; Podelski, Andreas 7 2013 CSP-OZ-DC: a combination of specification techniques for processes, data and time. Zbl 1088.68643Hoenicke, Jochen; Olderog, Ernst-Rüdiger 5 2002 Refinement of trace abstraction. Zbl 1248.68146Heizmann, Matthias; Hoenicke, Jochen; Podelski, Andreas 5 2009 Model checking duration calculus: a practical approach. Zbl 1151.68487Meyer, Roland; Faber, Johannes; Hoenicke, Jochen; Rybalchenko, Andrey 4 2008 Combining specification techniques for processes, data and time. Zbl 1057.68626Hoenicke, Jochen; Olderog, Ernst-Rüdiger 4 2002 Efficient interpolation for the theory of arrays. Zbl 06958122Hoenicke, Jochen; Schindler, Tanja 4 2018 Fairness for dynamic control. Zbl 1284.68400Hoenicke, Jochen; Olderog, Ernst-Rüdiger; Podelski, Andreas 3 2010 Weakly equivalent arrays. Zbl 1471.68136Christ, Jürgen; Hoenicke, Jochen 3 2015 Splitting via interpolants. Zbl 1326.68091Ermis, Evren; Hoenicke, Jochen; Podelski, Andreas 3 2012 Model-checking of specifications integrating processes, data and time. Zbl 1120.68417Hoenicke, Jochen; Maier, Patrick 2 2005 Thread modularity at many levels: a pearl in compositional verification. Zbl 1380.68274Hoenicke, Jochen; Majumdar, Rupak; Podelski, Andreas 2 2017 Proof tree preserving tree interpolation. Zbl 1356.68184Christ, Jürgen; Hoenicke, Jochen 1 2016 Doomed program points. Zbl 1211.68090Hoenicke, Jochen; Leino, K. Rustan M.; Podelski, Andreas; Schäf, Martin; Wies, Thomas 1 2010 Fairness for infinitary control. Zbl 1444.68018Hoenicke, Jochen; Podelski, Andreas 1 2015 Incremental search for conflict and unit instances of quantified formulas with E-matching. Zbl 1472.68184Hoenicke, Jochen; Schindler, Tanja 1 2021 Incremental search for conflict and unit instances of quantified formulas with E-matching. Zbl 1472.68184Hoenicke, Jochen; Schindler, Tanja 1 2021 Efficient interpolation for the theory of arrays. Zbl 06958122Hoenicke, Jochen; Schindler, Tanja 4 2018 Thread modularity at many levels: a pearl in compositional verification. Zbl 1380.68274Hoenicke, Jochen; Majumdar, Rupak; Podelski, Andreas 2 2017 Proof tree preserving tree interpolation. Zbl 1356.68184Christ, Jürgen; Hoenicke, Jochen 1 2016 Weakly equivalent arrays. Zbl 1471.68136Christ, Jürgen; Hoenicke, Jochen 3 2015 Fairness for infinitary control. Zbl 1444.68018Hoenicke, Jochen; Podelski, Andreas 1 2015 Proof tree preserving interpolation. Zbl 1381.68152Christ, Jürgen; Hoenicke, Jochen; Nutz, Alexander 8 2013 Linear ranking for linear lasso programs. Zbl 1410.68086Heizmann, Matthias; Hoenicke, Jochen; Leike, Jan; Podelski, Andreas 7 2013 Splitting via interpolants. Zbl 1326.68091Ermis, Evren; Hoenicke, Jochen; Podelski, Andreas 3 2012 Nested interpolants. Zbl 1312.68059Heizmann, Matthias; Hoenicke, Jochen; Podelski, Andreas 17 2010 Fairness for dynamic control. Zbl 1284.68400Hoenicke, Jochen; Olderog, Ernst-Rüdiger; Podelski, Andreas 3 2010 Doomed program points. Zbl 1211.68090Hoenicke, Jochen; Leino, K. Rustan M.; Podelski, Andreas; Schäf, Martin; Wies, Thomas 1 2010 Refinement of trace abstraction. Zbl 1248.68146Heizmann, Matthias; Hoenicke, Jochen; Podelski, Andreas 5 2009 Model checking duration calculus: a practical approach. Zbl 1151.68487Meyer, Roland; Faber, Johannes; Hoenicke, Jochen; Rybalchenko, Andrey 4 2008 Model-checking of specifications integrating processes, data and time. Zbl 1120.68417Hoenicke, Jochen; Maier, Patrick 2 2005 CSP-OZ-DC: a combination of specification techniques for processes, data and time. Zbl 1088.68643Hoenicke, Jochen; Olderog, Ernst-Rüdiger 5 2002 Combining specification techniques for processes, data and time. Zbl 1057.68626Hoenicke, Jochen; Olderog, Ernst-Rüdiger 4 2002 all cited Publications top 5 cited Publications 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 all top 5 Cited in 14 Serials 6 Formal Methods in System Design 5 Journal of Automated Reasoning 3 Theoretical Computer Science 2 Acta Informatica 2 Formal Aspects of Computing 2 Fundamenta Informaticae 2 Journal of Logical and Algebraic Methods in Programming 1 Journal of Computer and System Sciences 1 Journal of Symbolic Computation 1 Real-Time Systems 1 Annals of Mathematics and Artificial Intelligence 1 Journal of the ACM 1 Computer Languages, Systems & Structures 1 ACM Transactions on Computational Logic Cited in 5 Fields 58 Computer science (68-XX) 13 Mathematical logic and foundations (03-XX) 1 History and biography (01-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year