Filter
Chapter

Search results

  • 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
    10 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

    File
  • 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

  • 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

  • 2021

    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
    17 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
    8 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
    16 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
    18 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
    1 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
    2 Citations (Scopus)
    9 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
    2 Citations (Scopus)
    46 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
  • 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
    1 Citation (Scopus)
    24 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, (E-pub ahead of print/First online) Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings. Dongol, B. & Troubitsyna, E. (eds.). Springer, p. 160-177 (Lecture Notes in Computer Science; vol. 12546).

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

    Open Access
    File
    1 Citation (Scopus)
    2 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, (E-pub ahead of print/First online) Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Proceedings. Lin, S-W., Hou, Z. & Mahoney, B. (eds.). 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
    2 Citations (Scopus)
    14 Downloads (Pure)
  • Improving Performance of the VerCors Program Verifier

    Mulder, H., Huisman, M. & Joosten, S. J. C., 4 Dec 2020, (E-pub ahead of print/First online) 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.). 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
  • 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
    3 Citations (Scopus)
    35 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
    1 Citation (Scopus)
    20 Downloads (Pure)
  • The VerifyThis Collaborative Long Term Challenge

    Huisman, M., Monti, R. E., Ulbrich, M. & Weigl, A., 4 Dec 2020, (E-pub ahead of print/First online) 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.). 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
    1 Citation (Scopus)
  • 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

    23 Citations (Scopus)
  • 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
    37 Citations (Scopus)
    34 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

    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 proceedingChapterAcademicpeer-review

    1 Citation (Scopus)
  • 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 proceedingChapterAcademicpeer-review

    10 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 proceedingChapterAcademic

    Open Access
    File
    1 Citation (Scopus)
    88 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
    4 Citations (Scopus)
    85 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

    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 proceedingChapterAcademicpeer-review

    Open Access
    File
    11 Citations (Scopus)
    442 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

    3 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 proceedingChapterAcademicpeer-review

    File
    151 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

  • 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)
    89 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

    7 Citations (Scopus)
  • 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
    1 Citation (Scopus)
    145 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
    12 Citations (Scopus)
    234 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 proceedingChapterAcademicpeer-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

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

    Open Access
    File
    93 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 proceedingChapterAcademicpeer-review

    Open Access
    File
    11 Citations (Scopus)
    141 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 proceedingChapterAcademicpeer-review

    3 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 proceedingChapterAcademicpeer-review

    Open Access
    File
    225 Downloads (Pure)
  • Discretization of Continuous Dynamical Systems Using UPPAAL

    Schivo, S. & Langerak, R., 27 Sep 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 proceedingChapterAcademicpeer-review

    Open Access
    File
    3 Citations (Scopus)
    736 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 proceedingChapterAcademicpeer-review

    2 Downloads (Pure)
  • Testing Divergent Transition Systems

    Brinksma, E., Stoelinga, M. & Timmer, M., 25 Jul 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Aceto, L., Bacci, G., Bacci, G., Ingolfsdottir, A., Legay, A. & Mardare, R. (eds.). Springer, p. 339 366 p. (Lecture Notes in Computer Science; vol. 10460).

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

    Open Access
    File
    144 Downloads (Pure)
  • The Road from Stochastic Automata to the Simulation of Rare Events

    Budde, C. E., D'Argenio, P. R., Monti, R. E., Lee, M. D., Rodríguez, L. & Wolovick, N., 2017, ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Langerak, R., Katoen, J-P. & Rensink, A. (eds.). Vol. LNCS. p. 276-294 19 p. (Lecture Notes in Computer Science; vol. 10500).

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

  • 2016

    Computational matter: evolving computational functions in nanoscale materials

    Broersma, H. J., Miller, J. F. & Nichele, S., 2016, Advances in Unconventional Computing, Volume 2: Prototypes, Models and Algorithms. Adamatzky, A. (ed.). London: Springer, p. 397-428 32 p. (Emergence, Complexity and Computation; vol. 23, no. 23).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    4 Downloads (Pure)
  • Formal specification with the Java modeling language

    Huisman, M., Ahrendt, W., Grahl, D. & Hentschel, M., Dec 2016, Deductive Software Verification – The KeY Book. Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R., Schmitt, P. H. & Ulbrich, M. (eds.). London: Springer, p. 193-241 49 p. (Lecture Notes in Computer Science; vol. 10001).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    File
    6 Citations (Scopus)
    21 Downloads (Pure)
  • Model Patterns - The Quest for the Right Level of Abstraction

    Rensink, A., Sep 2016, Transactions on Foundations for Mastering Change I. Steffen, B. (ed.). Berlin: Springer, p. 47-70 24 p. (Lecture Notes in Computer Science; vol. 9960, no. 9960).

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

    File
    2 Citations (Scopus)
    25 Downloads (Pure)
  • 2015

    LTSmin: High-Performance Language-Independent Model Checking

    Kant, G., Laarman, A., Meijer, J., van de Pol, J. C., Blom, S. & van Dijk, T., Apr 2015, Tools and Algorithms for the Construction and Analysis of Systems. Baier, C. & Tinelli, C. (eds.). London: Springer, p. 692-707 16 p. (Lecture Notes in Computer Science; vol. 9035, no. 9035).

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

    File
    94 Citations (Scopus)
    328 Downloads (Pure)
  • 2014

    Event-Based Modularization of Reactive Systems

    Malakuti Khah Olun Abadi, S. & Aksit, M., 2014, Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday. Berlin, Heidelberg: Springer, p. 367-407 41 p. (Lecture Notes in Computer Science; vol. 8665, no. 8665).

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

    File
    4 Citations (Scopus)
    51 Downloads (Pure)
  • Event Modules - Modularizing Domain-Specific Crosscutting RV Concerns

    Malakuti Khah Olun Abadi, S. & Aksit, M., 2014, Transactions on Aspect-Oriented Software Development XI. Berlin, Heidelberg: Springer, p. 27-69 43 p. (Lecture Notes in Computer Science; vol. 8400, no. 8400).

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

    File
    9 Citations (Scopus)
    40 Downloads (Pure)