TU Wien Informatics

20 Years
Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name
Related
Guest Professors Honoraries Alumni (LinkedIn) #5qw

Dejan Nickovic

Privatdoz. Dr.

Role

Contact

2023

  • Mining Specification Parameters for Multi-class Classification / Aguilar, E. A., Bartocci, E., Mateis, C., Nesterini, E., & Nickovic, D. (2023). Mining Specification Parameters for Multi-class Classification. In P. Katsaros & L. Nenzi (Eds.), Runtime Verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings (pp. 86–105). Springer. https://doi.org/10.1007/978-3-031-44267-4_5
    Project: ProbInG (2020–2025)
  • TD-Magic: From Pictures of Timing Diagrams To Formal Specifications / He, J., Nickovic, D., Bartocci, E., & Grosu, R. (2023). TD-Magic: From Pictures of Timing Diagrams To Formal Specifications. In 2023 60th ACM/IEEE Design Automation Conference (DAC) (pp. 1–6). IEEE. https://doi.org/10.1109/DAC56929.2023.10247685
    Project: ADEX (2020–2024)
  • Hypernode Automata / Bartocci, E., Henzinger, T. A., Nickovic, D., & Oliveira Da Costa, A. A. (2023). Hypernode Automata. In G. Perez & J.-F. Raskin (Eds.), 34th International Conference on Concurrency Theory (CONCUR 2023) (pp. 1–16). Schloss-Dagstuhl - Leibniz Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2023.21
    Project: ZK 35-G (2019–2024)
  • Mining Hyperproperties using Temporal Logics / Bartocci, E., Mateis, C., Nesterini, E., & Nickovic, D. (2023). Mining Hyperproperties using Temporal Logics. ACM Transactions on Embedded Computing Systems, 22(5s), 1–26. https://doi.org/10.1145/3609394
  • Property-Based Mutation Testing / Bartocci, E., Mariani, L., Ničković, D., & Yadav, D. (2023). Property-Based Mutation Testing. In 2023 IEEE Conference on Software Testing, Verification and Validation (ICST) (pp. 222–233). IEEE. https://doi.org/10.1109/ICST57152.2023.00029

2022

  • Search-based Testing for Accurate Fault Localization in CPS / Bartocci, E., Mariani, L., Nickovic, D., & Yadav, D. (2022). Search-based Testing for Accurate Fault Localization in CPS. In Proceedings 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE) (pp. 145–156). https://doi.org/10.1109/ISSRE55969.2022.00024
  • FIM: fault injection and mutation for Simulink / Bartocci, E., Mariani, L., Ničković, D., & Yadav, D. (2022). FIM: fault injection and mutation for Simulink. In ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (pp. 1716–1720). Association for Computing Machinery (ACM). https://doi.org/10.1145/3540250.3558932
    Download: FIM: Fault Injection and Mutation for Simulink (212 KB)
  • Survey on mining signal temporal logic specifications / Bartocci, E., Mateis, C., Nesterini, E., & Nickovic, D. (2022). Survey on mining signal temporal logic specifications. Information and Computation, 289(Part A), Article 104957. https://doi.org/10.1016/j.ic.2022.104957
  • Information-flow Interfaces / Bartocci, E., Ferrère, T., Henzinger, T. A., Nickovic, D., & Oliveira Da Costa, A. A. (2022). Information-flow Interfaces. In Fundamental Approaches to Software Engineering (pp. 3–22). Springer-Verlag. https://doi.org/10.1007/978-3-030-99429-7_1
  • Flavors of Sequential Information Flow / Bartocci, E., Ferrère, T., Henzinger, T. A., Nickovic, D., & da Costa, A. O. (2022). Flavors of Sequential Information Flow. In Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings (pp. 1–19). Springer. https://doi.org/10.1007/978-3-030-94583-1_1
  • DeepSTL / He, J., Bartocci, E., Ničković, D., Isakovic, H., & Grosu, R. (2022). DeepSTL. In ICSE ’22: Proceedings of the 44th International Conference on Software Engineering (pp. 610–622). Association for Computing Machinery. https://doi.org/10.1145/3510003.3510171

