| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Aguilar, Edgar A ; Bartocci, Ezio ; Mateis, Cristinel ; Nesterini, Eleonora ; Nickovic, Dejan | Mining Specification Parameters for Multi-class Classification | Inproceedings Konferenzbeitrag | 1-Oct-2023 |
| 2 | | He, Jie ; Nickovic, Dejan ; Bartocci, Ezio ; Grosu, Radu | TD-Magic: From Pictures of Timing Diagrams To Formal Specifications | Inproceedings Konferenzbeitrag | 15-Sep-2023 |
| 3 | | Bartocci, Ezio ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana Alexandra | Hypernode Automata | Inproceedings Konferenzbeitrag | 7-Sep-2023 |
| 4 | | Bartocci, Ezio ; Mateis, Cristinel ; Nesterini, Eleonora ; Nickovic, Dejan | Mining Hyperproperties using Temporal Logics | Article Artikel | Sep-2023 |
| 5 | | Bartocci, Ezio ; Mariani, Leonardo ; Ničković, Dejan ; Yadav, Drishti | Property-Based Mutation Testing | Inproceedings Konferenzbeitrag | 2023 |
| 6 | | Bartocci, Ezio ; Mariani, Leonardo ; Nickovic, Dejan ; Yadav, Drishti | Search-based Testing for Accurate Fault Localization in CPS | Inproceedings Konferenzbeitrag | 21-Dec-2022 |
| 7 | | Bartocci, Ezio ; Mariani, Leonardo ; Ničković, Dejan ; Yadav, Drishti | FIM: fault injection and mutation for Simulink | Inproceedings Konferenzbeitrag | 9-Nov-2022 |
| 8 | | Bartocci, Ezio ; Mateis, Cristinel ; Nesterini, Eleonora ; Nickovic, Dejan | Survey on mining signal temporal logic specifications | Article Artikel | Nov-2022 |
| 9 | | Bartocci, Ezio ; Ferrère, Thomas ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana Alexandra | Information-flow Interfaces | Inproceedings Konferenzbeitrag | 29-Mar-2022 |
| 10 | | He, Jie ; Bartocci, Ezio ; Ničković, Dejan ; Isakovic, Haris ; Grosu, Radu | DeepSTL | Inproceedings Konferenzbeitrag | 2022 |
| 11 | | Bartocci, Ezio ; Ferrère, Thomas ; Henzinger, Thomas A. ; Nickovic, Dejan ; da Costa, Ana Oliveira | Flavors of Sequential Information Flow | Konferenzbeitrag Inproceedings | 2022 |
| 12 | | Bartocci, Ezio ; Deshmukh, Jyotirmoy ; Gigler, Felix ; Mateis, Cristinel ; Nickovic, Dejan ; Qin, Xin | Mining Shape Expressions from Positive Examples | Artikel Article | Nov-2020 |
| 13 | | Ničković, Dejan | Analyzing cyber-physical systems with runtime verification | Thesis Hochschulschrift | 2020 |
| 14 | | Sá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 |
| 15 | | Isakovic, 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 Education | Konferenzbeitrag Inproceedings | 2019 |
| 16 | | Bartocci, Ezio ; Manjunath, Niveditha ; Mariani, Leonardo ; Mateis, Cristinel ; Nickovic, Dejan | Automatic Failure Explanation in CPS Models | Konferenzbeitrag Inproceedings | 2019 |
| 17 | | Bartocci, Ezio ; Bloem, Roderick ; Nickovic, Dejan ; Roeck, Franz | A Counting Semantics for Monitoring LTL Specifications over Finite Traces | Konferenzbeitrag Inproceedings | 2018 |
| 18 | | Jaksic, Stefan ; Bartocci, Ezio ; Grosu, Radu ; Nickovic, Dejan | An algebraic framework for runtime verification | Artikel Article | 2018 |
| 19 | | Bartocci, 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 Applications | Buchbeitrag Book Contribution | 2018 |
| 20 | | Manjunath, 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 Environment | Konferenzbeitrag Inproceedings | 2018 |