Name Card

Full name Familienname, Vorname
Nickovic, Dejan
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Aguilar, Edgar A ; Bartocci, Ezio ; Mateis, Cristinel ; Nesterini, Eleonora ; Nickovic, Dejan Mining Specification Parameters for Multi-class ClassificationInproceedings Konferenzbeitrag 1-Oct-2023
2He, Jie ; Nickovic, Dejan ; Bartocci, Ezio ; Grosu, Radu TD-Magic: From Pictures of Timing Diagrams To Formal SpecificationsInproceedings Konferenzbeitrag 15-Sep-2023
3Bartocci, Ezio ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana Alexandra Hypernode AutomataInproceedings Konferenzbeitrag 7-Sep-2023
4Bartocci, Ezio ; Mateis, Cristinel ; Nesterini, Eleonora ; Nickovic, Dejan Mining Hyperproperties using Temporal LogicsArticle Artikel Sep-2023
5Bartocci, Ezio ; Mariani, Leonardo ; Ničković, Dejan ; Yadav, Drishti Property-Based Mutation TestingInproceedings Konferenzbeitrag 2023
6Bartocci, Ezio ; Mariani, Leonardo ; Nickovic, Dejan ; Yadav, Drishti Search-based Testing for Accurate Fault Localization in CPSInproceedings Konferenzbeitrag 21-Dec-2022
7Bartocci-2022-FIM fault injection and mutation for Simulink-vor.pdf.jpgBartocci, Ezio ; Mariani, Leonardo ; Ničković, Dejan ; Yadav, Drishti FIM: fault injection and mutation for SimulinkInproceedings Konferenzbeitrag 9-Nov-2022
8Bartocci, Ezio ; Mateis, Cristinel ; Nesterini, Eleonora ; Nickovic, Dejan Survey on mining signal temporal logic specificationsArticle Artikel Nov-2022
9Bartocci, Ezio ; Ferrère, Thomas ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana Alexandra Information-flow InterfacesInproceedings Konferenzbeitrag 29-Mar-2022
10He, Jie ; Bartocci, Ezio ; Ničković, Dejan ; Isakovic, Haris ; Grosu, Radu DeepSTLInproceedings Konferenzbeitrag 2022
11Bartocci, Ezio ; Ferrère, Thomas ; Henzinger, Thomas A. ; Nickovic, Dejan ; da Costa, Ana Oliveira Flavors of Sequential Information FlowKonferenzbeitrag Inproceedings2022
12Bartocci, Ezio ; Deshmukh, Jyotirmoy ; Gigler, Felix ; Mateis, Cristinel ; Nickovic, Dejan ; Qin, Xin Mining Shape Expressions from Positive ExamplesArtikel Article 2020
13Ničković, Dejan Analyzing cyber-physical systems with runtime verificationThesis Hochschulschrift2020
14Bartocci, Ezio ; Manjunath, Niveditha ; Mariani, Leonardo ; Mateis, Cristinel ; Nickovic, Dejan Automatic Failure Explanation in CPS ModelsKonferenzbeitrag Inproceedings2019
15Isakovic, Haris ; Ratasich, Denise ; Hirsch, Christian ; Platzer, Michael ; Wally, Bernhard ; Rausch, Thomas ; Nickovic, Dejan ; Krenn, Willibald ; Kappel, Gerti ; Dustdar, Schahram ; Grosu, Radu CPS/IoT Ecosystem: A Platform for Research and EducationKonferenzbeitrag Inproceedings 2019
16Sánchez, César ; Schneider, Gerardo ; Ahrendt, Wolfgang ; Bartocci, Ezio ; Bianculli, Domenico ; Colombo, Christian ; Falcone, Yliès ; Francalanza, Adrian ; Krstić, Srđan ; Lourenço, Joa̋o M. ; Nickovic, Dejan ; Pace, Gordon J. ; Rufino, Jose ; Signoles, Julien ; Traytel, Dmitriy ; Weiss, Alexander A survey of challenges for runtime verification from advanced application domains (beyond software)Artikel Article 2019
17Manjunath, Niveditha ; Haerle, Dieter ; Manthey, Christian ; Väänänen, Mikko ; Sabanal, Stephen ; Eichinger, Herbert ; Tauber, Hermann ; Machne, Andreas ; Grosu, Radu ; Nickovic, Dejan Production Tests Coverage Analysis in the Simulation EnvironmentKonferenzbeitrag Inproceedings 2018
18Bartocci, Ezio ; Bloem, Roderick ; Nickovic, Dejan ; Roeck, Franz A Counting Semantics for Monitoring LTL Specifications over Finite TracesKonferenzbeitrag Inproceedings 2018
19Jaksic, Stefan ; Bartocci, Ezio ; Grosu, Radu ; Nickovic, Dejan An algebraic framework for runtime verificationArtikel Article 2018
20Bartocci, Ezio ; Deshmukh, Rupali Ganpat ; Donze, Alexandre ; Fainekos, Georgios ; Maler, Oded ; Nickovic, Dejan ; Sankaranarayanan, Sriram Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and ApplicationsBuchbeitrag Book Contribution 2018

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Manjunath Niveditha - 2021 - Fault-based analysis of cyber physical systems.pdf.jpgManjunath, Niveditha Fault-based analysis of cyber physical systemsThesis Hochschulschrift 2021
2Exenberger Fabian - 2019 - Fault analysis in reactive systems using log data.pdf.jpgExenberger, Fabian Fault analysis in reactive systems using log dataThesis Hochschulschrift 2019
3Heindl Mario - 2017 - Systematic testing of analog mixed-signal systems.pdf.jpgHeindl, Mario Systematic testing of analog mixed-signal systemsThesis Hochschulschrift 2017