Engineering of Software-Intensive Systems

Research output

Content available in repository 2016 2021 2022 2023 2024 2025

• 148 Conference contribution
• 32 Article
• 9 EngD Thesis
• 3 Book editing
• 12 More
  • 2 Chapter
  • 2 Phd Thesis 1 (Research TU/e / Graduation TU/e)
  • 1 Book
  • 1 Inaugural/farewell speech
  • 1 Foreword/editorial
  • 1 Abstract
  • 1 Paper
  • 1 Review article
  • 1 Software
  • 1 Preprint

Content available in repository

Content available in repository

Search results

• 2021

  Preface

  Cleophas, L. & Massink, M., 2021, Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers. Cleophas, L. & Massink, M. (eds.). Springer, p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12524).

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