Peter Habermehl

	2012
38		Antoine Durand-Gasselin, Peter Habermehl: Ehrenfeucht-Fraïssé goes elementarily automatic for structures of bounded degree. STACS 2012: 242-253
37		Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar: Abstract regular (tree) model checking. STTT 14(2): 167-191 (2012)
	2011
36		Peter Habermehl, Lukás Holík, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar: Forest Automata for Verification of Heap Manipulation. CAV 2011: 424-440
35		Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar: Programs with lists are counter automata. Formal Methods in System Design 38(2): 158-192 (2011)
34		Mohamed Faouzi Atig, Peter Habermehl: On Yen's Path Logic for Petri Nets. Int. J. Found. Comput. Sci. 22(4): 783-799 (2011)
	2010
33		Antoine Durand-Gasselin, Peter Habermehl: On the Use of Non-deterministic Automata for Presburger Arithmetic. CONCUR 2010: 373-387
32		Peter Habermehl, Roland Meyer, Harro Wimmel: The Downward-Closure of Petri Net Languages. ICALP (2) 2010: 466-477
31		Peter Habermehl, Radu Iosif, Tomás Vojnar: Automata-based verification of programs with tree updates. Acta Inf. 47(1): 1-31 (2010)
	2009
30		Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konecný, Tomás Vojnar: Automatic Verification of Integer Array Programs. CAV 2009: 157-172
29		Benedikt Bollig, Manuela-Lidia Grindei, Peter Habermehl: Realizability of Concurrent Recursive Programs. FOSSACS 2009: 410-424
28		Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker: Angluin-Style Learning of NFA. IJCAI 2009: 1004-1009
27		Mohamed Faouzi Atig, Peter Habermehl: On Yen's Path Logic for Petri Nets. RP 2009: 51-63
26		Peter Habermehl, Tomás Vojnar: Preface. Electr. Notes Theor. Comput. Sci. 239: 1-3 (2009)
	2008
25		Ahmed Bouajjani, Peter Habermehl, Lukás Holík, Tayssir Touili, Tomás Vojnar: Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata. CIAA 2008: 57-67
24		Mohamed Faouzi Atig, Benedikt Bollig, Peter Habermehl: Emptiness of Multi-pushdown Automata Is 2ETIME-Complete. Developments in Language Theory 2008: 121-133
23		Peter Habermehl, Radu Iosif, Tomás Vojnar: What Else Is Decidable about Integer Arrays?. FoSSaCS 2008: 474-489
22		Peter Habermehl, Radu Iosif, Tomás Vojnar: A Logic of Singly Indexed Arrays. LPAR 2008: 558-573
21		Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar: Verification of parametric concurrent systems with prioritised FIFO resource management. Formal Methods in System Design 32(2): 129-172 (2008)
	2007
20		Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tomás Vojnar: Proving Termination of Tree Manipulating Programs. ATVA 2007: 145-161
19		Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Mihaela Sighireanu: Rewriting Systems with Data. FCT 2007: 1-22
	2006
18		Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar: Programs with Lists Are Counter Automata. CAV 2006: 517-531
17		Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar: Abstract Regular Tree Model Checking of Complex Dynamic Data Structures. SAS 2006: 52-70
16		Peter Habermehl, Radu Iosif, Tomás Vojnar: Automata-Based Verification of Programs with Tree Updates. TACAS 2006: 350-364
15		Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar: Abstract Regular Tree Model Checking. Electr. Notes Theor. Comput. Sci. 149(1): 37-48 (2006)
	2005
14		Ahmed Bouajjani, Peter Habermehl, Pierre Moro, Tomás Vojnar: Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking. TACAS 2005: 13-29
13		Peter Habermehl, Tomás Vojnar: Regular Model Checking Using Inference of Regular Languages. Electr. Notes Theor. Comput. Sci. 138(3): 21-36 (2005)
	2004
12		Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar: Abstract Regular Model Checking. CAV 2004: 372-386
11		Helmut Seidl, Thomas Schwentick, Anca Muscholl, Peter Habermehl: Counting in Trees for Free. ICALP 2004: 1136-1149
	2003
10		Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar: Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management. CONCUR 2003: 172-187
9		Ahmed Bouajjani, Peter Habermehl, Richard Mayr: Automatic verification of recursive procedures with one integer parameter. Theor. Comput. Sci. 295: 85-106 (2003)
	2001
8		Ahmed Bouajjani, Peter Habermehl, Richard Mayr: Automatic Verification of Recursive Procedures with One Integer Parameter. MFCS 2001: 198-211
	1999
7		Parosh Aziz Abdulla, Aurore Annichini, Saddek Bensalem, Ahmed Bouajjani, Peter Habermehl, Yassine Lakhnech: Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis. CAV 1999: 146-159
6		Ahmed Bouajjani, Peter Habermehl: Symbolic Reachability Analysis of FIFO-Channel Systems with Nonregular Sets of Configurations. Theor. Comput. Sci. 221(1-2): 211-250 (1999)
	1997
5		Ahmed Bouajjani, Peter Habermehl: Symbolic Reachability Analysis of FIFO Channel Systems with Nonregular Sets of Configurations (Extended Abstract). ICALP 1997: 560-570
4		Peter Habermehl: On the Complexity of the Linear-Time mu -calculus for Petri-Nets. ICATPN 1997: 102-116
	1996
3		Ahmed Bouajjani, Peter Habermehl: Constrained Properties, Semilinear Systems, and Petri Nets. CONCUR 1996: 481-497
	1995
2		Ahmed Bouajjani, Rachid Echahed, Peter Habermehl: On the Verification Problem of Nonregular Properties for Nonregular Processes LICS 1995: 123-133
1		Ahmed Bouajjani, Rachid Echahed, Peter Habermehl: Verifying Infinite State Processes with Sequential and Parallel Composition. POPL 1995: 95-106

Coauthor Index

1	Parosh Aziz Abdulla	[7]
2	Aurore Annichini	[7]
3	Mohamed Faouzi Atig	[24] [27] [34]
4	Saddek Bensalem	[7]
5	Benedikt Bollig	[24] [28] [29]
6	Ahmed Bouajjani	[1] [2] [3] [5] [6] [7] [8] [9] [10] [12] [14] [15] [17] [18] [19] [21] [25] [35] [37]
7	Marius Bozga	[18] [30] [35]
8	Antoine Durand-Gasselin	[33] [38]
9	Rachid Echahed	[1] [2]
10	Manuela-Lidia Grindei	[29]
11	Lukás Holík	[25] [36]
12	Radu Iosif	[16] [18] [20] [22] [23] [30] [31] [35]
13	Yan Jurski	[19]
14	Carsten Kern	[28]
15	Filip Konecný	[30]
16	Yassine Lakhnech	[7]
17	Martin Leucker	[28]
18	Richard Mayr	[8] [9]
19	Roland Meyer	[32]
20	Pierre Moro	[14] [18] [35]
21	Anca Muscholl	[11]
22	Adam Rogalewicz	[15] [17] [20] [36] [37]
23	Thomas Schwentick	[11]
24	Helmut Seidl	[11]
25	Mihaela Sighireanu	[19]
26	Jirí Simácek	[36]
27	Tayssir Touili	[25]
28	Tomás Vojnar	[10] [12] [13] [14] [15] [16] [17] [18] [20] [21] [22] [23] [25] [26] [30] [31] [35] [36] [37]
29	Harro Wimmel	[32]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page