×

zbMATH — the first resource for mathematics

Habermehl, Peter

Compute Distance To:
Author ID: habermehl.peter Recent zbMATH articles by "Habermehl, Peter"
Published as: Habermehl, Peter; Habermehl, P.
Documents Indexed: 44 Publications since 1997, including 1 Book

Publications by Year

Citations contained in zbMATH Open

33 Publications have been cited 220 times in 167 Documents Cited by Year
Programs with lists are counter automata. Zbl 1188.68181
Bouajjani, Ahmed; Bozga, Marius; Habermehl, Peter; Iosif, Radu; Moro, Pierre; Vojnar, Tomáš
19
2006
Abstract regular tree model checking of complex dynamic data structures. Zbl 1225.68067
Bouajjani, Ahmed; Habermehl, Peter; Rogalewicz, Adam; Vojnar, Tomáš
19
2006
Abstract regular model checking. Zbl 1103.68071
Bouajjani, Ahmed; Habermehl, Peter; Vojnar, Tomáš
17
2004
Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations. Zbl 0933.68089
Bouajjani, Ahmed; Habermehl, Peter
16
1999
Counting in trees for free. Zbl 1099.03010
Seidl, Helmut; Schwentick, Thomas; Muscholl, Anca; Habermehl, Peter
16
2004
Emptiness of multi-pushdown automata is 2ETIME-complete. Zbl 1161.68509
Atig, Mohamed Faouzi; Bollig, Benedikt; Habermehl, Peter
14
2008
Abstract regular tree model checking. Zbl 1273.68221
Bouajjani, Ahmed; Habermehl, Peter; Rogalewicz, Adam; Vojnar, Tomáš
13
2006
Verifying programs with dynamic 1-selector-linked structures in regular model checking. Zbl 1087.68585
Bouajjani, Ahmed; Habermehl, Peter; Moro, Pierre; Vojnar, Tomáš
9
2005
What else is decidable about integer arrays? Zbl 1139.03007
Habermehl, Peter; Iosif, Radu; Vojnar, Tomáš
8
2008
Antichain-based universality and inclusion testing over nondeterministic finite tree automata. Zbl 1172.68493
Bouajjani, Ahmed; Habermehl, Peter; Holík, Lukáš; Touili, Tayssir; Vojnar, Tomáš
7
2008
Regular model checking using inference of regular languages. Zbl 1272.68256
Habermehl, Peter; Vojnar, Tomáš
7
2005
Forest automata for verification of heap manipulation. Zbl 1284.68398
Habermehl, Peter; Holík, Lukáš; Rogalewicz, Adam; Šimáček, Jiří; Vojnar, Tomáš
7
2012
Rewriting systems with data. Zbl 1135.68467
Bouajjani, Ahmed; Habermehl, Peter; Jurski, Yan; Sighireanu, Mihaela
6
2007
On Yen’s path logic for Petri nets. Zbl 1230.68153
Atig, Mohamed Faouzi; Habermehl, Peter
6
2011
Automatic verification of recursive procedures with one integer parameter. Zbl 1053.68060
Bouajjani, Ahmed; Habermehl, Peter; Mayr, Richard
5
2003
A logic of singly indexed arrays. Zbl 1182.03032
Habermehl, Peter; Iosif, Radu; Vojnar, Tomáš
5
2008
Verification of parametric concurrent systems with prioritised FIFO resource management. Zbl 1138.68464
Bouajjani, Ahmed; Habermehl, Peter; Vojnar, Tomáš
4
2008
On Yen’s path logic for Petri nets. Zbl 1260.68255
Atig, Mohamed Faouzi; Habermehl, Peter
4
2009
Realizability of concurrent recursive programs. Zbl 1234.68071
Bollig, Benedikt; Grindei, Manuela-Lidia; Habermehl, Peter
4
2009
Automatic verification of integer array programs. Zbl 1242.68063
Bozga, Marius; Habermehl, Peter; Iosif, Radu; Konečný, Filip; Vojnar, Tomáš
4
2009
The downward-closure of Petri net languages. Zbl 1288.68181
Habermehl, Peter; Meyer, Roland; Wimmel, Harro
4
2010
Programs with lists are counter automata. Zbl 1217.68059
Bouajjani, Ahmed; Bozga, Marius; Habermehl, Peter; Iosif, Radu; Moro, Pierre; Vojnar, Tomáš
4
2011
Ordered navigation on multi-attributed data words. Zbl 1417.68082
Decker, Normann; Habermehl, Peter; Leucker, Martin; Thoma, Daniel
4
2014
Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations. Zbl 1401.68186
Bouajjani, Ahmed; Habermehl, Peter
4
1997
Proving termination of tree manipulating programs. Zbl 1141.68469
Habermehl, Peter; Iosif, Radu; Rogalewicz, Adam; Vojnar, Tomáš
3
2007
A fresh approach to learning register automata. Zbl 1381.68103
Bollig, Benedikt; Habermehl, Peter; Leucker, Martin; Monmege, Benjamin
2
2013
A robust class of data languages and an application to learning. Zbl 1448.68258
Bollig, Benedikt; Habermehl, Peter; Leucker, Martin; Monmege, Benjamin
2
2014
Ehrenfeucht-Fraïssé goes elementarily automatic for structures of bounded degree. Zbl 1245.03061
Durand-Gasselin, Antoine; Habermehl, Peter
2
2012
Automatic verification of recursive procedures with one integer parameter. Zbl 1005.68096
Bouajjani, Ahmed; Habermehl, Peter; Mayr, Richard
1
2001
Automata-based verification of programs with tree updates. Zbl 1185.68414
Habermehl, Peter; Iosif, Radu; Vojnar, Tomáš
1
2010
Regular transformations of data words through origin information. Zbl 06591826
Durand-Gasselin, Antoine; Habermehl, Peter
1
2016
Emptiness of ordered multi-pushdown automata is 2ETIME-complete. Zbl 1387.68129
Atig, Mohamed Faouzi; Bollig, Benedikt; Habermehl, Peter
1
2017
Model-checking counting temporal logics on flat structures. Zbl 1442.68105
Decker, Normann; Habermehl, Peter; Leucker, Martin; Sangnier, Arnaud; Thoma, Daniel
1
2017
Emptiness of ordered multi-pushdown automata is 2ETIME-complete. Zbl 1387.68129
Atig, Mohamed Faouzi; Bollig, Benedikt; Habermehl, Peter
1
2017
Model-checking counting temporal logics on flat structures. Zbl 1442.68105
Decker, Normann; Habermehl, Peter; Leucker, Martin; Sangnier, Arnaud; Thoma, Daniel
1
2017
Regular transformations of data words through origin information. Zbl 06591826
Durand-Gasselin, Antoine; Habermehl, Peter
1
2016
Ordered navigation on multi-attributed data words. Zbl 1417.68082
Decker, Normann; Habermehl, Peter; Leucker, Martin; Thoma, Daniel
4
2014
A robust class of data languages and an application to learning. Zbl 1448.68258
Bollig, Benedikt; Habermehl, Peter; Leucker, Martin; Monmege, Benjamin
2
2014
A fresh approach to learning register automata. Zbl 1381.68103
Bollig, Benedikt; Habermehl, Peter; Leucker, Martin; Monmege, Benjamin
2
2013
Forest automata for verification of heap manipulation. Zbl 1284.68398
Habermehl, Peter; Holík, Lukáš; Rogalewicz, Adam; Šimáček, Jiří; Vojnar, Tomáš
7
2012
Ehrenfeucht-Fraïssé goes elementarily automatic for structures of bounded degree. Zbl 1245.03061
Durand-Gasselin, Antoine; Habermehl, Peter
2
2012
On Yen’s path logic for Petri nets. Zbl 1230.68153
Atig, Mohamed Faouzi; Habermehl, Peter
6
2011
Programs with lists are counter automata. Zbl 1217.68059
Bouajjani, Ahmed; Bozga, Marius; Habermehl, Peter; Iosif, Radu; Moro, Pierre; Vojnar, Tomáš
4
2011
The downward-closure of Petri net languages. Zbl 1288.68181
Habermehl, Peter; Meyer, Roland; Wimmel, Harro
4
2010
Automata-based verification of programs with tree updates. Zbl 1185.68414
Habermehl, Peter; Iosif, Radu; Vojnar, Tomáš
1
2010
On Yen’s path logic for Petri nets. Zbl 1260.68255
Atig, Mohamed Faouzi; Habermehl, Peter
4
2009
Realizability of concurrent recursive programs. Zbl 1234.68071
Bollig, Benedikt; Grindei, Manuela-Lidia; Habermehl, Peter
4
2009
Automatic verification of integer array programs. Zbl 1242.68063
Bozga, Marius; Habermehl, Peter; Iosif, Radu; Konečný, Filip; Vojnar, Tomáš
4
2009
Emptiness of multi-pushdown automata is 2ETIME-complete. Zbl 1161.68509
Atig, Mohamed Faouzi; Bollig, Benedikt; Habermehl, Peter
14
2008
What else is decidable about integer arrays? Zbl 1139.03007
Habermehl, Peter; Iosif, Radu; Vojnar, Tomáš
8
2008
Antichain-based universality and inclusion testing over nondeterministic finite tree automata. Zbl 1172.68493
Bouajjani, Ahmed; Habermehl, Peter; Holík, Lukáš; Touili, Tayssir; Vojnar, Tomáš
7
2008
A logic of singly indexed arrays. Zbl 1182.03032
Habermehl, Peter; Iosif, Radu; Vojnar, Tomáš
5
2008
Verification of parametric concurrent systems with prioritised FIFO resource management. Zbl 1138.68464
Bouajjani, Ahmed; Habermehl, Peter; Vojnar, Tomáš
4
2008
Rewriting systems with data. Zbl 1135.68467
Bouajjani, Ahmed; Habermehl, Peter; Jurski, Yan; Sighireanu, Mihaela
6
2007
Proving termination of tree manipulating programs. Zbl 1141.68469
Habermehl, Peter; Iosif, Radu; Rogalewicz, Adam; Vojnar, Tomáš
3
2007
Programs with lists are counter automata. Zbl 1188.68181
Bouajjani, Ahmed; Bozga, Marius; Habermehl, Peter; Iosif, Radu; Moro, Pierre; Vojnar, Tomáš
19
2006
Abstract regular tree model checking of complex dynamic data structures. Zbl 1225.68067
Bouajjani, Ahmed; Habermehl, Peter; Rogalewicz, Adam; Vojnar, Tomáš
19
2006
Abstract regular tree model checking. Zbl 1273.68221
Bouajjani, Ahmed; Habermehl, Peter; Rogalewicz, Adam; Vojnar, Tomáš
13
2006
Verifying programs with dynamic 1-selector-linked structures in regular model checking. Zbl 1087.68585
Bouajjani, Ahmed; Habermehl, Peter; Moro, Pierre; Vojnar, Tomáš
9
2005
Regular model checking using inference of regular languages. Zbl 1272.68256
Habermehl, Peter; Vojnar, Tomáš
7
2005
Abstract regular model checking. Zbl 1103.68071
Bouajjani, Ahmed; Habermehl, Peter; Vojnar, Tomáš
17
2004
Counting in trees for free. Zbl 1099.03010
Seidl, Helmut; Schwentick, Thomas; Muscholl, Anca; Habermehl, Peter
16
2004
Automatic verification of recursive procedures with one integer parameter. Zbl 1053.68060
Bouajjani, Ahmed; Habermehl, Peter; Mayr, Richard
5
2003
Automatic verification of recursive procedures with one integer parameter. Zbl 1005.68096
Bouajjani, Ahmed; Habermehl, Peter; Mayr, Richard
1
2001
Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations. Zbl 0933.68089
Bouajjani, Ahmed; Habermehl, Peter
16
1999
Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations. Zbl 1401.68186
Bouajjani, Ahmed; Habermehl, Peter
4
1997
all top 5

