Dejan Nickovic

Search results

• 2025

  Specification Mining for Cyber-Physical Systems

  Nesterini, E., 2025, 187 p.

  Research output: Thesis › Doctoral Thesis

  Open Access

  File

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

  18 Downloads (Pure)

• Uniform Sampling of Timed Regular Expressions

  Gigler, F., 2025, 93 p.

  Research output: Thesis › Master's Thesis

  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

  Research output: Thesis › Doctoral Thesis

• 2019

  Fault Analysis in Reactive Systems Using Log Data

  Exenberger, F., 2019

  Research output: Thesis › Master's Thesis

• 2018

  Real-Time Monitoring for Correctness and Robustness

  Jaksic, S., 2018

  Research output: Thesis › Doctoral Thesis