2020

  • Mining Shape Expressions from Positive Examples / Bartocci, E., Deshmukh, J., Gigler, F., Mateis, C., Nickovic, D., & Qin, X. (2020). Mining Shape Expressions from Positive Examples. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39(11), 3809–3820. https://doi.org/10.1109/tcad.2020.3012240
  • Analyzing cyber-physical systems with runtime verification / Ničković, D. (2020). Analyzing cyber-physical systems with runtime verification [Professorial Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/158887

2019

  • A survey of challenges for runtime verification from advanced application domains (beyond software) / Sánchez, C., Schneider, G., Ahrendt, W., Bartocci, E., Bianculli, D., Colombo, C., Falcone, Y., Francalanza, A., Krstić, S., Lourenço, J. M., Nickovic, D., Pace, G. J., Rufino, J., Signoles, J., Traytel, D., & Weiss, A. (2019). A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods in System Design, 54(3), 279–335. https://doi.org/10.1007/s10703-019-00337-w
  • CPS/IoT Ecosystem: A Platform for Research and Education / Isakovic, H., Ratasich, D., Hirsch, C., Platzer, M., Wally, B., Rausch, T., Nickovic, D., Krenn, W., Kappel, G., Dustdar, S., & Grosu, R. (2019). CPS/IoT Ecosystem: A Platform for Research and Education. In R. Chamberlain, W. Taha, & M. Törngren (Eds.), Cyber Physical Systems. Model-Based Design (pp. 206–213). Springer International Publishing. https://doi.org/10.1007/978-3-030-23703-5_12
  • Automatic Failure Explanation in CPS Models / Bartocci, E., Manjunath, N., Mariani, L., Mateis, C., & Nickovic, D. (2019). Automatic Failure Explanation in CPS Models. In Lecture Notes in Computer Science. 17th International Conference on Software Engineering and Formal Methods, Oslo, Norway, EU. https://doi.org/10.1007/978-3-030-30446-1

2018

  • Localizing Faults in Simulink/Stateflow Models with {STL} / Bartocci, E., Ferrere, T., Manjunath, N., & Nickovic, D. (2018). Localizing Faults in Simulink/Stateflow Models with {STL}. In Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of {CPS} Week). Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of {CPS} Week), Porto, Portugal, EU. https://doi.org/10.1145/3178126.3178131
  • Production Tests Coverage Analysis in the Simulation Environment / Manjunath, N., Haerle, D., Manthey, C., Väänänen, M., Sabanal, S., Eichinger, H., Tauber, H., Machne, A., Grosu, R., & Nickovic, D. (2018). Production Tests Coverage Analysis in the Simulation Environment. In 2018 IEEE International Test Conference (ITC). International Test Conference, Phoenix, Arizona, USA, Non-EU. IEEE. https://doi.org/10.1109/test.2018.8624870
  • Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications / Bartocci, E., Deshmukh, R. G., Donze, A., Fainekos, G., Maler, O., Nickovic, D., & Sankaranarayanan, S. (2018). Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications. In E. Bartocci & Y. Falcone (Eds.), Lectures on Runtime Verification,  Introductory and Advanced Topics (pp. 135–175). Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/978-3-319-75632-5_5
  • A Counting Semantics for Monitoring LTL Specifications over Finite Traces / Bartocci, E., Bloem, R., Nickovic, D., & Roeck, F. (2018). A Counting Semantics for Monitoring LTL Specifications over Finite Traces. In H. Chockler & G. Weissenbacher (Eds.), Computer Aided Verification: 30th International Conference, CAV 2018 (pp. 547–564). Springer. https://doi.org/10.1007/978-3-319-96145-3_29
  • An algebraic framework for runtime verification / Jaksic, S., Bartocci, E., Grosu, R., & Nickovic, D. (2018). An algebraic framework for runtime verification. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 37(11), 2233–2243. https://doi.org/10.1109/tcad.2018.2858460

2017

  • Runtime Monitoring with Recovery of the SENT Communication Protocol / Selyunin, K., Jaksic, S., Nguyen, T., Reidl, C., Hafner, U., Bartocci, E., Nickovic, D., & Grosu, R. (2017). Runtime Monitoring with Recovery of the SENT Communication Protocol. In Computer Aided Verification (pp. 336–355). Springer. https://doi.org/10.1007/978-3-319-63387-9_17

2016

  • Applying High-Level Synthesis for Synthesizing Hardware Runtime STL Monitors of Mission-Critical Properties / Selyunin, K., Nguyen, T., Basa, A.-D., Bartocci, E., Nickovic, D., & Grosu, R. (2016). Applying High-Level Synthesis for Synthesizing Hardware Runtime STL Monitors of Mission-Critical Properties. In Design and Verification Conference and Exhibition (p. 8). Online. http://hdl.handle.net/20.500.12708/56824
  • Monitoring of MTL Specifications With IBM's Spiking-Neuron Model / Selyunin, K., Nguyen, T., Bartocci, E., Nickovic, D., & Grosu, R. (2016). Monitoring of MTL Specifications With IBM’s Spiking-Neuron Model. In Proc. of the 2016 Design, Automation & Test in Europe Conference & Exhibition (pp. 924–929). IEEE Computer Society. http://hdl.handle.net/20.500.12708/56706
  • Temporal Logic as Filtering / Rodionova, A., Bartocci, E., Nickovic, D., & Grosu, R. (2016). Temporal Logic as Filtering. In Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control. Proceeding HSCC ’16 - the 19th International Conference on Hybrid Systems: Computation and Control, Vienna, Austria. ACM. https://doi.org/10.1145/2883817.2883839

2015

  • From signal temporal logic to FPGA monitors / Jaksic, S., Bartocci, E., Grosu, R., Kloibhofer, R., Nguyen, T., & Nickovic, D. (2015). From signal temporal logic to FPGA monitors. In 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE). 13th ACM-IEEE International Conference on Formal Methods and Models for System Design, Austin, TX, USA, Non-EU. IEEE. https://doi.org/10.1109/memcod.2015.7340489
  • A Pattern-Based Formalization of Cloud-Based Elastic Systems / Dustdar, S., Gambi, A., Krenn, W., & Nickovic, D. (2015). A Pattern-Based Formalization of Cloud-Based Elastic Systems. In 2015 IEEE/ACM 7th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems. 7th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems (PESOS 2015) in conjunction with ICSE 2015, Florence, Italy, EU. IEEE Computer Society. https://doi.org/10.1109/pesos.2015.13

2012

  • On Temporal Logic and Signal Processing / Donzé, A., Maler, O., Bartocci, E., Nickovic, D., Grosu, R., & Smolka, S. (2012). On Temporal Logic and Signal Processing. In Automated Technology for Verification and Analysis (pp. 92–106). LNCS/Springer. https://doi.org/10.1007/978-3-642-33386-6_9