Cited by 319 Authors

10 Abdulla, Parosh Aziz
10 Vojnar, Tomáš
9 Demri, Stéphane P.
9 Finkel, Alain
8 Atig, Mohamed Faouzi
8 Bouajjani, Ahmed
7 Habermehl, Peter
7 Holík, Lukáš
7 Iosif, Radu
4 Bollig, Benedikt
4 Bozga, Marius
4 Héam, Pierre-Cyrille
4 Ibarra, Oscar H.
4 Kuske, Dietrich
4 Lengál, Ondřej
4 Rogalewicz, Adam
3 Boichut, Yohan
3 Brochenin, Rémi
3 Chatterjee, Krishnendu
3 Ganty, Pierre
3 Ghilardi, Silvio
3 Kupferman, Orna
3 Lozes, Etienne
3 Majumdar, Rupak
3 Muscholl, Anca
3 Praveen, M.
3 Raskin, Jean-François
3 Rezine, Ahmed
3 Schmitz, Sylvain
2 Alberti, Francesco
2 Bozzelli, Laura
2 Bultan, Tevfik
2 Cadilhac, Michaël
2 Chambart, Pierre
2 Chistikov, Dmitry V.
2 Courbis, Roméo
2 Decker, Normann
2 Delzanno, Giorgio
2 Dragoi, Cezara
2 Enea, Constantin
2 Goubault-Larrecq, Jean
2 Haase, Christoph
2 Halfon, Simon
2 Hansen, Michael Reichhardt
2 Henzinger, Thomas A.
2 Jacquemard, Florent
2 Jansen, Christina
2 Jonsson, Bengt
2 Karandikar, Prateek
2 Kojima, Yoshiharu
2 Kouchnarenko, Olga
2 Kucera, Antonin
2 Larsen, Kim Guldstrand
2 Leroux, Jérôme
2 Lin, Anthony Widjaja
2 Lugiez, Denis
2 Maquet, Nicolas
2 McKenzie, Pierre
2 Murawski, Andrzej S.
2 Muskalla, Sebastian
2 Noll, Thomas
2 Phan, Anh-Dung
2 Pinchinat, Sophie
2 Ramsay, Steven James
2 Réty, Pierre
2 Rümmer, Philipp
2 Saivasan, Prakash
2 Sakai, Masahiko
2 Schnoebelen, Philippe
2 Sharygina, Natasha
2 Sheinvald, Sarai
2 Sighireanu, Mihaela
2 Sutre, Grégoire
2 Thoma, Daniel
2 Touili, Tayssir
2 Tzevelekos, Nikos
2 Vogler, Heiko
2 Wehar, Michael
2 Yu, Fang
2 Zetzsche, Georg
1 Aiswarya, Cyriac
1 Alechina, Natasha
1 Aljazzar, Husain
1 Alkhalaf, Muath
1 Alur, Rajeev
1 Amavi, Joshua
1 Asarin, Eugene
1 Aschermann, Cornelius
1 Babić, Domagoj
1 Balaban, Ittai
1 Bansal, Kshitij
1 Barozzini, David
1 Basten, H. J. S.
1 Baudru, Nicolas
1 Ben Rajeb, Narjes
1 Berwanger, Dietmar
1 Bjørner, Nikolaj S.
1 Blondin, Michael
1 Boigelot, Bernard
1 Boiret, Adrien
...and 219 more Authors

Citations by Year