Center for Digital Safety & Security

Research output

Research output per year 1980 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024

• 1729 Conference Proceedings with Oral Presentation
• 811 Article
• 207 Book chapter
• 207 Conference Proceedings with Poster Presentation
• 683 More
  • 207 Master's Thesis
  • 195 Poster presentation without proceedings
  • 91 Conference Proceedings without Presentation
  • 56 Doctoral Thesis
  • 39 Book
  • 37 Bachelor's Thesis
  • 20 Report
  • 12 Conference Proceedings
  • 11 Article in popular science magazine
  • 8 Other contribution
  • 3 Editorial
  • 3 Habilitation
  • 1 Guidelines and Standards

Research output per year

Research output per year

Search results

• 2023

  Climate-Resilient Society: ERCIM NEWS Special theme

  Lykos, A. (Editor) & Abbas Peterson, S. (Editor), Oct 2023, In: ERCIM News - Special Theme: Climate-Resilient Society. 135, p. 8-9 2 p.

  Research output: Contribution to journal › Editorial

• Introduction to the Special Issue on Runtime Verification

  Deshmukh, J. V. (Editor) & Nickovic, D. (Editor), 2023, In: International Journal on Software Tools for Technology Transfer. 25, 4, p. 427-429

  Research output: Contribution to journal › Editorial

  Open Access

  • runtime verification 100%
  • Cyber Physical Systems 16%
  • Extended Version 16%
  • Exhaustive Verification 16%
  • Formal Reasoning 16%
• 2021

  Smart and Circular Cities

  Kunze, P., Schoitsch, E. & Mylonas, G., 2021, In: ERCIM News. 127, p. 4-35 32 p.

  Research output: Contribution to journal › Editorial