Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Dejan Nickovic
conf.researchr.org general profile
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
x
Mon 18 Nov 01:15