• Sign in
  • Sign up
conf.researchr.org / Dejan Nickovic
  • ESEC/FSE 2022 profile
  • ETAPS 2019 profile
  • ICSE 2022 profile
  • ICST 2020 profile
  • ICST 2023 profile
  • ISSTA 2020 profile
  • POPL 2019 profile

Not registered as user yet

Name:Dejan Nickovic
Affiliation:Austrian Institute of Technology

Contributions

2023

ICST

  • Author of Property-Based Mutation Testing within the Research Papers-track

2022

ESEC/FSE

  • Author of FIM: Fault Injection and Mutation for Simulink within the Demonstrations-track

ICSE

  • Author of DeepSTL - From English Requirements to Signal Temporal Logic within the Technical Track-track

2020

A-MOST

  • Committee Member in Program Committee within the A-MOST-track

ISSTA

  • Author of CPSDebug: A Tool for Failure Explanation within the Tool Demonstration-track

2019

MeTRiD

  • Author of Localizing Faults in Simulink/Stateflow Models with STL within the MeTRiD-track

VMCAI

  • Committee Member in Program Committee within the VMCAI 2019-track
Share
xFri 29 Sep 22:24
using conf.researchr.org (v1.61.3)
Support page
Sign Up