Filter
Chapter

Search results

  • 2025

    Making ETAPS Gold Open Access

    Hermanns, H. & Huisman, M., 18 Nov 2025, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III. Jansen, N., Junges, S., Kaminski, B. L., Matheja , C., Noll, T., Quatmann, T., Stoelinga, M. & Volk, M. (eds.). Cham, Switzerland: Springer, p. 487-500 14 p. (Lecture Notes in Computer Science; vol. 15262).

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

  • Modest Models and Tools for Real Stochastic Timed Systems

    Budde, C. E., D’Argenio, P. R., Fraire, J. A., Hartmanns, A. & Zhang, Z., 13 Nov 2025, (E-pub ahead of print/First online) Principles of verification: Cycling the probabilistic landscape: Essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday, Part II. Jansen, N., Junges, S., Kaminski, B. L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M. & Volk, M. (eds.). Cham, Switzerland: Springer, p. 115-142 28 p. (Lecture Notes in Computer Science; vol. 15261).

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

  • 2024

    First Steps towards Deductive Verification of LLVM IR

    Oorschot, D. V., Huisman, M. & Şakar, Ö., 6 Apr 2024, Fundamental Approaches to Software Engineering : 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings. Beyer, D. & Cavalcanti, A. (eds.). p. 290-303 14 p. (Lecture Notes in Computer Science; vol. 14573).

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

    Open Access
    File
    27 Downloads (Pure)
  • Measured Causes: Adding Time and Probability to True Concurrency: Ten Papers with Pisa and Twente

    Brinksma, E., Langerak, R., Latella, D. & Massink, M., 18 Nov 2024, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III. Springer, p. 297-308 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15262 LNCS).

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

  • Uomo Digitalis

    Stoelinga, M. & Waser, J., Nov 2024, Ongefilterde expertadviezen voor de digitale overheid. Ministerie BZK, p. 11-12 2 p.

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

    Open Access
    File
    22 Downloads (Pure)
  • 2023

    A Digital Touch: The »Body Issue« in Computational Creativity

    Merlini, M. & Nicoletti, S. M., 13 Feb 2023, Körper(-lichkeit) in der Musik des 20. und 21. Jahrhunderts: Konturen eines musikalisch-bewegten »Body Turn«. Scharfetter, N. & Wozonig, T. (eds.). Transcript Verlag, p. 207-218 (MusikundKlangkultur; vol. 55).

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

    Open Access
    File
    31 Downloads (Pure)
  • Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller

    Wal, D. V. D., Gerhold, M. & Stoelinga, M., 17 Sept 2023, Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings. Cimatti, A. & Titolo, L. (eds.). p. 242-258 17 p. (Lecture Notes in Computer Science book series; vol. 14290).

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

    Open Access
    File
    42 Downloads (Pure)
  • JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java

    Bliudze, S., Bos, P. V. D., Huisman, M., Rubbens, R. & Safina, L., 20 Apr 2023, Fundamental Approaches to Software Engineering : 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings. Lambers, L. & Uchitel, S. (eds.). p. 143-150 8 p.

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

    Open Access
    File
    2 Citations (Scopus)
    65 Downloads (Pure)
  • PFL: A Probabilistic Logic for Fault Trees

    Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Hahn, E. M. & Stoelinga, M., 3 Mar 2023, Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings. Chechik, M., Katoen, J.-P. & Leucker, M. (eds.). Cham: Springer Nature, p. 199–221 23 p. (Lecture Notes in Computer Science; vol. 14000).

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

    Open Access
    File
    2 Citations (Scopus)
    70 Downloads (Pure)
  • 2022

    Alpinist: An Annotation-Aware GPU Program Optimizer

    Şakar, Ö., Safari, M., Huisman, M. & Wijs, 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.). Cham: Springer, p. 332–352 21 p. (Lecture Notes in Computer Science; vol. 13244).

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

    Open Access
    File
    6 Citations (Scopus)
    125 Downloads (Pure)
  • BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees

    Basgöze, D., Volk, M., Katoen, J.-P., Khan, S. & Stoelinga, M., 20 May 2022, NASA Formal Method: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (eds.). Springer, p. 713-732 20 p. Chapter 38. (Lecture notes in computer science; vol. 13260).

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

    Open Access
    File
    8 Citations (Scopus)
    156 Downloads (Pure)
  • Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground Truth

    Budde, C. E., Jansen, D., Locht, I. & Stoelinga, M., 20 May 2022, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings. Collart-Dutilleul, S., Haxthausen, A. E. & Lecomte, T. (eds.). Springer, p. 95-111 17 p. (Lecture notes in computer science; vol. 13294).

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

  • On Deductive Verification of an Industrial Concurrent Software Component with VerCors

    Monti, R. E., Rubbens, R. & Huisman, M., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). p. 517-534 18 p.

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

    Open Access
    File
    2 Citations (Scopus)
    86 Downloads (Pure)
  • Sampling-Based Verification of CTMCs with Uncertain Rates

    Badings, T. S., Jansen, N., Junges, S., Stoelinga, M. & Volk, M., 6 Aug 2022, Computer Aided Verification (CAV 2022): 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II. Shoham, S. & Vizel, Y. (eds.). Vol. 13372. p. 26-47 22 p. (Lecture notes in computer science; vol. 13372).

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

    Open Access
    File
    6 Citations (Scopus)
    70 Downloads (Pure)
  • Teaching Design by Contract Using Snap!

    Huisman, M. & Monti, R. E., 2022, The Logic of Software: A Tasting Menu of Formal Methods. Ahrendt, W., Beckert, B., Bubel, R. & Johnsen, E. B. (eds.). 1 ed. Springer, p. 243–263 21 p. (Lecture Notes in Computer Science; vol. 13360).

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

    Open Access
    File
    52 Downloads (Pure)
  • The Integration of Testing and Program Verification: A Position Paper

    Bos, P. V. D. & Huisman, M., 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, p. 524–538 15 p. (Lecture Notes in Computer Science; vol. 13560).

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

    Open Access
    File
    1 Citation (Scopus)
    89 Downloads (Pure)
  • Using Exergames to Promote Healthy Habits in Schools

    Gómez del Río, N., González-González, C. S., Barrios Fleitas, Y., Toledo-Delgado, P. A., García-Peñalvo, F. J. & Moreira, F., 2022, Advanced Virtual Enviroments and Education. Primo, T. T., Gomes, A. S., Moreira, F. & Collazos, C. (eds.). Cham: Springer, p. 134-146 13 p. (Communications in Computer and Information Science; vol. 1425).

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

  • 2021

    A Formalisation of SysML State Machines in mCRL2

    Bouwman, M., Luttik, B. & Van der wal, D., 8 Jun 2021, Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings. Springer, Vol. 12719. p. 42-59 Chapter 3. ( Lecture Notes in Computer Science; vol. 12719).

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

    Open Access
    File
    6 Citations (Scopus)
    78 Downloads (Pure)
  • Integration and Orchestration of Analysis Tools

    Heinrich, R., Bousse, E., Koch, S., Rensink, A., Riccobene, E., Ratiu, D. & Sirjani, M., 2021, Composing Model-Based Analysis Tools. Heinrich, R., Durán, F., Talcott, C. & Zschaler, S. (eds.). Cham: Springer, p. 71-95 25 p.

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

    Open Access
    File
    98 Downloads (Pure)
  • Modular Transformation of Java Exceptions Modulo Errors

    Rubbens, R., Lathouwers, S. & Huisman, M., 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.). Springer, p. 67-84 18 p. (Lecture notes in computer science; vol. 12863).

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

    Open Access
    File
    83 Downloads (Pure)
  • Preface

    Huisman, M., Păsăreanu, C. & Zhan, N., 2021, 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings . Vol. 13047 LNCS. p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    Open Access
    File
    122 Downloads (Pure)
  • Replicating RESTART with Prolonged Retrials: An Experimental Report

    Budde, C. E. & Hartmanns, A., 23 Mar 2021, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part I. Groote, J. F. & Guldstrand Larsen, K. (eds.). Springer, p. 373-380 8 p. (Lecture Notes in Computer Science; vol. LNCS 12652).

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

    Open Access
    File
    5 Citations (Scopus)
    73 Downloads (Pure)
  • 2020

    A compositional semantics for repairable fault trees with general distributions

    Monti, R., Budde, C. E. & D’argenio, P. R., 27 May 2020, Proceedings of the 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Albert, E. & Kovacs, L. (eds.). EasyChair, p. 354-372 19 p. (EPiC Series in Computing; vol. 73).

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

    Open Access
    File
    3 Citations (Scopus)
    37 Downloads (Pure)
  • Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets

    Budde, C. E. & Stoelinga, M., 9 Mar 2020, Measurement, Modelling and Evaluation of Computing Systems - 20th International GI/ITG Conference, MMB 2020, Proceedings. Hermanns, H. (ed.). Springer, p. 259-277 19 p. (Lecture Notes in Computer Science; vol. 12040).

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

    Open Access
    File
    5 Citations (Scopus)
    59 Downloads (Pure)
  • Automated Verification of Parallel Nested DFS

    Oortwijn, W., Huisman, M., Joosten, S. J. C. & Pol, J. V. D., 2020, Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I. Biere, A. & Parker, D. (eds.). Springer, p. 247-265 (Lecture Notes in Computer Science; vol. 12078).

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

    Open Access
    File
    5 Citations (Scopus)
    137 Downloads (Pure)
  • Correction to: The Dynamic Fault Tree Rare Event Simulator

    Budde, C. E., Ruijters, E. & Stoelinga, M., 2020, Correction to: The Dynamic Fault Tree Rare Event Simulator.

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

    Open Access
    File
    34 Downloads (Pure)
  • FIG: The Finite Improbability Generator

    Budde, C. E., 17 Apr 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part I. Biere, A. & Parker, D. (eds.). Springer, p. 483-491 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12078 LNCS).

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

    Open Access
    File
    4 Citations (Scopus)
    77 Downloads (Pure)
  • Formal Methods for GPGPU Programming: Is the Demand Met?

    Haak, L. B. V. D., Wijs, A., Brand, M. V. D. & 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. 160-177 (Lecture Notes in Computer Science; vol. 12546).

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

    Open Access
    File
    3 Citations (Scopus)
    136 Downloads (Pure)
  • Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems

    Arias, J., Budde, C. E., Penczek, W., Petrucci, L., Sidoruk, T. & Stoelinga, M., 19 Dec 2020, Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings. Lin, S.-W., Hou, Z. & Mahoney, B. (eds.). Cham: Springer, p. 3-19 17 p. (Lecture Notes in Computer Science; vol. 12531).

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

    Open Access
    File
    9 Citations (Scopus)
    55 Downloads (Pure)
  • Improving Performance of the VerCors Program Verifier

    Mulder, H., Huisman, M. & Joosten, S., 4 Dec 2020, Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY. Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R. & Ulbrich, M. (eds.). Cham: Springer, p. 65-82 18 p. (Lecture Notes in Computer Science; vol. 12345).

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

    Open Access
    File
    60 Downloads (Pure)
  • Mind the app: Riflessioni per un contact tracing responsabile

    Translated title of the contribution: Mind the app: Thoughs on responsible contact tracingNicoletti, S. M. & Bogliolo, A., 30 Sept 2020, Le parole della crisi, le politiche dopo la pandemia: Guida non emergenziale al post-Covid-19. Malvicini, M., Portaluri, T. & Martinengo, A. (eds.). Editoriale Scientifica, p. 341-353

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

    Open Access
    File
    42 Downloads (Pure)
  • Rare Event Simulation for Non-Markovian Repairable Fault Trees

    Budde, C. E., Biagi, M., Monti, R. E., D’Argenio, P. R. & Stoelinga, M., 17 Apr 2020, Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. Biere, A. & Parker, D. (eds.). Cham: Springer, Vol. I. p. 463-482 20 p. (Lecture Notes in Computer Science; vol. 12078).

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

    Open Access
    File
    7 Citations (Scopus)
    92 Downloads (Pure)
  • The Dynamic Fault Tree Rare Event Simulator

    Budde, C. E., Ruijters, E. & Stoelinga, M., 2020, Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings. Gribaudo, M., Jansen, D. N. & Remke, A. (eds.). Cham: Springer, p. 233-238 6 p. (Lecture Notes in Computer Science; vol. 12289)(Theoretical Computer Science and General Issues).

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

    Open Access
    File
    6 Citations (Scopus)
    80 Downloads (Pure)
  • The VerifyThis Collaborative Long Term Challenge

    Huisman, M., Monti, R. E., Ulbrich, M. & Weigl, A., 4 Dec 2020, Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY. Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R. & Ulbrich, M. (eds.). Cham: Springer, p. 246-260 15 p. (Lecture Notes in Computer Science; vol. 12345).

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

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

    Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools

    Hähnle, R. & Huisman, M., 2019, Computing and Software Science : State of the Art and Perspectives. Steffen, B. & Woeginger, G. (eds.). Cham: Springer, p. 345-373 29 p. (Lecture Notes in Computer Science; vol. 10000)(Theoretical Computer Science and General Issues).

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

    Open Access
    File
    61 Citations (Scopus)
    45 Downloads (Pure)
  • Omega-Regular Objectives in Model-Free Reinforcement Learning

    Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A., Trivedi, A. & Wojtczak, D., 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings. Vojnar, T. & Zhang, L. (eds.). Cham: Springer, Vol. Part I. p. 395-412 (Lecture Notes in Computer Science; vol. 11427).

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

    Open Access
    File
    98 Citations (Scopus)
    120 Downloads (Pure)
  • Software Architecture of Modern Model Checkers

    Kordon, F., Leuschel, M., Pol, J. V. D. & Thierry-Mieg, Y., 2019, Computing and Software Science: State of the Art and Perspectives. Steffen, B. & Woeginger, G. (eds.). Cham: Springer, p. 393-419 27 p. (Lecture Notes in Computer Science; vol. 10000)(Theoretical Computer Science and General Issues).

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

    4 Citations (Scopus)
    2 Downloads (Pure)
  • Synchronous or Alternating? LTL Black-Box Checking of Mealy Machines by Combining the LearnLib and LTSmin

    van de Pol, J. & Meijer, J., 1 Jan 2019, Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday. Margaria, T., Graf, S. & Larsen, K. G. (eds.). Cham: Springer, p. 417-430 14 p. (Lecture Notes in Computer Science; vol. 11200)(Theoretical Computer Science and General Issues).

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

    3 Citations (Scopus)
    12 Downloads (Pure)
  • The 10,000 Facets of MDP Model Checking

    Baier, C., Hermanns, H. & Katoen, J.-P., 2019, Computing and Software Science: State of the Art and Perspectives. Steffen, B. & Woeginger, G. (eds.). Cham: Springer, p. 420-451 32 p. (Lecture Notes in Computer Science; vol. 10000).

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

    Open Access
    File
    18 Citations (Scopus)
    19 Downloads (Pure)
  • 2018

    A Broader View on Verification: From Static to Runtime and Back (Track Summary)

    Ahrendt, W., Huisman, M., Reger, G. & Rozier, K. Y., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 3-7 5 p. (Lecture Notes in Computer Science; no. 11245).

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

    Open Access
    File
    1 Citation (Scopus)
    154 Downloads (Pure)
  • A Formalization of the LLL Basis Reduction Algorithm

    Divasón, J., Joosten, S., Thiemann, R. & Yamada, A., 4 Jul 2018, Interactive Theorem Proving: 9th International Conference, ITP 2018. Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018. Proceedings. Avigad, J. & Mahboubi, A. (eds.). Springer, p. 160-177 18 p. (Lecture Notes in Computer Science; vol. 10895).

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

    Open Access
    File
    5 Citations (Scopus)
    143 Downloads (Pure)
  • Analysing AWN-specifications using mCRL2 (extended abstract)

    van Glabbeek, R., Höfner, P. & van der Wal, D., 9 Aug 2018, Integrated Formal Methods - 14th International Conference, IFM 2018, Proceedings: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings. Furia, C. A. & Winter, K. (eds.). Springer, p. 398-418 21 p. (Lecture Notes in Computer Science; vol. 11023).

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

    3 Citations (Scopus)
    10 Downloads (Pure)
  • A tutorial on graph transformation

    König, B., Nolte, D., Padberg, J. & Rensink, A., 7 Feb 2018, Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig. Heckel, R. & Taentzer, G. (eds.). Springer, p. 83-104 22 p. (Lecture Notes in Computer Science; vol. 10800)(Theoretical Computer Science and General Issues).

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

    Open Access
    File
    22 Citations (Scopus)
    1072 Downloads (Pure)
  • Computability and Complexity of Unconventional Computing Devices

    Broersma, H., Stepney, S. & Wendin, G., 20 Jul 2018, Computational Matter. Stepney, S., Rasmussen, S. & Amos, M. (eds.). Cham: Springer, p. 185-229 45 p. (Natural Computing Series).

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

    4 Citations (Scopus)
    6 Downloads (Pure)
  • Evolution in Nanomaterio: The NASCENCE Project

    Broersma, H., 2018, Inspired by Nature: Essays Presented to Julian F. Miller on the Occasion of his 60th Birthday. Stepney, S. & Adamatzky, A. (eds.). Cham: Springer, p. 87-111 25 p. (Emergence, Complexity and Computation; vol. 28).

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

    File
    237 Downloads (Pure)
  • Graph Attribution Through Sub-Graphs

    Kastenberg, H. & Rensink, A., 7 Feb 2018, Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig. Hecke, R. & Taentzer, G. (eds.). Cham: Springer, p. 245-265 (Lecture Notes in Computer Science; vol. 10800)(Theoretical Computer Science and General Issues).

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

    Open Access
    File
    2 Citations (Scopus)
    182 Downloads (Pure)
  • Graph Attribution Through Sub-Graphs

    Kastenberg, H. & Rensink, A., 2018, Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig. Heckel, R. & Taentzer, G. (eds.). Springer, Vol. 10800. p. 245-265 (Lecture Notes in Computer Science; vol. 10800).

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

    1 Downloads (Pure)
  • MCC'2017 - The Seventh Model Checking Contest

    Kordon, F., Garavel, H., Hillah, L.-M., Paviot-Adet, E., Jezequel, L., Hulin-Hubard, F., Amparore, E. G., Beccuti, M., Berthomieu, B., Evrard, H., Jensen, P. G., Botlan, D. L., Liebke, T., Meijer, J., Srba, J., Thierry-Mieg, Y., Pol, J. V. D. & Wolf, K., 21 Nov 2018, Transactions on Petri Nets and Other Models of Concurrency XIII. Koutny, M., Kristensen, L. M. & Penczek, W. (eds.). p. 181-209 29 p. (Lecture notes in computer science; vol. 11090).

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

    10 Citations (Scopus)
    27 Downloads (Pure)
  • Multi-core Decision Diagrams

    van Dijk, T. & van de Pol, J., 2018, Handbook of Parallel Constraint Reasoning. Hamadi, Y. & Sais, L. (eds.). Cham: Springer, p. 509-545 37 p.

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

    Open Access
    File
    2 Citations (Scopus)
    231 Downloads (Pure)
  • Parallel Model Checking Algorithms for Linear-Time Temporal Logic

    Barnat, J., Bloemen, V., Duret-Lutz, A., Laarman, A., Petrucci, L., van de Pol, J. & Renault, E., 2018, Handbook of Parallel Constraint Reasoning. Hamadi, Y. & Sais, L. (eds.). Cham: Springer, p. 457-507 51 p.

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

    Open Access
    File
    19 Citations (Scopus)
    555 Downloads (Pure)