dblp.uni-trier.dewww.uni-trier.de

Ansgar Fehnker

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
26EEAnsgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp: Automatic Bug Detection in Microcontroller Software by Static Program Analysis. SOFSEM 2009: 267-278
2008
25EERalf Huuck, Ansgar Fehnker, Sean Seefried, Jörg Brauer: Goanna: Syntactic Software Model Checking. ATVA 2008: 216-221
24EEStefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar: Survey on Directed Model Checking. MoChArt 2008: 65-89
23EEAthanassios Boulis, Ansgar Fehnker, Matthias Fruth, Annabelle McIver: CaVi -- Simulation and Model Checking for Wireless Sensor Networks. QEST 2008: 37-38
22EEAnsgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seefried: Some Assembly Required - Program Analysis of Embedded System Code. SCAM 2008: 15-24
2007
21EEAnsgar Fehnker, Lodewijk van Hoesel, Angelika Mader: Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. IFM 2007: 253-272
20EEAnsgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch: Model Checking Software at Compile Time. TASE 2007: 45-56
2006
19EEAnsgar Fehnker, Peng Gao: Formal Verification and Simulation for Performance Analysis for Probabilistic Broadcast Protocols. ADHOC-NOW 2006: 128-141
18EEAnsgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch: Goanna - A Static Model Checker. FMICS/PDMC 2006: 297-300
17EEAnsgar 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
16EEAnsgar 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
14EEAnsgar Fehnker, Bruce H. Krogh: Hybrid System Verification Is Not a Sinecure: The Electronic Throttle Control Case Study. ATVA 2004: 263-277
13EEAnsgar Fehnker, Franjo Ivancic: Benchmarks for Hybrid Systems Verification. HSCC 2004: 326-341
12EEBill 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
11EEAnsgar Fehnker, Frits W. Vaandrager, Miaomiao Zhang: Modeling and Verifying a Lego Car Using Hybrid I/O Automata. QSIC 2003: 280-289
10EEEdmund 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
9EEEdmund 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
8EEEd Brinksma, Angelika Mader, Ansgar Fehnker: Verification and optimization of a PLC control schedule. STTT 4(1): 21-33 (2002)
2001
7EEKim 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
6EEGerd 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
5EEGerd Behrmann, Ansgar Fehnker: Efficient Guiding Towards Cost-Optimality in UPPAAL. TACAS 2001: 174-188
2000
4EETobias 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
3EEAnsgar Fehnker: Scheduling a Steel Plant with Timed Automata. RTCSA 1999: 280-286
1998
2EEHenning 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)