Informatics 4 - Chair of Software und Systems Engineering

Research output

Research output per year 1999 2016 2017 2018 2019 2020 2021 2022 2023 2025

• 118 Conference contribution
• 28 Article
• 13 Editorial
• 7 Conference article
• 13 More
  • 6 Chapter
  • 4 Paper
  • 2 Foreword/postscript
  • 1 Book

Research output per year

Research output per year

Search results

• 2017

  Preface

  Pretschner, A., Peled, D. & Hutzelmann, T., 1 Jan 2017, Dependable Software Systems Engineering. IOS Press, p. v-ix

  Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript
• 2005

  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes: Preface

  Broy, M., Jonsson, B., Katoen, J. P., Leucker, M. & Pretschner, A., 2005, Model-Based Testing of Reactive Systems: Advanced Lectures. Broy, M., Leucker, M., Jonsson, B., Katoen, J.-P. & Pretschner, A. (eds.). p. V-VI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3472 LNCS).

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

  62 Scopus citations