Dejan Nickovic

Suchergebnisse

• 2025

  Specification Mining for Cyber-Physical Systems

  Nesterini, E., 2025, 187 S.

  Publikation: Abschlussarbeit › Dissertation

  Open Access

  Datei

  • Learning Parameter 100%
  • Repeated Pattern 100%
  • Analyzing Time Series 100%
  • Mathematical Structure 100%
  • Physical Component 100%

  21 Downloads (Pure)

• Uniform Sampling of Timed Regular Expressions

  Gigler, F., 2025, 93 S.

  Publikation: Abschlussarbeit › Masterarbeit

  Open Access

  • Uniform Sampling 100%
  • Correctness 33%
  • Sampling Algorithm 16%
  • Failing Test Case 16%
  • Timed Automaton 16%

• 2021

  Fault-Based Analysis of Cyber Physical Systems

  Manjunath, N., 2021

  Publikation: Abschlussarbeit › Dissertation

• 2019

  Fault Analysis in Reactive Systems Using Log Data

  Exenberger, F., 2019

  Publikation: Abschlussarbeit › Masterarbeit

• 2018

  Real-Time Monitoring for Correctness and Robustness

  Jaksic, S., 2018

  Publikation: Abschlussarbeit › Dissertation