Ansgar Fehnker

2008
22	EE	Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jörg Brauer: Goanna: Syntactic Software Model Checking. ATVA 2008: 216-221
2007
21	EE	Ansgar Fehnker, Lodewijk van Hoesel, Angelika Mader: Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. IFM 2007: 253-272
20	EE	Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch: Model Checking Software at Compile Time. TASE 2007: 45-56
2006
19	EE	Ansgar Fehnker, Peng Gao: Formal Verification and Simulation for Performance Analysis for Probabilistic Broadcast Protocols. ADHOC-NOW 2006: 128-141
18	EE	Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch: Goanna - A Static Model Checker. FMICS/PDMC 2006: 297-300
17	EE	Ansgar Fehnker, Bruce H. Krogh: Hybrid System Verification Is not a Sinecure - the Electronic Throttle Control Case Study. Int. J. Found. Comput. Sci. 17(4): 885-902 (2006)
2005
16	EE	Ansgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha, Bruce H. Krogh: Refining Abstractions of Hybrid Systems Using Counterexample Fragments. HSCC 2005: 242-257
15		Edmund M. Clarke, Ansgar Fehnker, Sumit Kumar Jha, Helmut Veith: Temporal Logic Model Checking. Handbook of Networked and Embedded Control Systems 2005: 539-558
2004
14	EE	Ansgar Fehnker, Bruce H. Krogh: Hybrid System Verification Is Not a Sinecure: The Electronic Throttle Control Case Study. ATVA 2004: 263-277
13	EE	Ansgar Fehnker, Franjo Ivancic: Benchmarks for Hybrid Systems Verification. HSCC 2004: 326-341
12	EE	Bill Aldrich, Ansgar Fehnker, Peter H. Feiler, Zhi Han, Bruce H. Krogh, Eric Lim, Shiva Sivashankar: Managing Verification Activities Using SVM. ICFEM 2004: 61-75
2003
11	EE	Ansgar Fehnker, Frits W. Vaandrager, Miaomiao Zhang: Modeling and Verifying a Lego Car Using Hybrid I/O Automata. QSIC 2003: 280-289
10	EE	Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald: Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. TACAS 2003: 192-207
9	EE	Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Joël Ouaknine, Olaf Stursberg, Michael Theobald: Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems. Int. J. Found. Comput. Sci. 14(4): 583-604 (2003)
2002
8	EE	Ed Brinksma, Angelika Mader, Ansgar Fehnker: Verification and optimization of a PLC control schedule. STTT 4(1): 21-33 (2002)
2001
7	EE	Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn: As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. CAV 2001: 493-505
6	EE	Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager: Minimum-Cost Reachability for Priced Timed Automata. HSCC 2001: 147-161
5	EE	Gerd Behrmann, Ansgar Fehnker: Efficient Guiding Towards Cost-Optimality in UPPAAL. TACAS 2001: 174-188
2000
4	EE	Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi: UPPAAL - Now, Next, and Future. MOVEP 2000: 99-124
1999
3	EE	Ansgar Fehnker: Scheduling a Steel Plant with Timed Automata. RTCSA 1999: 280-286
1998
2	EE	Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager: Operational and Logical Semantics for Polling Real-Time Systems. FTRTFT 1998: 29-40
1		Ansgar Fehnker: Automotive Control Revisited: Linear Inequalities as Approximation of Reachable Sets. HSCC 1998: 110-125

Coauthor Index

1	Bill Aldrich	[12]
2	Tobias Amnell	[4]
3	Gerd Behrmann	[4] [5] [6] [7]
4	Johan Bengtsson	[4]
5	Jörg Brauer	[22]
6	Ed Brinksma	[7] [8]
7	Edmund M. Clarke	[9] [10] [15] [16]
8	Pedro R. D'Argenio	[4]
9	Alexandre David	[4]
10	Henning Dierks	[2]
11	Peter H. Feiler	[12]
12	Peng Gao	[19]
13	Zhi Han	[9] [10] [12]
14	Lodewijk van Hoesel	[21]
15	Thomas Hune	[4] [6] [7]
16	Ralf Huuck	[18] [20] [22]
17	Franjo Ivancic	[13]
18	Patrick Jayet	[18] [20]
19	Bertrand Jeannet	[4]
20	Sumit Kumar Jha	[15] [16]
21	Bruce H. Krogh	[9] [10] [12] [14] [16] [17]
22	Kim Guldstrand Larsen	[4] [6] [7]
23	Eric Lim	[12]
24	Michel Lussenburg	[18] [20]
25	Angelika Mader	[2] [8] [21]
26	M. Oliver Möller	[4]
27	Joël Ouaknine	[9]
28	Paul Pettersson	[4] [6] [7]
29	Felix Rauch	[18] [20]
30	Judi Romijn	[6] [7]
31	Sean Seefried	[22]
32	Shiva Sivashankar	[12]
33	Olaf Stursberg	[9] [10]
34	Michael Theobald	[9] [10]
35	Frits W. Vaandrager	[2] [6] [11]
36	Helmut Veith	[15]
37	Carsten Weise	[4]
38	Wang Yi	[4]
39	Miaomiao Zhang	[11]

Colors in the list of coauthors