Algorithms and Logics for Verification

Filter
Chapter

Search results

  • 2025

    Compiling Binary Decision Diagrams with Interrupt-Based Downsizing

    Dubslaff, C. (Corresponding author) & Wirtz, J. (Corresponding author), 2025, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday. Jansen, N., Junges, S., Kaminski, B. L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M. & Volk, M. (eds.). Springer, Vol. 3. p. 252-273 22 p. (Lecture Notes in Computer Science; vol. 15262 LNCS).

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

  • On Woolhouse’s Cotton-Spinning Problem

    Groote, J. F. (Corresponding author) & Willemse, T. A. C., 2025, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday. Jansen, N., Junges, S., Kaminski, B. L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M. & Volk, M. (eds.). Springer, Vol. 2. p. 3-17 15 p. (Lecture Notes in Computer Science; vol. 15261 LNCS).

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

  • Riding the Storm in a Probabilistic Model Checking Landscape

    Hensel, C., Junges, S. (Corresponding author), Quatmann, T. & Volk, M., 2025, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday. Jansen, N., Junges, S., Kaminski, B. L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M. & Volk, M. (eds.). Springer, Vol. 2. p. 98-114 17 p. (Lecture Notes in Computer Science; vol. 15261 LNCS).

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

  • 2024

    It’s All a Game: Apartness and Bisimilarity

    Keiren, J. J. A. (Corresponding author) & Willemse, T. A. C., 2024, Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday. Capretta, V., Krebbers, R. & Wiedijk, F. (eds.). Springer, p. 150-167 18 p. (Lecture Notes in Computer Science; vol. 14560 LNCS).

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

  • Modular Criticality Analysis for Dynamic Fault Trees

    Sher, F., Stoelinga, M. & Volk, M. (Corresponding author), 18 Nov 2024, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday. Jansen, N., Junges, S., Kaminski, B. L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M. & Volk, M. (eds.). Springer, Vol. 3. p. 274-293 20 p. (Lecture Notes in Computer Science; vol. 15262).

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

  • 2022

    Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation

    Groote, J. F. (Corresponding author), Jilissen, K. H. J., Laveaux, M., van Spaendonck, P. H. M. & Willemse, T. A. C., 7 Sept 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.). Springer, p. 306-320 15 p. (Lecture Notes in Computer Science; vol. 13560 LNCS).

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

    1 Citation (Scopus)