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

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: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Wireless networks
Network protocols
Computer simulation
Network routing
Routing protocols

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 Citations

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: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

transaction
miner
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: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
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: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Transmission control protocol
Servers
2 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: 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). Institute of Electrical and Electronics Engineers, p. 90-97 8 p.

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

Model checking
Network protocols
Costs
Processing
2015
26 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: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Wireless mesh networks (WMN)
Routing protocols
Algebra
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: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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

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, (EPiC Series in Computing; vol. 35)

Research output: Book/ReportBook editingAcademic

Open Access
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: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Model checking
Servers
Network protocols
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: 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
2013
6 Citations

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 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: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

9 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: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Wireless networks
Topology
Network protocols
Medium access control
Computer networks
2012
8 Citations

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
16 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: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Surface mount technology
Model checking
Static analysis
Experiments
2010
6 Citations

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

4 Citations

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
5 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: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Static analysis
Visualization
Semantics
2009
3 Citations

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

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

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

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

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
MATLAB
2008
6 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: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Model checking
Wireless sensor networks
Monte Carlo simulation
Formal verification

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

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
21 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: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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: 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 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: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

60 Citations

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
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: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Wireless networks
Network protocols
Model checking
Simulators
Availability
32 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: 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 Citations

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
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: 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

2004
105 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: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Managers
Embedded systems
MATLAB
Signal processing
2003
119 Citations

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

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
70 Citations

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
2002
23 Citations

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
2001
87 Citations

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
88 Citations

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

191 Citations

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

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