Ansgar Fehnker

	2009
30		Ansgar Fehnker, Ralf Huuck, Sean Seefried: Incremental False Path Elimination for Static Software Analysis. ATVA 2009: 255-270
29		Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp: Automatic Bug Detection in Microcontroller Software by Static Program Analysis. SOFSEM 2009: 267-278
28		Ansgar Fehnker, Matthias Fruth, Annabelle McIver: Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols. Methods, Models and Tools for Fault Tolerance 2009: 1-24
27		Michael Vistein, Frank Ortmeier, Wolfgang Reif, Ralf Huuck, Ansgar Fehnker: An Abstract Specification Language for Static Program Analysis. Electr. Notes Theor. Comput. Sci. 254: 181-197 (2009)
	2008
26		Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jörg Brauer: Goanna: Syntactic Software Model Checking. ATVA 2008: 216-221
25		Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar: Survey on Directed Model Checking. MoChArt 2008: 65-89
24		Athanassios Boulis, Ansgar Fehnker, Matthias Fruth, Annabelle McIver: CaVi -- Simulation and Model Checking for Wireless Sensor Networks. QEST 2008: 37-38
23		Ansgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seefried: Some Assembly Required - Program Analysis of Embedded System Code. SCAM 2008: 15-24
	2007
22		Ansgar Fehnker, Lodewijk van Hoesel, Angelika Mader: Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. IFM 2007: 253-272
21		Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch: Model Checking Software at Compile Time. TASE 2007: 45-56
	2006
20		Ansgar Fehnker, Peng Gao: Formal Verification and Simulation for Performance Analysis for Probabilistic Broadcast Protocols. ADHOC-NOW 2006: 128-141
19		Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch: Goanna - A Static Model Checker. FMICS/PDMC 2006: 297-300
18		A. K. McIver, Ansgar Fehnker: Formal Techniques for the Analysis of Wireless Networks. ISoLA 2006: 263-270
17		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		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		Ansgar Fehnker, Bruce H. Krogh: Hybrid System Verification Is Not a Sinecure: The Electronic Throttle Control Case Study. ATVA 2004: 263-277
13		Ansgar Fehnker, Franjo Ivancic: Benchmarks for Hybrid Systems Verification. HSCC 2004: 326-341
12		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		Ansgar Fehnker, Frits W. Vaandrager, Miaomiao Zhang: Modeling and Verifying a Lego Car Using Hybrid I/O Automata. QSIC 2003: 280-289
10		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		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		Ed Brinksma, Angelika Mader, Ansgar Fehnker: Verification and optimization of a PLC control schedule. STTT 4(1): 21-33 (2002)
	2001
7		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		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		Gerd Behrmann, Ansgar Fehnker: Efficient Guiding Towards Cost-Optimality in UPPAAL. TACAS 2001: 174-188
	2000
4		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		Ansgar Fehnker: Scheduling a Steel Plant with Timed Automata. RTCSA 1999: 280-286
	1998
2		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	[25]
3	Tobias Amnell	[4]
4	Gerd Behrmann	[4] [5] [6] [7]
5	Johan Bengtsson	[4]
6	Dragan Bosnacki	[25]
7	Athanassios Boulis	[24]
8	Jörg Brauer	[26]
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	[25]
15	Peter H. Feiler	[12]
16	Matthias Fruth	[24] [28]
17	Peng Gao	[20]
18	Zhi Han	[9] [10] [12]
19	Lodewijk van Hoesel	[22]
20	Thomas Hune	[4] [6] [7]
21	Ralf Huuck	[19] [21] [23] [26] [27] [29] [30]
22	Franjo Ivancic	[13]
23	Patrick Jayet	[19] [21]
24	Bertrand Jeannet	[4]
25	Sumit Kumar Jha	[15] [16]
26	Bruce H. Krogh	[9] [10] [12] [14] [16] [17]
27	Kim Guldstrand Larsen (Kim G. Larsen)	[4] [6] [7]
28	Eric Lim	[12]
29	Michel Lussenburg	[19] [21]
30	Angelika Mader	[2] [8] [22]
31	Annabelle McIver (A. K. McIver)	[18] [24] [28]
32	M. Oliver Möller	[4]
33	Frank Ortmeier	[27]
34	Joël Ouaknine	[9]
35	Paul Pettersson	[4] [6] [7]
36	Felix Rauch	[19] [21] [23]
37	Wolfgang Reif	[27]
38	Judi Romijn	[6] [7]
39	Bastian Schlich	[29]
40	Viktor Schuppan	[25]
41	Sean Seefried	[23] [26] [30]
42	Shiva Sivashankar	[12]
43	Olaf Stursberg	[9] [10]
44	Michael Tapp	[29]
45	Michael Theobald	[9] [10]
46	Frits W. Vaandrager	[2] [6] [11]
47	Helmut Veith	[15]
48	Michael Vistein	[27]
49	Carsten Weise	[4]
50	Anton Wijs	[25]
51	Wang Yi	[4]
52	Miaomiao Zhang	[11]

Colors in the list of coauthors