No photo of Ansgar Fehnker

Ansgar Fehnker

dr.

19982018
If you made any changes in Pure these will be visible here soon.

Research Output 1998 2018

Filter
Conference contribution
2018

Adaptive Formal Framework for WMN Routing Protocols

Kamali, M. & Fehnker, A., 10 Oct 2018, Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings. p. 175-195 21 p. (Lecture notes in computer science; vol. 11222).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

An Even Better Approach: Improving the B.A.T.M.A.N. Protocol Through Formal Modelling and Analysis

Fehnker, A., Chaudhary, K. & Mehta, V., 2018, NASA Formal Methods: 10th International Symposium, NFM 2018 Newport News, VA, USA, April 17-19, 2018 Proceedings. Dutle, A., Muñoz, C. & Narkawicz, A. (eds.). Cham: Springer, 15 p. (Lecture Notes in Computer Science; vol. 10811).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Wireless networks
Network protocols
Computer simulation
Network routing
Routing protocols
1 Citation (Scopus)
1 Downloads (Pure)

The Smell of Processing

Man, R. D. & Fehnker, A., 23 Mar 2018, Proceedings of the 10th International Conference on Computer Supported Education. Vol. 2. p. 420-431

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Processing
Students
Textbooks
Static analysis
Software design
1 Citation (Scopus)
1 Downloads (Pure)

Twenty Percent and a Few Days: Optimising a Bitcoin Majority Attack

Fehnker, A. & Chaudhary, K., 2018, NASA Formal Methods: 10th International Symposium, NFM 2018 Newport News, VA, USA, April 17-19, 2018 Proceedings. Dutle, A., Muñoz, C. & Narkawicz, A. (eds.). Cham: Springer, p. 157-163 7 p. (Lecture Notes in Computer Science; vol. 10811).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

transaction
miner
2017
27 Downloads (Pure)

Automated Program Analysis for Novice Programmers

Blok, T. & Fehnker, A., 2017, HEAd'17: Proceedings of the 3rd International Conference on Higher Education Advances. Domenech, J., Vincent-Vela, M. C., de la Poza, E. & Blazquez, D. (eds.). Universitat Politecnica de Valencia, p. 1138-1146

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Feedback
Teaching
Students
Polarization mode dispersion
Static analysis
1 Citation (Scopus)
62 Downloads (Pure)

Evaluating the Stream Control Transmission Protocol Using Uppaal

Saini, S. & Fehnker, A., 2017, Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017: Uppsala, Sweden, 29th April 2017. Hermanns, H. & Höfner, P. (eds.). EPTCS, p. 1-13 13 p. (Electronic Proceedings in Theoretical Computer Science (EPTCS); vol. 244).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Transmission control protocol
Servers
2 Citations (Scopus)

Modelling, Verification, and Comparative Performance Analysis of the B.A.T.M.A.N. Protocol

Chaudhary, K., Fehnker, A. & Mehta, V., 2017, Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017: Uppsala, Sweden, 29th April 2017. Hermanns, H. & Höfner, P. (eds.). EPTCS, p. 53-65 13 p. (Electronic Proceedings in Theoretical Computer Science (EPTCS); vol. 244).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
Mobile ad hoc networks
Network protocols
Network routing
Routing protocols
2016

Model Checking a Client-Side Micro Payment Protocol

Chaudhary, K. & Fehnker, A., 1 Dec 2016, 3rd Asia-Pacific World Congress on Computer Science and Engineering (APWC on CSE 2016). IEEE, p. 90-97 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Model checking
Network protocols
Costs
Processing
2015
40 Citations (Scopus)
2 Downloads (Pure)

A Process Algebra for Wireless Mesh Networks

Fehnker, A., Glabbeek, R. J. V., Höfner, P., McIver, A., Portmann, M. & Tan, W. L., 2015, Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Seidl, H. (ed.). p. 295-315 (Lecture Notes in Computer Science; vol. 7211).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Wireless mesh networks (WMN)
Routing protocols
Algebra
Data structures
13 Citations (Scopus)
8 Downloads (Pure)

A Rigorous Analysis of AODV and its Variants

Höfner, P., Glabbeek, R. J. V., Tan, W. L., Portmann, M., McIver, A. & Fehnker, A., 2015, MSWiM '12: Proceedings of the 15th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems . New York, NY, p. 203-212

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Algebra
Network protocols
Wireless networks
Wireless mesh networks (WMN)
Formal methods
1 Citation (Scopus)

Model Checking a Server-Side Micro Payment Protocol

Chaudhary, K. & Fehnker, A., 2015, Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 Proceedings. Núñez, M. & Güdemann, M. (eds.). Berlin: Springer, p. 96-110 15 p. (Lecture Notes in Computer Science; vol. 9128).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Model checking
Servers
Network protocols
World Wide Web
Computer systems
5 Citations (Scopus)
116 Downloads (Pure)

Modeling and Verification of the Bitcoin Protocol

