Formal Methods and Tools

Filter
Conference contribution

Search results

  • 2021

    Fault Trees, Decision Trees, and Binary Decision Diagrams: A systematic comparison

    Jimenez-Roa, L. A., Heskes, T. & Stoelinga, M., 21 Sept 2021, Proceedings of the 31st European Safety and Reliability Conference (ESREL 2021). Castanier, B., Cepin, M., Bigaud, D. & Bérenguer, C. (eds.). Research Publishing, p. 673-680 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    647 Downloads (Pure)

  • IntelliJML: A JML plugin for IntelliJ IDEA

    Monteiro, S., Sokolovas, E., Wittingen, E., Dijk, T. V. & Huisman, M., 13 Jul 2021, FTfJP 2021 - Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, co-located with ECOOP/ISSTA 2021. Cok, D. R. (ed.). New York, NY: Association for Computing Machinery, p. 39-42 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    135 Downloads (Pure)

  • Learning optimal decisions for stochastic hybrid systems

    Niehage, M., Hartmanns, A. & Remke, A., 20 Nov 2021, MEMOCODE '21: Prtoceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20-22, 2021. Arun-Kumar, S., Méry, D., Saha, I. & Zhang, L. (eds.). ACM Press, p. 44-55 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    11 Citations (Scopus)
    73 Downloads (Pure)

  • Model-Free Reinforcement Learning for Branching Markov Decision Processes

    Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A. & Wojtczak, D., 15 Jul 2021, Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II. Silva, A. & Leino, K. R. M. (eds.). Springer, p. 651-673 23 p. (Lecture Notes in Computer Science; vol. 12760).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    51 Downloads (Pure)

  • Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives

    Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A. & Wojtczak, D., 10 Nov 2021, 24th International Symposium on Formal Methods, FM 2021: Virtual Event, November 20–26, 2021, Proceedings. Huisman, M., Pasareanu, C. S. & Zhan, N. (eds.). Springer, p. 142-159 18 p. (Lecture Notes in Computer Science; vol. 13047).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    6 Citations (Scopus)
    96 Downloads (Pure)

  • On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract)

    van de Pol, J. & Petrucci, L., 2021, Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020 Virtual Event, April 29, 2020 Revised Selected Papers. Roggenbach, M. (ed.). Springer, p. 3-10 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12669).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report

    Budde, C. E., Hartmanns, A., Klauck, M., Kretínský, J., Parker, D., Quatmann, T., Turrini, A. & Zhang, Z., 5 Aug 2021, Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 216-241 26 p. (Lecture Notes in Computer Science; vol. 12479).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    17 Citations (Scopus)
    93 Downloads (Pure)

  • On the Efficacy of Online Proctoring using Proctorio

    Bergmans, L., Bouali, N., Luttikhuis, M. & Rensink, A., 2021, Proceedings of the 13th International Conference on Computer Supported Education (CSEDU 2021). Csapó, B. & Uhomoibhi, J. (eds.). SCITEPRESS, Vol. 1. p. 279-290 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    16 Citations (Scopus)
    34566 Downloads (Pure)

  • Optimal Algorithm of Isolated Toughness for Interval Graphs

    Li, F., Ye, Q., Broersma, H. & Zhang, X., 21 Feb 2021, Parallel and Distributed Computing, Applications and Technologies: 21st International Conference, PDCAT 2020, Shenzhen, China, December 28–30, 2020, Proceedings. Zhang, Y., Xu, Y. & Tian, H. (eds.). Cham: Springer, p. 379-388 10 p. (Lecture Notes in Computer Science; vol. 12606).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    46 Downloads (Pure)

  • Permission-Based Verification of Red-Black Trees and Their Merging

    Armborst, L. & Huisman, M., 24 Jun 2021, FormaliSE 21: Proceedings of the 9th International Conference on Formal Methods in Software Engineering. IEEE, Vol. 1. p. 111-123 13 p. (IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE); vol. 2021, no. 9).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    8 Citations (Scopus)
    333 Downloads (Pure)

  • Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System

    Roberts, R., Lewis, B., Hartmanns, A., Basu, P., Roy, S., Chakraborty, K. & Zhang, Z., 19 Aug 2021, Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings. Lluch-Lafuente, A. & Mavridou, A. (eds.). Cham: Springer, p. 232-248 17 p. (Lecture Notes in Computer Science; vol. 12863).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    3 Citations (Scopus)
    49 Downloads (Pure)

  • Robust Local Differential Privacy

    Lopuhaä-Zwakenberg, M. & Goseling, J., 1 Sept 2021, IEEE International Symposium on Information Theory: ISIT. IEEE, p. 557-562 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    78 Downloads (Pure)

  • Symblicit exploration and elimination for probabilistic model checking

    Hahn, E. M. & Hartmanns, A., 22 Apr 2021, SAC '21: Proceedings of the 36th Annual ACM Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021. Hung, C.-C., Hong, J., Bechini, A. & Song, E. (eds.). Association for Computing Machinery, p. 1798-1806 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    100 Downloads (Pure)

  • Teaching Design by Contract using Snap!

    Huisman, M. & Monti, R. E., 8 Jul 2021, Proceedings - 2021 3rd International Workshop on Software Engineering Education for the Next Generation, SEENG 2021. Piscataway, NJ: IEEE, p. 1-5 5 p. 9474640

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    82 Downloads (Pure)

  • The Marriage Between Safety and Cybersecurity: Still Practicing

    Stoelinga, M. I. A., Kolb, C., Nicoletti, S. M., Budde, C. E. & Hahn, E. M., 3 Aug 2021, Model Checking Software. SPIN 2021: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings. Laarman, A. & Sokolova, A. (eds.). Springer, p. 3-21 19 p. (Lecture Notes in Computer Science; vol. 12864).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    7 Citations (Scopus)
    131 Downloads (Pure)

  • There Is More Than One Way to Zen Your Python

    Farooq, A. & Zaytsev, V., 17 Oct 2021, SLE 2021: Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering. p. 68-82 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    10 Citations (Scopus)
    155 Downloads (Pure)

  • Tweaking the Odds in Probabilistic Timed Automata

    Hartmanns, A., Katoen, J.-P., Kohlen, B. & Spel, J., 19 Aug 2021, Quantitative Evaluation of Systems - 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings. Abate, A. & Marin, A. (eds.). Cham: Springer, p. 39-58 20 p. (Lecture Notes in Computer Science; vol. 12846).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    67 Downloads (Pure)
  • 2020

    A distributed blockchain model of selfish mining

    Eijkel, D. & Fehnker, A., 13 Aug 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., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (eds.). Cham: Springer, p. 350-361 12 p. (Lecture Notes in Computer Science; vol. 12232).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    34 Downloads (Pure)

  • A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms

    Safari, M. & Huisman, M., 13 Nov 2020, Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings. Dongol, B. & Troubitsyna, E. (eds.). Cham: Springer, p. 257-275 19 p. (Lecture Notes in Computer Science; vol. 12546).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    8 Citations (Scopus)
    95 Downloads (Pure)

  • Alice and Eve: a celebration of women in computer science

    van Huizen, J. C., Huisman, M., Lathouwers, S. A. M., Schaafstal, A. M. & Stoelinga, M. I. A., 2020, Engaging, Engineering, Education: Book of Abstracts, SEFI 48th Annual Conference University of Twente (online), 20-24 September, 2020. van der Veen, J., van Hattum-Janssen, N., Järvinen, H.-M., de Laet, T. & ten Dam, I. (eds.). Enschede: University of Twente, 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    181 Downloads (Pure)

  • ARCH-COMP20 Category Report: Stochastic Models

    Abate, A., Blom, H., Cauchi, N., Delicaris, J., Hartmanns, A., Khaled, M., Lavaei, A., Pilch, C., Remke, A., Schupp, S., Shmarov, F., Soudjani, S., Vinod, A. P., Wooding, B., Zamani, M. & Zuliani, P., 2020, ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020. EasyChair, Vol. 74. p. 76-106 31 p. (EPiC Series in Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    Open Access
    File
    10 Citations (Scopus)
    63 Downloads (Pure)

  • 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. New York, NY, USA: Association for Computing Machinery, (CSERC '20).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    121 Downloads (Pure)

  • Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings

    Pilch, C., Hartmanns, A. & Remke, A., 22 Apr 2020, HSCC '20: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control. Ames, A., Seshia, S. A. & Deshmukh, J. (eds.). New York, NY: Association for Computing Machinery, 11 p. 10

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    10 Citations (Scopus)
    82 Downloads (Pure)

  • Double-Spending Analysis of Bitcoin

    Chaudhary, K., Chand, V. & Fehnker, A., 2020, 24th Pacific Asia Conference on Information Systems, PACIS 2020, Dubai, UAE, June 22-24, 2020. Vogel, D., Shen, K. N., Ling, P. S., Hsu, C., Thong, J. Y. L., Marco, M. D., Limayem, M. & Xu, S. X. (eds.). p. 210 1 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    21 Citations (Scopus)

  • Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives

    Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A. & Wojtczak, D., 12 Oct 2020, Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings. Hung, D. V. & Sokolsky, O. (eds.). Cham: Springer, p. 108-124 17 p. (Lecture Notes in Computer Science; vol. 12302).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    14 Citations (Scopus)
    77 Downloads (Pure)

  • Formal Verification of Parallel Prefix Sum

    Safari, M., Oortwijn, W., Joosten, S. & Huisman, M., 10 Aug 2020, NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings. Lee, R., Jha, S. & Mavridou, A. (eds.). Cham: Springer, p. 170-186 17 p. (Lecture Notes in Computer Science; vol. 12229).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    13 Citations (Scopus)
    133 Downloads (Pure)

  • Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms

    Safari, M. & Huisman, M., 25 Nov 2020, Theoretical Aspects of Computing – ICTAC 2020: 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings. Pun, V. K. I., Stolz, V. & Simão, A. (eds.). Cham: Springer, p. 181-199 19 p. (Lecture Notes in Computer Science; vol. 12545).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    3 Citations (Scopus)
    62 Downloads (Pure)

  • Improving a Software Modernisation Process by Differencing Migration Logs

    Deknop, C., Fabry, J., Mens, K. & Zaytsev, V., 21 Nov 2020, Product-Focused Software Process Improvement: 21st International Conference, PROFES 2020, Turin, Italy, November 25–27, 2020, Proceedings. Morisio, M., Torchiano, M. & Jedlitschka, A. (eds.). Cham: Springer, p. 270-286 17 p. (Lecture Notes in Computer Science; vol. 12562).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    7 Citations (Scopus)
    105 Downloads (Pure)

  • Model-Free Reinforcement Learning for Stochastic Parity Games

    Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A. & Wojtczak, D., 2020, 31st International Conference on Concurrency Theory (CONCUR 2020). Konnov, I. & Kovacs, L. (eds.). Leibniz: Dagstuhl, 16 p. 21. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 171).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    9 Citations (Scopus)
    48 Downloads (Pure)

  • On the Industrial Application of Critical Software Verification with VerCors

    Huisman, M. & Monti, R. E., 27 Oct 2020, Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 273-292 20 p. (Lecture Notes in Computer Science; vol. 12478)(Theoretical Computer Science and General Issues).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    9 Citations (Scopus)
    68 Downloads (Pure)

  • OOPSLE 2020: Open and Original Problems in Software Language Engineering

    Zaytsev, V. & Bagge, A. H., 24 Oct 2020, STAF 2020 Workshop Proceedings: 4th Workshop on Model-Driven Engineering for the Internet-of-Things, 1st International Workshop on Modeling Smart Cities, and 5th International Workshop on Open and Original Problems in Software Language Engineering co-located with Software Technologies: Applications and Foundations federation of conferences (STAF 2020, ) Bergen, Norway, June 22-26, 2020. Burgueño, L. & Kristensen, L. M. (eds.). CEUR, p. 47-51 5 p. (CEUR workshop proceedings; vol. 2707).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    81 Downloads (Pure)

  • Optimistic Value Iteration

    Hartmanns, A. & Kaminski, B. L., 14 Jul 2020, Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II. Lahiri, S. K. & Wang, C. (eds.). Springer, p. 488-511 24 p. (Lecture Notes in Computer Science; vol. 12225).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    30 Citations (Scopus)
    78 Downloads (Pure)

  • Practical Abstractions for Automated Verification of Shared-Memory Concurrency

    Oortwijn, W., Gurov, D. & Huisman, M., 13 Jan 2020, Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings. Beyer, D. & Zufferey, D. (eds.). Cham: Springer, p. 401-425 25 p. (Lecture Notes in Computer Science; vol. 11990)(Theoretical Computer Science and General Issues).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    5 Citations (Scopus)
    41 Downloads (Pure)

  • Reflections on the Lack of Adoption of Domain Specific Languages

    Tomassetti, F. & Zaytsev, V., 24 Oct 2020, STAF 2020 Workshop Proceedings: 4th Workshop on Model-Driven Engineering for the Internet-of-Things, 1st International Workshop on Modeling Smart Cities, and 5th International Workshop on Open and Original Problems in Software Language Engineering co-located with Software Technologies: Applications and Foundations federation of conferences (STAF 2020, ) Bergen, Norway, June 22-26, 2020. Burgueño, L. & Kristensen, L. M. (eds.). CEUR, p. 85-94 5. (CEUR Workshop Proceedings; vol. 2707).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    148 Downloads (Pure)

  • Sampling Distributed Schedulers for Resilient Space Communication

    D'Argenio, P. R., Fraire, J. A. & Hartmanns, A., 10 Aug 2020, NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings. Lee, R., Jha, S. & Mavridou, A. (eds.). Springer, p. 291-310 20 p. (Lecture Notes in Computer Science; vol. 12229).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    3 Citations (Scopus)
    76 Downloads (Pure)

  • Software Language Engineers' Worst Nightmare

    Zaytsev, V., 16 Nov 2020, Proceedings of the 13th International Conference on Software Language Engineering. Lämmel, R., Tratt, L. & De Lara, J. (eds.). 13th ed. ACM Publishing, p. 72-85 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    3 Citations (Scopus)
    13 Downloads (Pure)

  • Symbolic Parity Game Solvers that Yield Winning Strategies

    Lijzenga, O. & van Dijk, T., 22 Sept 2020, Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification: Brussels, Belgium, September 21-22, 2020. Raskin, J.-F. & Bresolin, D. (eds.). Waterloo, NSW: Open Publishing Association, p. 18-32 (Electronic Proceedings in Theoretical Computer Science; vol. 326).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    94 Downloads (Pure)

  • The 2020 Expert Survey on Formal Methods

    Garavel, H., Ter Beek, M. H. & Van De Pol, J., 2020, Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Proceedings. ter Beek, M. H. & Nickovic, D. (eds.). Springer, p. 3-69 67 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12327 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    47 Citations (Scopus)
    54 Downloads (Pure)

  • Towards verified construction of correct and optimised GPU software

    Huisman, M. & Wijs, A., 23 Jul 2020, FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs. Oortwijn, W. (ed.). Association for Computing Machinery, p. 10-14 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    56 Downloads (Pure)

  • Verification and Validation of Concurrent and Distributed Systems (Track Summary)

    Huisman, M. & Seceleanu, C., 29 Oct 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 421-425 5 p. (Lecture Notes in Computer Science; vol. 12476)(Theoretical Computer Science and General Issues).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    52 Downloads (Pure)

  • Verifying Sanitizer Correctness through Black-Box Learning: A Symbolic Finite Transducer Approach

    Lathouwers, S., Everts, M. & Huisman, M., 2020, Proceedings of the 6th International Conference on Information Systems Security and Privacy: Volume 1: ForSE. Furnell, S., Mori, P., Weippl, E. & Camp, O. (eds.). SCITEPRESS, p. 784-795 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    189 Downloads (Pure)

  • What is the point: Formal analysis and test generation for a railway standard

    Bouwman, M., van der Wal, D., Luttik, B., Stoelinga, M. & Rensink, A., Nov 2020, Proceedings of the 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference. Baraldi, P., Di Maio, F. & Zio, E. (eds.). Singapore: Research Publishing Services, p. 921-928 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    4 Citations (Scopus)
    130 Downloads (Pure)
  • 2019

    A Modest Approach to Modelling and Checking Markov Automata

    Butkova, Y., Hartmanns, A. & Hermanns, H., 2019, Proceedings of the 16th International Conference on Quantitative Evaluation of Systems (QEST 2019). Parker, D. & Wolf, V. (eds.). Cham: Springer, p. 52-69 18 p. (Lecture Notes in Computer Science; vol. 11785)(Theoretical Computer Science and General Issues).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    6 Citations (Scopus)
    1 Downloads (Pure)

  • A Modest Markov Automata Tutorial

    Hartmanns, A. & Hermanns, H., 2019, 15th International Reasoning Web Summer School on Explainable Artificial Intelligence (RW 2019). Krötzsch, M. & Stepanova, D. (eds.). Springer, p. 250-276 27 p. (Lecture Notes in Computer Science; vol. 11810)(Information Systems and Applications, incl. Internet/Web, and HCI ).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    4 Citations (Scopus)
    23 Downloads (Pure)

  • A Parity Game Tale of Two Counters

    Dijk, T. V., 2019, Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019: Bordeaux, France, 2-3rd September 2019. Leroux, J. & Raskin, J.-F. (eds.). ArXiv.org, p. 107-122 16 p. (Electronic Proceedings in Theoretical Computer Science (EPTCS); vol. 305).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    5 Citations (Scopus)
    160 Downloads (Pure)

  • Concurrent algorithms and data structures for model checking

    van de Pol, J., Aug 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Dagstuhl, 4. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 140).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    339 Downloads (Pure)

  • Concurrent chaining hash maps for software model checking

    van der Berg, F. I. & van de Pol, J., Oct 2019, 2019 Formal Methods in Computer Aided Design (FMCAD). Barrett, C. & Yang, J. (eds.). Piscataway, NY: IEEE, p. 46-54 9 p. 8894279. (Proceedings of the Conference on Formal Methods in Computer-Aided Design (FMCAD); vol. 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    3 Citations (Scopus)
    6 Downloads (Pure)

  • Detecting and Addressing Design Smells in Novice Processing Programs

    Fehnker, A. & de Man, R., 20 Jun 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: Springer, p. 507-531 25 p. (Communications in Computer and Information Science; vol. 1022).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    3 Citations (Scopus)
    11 Downloads (Pure)

  • Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm

    Linard, A., Bucur, D. & Stoelinga, M., 18 Nov 2019, Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings. Guan, N., Katoen, J.-P. & Sun, J. (eds.). Cham: Springer, p. 19-37 19 p. (Lecture Notes in Computer Science; vol. 11951)(Programming and Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    11 Citations (Scopus)
    266 Downloads (Pure)

  • FFORT: A benchmark suite for fault tree analysis

    Ruijters, E. J. J., Budde, C. E., Chenariyan Nakhaee, M., Stoelinga, M. I. A., Bucur, D., Hiemstra, D. & Schivo, S., 2019, ESREL 2019: Proceedings of the 29th European Safety and Reliability Conference. Beer, M. & Zio, E. (eds.). Research Publishing, p. 878-885 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    8 Citations (Scopus)
    448 Downloads (Pure)