Ansgar Fehnker

According to our database1, Ansgar Fehnker authored at least 52 papers between 1998 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
An Even Better Approach - Improving the B.A.T.M.A.N. Protocol Through Formal Modelling and Analysis.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Twenty Percent and a Few Days - Optimising a Bitcoin Majority Attack.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Adaptive Formal Framework for WMN Routing Protocols.
Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

The Smell of Processing.
Proceedings of the 10th International Conference on Computer Supported Education, 2018

Detecting and Addressing Design Smells in Novice Processing Programs.
Proceedings of the Computer Supported Education - 10th International Conference, 2018

2017
Evaluating the Stream Control Transmission Protocol Using Uppaal.
Proceedings of the Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, 2017

Modelling, Verification, and Comparative Performance Analysis of the B.A.T.M.A.N. Protocol.
Proceedings of the Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, 2017

2015
Modeling and Verification of the Bitcoin Protocol.
Proceedings of the Proceedings Workshop on Models for Formal Analysis of Real Systems, 2015

Model Checking a Server-Side Micro Payment Protocol.
Proceedings of the Formal Methods for Industrial Critical Systems, 2015

2013
Model checking driven static analysis for the real world: designing and tuning large scale bug detection.
ISSE, 2013

Topology-Based Mobility Models for Wireless Networks.
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis.
Proceedings of the Automated Technology for Verification and Analysis, 2013

2012
High Performance Static Analysis for Industry.
Electr. Notes Theor. Comput. Sci., 2012

Automated Analysis of AODV Using UPPAAL.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

A rigorous analysis of AODV and its variants.
Proceedings of the 15th ACM International Conference on Modeling, 2012

SMT-Based False Positive Elimination in Static Program Analysis.
Proceedings of the Formal Methods and Software Engineering, 2012

A Process Algebra for Wireless Mesh Networks.
Proceedings of the Programming Languages and Systems, 2012

2010
Fade to Grey: Tuning Static Program Analysis.
Electr. Notes Theor. Comput. Sci., 2010

Software Metrics in Static Program Analysis.
Proceedings of the Formal Methods and Software Engineering, 2010

Counterexample Guided Path Reduction for Static Program Analysis.
Proceedings of the Concurrency, 2010

2009
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols.
Proceedings of the Methods, 2009

An Abstract Specification Language for Static Program Analysis.
Electr. Notes Theor. Comput. Sci., 2009

Automatic Bug Detection in Microcontroller Software by Static Program Analysis.
Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

On the Impact of Modelling Choices for Distributed Information Spread.
Proceedings of the QEST 2009, 2009

Incremental False Path Elimination for Static Software Analysis.
Proceedings of the Automated Technology for Verification and Analysis, 2009

2008
Some Assembly Required - Program Analysis of Embedded System Code.
Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 2008

CaVi -- Simulation and Model Checking for Wireless Sensor Networks.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Survey on Directed Model Checking.
Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

Goanna: Syntactic Software Model Checking.
Proceedings of the Automated Technology for Verification and Analysis, 2008

2007
Model Checking Software at Compile Time.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks.
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

2006
Hybrid System Verification Is not a Sinecure - the Electronic Throttle Control Case Study.
Int. J. Found. Comput. Sci., 2006

Formal Techniques for the Analysis of Wireless Networks.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Goanna - A Static Model Checker.
Proceedings of the Formal Methods: Applications and Technology, 2006

Formal Verification and Simulation for Performance Analysis for Probabilistic Broadcast Protocols.
Proceedings of the Ad-Hoc, Mobile, and Wireless Networks, 5th International Conference, 2006

2005
Refining Abstractions of Hybrid Systems Using Counterexample Fragments.
Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005

Temporal Logic Model Checking.
Proceedings of the Handbook of Networked and Embedded Control Systems, 2005

2004
Managing Verification Activities Using SVM.
Proceedings of the Formal Methods and Software Engineering, 2004

Benchmarks for Hybrid Systems Verification.
Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

Hybrid System Verification Is Not a Sinecure: The Electronic Throttle Control Case Study.
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems.
Int. J. Found. Comput. Sci., 2003

Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Modeling and Verifying a Lego Car Using Hybrid I/O Automata.
Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods.
Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003

2002
Verification and optimization of a PLC control schedule.
STTT, 2002

2001
Efficient Guiding Towards Cost-Optimality in UPPAAL.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Minimum-Cost Reachability for Priced Timed Automata.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000
UPPAAL - Now, Next, and Future.
Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000

1999
Scheduling a Steel Plant with Timed Automata.
Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

1998
Automotive Control Revisited: Linear Inequalities as Approximation of Reachable Sets.
Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

Operational and Logical Semantics for Polling Real-Time Systems.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998


  Loading...