Chaudhary, K., Fehnker, A., van de Pol, J. C. & Stoelinga, M. I. A., 13 Nov 2015, Proceedings of the Workshop on Models for Formal Analysis of Real Systems (MARS 2015). van Glabbeek, R. J., Groote, J. F. & Höfner, P. (eds.). Australia: Open Publishing Association, p. 46-60 15 p. (Electronic Proceedings in Theoretical Computer Science; vol. 196).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
Network protocols
Electronic money
2013
1 Citation (Scopus)

The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis

Mund, J., Huuck, R., Fehnker, A. & Artho, C., 2013, Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings. Hung, D. V. & Ogawa, M. (eds.). Springer, p. 516-525 10 p. (Lecture Notes in Computer Science; vol. 8172).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

10 Citations (Scopus)

Topology-Based Mobility Models for Wireless Networks

Fehnker, A., Höfner, P., Kamali, M. & Mehta, V., 2013, Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Joshi, K. R., Siegle, M., Stoelinga, M. & D'Argenio, P. R. (eds.). Berlin: Springer, p. 389-404 16 p. (Lecture Notes in Computer Science; vol. 8054).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Wireless networks
Topology
Network protocols
Medium access control
Computer networks
2012
18 Citations (Scopus)

SMT-Based False Positive Elimination in Static Program Analysis

Junker, M., Huuck, R., Fehnker, A. & Knapp, A., 2012, Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings. Aoki, T. & Taguchi, K. (eds.). Berlin: Springer, p. 316-331 16 p. (Lecture Notes in Computer Science; vol. 7635).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Surface mount technology
Model checking
Static analysis
Experiments
2010
6 Citations (Scopus)

Software Metrics in Static Program Analysis

Vogelsang, A., Fehnker, A., Huuck, R. & Reif, W., 2010, Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings. Dong, J. S. & Zhu, H. (eds.). Springer, p. 485-500 16 p. (Lecture Notes in Computer Science; vol. 6447).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Static analysis
Visualization
Semantics
2009
6 Citations (Scopus)

Automatic Bug Detection in Microcontroller Software by Static Program Analysis

Fehnker, A., Huuck, R., Schlich, B. & Tapp, M., 2009, SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings. Nielsen, M., Kucera, A., Miltersen, P. B., Palamidessi, C., Tuma, P. & Valencia, F. D. (eds.). Berlin: Springer, p. 267-278 12 p. (Lecture Notes in Computer Science; vol. 5404).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Microcontrollers
Specifications
Hardware
2 Citations (Scopus)

Incremental False Path Elimination for Static Software Analysis

Fehnker, A., Huuck, R. & Seefried, S., 2009, Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings. Liu, Z. & Ravn, A. P. (eds.). Springer, p. 255-270 16 p. (Lecture Notes in Computer Science; vol. 5799).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Semantics
Syntactics
5 Citations (Scopus)

On the Impact of Modelling Choices for Distributed Information Spread

Bakhshi, R. & Fehnker, A., 2009, QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009. IEEE Computer Society, p. 41-50 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Network protocols
Peer to peer networks
Electronic data interchange
Set theory
Parallel algorithms
2008
6 Citations (Scopus)

CaVi -- Simulation and Model Checking for Wireless Sensor Networks

Boulis, A., Fehnker, A., Fruth, M. & McIver, A., 2008, Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008). IEEE Computer Society, p. 37-38 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Model checking
Wireless sensor networks
Monte Carlo simulation
Formal verification
1 Downloads (Pure)

Goanna: Syntactic Software Model Checking

Huuck, R., Fehnker, A., Seefried, S. & Brauer, J., 2008, Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings. Cha, S. D., Choi, J-Y., Kim, M., Lee, I. & Viswanathan, M. (eds.). Berlin: Springer, p. 216-221 6 p. (Lecture Notes in Computer Science; vol. 5311).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Model checking
Syntactics
Data flow analysis
Core analysis
Web browsers
3 Citations (Scopus)

Some Assembly Required - Program Analysis of Embedded System Code

Fehnker, A., Huuck, R., Rauch, F. & Seefried, S., 2008, Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008). IEEE Computer Society, p. 15-24 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Program assemblers
Embedded systems
High level languages
Model checking
Static analysis
23 Citations (Scopus)

Survey on Directed Model Checking

Edelkamp, S., Schuppan, V., Bosnacki, D., Wijs, A., Fehnker, A. & Aljazzar, H., 2008, Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers. Peled, D. A. & Wooldridge, M. (eds.). Berlin: Springer, p. 65-89 25 p. (Lecture Notes in Computer Science; vol. 5348).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2007
27 Citations (Scopus)

Model Checking Software at Compile Time

Fehnker, A., Huuck, R., Jayet, P., Lussenburg, M. & Rauch, F., 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007. IEEE Computer Society, p. 45-56 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Model checking
Scalability
Static analysis
Data storage equipment

Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks

Fehnker, A., Fehnker, A., van Hoesel, L. F. W. & Mader, A. H., Jun 2007, Proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007. Davis, J. & Gibbons, J. (eds.). Berlin / Heidelberg: Springer, p. 253-272 20 p. 10.1007/978-3-540-73210-5_14. (Lecture Notes in Computer Science; vol. 4591, no. 7).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2006
14 Citations (Scopus)

