Name Card

Full name Familienname, Vorname
Ničković, Dejan
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-8 of 8 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Maderbacher, Benedikt ; Schupp, Stefan ; Bartocci, Ezio ; Bloem, Roderick ; Ničković, Dejan ; Könighofer, Bettina Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness PropertiesInproceedings Konferenzbeitrag 2023
2Bartocci-2021-International Journal on Software Tools for Technology Tran...-vor.pdf.jpgBartocci, Ezio ; Manjunath, Niveditha ; Mariani, Leonardo ; Mateis, Cristinel ; Ničković, Dejan CPSDebug: Automatic Failure Explanation in CPS ModelsArtikel Article Oct-2021
3Bartocci, Ezio ; Deshmukh, Jyotirmoy ; Mateis, Cristinel ; Nesterini, Eleonora ; Ničković, Dejan ; Qin, Xin Mining Shape Expressions with ShapeItKonferenzbeitrag Inproceedings2021
4Bartocci, Ezio ; Bloem, Roderick ; Maderbacher, Benedikt ; Manjunath, Niveditha ; Ničković, Dejan Adaptive Testing for Specification Coverage in CPS ModelsKonferenzbeitrag Inproceedings2021
5Bartocci, Ezio ; Manjunath, Niveditha ; Mariani, Leonardo ; Mateis, Cristinel ; Ničković, Dejan ; Pastore, Fabrizio CPSDebug: a tool for explanation of failures in cyber-physical systemsKonferenzbeitrag Inproceedings2020
6Jakšić, Stefan ; Bartocci, Ezio ; Grosu, Radu ; Nguyen, Thang ; Ničković, Dejan Quantitative monitoring of STL with edit distanceArtikel Article 2018
7Jakšić, Stefan ; Bartocci, Ezio ; Grosu, Radu ; Ničković, Dejan Quantitative Monitoring of STL with Edit DistanceKonferenzbeitrag Inproceedings 2016
8Nguyen, Thang ; Bartocci, Ezio ; Ničković, Dejan ; Grosu, Radu ; Jaksic, Stefan ; Selyunin, Konstantin The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-SystemsKonferenzbeitrag Inproceedings2016