Institut für Softwaretechnik und Programmiersprachen

Publikationen

Publikationen pro Jahr 1996 2003 2004 2005 2007 2008 2012 2014 2016 2018 2024

• 746 Scopus-Zitationen
• 95 Konferenzpapiere
• 87 Konferenzbeitrag
• 50 Zeitschriftenaufsätze
• 15 Bachelorarbeiten
• 39 Mehr
  • 14 Masterarbeiten
  • 8 Anthologien
  • 4 Konferenzbände und -dokumentationen
  • 4 Andere
  • 2 Kapitel
  • 2 Leitartikel
  • 1 Bücher
  • 1 Besondere Zeitschrifteneditionen/Sonderausgaben
  • 1 Konferenzaufsätze in Fachzeitschriften
  • 1 Übersichtsarbeiten
  • 1 Dissertationen

Publikationen pro Jahr

Publikationen pro Jahr

Suchergebnisse

• 2018

  Konstruktion von Lösungen für Unart-Subset-Sun und verwandte Probleme in TC^0

  Bartels, F., 2018

  Publikation: Publizierte Abschlussarbeiten › Masterarbeiten

• Scheduling-Algorithmen für Energiemanagementsysteme in Smart-Homes

  Bachmann, M., 2018

  Publikation: Publizierte Abschlussarbeiten › Masterarbeiten
• 2017

  Dreiwertige Timed-LTL-Semantik.

  Huber, D., 2017, Lübeck.

  Publikation: Publizierte Abschlussarbeiten › Masterarbeiten

• Möglichkeiten und Grenzen der parallelen Berechnung von Kerneln

  Lassota, A. A., 2017

  Publikation: Publizierte Abschlussarbeiten › Masterarbeiten

• SMT-based Flat Model-Checking for LTL with Counting

  Pirogov, A., 15.09.2017, 85 S.

  Publikation: Publizierte Abschlussarbeiten › Masterarbeiten

  • Surface mount technology 100%
  • Model checking 90%
  • Temporal logic 33%
  • Specification languages 32%
• 2015

  Minimierung symbolischer nichtdeterministischer Büchi-Automaten

  Thorn, J., 2015

  Publikation: Publizierte Abschlussarbeiten › Masterarbeiten

• Runetime Verification Logics for Object-Oriented Real-Time Systems

  Mende, T., 2015

  Publikation: Publizierte Abschlussarbeiten › Masterarbeiten
• 2014

  Entwurf und Implementierung eines Algorithmus zur Berechnung einer Pfadzerlegung von kubischen Graphen.

  Lassota, K., 2014

  Publikation: Publizierte Abschlussarbeiten › Masterarbeiten

• Logiken für verteilte Laufzeitverfikation.

  Scheffel, T., 2014

  Publikation: Publizierte Abschlussarbeiten › Masterarbeiten

• STL: Combining Stream-based and Temporal Logics.

  Tils, E. V., 2014

  Publikation: Publizierte Abschlussarbeiten › Masterarbeiten

• Verteilte Laufzeitverfikation auf eingebetteten Systemen.

  Schmitz, M., 2014

  Publikation: Publizierte Abschlussarbeiten › Masterarbeiten
• 2013

  Runtime Verification for Mazurkiewicz Traces.

  Waziri, C., 2013

  Publikation: Publizierte Abschlussarbeiten › Masterarbeiten
• 2012

  DSL-based Runtime Verification for the JVM.

  Pohlmann, C., 2012

  Publikation: Publizierte Abschlussarbeiten › Masterarbeiten
• 2003

  Stream Based Design of Distributed Systems through Refinement

  Stümpel, A., 2003, 230 S.

  Publikation: Publizierte Abschlussarbeiten › Masterarbeiten

  • Specifications 100%
  • Communication 77%
  • Concretes 34%