Dejan Nickovic

Suchergebnisse

• 191.118 Runtime Verification

  Bartocci, E. (Vortragender) & Nickovic, D. (Vortragender)

  März 2023 → Aug. 2023

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Vorlesung

• Hierarchical Reward Shaping With Task Specifications

  Barducci, L. (Autor, eingeladen), Aguilar Lozano, E. A. (Autor, eingeladen), Nickovic, D. (Vortragender, eingeladen) & Grosu, R. (Autor, eingeladen)

  11 Nov. 2022

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• Hierarchical Reward Shaping With Task Specifications

  Barducci, L. (Autor, eingeladen), Aguilar Lozano, E. A. (Autor, eingeladen), Nickovic, D. (Vortragender, eingeladen) & Grosu, R. (Autor, eingeladen)

  2 Okt. 2022 → 6 Okt. 2022

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• Formal Methods in System Design (Fachzeitschrift)

  Nickovic, D. (Mitglied im Beirat)

  1 Juni 2022 → …

  Aktivität: Begutachtungstätigkeit › Redaktionelle Tätigkeiten für Zeitschriften

• Runtime Verification - Master/PhD course

  Nickovic, D. (Vortragender) & Bartocci, E. (Vortragender)

  1 März 2022 → 30 Juni 2022

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Vorlesung

• Autonomous Driving Examiner

  Nickovic, D. (Vortragender, eingeladen)

  13 Dez. 2021

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• Mining Shape Expressions

  Bartocci, E. (Autor), Deshmukh, J. V. (Autor), Gigler, F. (Autor), Mateis, C. (Autor), Nickovic, D. (Vortragender) & Qin, X. (Autor)

  18 Mai 2021

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• 182.741 Runtime Verification

  Nickovic, D. (Vortragender)

  1 März 2021 → 30 Juni 2021

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Vorlesung

