Ansgar Fehnker

2009
26	EE	Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp: Automatic Bug Detection in Microcontroller Software by Static Program Analysis. SOFSEM 2009: 267-278
2008
25	EE	Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jörg Brauer: Goanna: Syntactic Software Model Checking. ATVA 2008: 216-221
24	EE	Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar: Survey on Directed Model Checking. MoChArt 2008: 65-89
23	EE	Athanassios Boulis, Ansgar Fehnker, Matthias Fruth, Annabelle McIver: CaVi -- Simulation and Model Checking for Wireless Sensor Networks. QEST 2008: 37-38
22	EE	Ansgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seefried: Some Assembly Required - Program Analysis of Embedded System Code. SCAM 2008: 15-24
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	Husain Aljazzar	[24]
3	Tobias Amnell	[4]
4	Gerd Behrmann	[4] [5] [6] [7]
5	Johan Bengtsson	[4]
6	Dragan Bosnacki	[24]
7	Athanassios Boulis	[23]
8	Jörg Brauer	[25]
9	Ed Brinksma	[7] [8]
10	Edmund M. Clarke	[9] [10] [15] [16]
11	Pedro R. D'Argenio	[4]
12	Alexandre David	[4]
13	Henning Dierks	[2]
14	Stefan Edelkamp	[24]
15	Peter H. Feiler	[12]
16	Matthias Fruth	[23]
17	Peng Gao	[19]
18	Zhi Han	[9] [10] [12]
19	Lodewijk van Hoesel	[21]
20	Thomas Hune	[4] [6] [7]
21	Ralf Huuck	[18] [20] [22] [25] [26]
22	Franjo Ivancic	[13]
23	Patrick Jayet	[18] [20]
24	Bertrand Jeannet	[4]
25	Sumit Kumar Jha	[15] [16]
26	Bruce H. Krogh	[9] [10] [12] [14] [16] [17]
27	Kim Guldstrand Larsen	[4] [6] [7]
28	Eric Lim	[12]
29	Michel Lussenburg	[18] [20]
30	Angelika Mader	[2] [8] [21]
31	Annabelle McIver	[23]
32	M. Oliver Möller	[4]
33	Joël Ouaknine	[9]
34	Paul Pettersson	[4] [6] [7]
35	Felix Rauch	[18] [20] [22]
36	Judi Romijn	[6] [7]
37	Bastian Schlich	[26]
38	Viktor Schuppan	[24]
39	Sean Seefried	[22] [25]
40	Shiva Sivashankar	[12]
41	Olaf Stursberg	[9] [10]
42	Michael Tapp	[26]
43	Michael Theobald	[9] [10]
44	Frits W. Vaandrager	[2] [6] [11]
45	Helmut Veith	[15]
46	Carsten Weise	[4]
47	Anton Wijs	[24]
48	Wang Yi	[4]
49	Miaomiao Zhang	[11]

Colors in the list of coauthors