Institute of Software Engineering and Programming Languages

Research output

Research Output per year 1996 2003 2004 2005 2007 2008 2012 2014 2016 2018 2024

• 746 Citations
• 95 Conference Papers
• 87 Conference contribution
• 52 Journal articles
• 15 Bachelor Theses
• 39 More
  • 14 Master Theses
  • 8 Anthologies
  • 4 Conference proceedings
  • 4 Other
  • 2 Chapter
  • 2 Editorial
  • 1 Books
  • 1 Special Journal Issues
  • 1 Conference Articles in Journals
  • 1 Scientific review articles
  • 1 Doctoral Theses

Research Output per year

Research Output per year

Search results

• 2018

  Monitoring events that carry data

  Havelund, K., Reger, G., Thoma, D. & Zălinescu, E., 11.02.2018, Lectures on Runtime Verification. Bartocci, E. & Falcone, Y. (eds.). Springer Verlag, Vol. 10457 LNCS. p. 61-102 42 p. (Lecture Notes in Computer Science; vol. 10457 LNCS).

  Research output: Chapters in Books/Reports/Conference Proceedings › Chapter › peer-review

  • Algorithms 50%
  • Complexity 50%
  • Finite-State Machine 50%
  23 Citations (Scopus)
• 2001

  Views of a memory cell

  Dosch, W. & Stümpel, A., 01.12.2001, Advances in Automation, Multimedia and Video Systems, and Modern Computer Science. World Scientific and Engineering Academy and Society, p. 47-55 9 p.

  Research output: Chapters in Books/Reports/Conference Proceedings › Chapter › peer-review

  5 Citations (Scopus)