• Runtime verification for rigorous engineering of cyber-physical systems

  Nickovic, D. (Vortragender, eingeladener Hauptvortrag)

  30 Nov. 2020 → 1 Dez. 2020

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• From Real-Time Logic to Timed Automata

  Nickovic, D. (Vortragender, eingeladener Hauptvortrag)

  22 Juni 2020 → 26 Juni 2020

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• Requirement-driven verification and debugging with Signal Temporal Logic

  Bartocci, E. (Autor), Ferrère, T. (Autor), Maler, O. (Autor), Nickovic, D. (Vortragender) & Manjunath, N. (Autor)

  19 Juli 2019

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• Oded Maler - A Memory Box Full of Diamonds

  Nickovic, D. (Vortragender, eingeladen)

  15 Apr. 2019

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• Oded Maler - A Memory Box Full of Diamonds

  Nickovic, D. (Vortragender, eingeladen)

  10 Nov. 2018 → 14 Nov. 2018

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• Faul Explanation guided by Signal Temporal Logic Specifications

  Nickovic, D. (Vortragender), Bartocci, E. (Autor), Ferrère, T. (Autor), Maler, O. (Autor) & Manjunath, N. (Autor)

  8 Nov. 2018

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• Localizing Faults in Simulink Models using STL

  Manjunath, N. (Vortragender, eingeladen), Bartocci, E. (Autor, eingeladen), Ferrère, T. (Autor, eingeladen) & Nickovic, D. (Autor, eingeladen)

  1 Nov. 2018

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• Fault Explanation guided by Signal Temporal Logic Specifications

  Bartocci, E. (Autor), Ferrère, T. (Autor), Maler, O. (Autor), Nickovic, D. (Vortragender) & Manjunath, N. (Autor)

  8 Aug. 2018

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• Localizing and Explaining Faults with STL

  Bartocci, E. (Autor), Ferrère, T. (Autor), Maler, O. (Autor), Nickovic, D. (Vortragender) & Manjunath, N. (Autor)

  5 Juni 2018

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• Academia, Industry, and Government Collaboration-Choosing the `Right´ Development Roadmap and Technology

  Nickovic, D. (Vortragender, Hauptvortrag)

  4 Juni 2018

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• Localizing and Explaining Faults with STL

  Bartocci, E. (Autor), Ferrère, T. (Autor), Maler, O. (Autor), Nickovic, D. (Vortragender) & Manjunath, N. (Autor)

  3 Juni 2018

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• From MITL to Timed Automata

  Ferrère, T. (Autor, eingeladener Hauptvortrag), Maler, O. (Autor, eingeladener Hauptvortrag), Nickovic, D. (Vortragender, eingeladener Hauptvortrag) & Pnueli, A. (Autor, eingeladener Hauptvortrag)

  20 Apr. 2018

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• From MITL to Timed Automata

  Ferrère, T. (Autor), Maler, O. (Autor), Nickovic, D. (Vortragender) & Pnueli, A. (Autor)

  10 Apr. 2018

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• Trace diagnostics with temporal implicants

  Ferrère, T. (Autor), Maler, O. (Autor) & Nickovic, D. (Vortragender)

  21 Juli 2017 → 22 Juli 2017

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• AMT 2.0 - Monitoring Tool for Extended STL Specifications

  Lebeltel, O. (Autor), Maler, O. (Autor) & Nickovic, D. (Vortragender)

  21 Juli 2017 → 22 Juli 2017

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• AMT 2.0 - Monitoring Tool for Extended STL Specifications

  Lebeltel, O. (Autor), Maler, O. (Autor) & Nickovic, D. (Vortragender)

  21 Apr. 2017

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• Monitoring analog and mixed-signal design emulated on FPGA

  Nickovic, D. (Vortragender, eingeladener Hauptvortrag)

  28 Okt. 2016

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• Monitoring analog and mixed-signal design emulated on FPGA

  Nickovic, D. (Vortragender, eingeladener Hauptvortrag)

  18 Okt. 2016

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• Monitoring Cyber-Physical Systems

  Nickovic, D. (Vortragender, eingeladener Hauptvortrag)

  23 Sept. 2016 → 25 Sept. 2016

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• Testing Security in Cyber-Physical Systems

  Nickovic, D. (Vortragender, eingeladener Hauptvortrag)

  8 März 2016

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• Challenges for Safety-Assessment of Highly Automated Driving

  Herzner, W. (Vortragender, eingeladen), Nickovic, D. (Autor, eingeladen), Krenn, W. (Autor, eingeladen), Schlick, R. (Autor, eingeladen), Zinner, C. (Autor, eingeladen), Murschitz, M. (Autor, eingeladen) & Zendel, O. (Autor, eingeladen)

  9 Dez. 2015

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• Monitoring and Measuring Hybrid Behaviours

  Nickovic, D. (Vortragender, eingeladener Hauptvortrag)

  7 Okt. 2015

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• V&V-Concepts for Advanced Driver Assistance Systems (ADAS) and Autonomous Driving Functions (ADF)

  Herzner, W. (Vortragender), Krenn, W. (Autor), Nickovic, D. (Autor), Schlick, R. (Autor) & Gruber, M. (Autor)

  28 Apr. 2015 → 29 Apr. 2015

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• Monitoring Mixed Signals Assertions - Theory, Tools and Applications

  Nickovic, D. (Vortragender, eingeladener Hauptvortrag)

  9 Juli 2014 → 10 Juli 2014

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• Monitoring Correctness of DSI3 Sensor Interfaces in a Modern Airbag System-on-Chip Application

  Nguyen, T. (Vortragender) & Nickovic, D. (Autor)

  9 Juli 2014 → 10 Juli 2014

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• Require, Test and Trace IT

  Nickovic, D. (Vortragender, eingeladener Hauptvortrag)

  28 Mai 2014

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• Time for Mutants

  Nickovic, D. (Vortragender, eingeladener Hauptvortrag)

  18 März 2014

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• From MTL to Deterministic Timed Automata

  Nickovic, D. (Vortragender, eingeladener Hauptvortrag)

  24 Jan. 2014

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• Time for Mutants

  Nickovic, D. (Vortragender, eingeladen)

  2 Mai 2013

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop