Research Output 1998 2018

Filter
Conference contribution
2018

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 International Publishing AG, 15 p. (Lecture Notes in Computer Science; vol. 10811)

Research output: Scientific - peer-reviewConference contribution

Wireless networks
Network routing
Routing protocols
Topology

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: Scientific - peer-reviewConference contribution

Students
Textbooks
Static analysis
Software design
Curricula

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 International Publishing AG, p. 157-163 7 p. (Lecture Notes in Computer Science; vol. 10811)

Research output: Scientific - peer-reviewConference contribution

transaction
payment transactions
miner
alternative
2017

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: Scientific - peer-reviewConference contribution

Feedback
Teaching
Students
Polarization mode dispersion
Static analysis

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: Scientific - peer-reviewConference contribution

Transmission control protocol
Servers
1 Citations

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: Scientific - peer-reviewConference contribution

Mobile ad hoc networks
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: Scientific - peer-reviewConference contribution

Model checking
Costs
2015
20 Citations

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: Scientific - peer-reviewConference contribution

Wireless mesh networks (WMN)
Algebra
Routing protocols
Data structures
7 Citations

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: Scientific - peer-reviewConference contribution

Algebra
Wireless networks
Wireless mesh networks (WMN)
Formal methods
Model checking
1 Citations

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: Scientific - peer-reviewConference contribution

Servers
Model checking
World Wide Web
Computer systems
2 Citations

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: Scientific - peer-reviewConference contribution

Electronic money
2013
1 Citations

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: Scientific - peer-reviewConference contribution

7 Citations

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: Scientific - peer-reviewConference contribution

Wireless networks
Topology
Medium access control
Computer networks
Routing protocols
2012
14 Citations

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: Scientific - peer-reviewConference contribution

Surface mount technology
Model checking
Static analysis
Experiments
2010
4 Citations

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: Scientific - peer-reviewConference contribution

Static analysis
Visualization
Semantics
2009
6 Citations

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: Scientific - peer-reviewConference contribution

Microcontrollers
Specifications
Hardware
2 Citations

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: Scientific - peer-reviewConference contribution

Semantics
Syntactics
5 Citations

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: Scientific - peer-reviewConference contribution

Peer to peer networks
Electronic data interchange
Set theory
MATLAB
Explosions
2008
5 Citations

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: Scientific - peer-reviewConference contribution

Model checking
Wireless sensor networks

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: Scientific - peer-reviewConference contribution

Data flow analysis
Core analysis
Web browsers
Model checking
Static analysis
3 Citations

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: Scientific - peer-reviewConference contribution

Embedded systems
Program assemblers
High level languages
Model checking
Static analysis
20 Citations

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: Scientific - peer-reviewConference contribution

Model checking
2007
26 Citations

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: Scientific - peer-reviewConference contribution

Model checking
Scalability
Static analysis

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 Verlag, p. 253-272 20 p. 10.1007/978-3-540-73210-5_14. (Lecture Notes in Computer Science; vol. 4591, no. 7)

Research output: Scientific - peer-reviewConference contribution

Model checking
Topology
Medium access control
Explosions
Wireless sensor networks
2006
13 Citations

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: Scientific - peer-reviewConference contribution

Wireless networks
Model checking
Simulators
Availability
Communication
28 Citations

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: Scientific - peer-reviewConference contribution

Model checking
Prisms
Synchronization
Phase transitions
Semantics

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: Scientific - peer-reviewConference contribution

Static analysis
Syntactics
2005
17 Citations

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: Scientific - peer-reviewConference contribution

Hybrid systems
Directed graphs
Refining
2004
99 Citations

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: Scientific - peer-reviewConference contribution

Hybrid systems
2 Citations

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: Scientific - peer-reviewConference contribution

Managers
Embedded systems
MATLAB
Signal processing
1999
65 Citations

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: Scientific - peer-reviewConference contribution

Iron and steel plants
Scheduling
Model checking
1998
9 Citations

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: Scientific - peer-reviewConference contribution

Hybrid systems
Linear systems