Formal Methods and Tools

Filter
Chapter

Search results

  • 2023

    EmoClock: Communicating Real-Time Emotional States Through Data Physicalizations

    Peeters, D., Ranasinghe, C., Degbelo, A. & Ahmad, F., 2023, Lecture Notes in Computer Science (LNCS) - Interact 2023 . Abdelnour Nocera, J., Lárusdóttir, M. K., Petrie, H., Piccinno, A. & Winckler, M. (eds.). Springer, Vol. 14142. p. 416-425 10 p.

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

  • 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    10 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    7 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    67 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    20 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 proceeding › Chapter › Academic › peer-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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    15 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    20 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 proceeding › Chapter › Academic › peer-review

    1 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    10 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 proceeding › Chapter › Academic › peer-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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    5 Citations (Scopus)
    10 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    49 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    22 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 proceeding › Chapter › Academic

    Open Access
    File
    59 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    3 Citations (Scopus)
    36 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    3 Citations (Scopus)
    10 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    4 Citations (Scopus)
    20 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    95 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    9 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    4 Citations (Scopus)
    47 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    48 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    3 Citations (Scopus)
    26 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    17 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    7 Citations (Scopus)
    60 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    40 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    11 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 proceeding › Chapter › Academic › peer-review

    29 Citations (Scopus)
    1 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    65 Citations (Scopus)
    57 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 proceeding › Chapter › Academic › peer-review

    3 Citations (Scopus)

  • 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 proceeding › Chapter › Academic › peer-review

    3 Citations (Scopus)
    2 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, Vol. 10000. p. 420-451 32 p. (Lecture Notes in Computer Science; vol. 10000).

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

    13 Citations (Scopus)
    1 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 proceeding › Chapter › Academic

    Open Access
    File
    1 Citation (Scopus)
    112 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    4 Citations (Scopus)
    115 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 proceeding › Chapter › Academic › peer-review

    2 Citations (Scopus)

  • 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    18 Citations (Scopus)
    687 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 proceeding › Chapter › Academic › peer-review

    4 Citations (Scopus)
    1 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 proceeding › Chapter › Academic › peer-review

    File
    187 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    138 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 proceeding › Chapter › Academic › peer-review

  • 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 proceeding › Chapter › Academic › peer-review

    8 Citations (Scopus)
    5 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    175 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 proceeding › Chapter › Academic › peer-review

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

  • Philosophy of Computation

    Konkoli, Z., Stepney, S., Broersma, H., Dini, P., Nehaniv, C. L. & Nichele, S., 20 Jul 2018, Computational Matter. Springer, p. 153-184 32 p. (Natural Computing Series).

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

    2 Citations (Scopus)

  • Recipes for Coffee: Compositional Construction of Jave Control Flow Graphs in GROOVE

    Zambon, E. & Rensink, A., 24 Oct 2018, Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. Müller, P. & Schaefer, I. (eds.). Cham: Springer, p. 305-323 19 p.

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

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

  • Symbolically Aligning Observed and Modelled Behaviour

    Bloemen, V., van de Pol, J. & van der Aalst, W. M. P., 2018, 2018 18th International Conference on Application of Concurrency to System Design : Proceedings. IEEE, p. 50-59 10 p.

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

    Open Access
    File
    13 Citations (Scopus)
    176 Downloads (Pure)
  • 2017

    Boosting Fault Tree Analysis by Formal Methods

    Katoen, J. P. & Stoelinga, M. I. A., 15 Oct 2017, ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Katoen, J-P., Langerak, R. & Rensink, A. (eds.). p. 368-380 (Lecture notes in computer science; vol. 10500).

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

    5 Citations (Scopus)
    2 Downloads (Pure)

  • Computational Modeling of Complex Protein Activity Networks

    Schivo, S., Leijten, J., Karperien, M. & Post, J. N., 29 Nov 2017, Protein Phosphorylation. Prignet, C. (ed.). IntechOpen, p. 155-178 24 p.

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

    Open Access
    File
    337 Downloads (Pure)

  • Discretization of Continuous Dynamical Systems Using UPPAAL

    Schivo, S. & Langerak, R., 27 Sept 2017, ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Katoen, J-P., Langerak, R. & Rensink, A. (eds.). Springer, p. 297-315 19 p. (Lecture Notes in Computer Science; vol. 10500).

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

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

  • How much are your geraniums? Taking graph conditions beyond first Order

    Rensink, A., 2017, ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Katoen, J-P., Langerak, R. & Rensink, A. (eds.). Springer, Vol. 10500 LNCS. p. 191-213 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10500 LNCS).

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

    3 Downloads (Pure)