conf.researchr.org / Dejan Nickovic

Not registered as user yet

Name: Dejan Nickovic

Affiliation: Austrian Institute of Technology

Contributions

A-MOST 2020Committee Member in Program Committee within the A-MOST-track
ISSTA 2020Author of CPSDebug: A Tool for Failure Explanation within the Tool Demonstration-track
VMCAI 2019Committee Member in Program Committee within the VMCAI 2019-track
MeTRiD 2019Author of Localizing Faults in Simulink/Stateflow Models with STL within the MeTRiD-track