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

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
12 Citations (Scopus)
41 Downloads (Pure)

Operational and logical semantics for polling real-time systems

Anders, P. R. (ed.), Dierks, H., Fehnker, A., Rischel, H. (ed.), Fehnker, A., Mader, A. H. & Vaandrager, F., Sep 1998, p. 29-40. 12 p.

Research output: Contribution to conferencePaperAcademicpeer-review

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
2000
33 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
2001
91 Citations (Scopus)
19 Downloads (Pure)

As Cheap as Possible:Efficient Cost-Optimal Reachability for Priced Timed Automata

Larsen, K. G., Behrmann, G., Brinksma, E., Fehnker, A., Hune, T., Petterson, P., Romijn, J. M. T. & Romijn, J., 2001, Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings. Berry, G., Comon, H. & Finkel, A. (eds.). Heidelberg: Springer, Vol. 2102. p. 493-505 13 p. (Lecture Notes in Computer Science; no. 2102).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

File
Timed Automata
Reachability
Costs
Facet
Linearly
90 Citations (Scopus)

Efficient Guiding Towards Cost-Optimality in Uppaal

Behrmann, G., Fehnker, A., Hune, T., Larsen, K. G., Pettersson, P. & Romijn, J. M. T., 2001, In : Lecture notes in artificial intelligence. 2031, p. - 188 p.

Research output: Contribution to journalArticleAcademicpeer-review

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
195 Citations (Scopus)

Minimum-Cost Reachability for Priced Timed Automata

Larsen, K. G., Fehnker, A., Hune, T. & Vaandrager, F., 2001, In : Lecture notes in artificial intelligence. 2034, p. 147-161

Research output: Contribution to journalArticleAcademicpeer-review

2002
23 Citations (Scopus)
29 Downloads (Pure)

Verification and Optimization of a PLC Control Schedule

Brinksma, H., Mader, A. H., Fehnker, A. & Fehnker, A., 2002, In : International journal on software tools for technology transfer. 4, 1, p. 21-33 13 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
2003
121 Citations (Scopus)
9 Downloads (Pure)

Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems

Clarke, E. M., Fehnker, A., Han, Z., Krogh, B. H., Ouaknine, J., Stursberg, O. & Theobald, M., 2003, In : International journal of foundations of computer science. 14, 4, p. 583-604 22 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Model checking
Hybrid systems
Dynamical systems
Systems analysis
6 Citations (Scopus)
30 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
2004
107 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
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

Temporal Logic Model Checking

Clarke, E. M., Fehnker, A., Jha, S. K. & Veith, H., 2005, Handbook of Networked and Embedded Control Systems. Hristu-Varsakelis, D. & Levine, W. S. (eds.). Birkhäuser, p. 539-558 20 p. (Control engineering).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-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
1 Citation (Scopus)
10 Downloads (Pure)

Hybrid System Verification Is not a Sinecure - the Electronic Throttle Control Case Study

Fehnker, A. & Krogh, B. H., 2006, In : International journal of foundations of computer science. 17, 4, p. 885-902 18 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Model checking
Hybrid systems
Systems analysis
Control systems
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

60 Citations (Scopus)
54 Downloads (Pure)

Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks

Fehnker, A., Fehnker, A., van Hoesel, L. F. W. & Mader, A. H., 6 Feb 2007, Enschede: Distributed and Embedded Security (DIES). 20 p. (CTIT Technical Report Series; no. TR-CTIT-07-09)

Research output: Book/ReportReportProfessional

File
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

2009
3 Citations (Scopus)
7 Downloads (Pure)

An Abstract Specification Language for Static Program Analysis

Vistein, M., Ortmeier, F., Reif, W., Huuck, R. & Fehnker, A., 2009, In : Electronic notes in theoretical computer science. 254, p. 181-197 17 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Specification languages
Program Analysis
Specification Languages
Static Analysis
Specification
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
13 Citations (Scopus)

Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols

Fehnker, A., Fruth, M. & McIver, A., 2009, Methods, Models and Tools for Fault Tolerance. Butler, M., Jones, C., Romanovsky, A. & Troubitsyna, E. (eds.). Berlin: Springer, p. 1-24 24 p. (Lecture Notes in Computer Science; vol. 5454).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Wireless networks
Network protocols
Computer simulation
Model checking
Telecommunication links
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
2010
6 Citations (Scopus)

Counterexample Guided Path Reduction for Static Program Analysis

Fehnker, A., Huuck, R. & Seefried, S., 2010, Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever. Dams, D., Hannemann, U. & Steffen, M. (eds.). Springer, Vol. 5930. p. 322-341 20 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

5 Citations (Scopus)
1 Downloads (Pure)

Fade to Grey: Tuning Static Program Analysis

Fehnker, A., Huuck, R., Seefried, S. & Tapp, M., 2010, In : Electronic notes in theoretical computer science. 266, p. 17-32 16 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
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
2012
8 Citations (Scopus)
7 Downloads (Pure)

High Performance Static Analysis for Industry

Bradley, M., Cassez, F., Fehnker, A., Given-Wilson, T. & Huuck, R., 2012, In : Electronic proceedings in theoretical computer science. 289, p. 3-14 12 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Model checking
Static analysis
Industry
Formal verification
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
2013
6 Citations (Scopus)

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

Fehnker, A. & Huuck, R., 2013, In : Innovations in systems and software engineering. 9, 1, p. 45-56 12 p.

Research output: Contribution to journalArticleAcademicpeer-review

Model checking
Static analysis
Tuning
Web browsers
Data storage equipment
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
2015
39 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
5 Downloads (Pure)

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Davis, M. (ed.), Fehnker, A. (ed.), McIver, A. & Voronkov, A., 2015, Springer. 640 p. (Lecture Notes in Computer Science; vol. 9450)

Research output: Book/ReportBook editingAcademic

Open Access
File

LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations

Fehnker, A. (ed.), McIver, A. (ed.), Sutcliffe, G. (ed.) & Voronkov, A. (ed.), 2015, EasyChair. (EPiC Series in Computing; vol. 35)

Research output: Book/ReportBook editingAcademic

Open Access
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
4 Citations (Scopus)
112 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

Modelling and Analysis of AODV in UPPAAL

Fehnker, A., Glabbeek, R. J. V., Höfner, P., McIver, A., Portmann, M. & Tan, W. L., 23 Dec 2015. 6 p.

Research output: Contribution to conferencePaperAcademic

Open Access
File
Model checking
Network protocols
Formal methods
Wireless ad hoc networks
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
2017
23 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)
57 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