Formal Methods and Tools

Filter
Conference contribution

Search results

  • 2023

    With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves

    van den Bos, P. & Stoelinga, M., 10 Jun 2023, Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023. Huisman, M. & Ravara, A. (eds.). Cham: Springer Nature, p. 155-172 18 p. (Lecture Notes in Computer Science; vol. 13910).

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

    Open Access
    File
    24 Downloads (Pure)
  • 2022

    A Language-Based Causal Model for Safety

    Bonsangue, M. M., Caltais, G., Feng, H. & Tunç, H. C., 3 Jul 2022, Theoretical Aspects of Software Engineering : 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings. Aït-Ameur, Y. & Craciun, F. (eds.). Cham: Springer Nature, p. 290-307 18 p. (Lecture Notes in Computer Science; vol. 13299).

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

    Open Access
    File
    94 Downloads (Pure)

  • Alternating Good-for-MDPs Automata

    Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A. & Wojtczak, D., 21 Oct 2022, Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings. Bouajjani, A., Holík, L. & Wu, Z. (eds.). Springer Nature, p. 303-319 17 p. (Lecture Notes in Computer Science; vol. 13505).

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

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

  • An Impossibility Result in Automata-Theoretic Reinforcement Learning

    Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A. & Wojtczak, D., 2022, Automated Technology for Verification and Analysis. Bouajjani, A., Holík, L. & Wu, Z. (eds.). Springer Nature, Vol. 13505. p. 42-57 16 p. (Lecture Notes in Computer Science).

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

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

  • An Overview of Modest Models and Tools for Real Stochastic Timed Systems

    Hartmanns, A., 21 Mar 2022, Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2022, Munich, Germany, 2nd April 2022. Dubslaff, C. & Luttik, B. (eds.). p. 1-12 12 p. (EPTCS; vol. 355).

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

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

  • Application of NLP on student's Discord messages for automatic Belbin role identification

    Dichev, K., Bukhsh, F. & Barrios-Fleitas, Y., 13 Dec 2022, 2022 International Conference on Frontiers of Information Technology (FIT). IEEE, p. 302-307 6 p. 10043095

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

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

  • A Predicate Transformer for Choreographies: Computing Preconditions in Choreographic Programming

    Jongmans, S.-S. & van den Bos, P., 29 Mar 2022, Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings. Sergey, I. (ed.). Cham: Springer, p. 520-547 28 p.

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

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

  • ARCH-COMP22 Category Report: Stochastic Models

    Abate, A., Blom, H., Delicaris, J., Haesaert, S., Hartmanns, A., van Huijgevoort, B., Lavaei, A., Ma, H., Niehage, M., Remke, A., Schön, O., Schupp, S., Soudjani, S. & Willemsen, L., 13 Dec 2022, Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). Frehse, G., Althoff, M., Schoitsch, E. & Guiochet, J. (eds.). EasyChair, p. 113–141 29 p. (EPiC Series in Computing; vol. 90).

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

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

  • A refined model of ill-definedness in project-based learning

    Rump, A. & Zaytsev, V., 23 Oct 2022, Proceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022: Companion Proceedings. Association for Computing Machinery, p. 115-122 8 p. (Proceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022: Companion Proceedings).

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

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

  • BFL: a Logic to Reason about Fault Trees

    Nicoletti, S., Hahn, E. & Stoelinga, M., 25 Jul 2022, 2022 52nd Annual IEEE/IFIP International Conference On Dependable Systems And Networks (DSN 2022). Piscataway, NJ: IEEE, p. 441-452 12 p.

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

    Open Access
    File
    28 Downloads (Pure)

  • BFL: a Logic to Reason about Fault Trees

    Nicoletti, S. M., Hahn, E. M. & Stoelinga, M. I. A., 30 Jun 2022, 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, p. 441-452 12 p. 9833769

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

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

  • Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks

    D'Argenio, P. R., Fraire, J. A., Hartmanns, A. & Raverta, F. D., 11 Sept 2022, Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings. Ábrahám, E. & Paolieri, M. (eds.). Springer, p. 337-355 19 p. (Lecture Notes in Computer Science; vol. 13479).

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

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

  • Correct Probabilistic Model Checking with Floating-Point Arithmetic

    Hartmanns, A., 2022, Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II. Fisman, D. & Rosu, G. (eds.). Springer Nature, p. 41-59 19 p. (Lecture Notes in Computer Science; vol. 13244).

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

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

  • Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization

    Jimenez Roa, L. A., Volk, M. & Stoelinga, M. I. A., 25 Aug 2022, Computer Safety, Reliability, and Security: 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings. Trapp, M., Saglietti, F., Spisländer, M. & Bitsch, F. (eds.). Springer, p. 46-61 16 p. (Lecture notes in computer science; vol. 13414).

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

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

  • Deriving Modernity Signatures for PHP Systems with Static Analysis

    van den Brink, W., Gerhold, M. & Zaytsev, V., 2022, Proceedings - 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation, SCAM 2022. Piscataway, NJ: IEEE, p. 181-185 5 p. (Proceedings IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM); vol. 2022, no. 22).

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

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

  • Deterioration modeling of sewer pipes via discrete-time Markov chains: A large-scale case study in the Netherlands

    Jimenez-Roa, L. A., Heskes, T., Tinga, T., Molegraaf, H. J. A. & Stoelinga, M. I. A., 30 Aug 2022, Proceedings of the 32nd European Safety and Reliability Conference (ESREL 2022). p. 1299-1306 8 p.

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

    Open Access
    File
    306 Downloads (Pure)

  • DyNetKAT: An Algebra of Dynamic Networks

    Caltais, G., Hojjat, H., Mousavi, M. R. & Tunç, H. C., 29 Mar 2022, Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Bouyer, P. & Schröder, L. (eds.). Cham: Springer Nature, p. 184-204 21 p. (Lecture Notes in Computer Science; vol. 13242).

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

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

  • EPMC Gets Knowledge in Multi-agent Systems

    Fu, C., Hahn, E. M., Li, Y., Schewe, S., Sun, M., Turrini, A. & Zhang, L., 2022, Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings. Finkbeiner, B. & Wies, T. (eds.). Springer Nature, Vol. 13182. p. 93-107 15 p. (Lecture Notes in Computer Science).

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

    Open Access
    File
    4 Citations (Scopus)
    58 Downloads (Pure)

  • Exploring a Parallel SCC Algorithm: Using TLA + and the TLC Model Checker

    van de Pol, J., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 535-555 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13701 LNCS).

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

    2 Citations (Scopus)
    7 Downloads (Pure)

  • Fisher Information as a Utility Metric for Frequency Estimation under Local Differential Privacy

    Lopuhaä-Zwakenberg, M., Škorić, B. & Li, N., 7 Nov 2022, WPES 2022 - Proceedings of the 21st Workshop on Privacy in the Electronic Society, co-located with CCS 2022. New York, NY: Association for Computing Machinery, p. 41-53 13 p.

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

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

  • Formal Methods for Industrial Critical Systems

    Groote, J. F. & Huisman, M., 15 Sept 2022, (Accepted/In press) Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings. Springer, p. V 13487. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13487).

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

    Open Access
    File
    71 Downloads (Pure)

  • Formal Methods Meet Machine Learning (F3ML)

    Larsen, K. G., Legay, A., Nolte, G., Schlüter, M., Stoelinga, M. & Steffen, B., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III. Margaria, T. & Steffen, B. (eds.). Cham: Springer Nature, p. 393-405 13 p. (Lecture Notes in Computer Science; vol. 13703).

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

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

  • Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers

    Lathouwers, S. & Huisman, M., 20 Jun 2022, Proceedings - IEEE/ACM 10th International Conference on Formal Methods in Software Engineering, FormaliSE 2022. IEEE, p. 69-79 11 p. 9796417

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

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

  • Generating Customised Control Flow Graphs for Legacy Languages with Semi-Parsing

    Deknop, C., Fabry, J., Mens, K. & Zaytsev, V., 2022, Proceedings - 2022 IEEE International Conference on Software Maintenance and Evolution, ICSME 2022. Piscataway, NJ: IEEE, p. 523-532 10 p. (Proceedings IEEE International Conference on Software Maintenance and Evolution (ICSME); vol. 2022).

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

    Open Access
    File
    125 Downloads (Pure)

  • Go with the flow: Software engineers and distractions

    Janssens, S. & Zaytsev, V., 23 Oct 2022, Proceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022: Companion Proceedings. Association for Computing Machinery, p. 934-938 5 p.

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

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

  • Leveraging composability in model-based testing for microservices

    van den Brink, B., Zameni, T., Tikhonova, U., Vinke, L. & Oprescu, A.-M., Sept 2022, BENEVOL’22: The 21st Belgium-Netherlands Software Evolution Workshop Mons, 12-13 September 2022: Proceedings of the Belgium-Netherlands Software Evolution Workshop. Wessel, M. & Constantinou, E. (eds.). CEUR, 11 p. (CEUR Workshop Proceedings; vol. 3245).

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

    Open Access

  • Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees

    Khan, S., Katoen, J.-P., Volk, M., Zafar, A. & Sher, F., 17 Jan 2022, 2021 10th Latin-American Symposium on Dependable Computing (LADC).

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

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

  • Modelling Program Verification Tools for Software Engineers

    Lathouwers, S. & Zaytsev, V., 24 Oct 2022, MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems. New York, NY, USA: Association for Computing Machinery, p. 98–108 11 p.

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

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

  • Optimizing Demonstrated Robot Manipulation Skills for Temporal Logic Constraints

    Dhonthi Ramesh Babu, A., Schillinger, P., Rozo, L. & Nardi, D., 26 Dec 2022, IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2022. IEEE, p. 1255-1262 8 p. (IEEE International Conference on Intelligent Robots and Systems; vol. 2022-October).

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

    6 Citations (Scopus)

  • Refinement of Parallel Algorithms down to LLVM

    Lammich, P., 2022, 13th International Conference on Interactive Theorem Proving (ITP 2022). Andronick, J. & de Moura, L. (eds.). Dagstuhl, p. 24:1-24:18 18 p. 24

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

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

  • Reinforcement Learning with Guarantees that Hold for Ever

    Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A. & Wojtczak, D., 5 Sept 2022, Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings. Groote, J. F. & Huisman, M. (eds.). Cham: Springer, p. 3-7 5 p. (Lecture Notes in Computer Science; vol. 13487).

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

    Open Access
    File
    33 Downloads (Pure)

  • Robust Optimization for Local Differential Privacy

    Goseling, J. & Lopuhaä-Zwakenberg, M., 3 Aug 2022, 2022 IEEE International Symposium on Information Theory (ISIT) 2022. Piscataway, NJ: IEEE, p. 1629-1634 6 p.

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

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

  • Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise

    Badings, T. S., Abate, A., Jansen, N., Parker, D., Poonawala, H. A. & Stoelinga, M., 30 Jun 2022, 36th AAAI Conference on Artificial Intelligence. AAAI, p. 9669-9678 10 p.

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

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

  • SpecifyThis – Bridging Gaps Between Program Specification Paradigms

    Ahrendt, W., Herber, P., Huisman, M. & Ulbrich, M., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 3-6 4 p. (Lecture Notes in Computer Science; vol. 13701).

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

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

  • The Modest State of Learning, Sampling, and Verifying Strategies

    Hartmanns, A. & Klauck, M., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III. Margaria, T. & Steffen, B. (eds.). Cham: Springer, Vol. Part III. p. 406-432 27 p. (Lecture Notes in Computer Science; vol. 13703).

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

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

  • Two for the price of one: communication efficient and privacy-preserving distributed average consensus using quantization

    Li, Q., Lopuhaä-Zwakenberg, M., Heusdens, R. & Christensen, M. G., 2022, 30th European Signal Processing Conference (EUSIPCO 2022): Proceedings. EURASIP, European Association for Signal, Speech and Image Processing

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

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

    Huisman, M. & Seceleanu, C., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 417-421 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13701 LNCS).

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

    Open Access
    File
    1 Citation (Scopus)
    48 Downloads (Pure)
  • 2021

    ARCH-COMP21 Category Report: Stochastic Models

    Abate, A., Blom, H., Bouissou, M., Cauchi, N., Chraibi, H., Delicaris, J., Haesaert, S., Hartmanns, A., Khaled, M., Lavaei, A., Ma, H., Mallik, K., Niehage, M., Remke, A., Schupp, S., Shmarov, F., Soudjani, S., Thorpe, A., Turcuman, V. & Zuliani, P., 6 Dec 2021, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021. Frehse, G. & Althoff, M. (eds.). EasyChair, p. 55-89 35 p. (EPiC Series in Computing; vol. 80).

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

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

  • A Scalable Log Differencing Visualisation Applied to COBOL Refactoring

    Deknop, C., Mens, K., Bergel, A., Fabry, J. & Zaytsev, V., 13 Nov 2021, 2021 Working Conference on Software Visualization (VISSOFT). Piscataway, NJ: IEEE, p. 1-11

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

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

  • A sports day for programming

    Fehnker, A., 22 Mar 2021, CSERC '20: the 9th Computer Science Education Research Conference, Virtual Event, The Netherlands, 19-20 October, 2020. Stikkolorum, D. R. & Rahimi, E. (eds.). New York, NY: ACM SIGCOMM, 6 p. 11

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

    Open Access
    File
    37 Downloads (Pure)

  • Atelier – Tutor Moderated Comments in Programming Education

    Fehnker, A., Mader, A. H. & Rump, A., 9 Sept 2021, Technology-Enhanced Learning for a Free, Safe, and Sustainable World. De Laet, T., Klemke, R., Alario-Hoyos, C., Hilliger, I. & Ortega-Arranz, A. (eds.). Springer, p. 379-383 5 p. (Lecture Notes in Computer Science; vol. 12884).

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

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

  • Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies

    Budde, C. E., Kolb, C. & Stoelinga, M., 19 Aug 2021, Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Proceedings. Abate, A. & Marin, A. (eds.). Cham: Springer, p. 457-467 11 p. (Lecture Notes in Computer Science; vol. 12846).

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

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

  • Automated Assessment of Learning Objectives in Programming Assignments

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

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

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

  • Automated Verification of the Parallel Bellman–Ford Algorithm

    Safari, M., Oortwijn, W. & Huisman, M., 13 Oct 2021, Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings. Drăgoi, C., Mukherjee, S. & Namjoshi, K. (eds.). Cham: Springer, p. 346-358 13 p. (Lecture Notes in Computer Science; vol. 12913).

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

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

  • Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids

    Badings, T. S., Hartmanns, A., Jansen, N. & Suilen, M., 19 May 2021, NASA Formal Methods : 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings. Dutle, A., Moscato, M. M., Titolo, L., Muñoz, C. A. & Perez, I. (eds.). Springer Nature, p. 1-18 18 p. (Lecture Notes in Computer Science; vol. 12673).

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

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

  • Beep-And-Sleep: Message and Energy Efficient Set Cover

    Götte, T., Kolb, C., Scheideler, C. & Werthmann, J., 2021, Algorithms for Sensor Systems: 17th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2021, Lisbon, Portugal, September 9–10, 2021, Proceedings. Gasieniec, L., Klasing, R. & Radzik, T. (eds.). Cham: Springer, p. 94-110 17 p. (Lecture Notes in Computer Science; vol. 12961).

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

    1 Citation (Scopus)

  • Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State Machines

    Dubslaff, C., Wienhöft, P. & Fehnker, A., 6 Dec 2021, Software Engineering and Formal Methods: 19th International Conference. Springer, p. 332-350

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

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

  • Bounded-Deducibility Security (Invited Paper)

    Popescu, A., Bauereiss, T. & Lammich, P., 21 Jun 2021, 12th International Conference on Interactive Theorem Proving, ITP 2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference). Cohen, L. & Kaliszyk, C. (eds.). Dagstuhl, p. 3:1-3:20

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

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

  • Efficient Algorithms for Quantitative Attack Tree Analysis

    Budde, C. E. & Stoelinga, M., 10 Aug 2021, 2021 IEEE 34th Computer Security Foundations Symposium (CSF).

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

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

  • Etaps foreword

    Huisman, M., 2021, Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings. p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12648).

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

    Open Access
    File
    63 Downloads (Pure)