Formal Techniques for the Analysis of Wireless Networks

McIver, A. K. & Fehnker, A., 2006, Second International Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006. IEEE Computer Society, p. 263-270 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Wireless networks
Network protocols
Model checking
Simulators
Availability
33 Citations (Scopus)

Formal Verification and Simulation for Performance Analysis for Probabilistic Broadcast Protocols

Fehnker, A. & Gao, P., 2006, Ad-Hoc, Mobile, and Wireless Networks: 5th International Conference, ADHOC-NOW 2006, Ottawa, Canada, August 17-19, 2006, Proceedings. Kunz, T. & Ravi, S. S. (eds.). Springer, p. 128-141 14 p. (Lecture Notes in Computer Science; vol. 4104).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Network protocols
Model checking
Prisms
Synchronization
Phase transitions

Goanna - A Static Model Checker

Fehnker, A., Huuck, R., Jayet, P., Lussenburg, M. & Rauch, F., 2006, Formal Methods: Applications and Technology: 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers. Brim, L., Haverkort, B. R., Leucker, M. & Pol, J. V. D. (eds.). Springer, p. 297-300 4 p. (Lecture Notes in Computer Science; vol. 4346).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Static analysis
Syntactics
2005
18 Citations (Scopus)

Refining Abstractions of Hybrid Systems Using Counterexample Fragments

Fehnker, A., Clarke, E. M., Jha, S. K. & Krogh, B. H., 2005, Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings. Morari, M. & Thiele, L. (eds.). Springer, p. 242-257 16 p. (Lecture Notes in Computer Science; vol. 3414).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Hybrid systems
Refining
Directed graphs
2004
108 Citations (Scopus)

Benchmarks for Hybrid Systems Verification

Fehnker, A. & Ivancic, F., 2004, Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings. Alur, R. & Pappas, G. J. (eds.). Springer, p. 326-341 16 p. (Lecture Notes in Computer Science; vol. 2993).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Hybrid systems
2 Citations (Scopus)

Managing Verification Activities Using SVM

Aldrich, B., Fehnker, A., Feiler, P. H., Han, Z., Krogh, B. H., Lim, E. & Sivashankar, S., 2004, Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings. Davies, J., Schulte, W. & Barnett, M. (eds.). Springer, p. 61-75 15 p. (Lecture Notes in Computer Science; vol. 3308).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Managers
Embedded systems
MATLAB
Signal processing
2003
6 Citations (Scopus)
35 Downloads (Pure)

Modeling and Verifying a Lego Car Using Hybrid I/O Automata

Fehnker, A., Vaandrager, F. W. & Zhang, M., 2003, Third International Conference on Quality Software, 2003. Proceedings. IEEE Computer Society, p. 280-289 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
72 Citations (Scopus)

Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement

Clarke, E. M., Fehnker, A., Han, Z., Krogh, B. H., Stursberg, O. & Theobald, M., 2003, Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Garavel, H. & Hatcliff, J. (eds.). Springer, p. 192-207 16 p. (Lecture Notes in Computer Science; vol. 2619).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Hybrid systems
Model checking
Dynamical systems
Systems analysis
2001

Minimum-Cost Reachability for Priced Timed Automata

Behrmann, G., Fehnker, A., Hune, T., Larsen, K. G., Pettersson, P., Romijn, J. & Vaandrager, F. W., 2001, Hybrid Systems: Computation and Control: 4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings. Benedetto, M. D. D. & Sangiovanni-Vincentelli, A. L. (eds.). Springer, p. 147-161 15 p. (Lecture Notes in Computer Science; vol. 2034).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Costs
Computability and decidability
2000
39 Downloads (Pure)

UPPAAL - Now, Next, and Future

Amnell, T., Behrmann, G., Bengtsson, J., D'Argenio, P. R., David, A., Fehnker, A., Hune, T., Jeannet, B., Larsen, K. G., Möller, M. O., Pettersson, P., Weise, C. & Yi, W., 2000, Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures. Cassez, F., Jard, C., Rozoy, B. & Ryan, M. D. (eds.). Springer, p. 99-124 26 p. (Lecture Notes in Computer Science; vol. 2067).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
1999
65 Citations (Scopus)

Scheduling a Steel Plant with Timed Automata

Fehnker, A., 1999, 6th International Conference on Real-Time Computing Systems and Applications 1999. IEEE Computer Society, p. 280-286 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Iron and steel plants
Model checking
Scheduling
1998
9 Citations (Scopus)

Automotive Control Revisited: Linear Inequalities as Approximation of Reachable Sets

Fehnker, A., 1998, Hybrid Systems: Computation and Control: First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998, Proceedings. Henzinger, T. A. & Sastry, S. (eds.). Berlin: Springer, p. 110-125 16 p. (Lecture Notes in Computer Science; vol. 1386).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Hybrid systems
Linear systems