Institut für Softwaretechnologie (7160)

Publikationen

Publikationen pro Jahr 1986 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023

• 1226 Beitrag in einem Konferenzband
• 413 Artikel
• 92 Paper
• 87 Beitrag in Buch/Bericht
• 298 Mehr
  • 55 Sonstiger Bericht
  • 55 Poster
  • 42 Buch (Herausgeberwerk)
  • 28 (Altdaten) Vortrag oder Präsentation
  • 19 Konferenzartikel
  • 16 Dissertation
  • 13 Diplomarbeit
  • 11 Abstract
  • 10 Buch (Autorenwerk)
  • 9 Review eines Fachbereichs (Review article)
  • 9 Masterarbeit
  • 7 Editorial
  • 5 Vorwort/Nachwort
  • 4 Bericht für Auftraggeber
  • 4 Habilitation
  • 3 Bachelorarbeit
  • 3 Preprint
  • 1 Short communication
  • 1 Sonderheft
  • 1 Datensätze / Datenbank
  • 1 Patent
  • 1 Working paper

Publikationen pro Jahr

Publikationen pro Jahr

Suchergebnisse

• 2022

  Threat Repair with Optimization Modulo Theories

  Tarrach, T., Ebrahimi, M., König, S., Schmittner, C., Bloem, R. & Nickovic, D., 6 Okt. 2022.

  Publikation: Arbeitspapier › Preprint

  Datei

  • Repair 100%
• 2020

  It's Time to Play Safe: Shield Synthesis for Timed Systems

  Bloem, R., Jensen, P. G., Könighofer, B., Larsen, K. G., Lorber, F. & Palmisano, A. M., 30 Juni 2020, 19 S. (arXiv.org e-Print archive).

  Publikation: Arbeitspapier › Preprint

  • Reinforcement learning 100%
  • Real time systems 99%
  • Recovery 67%
  • Specifications 64%
• 2019

  Extending simple drawings with one edge is hard

  Arroyo, A., Klute, F., Parada, I., Seidel, R., Vogtenhuber, B. & Wiedera, T., 16 Sept. 2019, 10 S. (arXiv.org e-Print archive).

  Publikation: Arbeitspapier › Preprint

  Datei