Jochen Hoenicke

	2012
16		Evren Ermis, Jochen Hoenicke, Andreas Podelski: Splitting via Interpolants. VMCAI 2012: 186-201
15		Amalinda Post, Jochen Hoenicke: Formalization and Analysis of Real-Time Requirements: A Feasibility Study at BOSCH. VSTTE 2012: 225-240
14		Amalinda Post, Igor Menzel, Jochen Hoenicke, Andreas Podelski: Automotive behavioral requirements expressed in a specification pattern system: a case study at BOSCH. Requir. Eng. 17(1): 19-33 (2012)
	2011
13		Amalinda Post, Jochen Hoenicke, Andreas Podelski: rt-Inconsistency: A New Property for Real-Time Requirements. FASE 2011: 34-49
12		Amalinda Post, Jochen Hoenicke, Andreas Podelski: Vacuous real-time requirements. RE 2011: 153-162
	2010
11		Jochen Hoenicke, Roland Meyer, Ernst-Rüdiger Olderog: Kleene, Rabin, and Scott Are Available. CONCUR 2010: 462-477
10		Matthias Heizmann, Jochen Hoenicke, Andreas Podelski: Nested interpolants. POPL 2010: 471-482
9		Jochen Hoenicke, Ernst-Rüdiger Olderog, Andreas Podelski: Fairness for Dynamic Control. TACAS 2010: 251-265
8		Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies: Doomed program points. Formal Methods in System Design 37(2-3): 171-199 (2010)
	2009
7		Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies: It's Doomed; We Can Prove It. FM 2009: 338-353
6		Matthias Heizmann, Jochen Hoenicke, Andreas Podelski: Refinement of Trace Abstraction. SAS 2009: 69-85
	2008
5		Roland Meyer, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko: Model checking Duration Calculus: a practical approach. Formal Asp. Comput. 20(4-5): 481-505 (2008)
	2006
4		Jochen Hoenicke: Combination of processes, data, and time. Carl von Ossietzky University of Oldenburg 2006: 1-203
	2005
3		Jochen Hoenicke, Patrick Maier: Model-Checking of Specifications Integrating Processes, Data and Time. FM 2005: 465-480
	2002
2		Jochen Hoenicke, Ernst-Rüdiger Olderog: Combining Specification Techniques for Processes, Data and Time. IFM 2002: 245-266
1		Jochen Hoenicke, Ernst-Rüdiger Olderog: CSP-OZ-DC: A Combination of Specification Techniques for Processes, Data and Time. Nord. J. Comput. 9(4): 301-334 (2002)

Coauthor Index

1	Evren Ermis	[16]
2	Johannes Faber	[5]
3	Matthias Heizmann	[6] [10]
4	K. Rustan M. Leino	[7] [8]
5	Patrick Maier	[3]
6	Igor Menzel	[14]
7	Roland Meyer	[5] [11]
8	Ernst-Rüdiger Olderog	[1] [2] [9] [11]
9	Andreas Podelski	[6] [7] [8] [9] [10] [12] [13] [14] [16]
10	Amalinda Post	[12] [13] [14] [15]
11	Andrey Rybalchenko	[5]
12	Martin Schäf	[7] [8]
13	Thomas Wies	[7] [8]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page