Dejan Nickovic

Search results

• Design, Automation and Test in Europe Conference (Event)

  Nickovic, D. (International Programme Committee - Member)

  1 Sept 2024 → 12 Nov 2024

  Activity: Editorial and Review Activities › Participation in Conference Committees

• The 24th International Conference on Runtime Verification (RV) 2024 (Event)

  Nickovic, D. (International Programme Committee - Member)

  1 Jun 2024 → 1 Jul 2024

  Activity: Editorial and Review Activities › Participation in Conference Committees

• QEST+FORMATS 2024 International Conference (Event)

  Nickovic, D. (Reviewer)

  1 May 2024 → 1 Jun 2024

  Activity: Editorial and Review Activities › Participation in Conference Committees

• 26th INTERNATIONAL SYMPOSIUM ON FORMAL METHODS (FM) 2024 - The Industrial Track (Event)

  Nickovic, D. (International Programme Committee - Member)

  1 Feb 2024 → 1 Apr 2024

  Activity: Editorial and Review Activities › Participation in Conference Committees

• Analysis of CPS simulation models driven by formal specifications

  Nickovic, D. (Speaker)

  22 Jan 2024

  Activity: Talk or presentation / Lecture › Invited talk to industry or public institution

• Nonlinear Analysis: Hybrid Systems (Journal)

  Nickovic, D. (Member of editorial board)

  2024

  Activity: Editorial and Review Activities › Editorial Activities for Journals

• 191.118 Runtime Verification

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

  Mar 2023 → Aug 2023

  Activity: Talk or presentation / Lecture › Lecture

• Hierarchical Reward Shaping With Task Specifications

  Barducci, L. (Author, invited), Aguilar Lozano, E. A. (Author, invited), Nickovic, D. (Speaker, invited) & Grosu, R. (Author, invited)

  11 Nov 2022

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• Hierarchical Reward Shaping With Task Specifications

  Barducci, L. (Author, invited), Aguilar Lozano, E. A. (Author, invited), Nickovic, D. (Speaker, invited) & Grosu, R. (Author, invited)

  2 Oct 2022 → 6 Oct 2022

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• Formal Methods in System Design (Journal)

  Nickovic, D. (Member of editorial board)

  1 Jun 2022 → …

  Activity: Editorial and Review Activities › Editorial Activities for Journals

• Runtime Verification - Master/PhD course

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

  1 Mar 2022 → 30 Jun 2022

  Activity: Talk or presentation / Lecture › Lecture

• Autonomous Driving Examiner

  Nickovic, D. (Speaker, invited)

  13 Dec 2021

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• Mining Shape Expressions

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

  18 May 2021

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• 182.741 Runtime Verification

  Nickovic, D. (Speaker)

  1 Mar 2021 → 30 Jun 2021

  Activity: Talk or presentation / Lecture › Lecture

• Formal Methods in System Design (Journal)

  Nickovic, D. (Member of editorial board)

  2021 → …

  Activity: Editorial and Review Activities › Editorial Activities for Journals

• Runtime verification for rigorous engineering of cyber-physical systems

  Nickovic, D. (Speaker, invited Keynote)

  30 Nov 2020 → 1 Dec 2020

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• From Real-Time Logic to Timed Automata

  Nickovic, D. (Speaker, invited Keynote)

  22 Jun 2020 → 26 Jun 2020

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• Requirement-driven verification and debugging with Signal Temporal Logic

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

  19 Jul 2019

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• Oded Maler - A Memory Box Full of Diamonds

  Nickovic, D. (Speaker, invited)

  15 Apr 2019

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• Oded Maler - A Memory Box Full of Diamonds

  Nickovic, D. (Speaker, invited)

  10 Nov 2018 → 14 Nov 2018

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• Faul Explanation guided by Signal Temporal Logic Specifications

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

  8 Nov 2018

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• Localizing Faults in Simulink Models using STL

  Manjunath, N. (Speaker, invited), Bartocci, E. (Author, invited), Ferrère, T. (Author, invited) & Nickovic, D. (Author, invited)

  1 Nov 2018

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• Fault Explanation guided by Signal Temporal Logic Specifications

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

  8 Aug 2018

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• Localizing and Explaining Faults with STL

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

  5 Jun 2018

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

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

  Nickovic, D. (Speaker, keynote)

  4 Jun 2018

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• Localizing and Explaining Faults with STL

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

  3 Jun 2018

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• From MITL to Timed Automata

  Ferrère, T. (Author, invited Keynote ), Maler, O. (Author, invited Keynote ), Nickovic, D. (Speaker, invited Keynote) & Pnueli, A. (Author, invited Keynote )

  20 Apr 2018

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• From MITL to Timed Automata

  Ferrère, T. (Author), Maler, O. (Author), Nickovic, D. (Speaker) & Pnueli, A. (Author)

  10 Apr 2018

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• AMT 2.0 - Monitoring Tool for Extended STL Specifications

  Lebeltel, O. (Author), Maler, O. (Author) & Nickovic, D. (Speaker)

  21 Jul 2017 → 22 Jul 2017

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• Trace diagnostics with temporal implicants

  Ferrère, T. (Author), Maler, O. (Author) & Nickovic, D. (Speaker)

  21 Jul 2017 → 22 Jul 2017

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• AMT 2.0 - Monitoring Tool for Extended STL Specifications

  Lebeltel, O. (Author), Maler, O. (Author) & Nickovic, D. (Speaker)

  21 Apr 2017

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• Monitoring analog and mixed-signal design emulated on FPGA

  Nickovic, D. (Speaker, invited Keynote)

  28 Oct 2016

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• Monitoring analog and mixed-signal design emulated on FPGA

  Nickovic, D. (Speaker, invited Keynote)

  18 Oct 2016

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• Monitoring Cyber-Physical Systems

  Nickovic, D. (Speaker, invited Keynote)

  23 Sept 2016 → 25 Sept 2016

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• Testing Security in Cyber-Physical Systems

  Nickovic, D. (Speaker, invited Keynote)

  8 Mar 2016

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• Challenges for Safety-Assessment of Highly Automated Driving

  Herzner, W. (Speaker, invited), Nickovic, D. (Author, invited), Krenn, W. (Author, invited), Schlick, R. (Author, invited), Zinner, C. (Author, invited), Murschitz, M. (Author, invited) & Zendel, O. (Author, invited)

  9 Dec 2015

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• Monitoring and Measuring Hybrid Behaviours

  Nickovic, D. (Speaker, invited Keynote)

  7 Oct 2015

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

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

  Herzner, W. (Speaker), Krenn, W. (Author), Nickovic, D. (Author), Schlick, R. (Author) & Gruber, M. (Author)

  28 Apr 2015 → 29 Apr 2015

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

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

  Nguyen, T. (Speaker) & Nickovic, D. (Author)

  9 Jul 2014 → 10 Jul 2014

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• Monitoring Mixed Signals Assertions - Theory, Tools and Applications

  Nickovic, D. (Speaker, invited Keynote)

  9 Jul 2014 → 10 Jul 2014

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• Require, Test and Trace IT

  Nickovic, D. (Speaker, invited Keynote)

  28 May 2014

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• Time for Mutants

  Nickovic, D. (Speaker, invited Keynote)

  18 Mar 2014

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• From MTL to Deterministic Timed Automata

  Nickovic, D. (Speaker, invited Keynote)

  24 Jan 2014

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• Time for Mutants

  Nickovic, D. (Speaker, invited)

  2 May 2013

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop