Ansgar Fehnker

Dr,

Calculated based on number of publications stored in Pure and citations from Scopus
19982022

Research activity per year

Search results

  • 2022

    What's in school? – topic maps for secondary school computer science

    Fehnker, A., 2022, A journey from process algebra via timed automata to model learning : essays dedicated to Frits Vaandrager on the occasion of his 60th birthday. Jansen, N., Stoelinga, M. & van den Bos, P. (eds.). Cham: Springer, Springer Nature, p. 151-163 13 p. (Lecture Notes in Computer Science; vol. 13560).

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

  • 2021

    Atelier Hands-On Training

    Blaas, R., Fehnker, A. & Mader, A. H., 1 Jun 2021

    Research output: Non-traditional research outputDigital or Visual products

    Open Access
  • Atelier – tutor moderated comments in programming education

    Fehnker, A., Mader, A. H. & Rump, A., 2021, Technology-Enhanced Learning for a Free, Safe, and Sustainable World: 16th European Conference on Technology Enhanced Learning, EC-TEL 2021 Bolzano, Italy, September 20–24, 2021 Proceedings. De Laet, T., Klemke, R., Alario-Hoyos, C., Hilliger, I. & Ortega-Arranz, A. (eds.). Cham, Switzerland: Springer, Springer Nature, p. 379-383 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12884 LNCS).

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

    1 Citation (Scopus)
  • Automated assessment of learning objectives in programming assignments

    Rump, A., Fehnker, A. & Mader, A., 2021, Intelligent Tutoring Systems: 17th International Conference, ITS 2021 Virtual Event, June 7–11, 2021 Proceedings. Cristea, A. I. & Troussas, C. (eds.). Cham, Switzerland: Springer, Springer Nature, p. 299-309 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12677 LNCS).

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

    3 Citations (Scopus)
  • Be lazy and don’t care: faster CTL model checking for recursive state machines

    Dubslaff, C., Wienhöft, P. & Fehnker, A., 2021, Software Engineering and Formal Methods: 19th International Conference, SEFM 2021 Virtual Event, December 6–10, 2021 Proceedings. Calinescu, R. & Păsăreanu, C. S. (eds.). Cham, Switzerland: Springer, Springer Nature, p. 332-350 19 p. (Lecture Notes in Computer Science; vol. 13085).

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

    1 Citation (Scopus)
  • 2020

    A distributed blockchain model of selfish mining

    Eijkel, D. & Fehnker, A., 2020, Formal Methods - FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019 Revised Selected Papers, Part I. Sekerinski, E., Moreira, N. & Oliveira, J. N. (eds.). Cham, Switzerland: Springer, Springer Nature, p. 350-361 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12232).

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

    1 Citation (Scopus)
  • A sports day for programming

    Fehnker, A., 2020, The 9th Computer Science Education Research Conference, CSERC '20. Stikkolorum, D. R. & Rahimi, E. (eds.). New York, NY: Association for Computing Machinery (ACM), p. 1-6 6 p. 11. (ACM International Conference Proceeding Series).

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

  • Atelier - an online platform for programming tutorials

    Fehnker, A., Mader, A., Rump, A., Rutgers, M., Steenmeijer, L. & Witteveen, C., 2020, Proceedings of the 9th Computer Science Education Research Conference, CSERC '20. Stikkolorum, D. & Rahimi, E. (eds.). New York, NY: Association for Computing Machinery (ACM), p. 101-102 2 p. (CSERC '20).

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

  • Atelier for creative programming

    Fehnker, A. & Mader, A., 2020, CSEDU 2020: Final Program and Book of Abstracts. Setubal, Portugal: SciTePress, p. 43 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

  • Atelier for Creative Programming - Poster Video

    Fehnker, A. & Mader, A. H., 2020

    Research output: Non-traditional research outputDigital or Visual products

    Open Access
    File
    3 Downloads (Pure)
  • Atelier – Support for Creative Programming Education

    Fehnker, A. & Mader, A. H., 2020.

    Research output: Contribution to conferenceOther

    Open Access
  • Atelier voor Creatief Programmeren

    Fehnker, A., Mader, A. H., Rump, A., Rutgers, M. & Steenmeijer, L., 2020.

    Research output: Contribution to conferenceOther

    Open Access
    File
    1 Downloads (Pure)
  • Double-spending analysis of bitcoin

    Chaudhary, K., Chand, V. & Fehnker, A., 2020, 24th Pacific Asia Conference on Information Systems: Information Systems (IS) for the Future, PACIS 2020. Dubai: Association for Information Systems, p. 1-14 14 p.

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

    16 Citations (Scopus)
  • Out for coffee: with Rob

    Fehnker, A., Oct 2020, In: Acta Informatica. 57, 3-5, p. 323-327 5 p.

    Research output: Contribution to journalOther journal contribution

    Open Access
    File
    1 Citation (Scopus)
    25 Downloads (Pure)
  • Preface

    Fehnker, A. & Garavel, H., 2020, Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020. Fehnker, A. & Garavel, H. (eds.). Waterloo, NSW: Open Publishing Association, 1 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS).

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript/introduction

    Open Access
  • Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020

    Fehnker, A. (ed.) & Garavel, H. (ed.), 2020.

    Research output: Contribution to conferenceOther

    Open Access
  • Tinkering in informatics as teaching method

    Mader, A. H., Fehnker, A. & Dertien, E., 2020, CSEDU 2020 - Proceedings of the 12th International Conference on Computer Supported Education. Lane, H. C., Zvacek, S. & Uhomoibhi, J. (eds.). Setúbal, Portugal: SciTePress, p. 450-457 8 p. (CSEDU 2020 - Proceedings of the 12th International Conference on Computer Supported Education; vol. 1).

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

    Open Access
    File
    3 Citations (Scopus)
    73 Downloads (Pure)
  • 2019

    Detecting and addressing design smells in novice Processing programs

    Fehnker, A. & de Man, R., 2019, Computer Supported Education: 10th International Conference, CSEDU 2018 Funchal, Madeira, Portugal, March 15–17, 2018 Revised Selected Papers. McLaren, B. M., Reilly, R., Zvacek, S. & Uhomoibhi, J. (eds.). Cham, Switzerland: Springer, Springer Nature, p. 507-531 25 p. (Communications in Computer and Information Science; vol. 1022).

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

    3 Citations (Scopus)
  • 2018

    Adaptive formal framework for WMN routing protocols

    Kamali, M. & Fehnker, A., 2018, Formal Aspects of Component Software: 15th International Conference, FACS 2018 Pohang, South Korea, October 10–12, 2018 Proceedings. Bae, K. & Ölveczky, P. C. (eds.). Cham, Switzerland: Springer, Springer Nature, p. 175-195 21 p. (Lecture Notes in Computer Science; vol. 11222).

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

    2 Citations (Scopus)
  • 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, Switzerland: Springer, Springer Nature, p. 164-178 15 p. (Lecture Notes in Computer Science; vol. 10811).

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

    1 Citation (Scopus)
  • The smell of Processing

    de Man, R. & Fehnker, A., 2018, CSEDU 2018 - Proceedings of the 10th International Conference on Computer Supported Education. McLaren, B. M., Reilly, R., Zvacek, S. & Uhomoibhi, J. (eds.). Setúbal, Portugal: SciTePress, Vol. 1. p. 420-431 12 p. (CSEDU 2018 - Proceedings of the 10th International Conference on Computer Supported Education; vol. 2).

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

    Open Access
    File
    2 Citations (Scopus)
    44 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, Switzerland: Springer, Springer Nature, p. 157-163 7 p. (Lecture Notes in Computer Science; vol. 10811).

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

    11 Citations (Scopus)
  • 2017

    Automated Program Analysis for Novice Programmers

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

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

    Open Access
    File
    13 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 2017). Hermanns, H. & Höfner, P. (eds.). Waterloo, NSW: Open Publishing Association, p. 1-13 13 p. (EPTCS; vol. 244).

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

    Open Access
    File
    6 Citations (Scopus)
    6 Downloads (Pure)
  • 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. Hermanns, H. & Höfner, P. (eds.). Waterloo, NSW: Open Publishing Association, p. 53-65 13 p. (Electronic Proceedings in Theoretical Computer Science (EPTCS); vol. 244).

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

    Open Access
    File
    5 Citations (Scopus)
    12 Downloads (Pure)
  • 2016

    Model checking a client-side micro payment protocol

    Chaudhary, K. & Fehnker, A., 2016, Proceedings - Asia-Pacific World Congress on Computer Science and Engineering 2016 and Asia-Pacific World Congress on Engineering 2016, APWC on CSE/APWCE 2016. Shawkat Ali, A. B. M., Khan, M. A. & Mamun, K. (eds.). Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 90-97 8 p.

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

  • 2015

    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. (ed.) & Voronkov, A. (ed.), 2015, Heidelberg: Springer, Springer Nature. 640 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9450)

    Research output: Book/ReportEdited Book/Anthologypeer-review

  • 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.). Cham, Switzerland: Springer, Springer Nature, p. 96-110 15 p. (Lecture Notes in Computer Science; vol. 9128).

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

    1 Citation (Scopus)
  • Modeling and verification of the Bitcoin protocol

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

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

    Open Access
    File
    20 Citations (Scopus)
    17 Downloads (Pure)
  • Preface

    Davis, M., Fehnker, A., McIver, A. & Voronkov, A., 2015, Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015 Suva, Fiji, November 24–28, 2015, Proceedings. Davis, M., Fehnker, A., McIver, A. & Voronkov, A. (eds.). Berlin: Springer, Springer Nature, 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9450).

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript/introduction

  • 2014

    Modeling and verification for the server-side Netpay protocol

    Chaudhary, K., Fehnker, A. & Dai, X., 2014, Asia-Pacific World Congress on Computer Science and Engineering, APWC on CSE 2014. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 1-8 8 p.

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

  • 2013

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

    Fehnker, A. & Huuck, R., Mar 2013, In: Innovations in Systems and Software Engineering. 9, 1, p. 45-56 12 p.

    Research output: Contribution to journalArticlepeer-review

    9 Citations (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.). Cham, Switzerland: Springer, Springer Nature, p. 516-525 10 p. (Lecture Notes in Computer Science; vol. 8172).

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

    1 Citation (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.). Heidelberg: Springer, Springer Nature, p. 389-404 16 p. (Lecture Notes in Computer Science; vol. 8054).

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

    12 Citations (Scopus)
  • 2012

    Automated analysis of AODV using UPPAAL

    Fehnker, A., Van Glabbeek, R., Höfner, P., McIver, A., Portmann, M. & Tan, W. L., 2012, Tools and Algorithms for the Construction and Analysis of Systems - 18th Int. Conf., TACAS 2012, Held as Part of the European Joint Conf. on Theory and Practice of Software, ETAPS 2012, Proceedings. Flanagan, C. & König, B. (eds.). Heidelberg, Germany: Springer, Springer Nature, Vol. 7214 LNCS. p. 173-187 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7214 LNCS).

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

    52 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.). Heidelberg: Springer, Springer Nature, p. 316-331 16 p. (Lecture Notes in Computer Science; vol. 7635).

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

    26 Citations (Scopus)
  • 2011

    Cyber security at software development time

    Bradley, M., Fehnker, A. & Huuck, R., 2011, 2011 Defense Science Research Conference and Expo, DSR 2011. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), 4 p.

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

  • Model checking dataflow for malicious input

    Fehnker, A., Huuck, R. & Rödiger, W., 2011, Proceedings of the Workshop on Embedded Systems Security, WESS '11. New York, NY: Association for Computing Machinery (ACM), p. 1-10 10 p. 4

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

    2 Citations (Scopus)
  • Modelling and analysis of AODV in UPPAAL

    Fehnker, A., van Glabbeek, R., Höfner, P., McIver, A., Portmann, M. & Tan, W. L., 2011, p. 1-6. 6 p.

    Research output: Contribution to conferencePaperpeer-review

    Open Access
  • 2010

    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.). Berlin: Springer, Springer Nature, p. 322-341 20 p. (Lecture Notes in Computer Science; vol. 5930).

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

    6 Citations (Scopus)
  • Fade to grey: tuning static program analysis

    Fehnker, A., Huuck, R., Seefried, S. & Tapp, M., 12 Oct 2010, In: Electronic Notes in Theoretical Computer Science. 266, p. 17-32 16 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    6 Citations (Scopus)
    14 Downloads (Pure)
  • 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.). Berlin: Springer, Springer Nature, p. 485-500 16 p. (Lecture Notes in Computer Science; vol. 6447).

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

    6 Citations (Scopus)
  • 2009

    An abstract specification language for static program analysis

    Vistein, M., Ortmeier, F., Reif, W., Huuck, R. & Fehnker, A., 28 Oct 2009, In: Electronic Notes in Theoretical Computer Science. 254, p. 181-197 17 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    3 Citations (Scopus)
    7 Downloads (Pure)
  • 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 Špindler ̊uv 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, Springer Nature, p. 267-278 12 p. (Lecture Notes in Computer Science; vol. 5404).

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

    11 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.). Berlin: Springer, Springer Nature, p. 255-270 16 p. (Lecture Notes in Computer Science; vol. 5799).

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

    2 Citations (Scopus)
  • On the impact of modelling choices for distributed information spread: a comparative study

    Bakhshi, R. & Fehnker, A., 2009, Proceedings, Sixth International Conference on the Quantitative Evaluation of Systems, QEST 2009 . Los Alamitos, CA: Institute of Electrical and Electronics Engineers (IEEE), p. 41-50 10 p.

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

    5 Citations (Scopus)
  • Survey on directed model checking

    Edelkamp, S., Schuppan, V., Bošnački, D., Wijs, A., Fehnker, A. & Aljazzar, H., 2009, 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. J. (eds.). Berlin: Springer, Springer Nature, p. 65-89 25 p. (Lecture Notes in Computer Science; vol. 5348).

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

    29 Citations (Scopus)
  • 2008

    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., Choi, J-Y., Kim, M., Lee, I. & Viswanathan, M. (eds.). Berlin: Springer, Springer Nature, p. 216-221 6 p. (Lecture Notes in Computer Science; vol. 5311).

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

    12 Citations (Scopus)
  • Some assembly required: program analysis of embedded system code

    Fehnker, A., Huuck, R., Rauch, F. & Seefried, S., 2008, Proceedings of Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008). Cordy, J. R. & Zhang, L. (eds.). Los Alamitos, CA: Institute of Electrical and Electronics Engineers (IEEE), p. 15-24 10 p.

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

    10 Citations (Scopus)
  • 2007

    Goanna - a static model checker

    Fehnker, A., Huuck, R., Jayet, P., Lussenburg, M. & Rauch, F., 2007, 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.). Berlin: Springer, Springer Nature, p. 297-300 4 p. (Lecture Notes in Computer Science; vol. 4346).

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

    15 Citations (Scopus)