Ansgar Fehnker

74 papers A* 1A 5B 11C 6Misc 1Journal 12Unranked 33

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Keeping Humans in the Loop: LLM Supported Oral Examinations. ITS (1) Ansgar Fehnker, Luke Glover
2024	J	`jnl`	Lazy model checking for recursive state machines. Softw. Syst. Model. Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker
2022	—	`conf`	What's in School? - Topic Maps for Secondary School Computer Science. A Journey from Process Algebra via Timed Automata to Model Learning Ansgar Fehnker
2021	B	`conf`	Atelier - Tutor Moderated Comments in Programming Education. EC-TEL Ansgar Fehnker, Angelika Mader, Arthur Rump
2021	B	`conf`	Automated Assessment of Learning Objectives in Programming Assignments. ITS Arthur Rump, Ansgar Fehnker, Angelika Mader
2021	B	`conf`	Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State Machines. SEFM Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker
2020	—	`conf`	A sports day for programming. CSERC Ansgar Fehnker
2020	—	`conf`	Atelier: an online platform for programming tutorials. CSERC Ansgar Fehnker, Angelika Mader, Arthur Rump, Margot Rutgers, Lotte Steenmeijer, Chris Witteveen
2020	—	`conf`	Double-Spending Analysis of Bitcoin. PACIS Kaylash Chaudhary, Vishal Chand, Ansgar Fehnker
2020	J	`jnl`	Out for coffee: with Rob. Acta Informatica Ansgar Fehnker
2020	—	`ed.`	Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020. MARS Ansgar Fehnker, Hubert Garavel
2020	—	`conf`	Tinkering in Informatics as Teaching Method. CSEDU (1) Angelika Mader, Ansgar Fehnker, Edwin Dertien
2019	—	`conf`	A Distributed Blockchain Model of Selfish Mining. FM Workshops (1) Dennis Eijkel, Ansgar Fehnker
2018	—	`conf`	Adaptive Formal Framework for WMN Routing Protocols. FACS Mojgan Kamali, Ansgar Fehnker
2018	—	`conf`	An Even Better Approach - Improving the B.A.T.M.A.N. Protocol Through Formal Modelling and Analysis. NFM Ansgar Fehnker, Kaylash Chaudhary, Vinay Mehta
2018	—	`conf`	Detecting and Addressing Design Smells in Novice Processing Programs. CSEDU (Selected Papers) Ansgar Fehnker, Remco de Man
2018	—	`conf`	The Smell of Processing. CSEDU (2) Remco de Man, Ansgar Fehnker
2018	—	`conf`	Twenty Percent and a Few Days - Optimising a Bitcoin Majority Attack. NFM Ansgar Fehnker, Kaylash Chaudhary
2017	J	`jnl`	Automated Program Analysis for Novice Programmers. CoRR Tim Blok, Ansgar Fehnker
2017	—	`conf`	Evaluating the Stream Control Transmission Protocol Using Uppaal. MARS Shruti Saini, Ansgar Fehnker
2017	—	`conf`	Modelling, Verification, and Comparative Performance Analysis of the B.A.T.M.A.N. Protocol. MARS Kaylash Chaudhary, Ansgar Fehnker, Vinay Mehta
2015	—	`ed.`	20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, LPAR 2015, Suva, Fiji, November 24-28, 2015. LPAR (short papers) Ansgar Fehnker, Annabelle McIver, Geoff Sutcliffe, Andrei Voronkov
2015	J	`jnl`	A Process Algebra for Wireless Mesh Networks. CoRR Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
2015	J	`jnl`	A Rigorous Analysis of AODV and its Variants. CoRR Peter Höfner, Rob J. van Glabbeek, Wee Lum Tan, Marius Portmann, Annabelle McIver, Ansgar Fehnker
2015	J	`jnl`	Automated Analysis of AODV using UPPAAL. CoRR Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
2015	B	`ed.`	Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings LPAR Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
2015	C	`conf`	Model Checking a Server-Side Micro Payment Protocol. FMICS Kaylash Chaudhary, Ansgar Fehnker
2015	—	`conf`	Modeling and Verification of the Bitcoin Protocol. MARS Kaylash Chaudhary, Ansgar Fehnker, Jaco van de Pol, Mariëlle Stoelinga
2015	J	`jnl`	Modelling and Analysis of AODV in UPPAAL. CoRR Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
2013	J	`jnl`	A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV. CoRR Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
2013	J	`jnl`	Model checking driven static analysis for the real world: designing and tuning large scale bug detection. Innov. Syst. Softw. Eng. Ansgar Fehnker, Ralf Huuck
2013	B	`conf`	The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis. ATVA Jakob Mund, Ralf Huuck, Ansgar Fehnker, Cyrille Artho
2013	—	`conf`	Topology-Based Mobility Models for Wireless Networks. QEST Ansgar Fehnker, Peter Höfner, Maryam Kamali, Vinay Mehta
2012	A	`conf`	A Process Algebra for Wireless Mesh Networks. ESOP Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
2012	A	`conf`	A rigorous analysis of AODV and its variants. MSWiM Peter Höfner, Rob J. van Glabbeek, Wee Lum Tan, Marius Portmann, Annabelle McIver, Ansgar Fehnker
2012	A	`conf`	Automated Analysis of AODV Using UPPAAL. TACAS Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
2012	—	`conf`	High Performance Static Analysis for Industry. TAPAS@SAS Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson, Ralf Huuck
2012	C	`conf`	SMT-Based False Positive Elimination in Static Program Analysis. ICFEM Maximilian Junker, Ralf Huuck, Ansgar Fehnker, Alexander Knapp
2010	—	`conf`	Counterexample Guided Path Reduction for Static Program Analysis. Concurrency, Compositionality, and Correctness Ansgar Fehnker, Ralf Huuck, Sean Seefried
2010	C	`conf`	Software Metrics in Static Program Analysis. ICFEM Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wolfgang Reif
2009	—	`conf`	An Abstract Specification Language for Static Program Analysis. SSV Michael Vistein, Frank Ortmeier, Wolfgang Reif, Ralf Huuck, Ansgar Fehnker
2009	B	`conf`	Automatic Bug Detection in Microcontroller Software by Static Program Analysis. SOFSEM Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp
2009	—	`conf`	Fade to Grey: Tuning Static Program Analysis. TTSS Ansgar Fehnker, Ralf Huuck, Sean Seefried, Michael Tapp
2009	—	`ch.`	Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols. Methods, Models and Tools for Fault Tolerance Ansgar Fehnker, Matthias Fruth, Annabelle McIver
2009	B	`conf`	Incremental False Path Elimination for Static Software Analysis. ATVA Ansgar Fehnker, Ralf Huuck, Sean Seefried
2009	—	`conf`	On the Impact of Modelling Choices for Distributed Information Spread. QEST Rena Bakhshi, Ansgar Fehnker
2008	—	`conf`	CaVi -- Simulation and Model Checking for Wireless Sensor Networks. QEST Athanassios Boulis, Ansgar Fehnker, Matthias Fruth, Annabelle McIver
2008	B	`conf`	Goanna: Syntactic Software Model Checking. ATVA Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jörg Brauer
2008	C	`conf`	Some Assembly Required - Program Analysis of Embedded System Code. SCAM Ansgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seefried
2008	—	`conf`	Survey on Directed Model Checking. MoChArt Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar
2007	Misc	`conf`	Model Checking Software at Compile Time. TASE Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch
2007	B	`conf`	Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. IFM Ansgar Fehnker, Lodewijk van Hoesel, Angelika Mader
2006	C	`conf`	Formal Techniques for the Analysis of Wireless Networks. ISoLA A. K. McIver, Ansgar Fehnker
2006	—	`conf`	Formal Verification and Simulation for Performance Analysis for Probabilistic Broadcast Protocols. ADHOC-NOW Ansgar Fehnker, Peng Gao
2006	—	`conf`	Goanna - A Static Model Checker. FMICS/PDMC Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch
2006	J	`jnl`	Hybrid System Verification Is not a Sinecure - the Electronic Throttle Control Case Study. Int. J. Found. Comput. Sci. Ansgar Fehnker, Bruce H. Krogh
2005	—	`conf`	Refining Abstractions of Hybrid Systems Using Counterexample Fragments. HSCC Ansgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha, Bruce H. Krogh
2005	—	`ch.`	Temporal Logic Model Checking. Handbook of Networked and Embedded Control Systems Edmund M. Clarke, Ansgar Fehnker, Sumit Kumar Jha, Helmut Veith
2004	—	`conf`	Benchmarks for Hybrid Systems Verification. HSCC Ansgar Fehnker, Franjo Ivancic
2004	B	`conf`	Hybrid System Verification Is Not a Sinecure: The Electronic Throttle Control Case Study. ATVA Ansgar Fehnker, Bruce H. Krogh
2004	C	`conf`	Managing Verification Activities Using SVM. ICFEM Bill Aldrich, Ansgar Fehnker, Peter H. Feiler, Zhi Han, Bruce H. Krogh, Eric Lim, Shiva Sivashankar
2003	J	`jnl`	Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems. Int. J. Found. Comput. Sci. Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Joël Ouaknine, Olaf Stursberg, Michael Theobald
2003	—	`conf`	Modeling and Verifying a Lego Car Using Hybrid I/O Automata. QSIC Ansgar Fehnker, Frits W. Vaandrager, Miaomiao Zhang
2003	—	`conf`	Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods. ADHS Olaf Stursberg, Ansgar Fehnker, Zhi Han, Bruce H. Krogh
2003	A	`conf`	Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. TACAS Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald
2002	—	`—`	Citius, Vilius, Melius: guiding and cost-optimality in model checking of timed and hybrid systems. Ansgar Fehnker
2002	J	`jnl`	Verification and optimization of a PLC control schedule. Int. J. Softw. Tools Technol. Transf. Ed Brinksma, Angelika Mader, Ansgar Fehnker
2001	A*	`conf`	As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. CAV Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn
2001	A	`conf`	Efficient Guiding Towards Cost-Optimality in UPPAAL. TACAS Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn
2001	—	`conf`	Minimum-Cost Reachability for Priced Timed Automata. HSCC Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager
2000	—	`conf`	UPPAAL - Now, Next, and Future. MOVEP 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
1999	B	`conf`	Scheduling a Steel Plant with Timed Automata. RTCSA Ansgar Fehnker
1998	—	`conf`	Automotive Control Revisited: Linear Inequalities as Approximation of Reachable Sets. HSCC Ansgar Fehnker
1998	—	`conf`	Operational and Logical Semantics for Polling Real-Time Systems. FTRTFT Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager