Nickovic, Dejan

Prefix title Titel (vorangestellt)

Privatdoz. Dr.

Full name Familienname, Vorname

Nickovic, Dejan

Main Affiliation Organisationszuordnung

E191-01 - Forschungsbereich Cyber-Physical Systems

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

RIS EndNote Bibtex Excel CSV Send via email

	Authors / Editors	Title	Type	Issue Date
1	Bartocci, Ezio ; Mateis, Cristinel ; Nesterini, Eleonora ; Nickovic, Dejan	Survey on mining signal temporal logic specifications	Article Artikel	Nov-2022
2	Bartocci, Ezio ; Mariani, Leonardo ; Nickovic, Dejan ; Yadav, Drishti	Search-based Testing for Accurate Fault Localization in CPS	Inproceedings Konferenzbeitrag	21-Dec-2022
3	Bartocci, Ezio ; Ferrère, Thomas ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana Alexandra	Information-flow Interfaces	Inproceedings Konferenzbeitrag	29-Mar-2022
4	He, Jie ; Bartocci, Ezio ; Ničković, Dejan ; Isakovic, Haris ; Grosu, Radu	DeepSTL	Inproceedings Konferenzbeitrag	2022

Results 1-3 of 3 (Search time: 0.003 seconds).

RIS EndNote Bibtex Excel CSV Send via email

	Authors / Editors	Title	Type	Issue Date
1	Heindl, Mario	Systematic testing of analog mixed-signal systems	Thesis Hochschulschrift	2017
2	Manjunath, Niveditha	Fault-based analysis of cyber physical systems	Thesis Hochschulschrift	2021
3	Exenberger, Fabian	Fault analysis in reactive systems using log data	Thesis Hochschulschrift	2019