Research output

Research output per year 1987 1996 1997 1998 1999 2000 2001 2002 2005 2006 2008 2009 2010 2013 2025

• 137 Conference contribution
• 49 Article
• 14 Book
• 14 Chapter
• 32 More
  • 12 Conference article
  • 11 Editorial
  • 4 Patent
  • 3 Foreword/postscript
  • 1 Paper
  • 1 Preprint

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

  Preface

  Broy, M., Peled, D. & Kalus, G., 19 Jun 2013, Engineering Dependable Software Systems. IOS Press, Vol. 34. p. v-vii

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

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

  Manna, Z. & Peled, D., 2010, Time for Verification - Essays in Memory of Amir Pnueli. Manna, Z. & Peled, D. A. (eds.). p. viii (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6200 LNCS).

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