Publication list for
Dejan Nickovic
as author or essentially involved person

107 records (2012 - 2022)

The following list contains presentations with proceedings-entry twice, once as printed contributions, and once as presentations. In general, the total number of records given below is therefore greater than the number shown above.


Books and Book Editorships

4 records:
  1. J. Deshmukh, D. Nickovic (ed.):
    "Runtime Verification";
    Springer, Schweiz, 2020, ISBN: 978-3-030-60507-0; 535 pages.

  2. J. Deshmukh, D. Nickovic (ed.):
    "Runtime Verification";
    Springer, 12399, 2020, ISBN: 978-3-030-60507-0; 1 pages.

  3. M. Jurdzinski, D. Nickovic (ed.):
    "Editor: Formal Modeling and Analysis of Timed Systems - 10th International Conference";
    Springer, ##, 2012, ISBN: 978-3-642-33364-4; 277 pages.

  4. M. Ter Beek, D. Nickovic (ed.):
    "Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings";
    Springer, Switzerland, 2020, ISBN: 978-3-030-58297-5; 287 pages.


Publications in Scientific Journals

12 records:
  1. B. Aichernig, K. Hörmaier, F. Lorber, D. Nickovic, S. Tiran:
    "Require, test, and trace IT";
    International Journal on Software Tools for Technology Transfer, 4 (2017), 19; 409 - 426.

  2. E. Bartocci, J. Deshmukh, F. Gigler, C. Mateis, D. Nickovic:
    "Mining Shape Expressions From Positive Examples";
    Ieee Transactions On Computer-Aided Design Of Integrated Circuits And Systems, 39 (2020), 11; 3809 - 3820.

  3. E. Bartocci, N. Manjunath, L. Mariani, C. Mateis, D. Nickovic:
    "CPSDebug: Automatic failure explanation in CPS models";
    International Journal on Software Tools for Technology Transfer, 23 (2021), 783 - 796.

  4. T. Ferrère, O. Maler, D. Nickovic, A. Pnueli:
    "From Real-time Logic to Timed Automata";
    Journal of ACM, 66 (2019), 3; 1 - 31.

  5. S. Jaksic, E. Bartocci, R. Grosu, T. Nguyen, D. Nickovic:
    "Quantitative monitoring of STL with edit distance";
    Formal Methods in System Design, 53/(1) (2018), ISSN: 0925-9856; 83 - 112.

  6. F. Lorber, A. Rosenmann, D. Nickovic, B. Aichernig:
    "Bounded determinization of timed automata with silent transitions";
    Real-Time Systems, 3 (2017), 53; 409 - 426.

  7. O. Maler, D. Nickovic:
    "Monitoring Properties of Analog and Mixed-Signal Circuits";
    International Journal on Software Tools for Technology, ++ (2012), 22 pages.

  8. T. Nguyen, D. Nickovic:
    "Assertion-based monitoring in practice - Checking correctness of an automotive senor interface";
    Science of Computer Programming, 118 (2016), 40 - 59.

  9. D. Nickovic, O. Lebeltel, O. Maler, T. Ferrère, D. Ulus:
    "AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic";
    International Journal on Software Tools for Technology Transfer, 22 (2020), 6; 741 - 758.

  10. D. Nickovic, X. Qin, T. Ferrère, C. Mateis, J. Deshmukh:
    "Specifying and Detecting Temporal Patterns with Shape Expressions";
    International Journal on Software Tools for Technology Transfer, 23 (2021), 4; 565 - 577.

  11. C. Sanchez, G. Schneider, W. Ahrendt, E. Bartocci, D. Bianculli, C. Colombo, Y. Falcone, A. Francalanza, S. Krstic, J. Lourenco, D. Nickovic, G. Pace, J. Rufino, J. Signoles, D. Traytel, A. Weiss:
    "A survey of challenges for runtime verification from advanced application domains (beyond software)";
    Formal Methods in System Design, 3 (2019), 54; 279 - 335.

  12. M. Ter Beek, K. Larsen, D. Nickovic, T. Willemse:
    "Formal methods and tools for industrial critical systems";
    International Journal on Software Tools for Technology Transfer, 24 (2022), 3; 325 - 330.


Publications in Technical Journals

1 record:
  1. J. Deshmukh, O. Maler, D. Nickovic:
    "From Real-time Logic to Timed Automata";
    Dagstuhl reports, 2 (2019), 9; 48 - 72.


Contributions to Books

3 records:
  1. E. Bartocci, J. Deshmukh, A. Donze, G. Fainekos, O. Maler, D. Nickovic, S. Sankaranarayanan:
    "Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications";
    in: "Lecture Notes on Runtime Verification", LNCS 10457; Springer International Publishing AG, Wiesbaden, 2018, ISBN: 978-3-319-75631-8, 135 - 175.

  2. A. Benveniste, B. Caillaud, D. Nickovic, R. Passerone, J. Raclet, P. Reinkemeier, A. Sangiovanni-Vincentelli, T. Henzinger, K. Larsen:
    "Contracts for System Design";
    in: "Foundations and Trends in Electronic Design Automation", 12 (2-3); now publishers, Boston - Delft, 2018, ISBN: 978-1-68083-402-4, 124 - 400.

  3. D. Nickovic, S. Jaksic, E. Bartocci, R. Grosu:
    "An Algebraic Framework for Runtime Verification";
    in: "IEEE Transactions on CAD of Integrated Circuits and Systems", 37 (11); IEEE, New Jersey, 2018, 2233 - 2243.


Contributions to Proceedings

49 records:
  1. B. Aichernig, K. Hörmaier, F. Lorber, D. Nickovic, S. Tiran:
    "Require, Test and Trace IT";
    Talk: FMICS 2015, Oslo; 06-22-2015 - 06-23-2015; in: "4.safe.tech Tagung", Springer International Publishing, Switzerland (2015), ISBN: 978-3-319-19458-5; 113 - 127.

  2. B. Aichernig, K. Hörmaier, D. Nickovic, R. Schlick, F. Lorber, D. Simoneau, S. Tiran:
    "Integration of Requirements Engineering and Test-Case Generation via OSLC";
    Talk: QSIC 2014, Dallas; 10-02-2014 - 10-03-2014; in: "2014 14th International Conference on Quality Software", IEEE, (2014), ISBN: 1550-600214; 9 pages.

  3. B. Aichernig, F. Lorber, D. Nickovic:
    "Time for Mutants - Model-Based Mutation Testing with Timed Automata";
    Talk: TAP 2013 - Tests and Proofs - 7th International Conference, Budapest, Ungarn; 06-16-2013 - 06-20-2013; in: "Tests and Proofs - 7th International Conference 2013", Springer, LNCS 7942 (2013), ISBN: 978-3-642-38915-3; 20 - 38.

  4. B. Aichernig, S. Tiran, D. Nickovic:
    "Scalable Incremental Test-case Generation from Large Behavior Models";
    Talk: TAP 2015, L´Aquila, Italy; 07-22-2015 - 07-24-2015; in: "Proceedings of Tests and Proofs- 9th International Conference, TAP 2015", LNCS 9154 (2015), ISBN: 978-3-319-21214-2; 1 - 18.

  5. E. Asarin, T. Ferrère, D. Nickovic, D. Ulus:
    "On the complexity of timed pattern matching";
    Talk: FORMATS'21, Paris, France; 08-24-2021 - 08-26-2021; in: "Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings", Springer, 12860 (2021), ISBN: 978-3-030-85036-4; 15 - 31.

  6. E. Asarin, O. Maler, D. Nickovic, D. Ulus:
    "Combining the Temporal and Epistemic Dimensions for MTL Monitoring";
    Talk: FORMATS 2017, Berlin, Germany; 09-05-2017 - 09-07-2017; in: "Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings", LNCS 10419 (2017), ISBN: 978-3-319-65764-6; 207 - 223.

  7. A. Balakrishnan, S. Jaksic, E. Aguilar-Lozano, D. Nickovic, J. Deshmukh:
    "Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives";
    Poster: HSCC '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022, 05-04-2022 - 05-06-2022; in: "HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022", (2022), ISBN: 978-1-4503-9196-2; 261 - 262.

  8. E. Bartocci, R. Bloem, B. Maderbacher, N. Manjunath, D. Nickovic:
    "Adaptive Testing for Specification Coverage in CPS Models";
    Talk: ADHS 2021, Brussels; 07-07-2021 - 07-09-2021; in: "7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021", 54/5 (2021), ISSN: 2405-8963; 229 - 234.

  9. E. Bartocci, R. Bloem, D. Nickovic, F. Röck:
    "A Counting Semantics for Monitoring LTL Specifications over Finite Traces";
    Talk: CAV 2018, Oxford, UK; 07-14-2018 - 07-17-2018; in: "Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018", LNCS 10981 (2018), ISBN: 978-3-319-96144-6; 547 - 564.

  10. E. Bartocci, J. Deshmukh, C. Mateis, E. Nesterini, D. Nickovic, X. Qin:
    "Mining Shape Expressions with ShapeIt";
    Talk: SEFM 2021, Online; 12-06-2021 - 12-10-2021; in: "Proceedings of 19th International Conference on Software Engineering and Formal Methods", Springer Nature Switzerland AG, 13085 (2021), ISBN: 978-3-030-92123-1; 110 - 117.

  11. E. Bartocci, T. Ferrère, T. Henzinger, D. Nickovic, A. da Costa:
    "Flavors of Sequential Information Flow";
    Talk: VMCAI'22, 01-16-2022 - 01-18-2022; in: "Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceeding", Springer, 13182 (2022), ISBN: 978-3-030-94582-4; 1 - 19.

  12. E. Bartocci, T. Ferrère, T. Henzinger, D. Nickovic, A. da Costa:
    "Information-flow Interfaces";
    Talk: FASE 2022, 04-02-2022 - 04-07-2022; in: "Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings", Springer, 13182 (2022), ISBN: 978-3-030-99428-0; 3 - 22.

  13. E. Bartocci, T. Ferrère, N. Manjunath, D. Nickovic:
    "Localizing Faults in Simulink/Stateflow Models with STL";
    Talk: HSCC 2018, Porto, Portugal; 04-11-2018 - 04-13-2018; in: "Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control", ACM, (2018), ISBN: 978-1-4503-5642-8; 197 - 206.

  14. E. Bartocci, N. Manjunath, L. Mariani, C. Mateis, D. Nickovic:
    "Automatic Failure Explanation in CPS Models";
    Talk: SEFM 2019, Oslo, Norway; 09-18-2019 - 09-20-2019; in: "Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings", Springer LNCS, 11724 (2019), ISBN: 978-3-030-30445-4; 69 - 85.

  15. E. Bartocci, N. Manjunath, L. Mariani, C. Mateis, D. Nickovic, F. Pastore:
    "CPSDebug: a tool for explanation of failures in cyber-physical systems";
    Talk: ACM SIGSOFT International Symposium on Software Testing and Analysis, Wien, virtuell (invited); 07-22-2020; in: "ISSTA 2020: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis", Association for Computing Machinery, New York, United States (2020), ISBN: 978-1-4503-8008-9; 569 - 572.

  16. E. Bartocci, L. Mariani, D. Nickovic, D. Yadav:
    "FIM: fault injection and mutation for Simulink";
    Talk: ESEC/FSE 2022, 11-14-2022 - 11-18-2022; in: "Proceedings of the 30th {ACM} Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, {ESEC/FSE} 2022, Singapore, Singapore, November 14-18, 2022", (2022), ISBN: 978-1-4503-9413-0; 1716 - 1720.

  17. N. Basset, T. Dang, F. Gigler, C. Mateis, D. Nickovic:
    "Sampling of Shape Expressions with ShapEx";
    Talk: MEMOCODE 2021, 11-20-2021 - 11-22-2021; in: "Proceedings of 19th ACM-IEEE International Conference on Formal Methods and Models for System Design", S. Arun-Kumar, D. Mery, I. Saha, L. Zhang (ed.); ACM, 19 (2021), 118 - 125.

  18. N. Benes, P. Daca, T. Henzinger, J. Kretinsky, D. Nickovic:
    "Complete Composition Operators for IOCO-Testing Theory";
    Talk: CBSE 2015, Montreal, Canada; 05-04-2015 - 05-08-2015; in: "Proceedings of the CBSE", (2015), ISBN: 978-1-4503-3471-6; 101 - 110.

  19. B. Delahaye, U. Fahrenberg, T. Henzinger, A. Legay, D. Nickovic:
    "Synchronous Interface Theories and Time Triggered Scheduling";
    Talk: FMOODS/FORTE 2012, Stockholm, Schweden; 06-13-2012 - 06-16-2012; in: "Large-Scale Complex IT Systems. Development, Operation and Management - 17th Monterey Workshop 2012", Springer, (2012), ISBN: 978-3-642-30792-8; 203 - 218.

  20. A. Donze, O. Maler, E. Bartocci, D. Nickovic, R. Grosu, S. Smolka:
    "On Temporal Logic and Signal Processing";
    Talk: ATVA 2012, Thiruvananthapuram, India; 10-03-2012 - 10-06-2012; in: "Large-Scale Complex IT Systems. Development, Operation and Management - 17th Monterey Workshop 2012", (2012), ISBN: 978-3-642-33385-9; 92 - 106.

  21. S. Dustdar, A. Gambi, W. Krenn, D. Nickovic:
    "A Pattern-Based Formalization of Cloud-Based Elastic Systems";
    Talk: PESOS 2015, Florenz (invited); 05-23-2015; in: "7th IEEE/ACM International Workshop on Principles of Engineering Service-Oriented and Cloud Systems (PESOS) 2015", IEEE, (2015), ISBN: 978-1-4673-7058-5; 31 - 37.

  22. T. Ferrère, O. Maler, D. Nickovic:
    "Mixed-Time Signal Temporal Logic";
    Talk: FORMATS 2019, Amsterdam, The Netherlands; 08-27-2019 - 08-28-2019; in: "Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings", Springer LNCS, (2019), ISBN: 978-3-030-29661-2; 59 - 75.

  23. T. Ferrère, D. Nickovic, A. Donze, H. Ito, J. Kapinski:
    "Interface-aware signal temporal logic";
    Talk: HSCC 2019, Montreal, Canada; 04-16-2019 - 04-18-2019; in: "Proceedings of the 22nd {ACM} International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019.", ACM, (2019), ISBN: 978-1-4503-6282-5; 57 - 66.

  24. G. Frehse, N. Kekatos, D. Nickovic, J. Oehlerking, S. Schuler, M. Woehrle:
    "A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates";
    Talk: ACC 2018, Milwaukee, WI, USA; 06-27-2018 - 06-29-2018; in: "2018 Annual American Control Conference, ACC 2018, Milwaukee, WI, USA, June 27-29, 2018", IEEE, (2018), ISBN: 978-1-5386-5428-6; 2384 - 2391.

  25. W. Granig, S. Jaksic, H. Lewitschnig, C. Mateis, D. Nickovic:
    "Weakness monitors for Fail-Aware Systems";
    Talk: 2020 International Conference on Formal Modeling and Analysis of Timed Systems, Wien, online (invited); 09-01-2020 - 09-04-2020; in: "18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings", Springer, 12288 (2020), ISBN: 978-3-030-57628-8; 283 - 301.

  26. J. He, E. Bartocci, D. Nickovic, H. Isakovic, R. Grosu:
    "DeepSTL - From English Requirements to Signal Temporal Logic";
    Talk: ICSE'22, 05-25-2022 - 05-27-2022; in: "44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022", Association for Computing Machinery, (2022), ISBN: 978-1-4503-9221-1; 610 - 622.

  27. T. Henzinger, A. Bakhirkin, T. Ferrère, D. Nickovic:
    "The first-order logic of signals: keynote";
    Talk: EMSOFT 2018, Torino (invited); 09-30-2018 - 10-05-2018; in: "Proceedings of the International Conference on Embedded Software, EMSOFT 2018, Torino, Italy, September 30 - October 05, 2018", IEEE Press Piscataway, (2018), ISBN: 978-1-5386-5564-1; 1 - 10.

  28. T. Henzinger, D. Nickovic:
    "Independent Implementability of Viewpoints";
    Talk: Monterey Workshop 2012, Oxford, UK; 03-19-2012 - 03-21-2012; in: "Large-Scale Complex IT Systems. Development, Operation and Management - 17th Monterey Workshop 2012", Oxford, UK (2012), ISBN: 978-3-642-34058-1; 380 - 395.

  29. C. Heschl, P. Klanatsky, C. Mateis, D. Nickovic, F. Wenig:
    "Exponential pattern recognition for deriving air change rates from CO2 data";
    Talk: International Symposium on Industrial Electronics (ISIE), Edinburgh, UK; 06-19-2017 - 06-21-2017; in: "2017 IEEE 26th International Symposium on Industrial Electronics (ISIE)", Institute of Electrical and Electronics Engineers (IEEE), (2017), ISBN: 978-1-5090-1412-5; 1507 - 1512.

  30. S. Jaksic, E. Bartocci, R. Grosu, R. Kloibhofer, T. Nguyen, D. Nickovic:
    "From signal temporal logic to FPGA monitors";
    Talk: MEMOCODE 2015, Austin, USA; 09-21-2015 - 09-23-2015; in: "13. ACM/IEEE International Conference on Formal Methods and Models for Codesign", IEEE, (2015), ISBN: 978-1-5090-0237-5; 218 - 227.

  31. S. Jaksic, E. Bartocci, R. Grosu, D. Nickovic:
    "Quantitative monitoring of STL with edit distance";
    Talk: 2016 International Conference on Runtime Verification, Madrid, Spain (invited); 09-23-2016 - 09-30-2016; in: "International Conference on Runtime Verification, RV2016", Springer International Publishing, (2016), ISBN: 978-3-319-46982-9; 201 - 218.

  32. S. Jaksic, E. Bartocci, R. Grosu, D. Nickovic:
    "The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems";
    Talk: Runtime Verification - 16th International Conference, 2016, Madrid, Spain; 09-23-2016 - 09-30-2016; in: "Runtime Verificiation - 16th International Conference, RV 2016", LNCS, 10012 (2016), ISBN: 978-3-319-46981-2; 201 - 218.

  33. W. Krenn, D. Nickovic, L. Tec:
    "Incremental Language Inclusion Checking for Networks of vTimed Automata";
    Talk: FORMATS 2013, Buenos Aires, Argentinien; 08-29-2013 - 08-31-2013; in: "Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013", Springer, Buenos Aires (2013), ISBN: 978-3-642-40228-9; 152 - 167.

  34. N. Marko, E. Möhlmann, D. Nickovic, J. Niehaus, P. Priller, M. Rooker:
    "Challenges of engineering safe and secure highly automated vehicles";
    in: "ArXiV Technical Report", ArXiV, -, 2020, 1 - 13.

  35. T. Nguyen, D. Nickovic:
    "Assertion-Based Monitoring in Practice-Checking Correctness of an Automotive Sensor Interface";
    Talk: 19th International Conference, Formal Methods for Industrial Critical Systems 2014, Florence, Italy; 09-11-2014 - 09-12-2014; in: "FMICS 2014", 8718 (2014), ISBN: 978-3-319-10701-1; 16 - 32.

  36. D. Nickovic:
    "Monitoring and Measuring Hybrid Behaviors A Tutorial";
    Talk: Runtime Verification - 6th International Conference, RV 205, Wien (invited); 09-22-2015 - 09-25-2015; in: "Runtime Verification 2015", LNCS 9333 (2015), ISBN: 978-3-319-23819-7; 378 - 402.

  37. D. Nickovic, P. Daca, T. Henzinger, W. Krenn:
    "Compositional Specifications for ioco Testing";
    Talk: ICST 2014, Cleveland, USA; 03-31-2014 - 04-04-2014; in: "ICST 2014", IEEE, (2014), ISBN: 978-0-7695-5185-2; 373 - 382.

  38. D. Nickovic, Y. Falcone, G. Reger, D. Thoma:
    "Second International Competition on Runtime Verification CRV 2015";
    Talk: Runtime Verification - 6th International Conference, RV 205, Wien (invited); 09-22-2015 - 09-25-2015; in: "Runtime Verification 2015", LNCS 9333 (2015), ISBN: 978-3-319-23819-7; 405 - 422.

  39. D. Nickovic, T. Ferrère, O. Maler:
    "Trace Diagnostics Using Temporal Implicants";
    Talk: ATVA 2015, Shanghai, China; 10-12-2015 - 10-15-2015; in: "Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015", (2015), ISBN: 978-3-319-24952-0; 241 - 258.

  40. D. Nickovic, T. Ferrère, O. Maler, D. Ulus:
    "Measuring with Timed Patterns";
    Talk: CAV 2015, San Francisco, CA, USA; 07-18-2015 - 07-24-2015; in: "Proceedings of the Computer Aided Verification - 27th International Conference, CAV,2015,San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II", LNCS 9207 (2015), ISBN: 978-3-319-21667-6; 322 - 337.

  41. D. Nickovic, O. Lebeltel, O. Maler, T. Ferrère, D. Ulus:
    "AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic";
    Talk: TACAS 2018, Thessaloniki, Greece; 04-14-2018 - 04-20-2018; in: "Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018", LNCS 10806 (2018), ISBN: 978-3-319-89962-6; 303 - 319.

  42. D. Nickovic, F. Lorber, A. Rosenmann, B. Aichernig:
    "Bounded Determinization of Timed Automata with Silent Transitions";
    Talk: FORMATS 2015, Madrid, Spain; 09-02-2015 - 09-04-2015; in: "Formal Modeling and Analysis of Timed Systems, 13th International Conference", LNCS, 9268 (2015), ISBN: 978-3-319-22974-4; 288 - 304.

  43. D. Nickovic, N. Manjunath, D. Haerle, S. Sabanal, H. Eichinger, H. Tauber, A. Machne, C. Manthey, M. Vaananen:
    "Production Tests Coverage Analysis in the Simulation Environment";
    Talk: ITC 2018, Phoenix; 10-29-2018 - 11-01-2018; in: "IEEE International Test Conference, ITC 2018, Phoenix, AZ, USA, October 29 - Nov. 1, 2018", IEEE, (2018), ISBN: 978-1-5386-8382-8; 1 - 7.

  44. D. Nickovic, T. Nguyen, E. Bartocci, R. Grosu, S. Jaksic, K. Selyunin:
    "The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems";
    Talk: ISOLA 2016, Corfu, Greece; 10-10-2016 - 10-14-2016; in: "Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium", LNCS, 9953 (2016), ISBN: 9783-319471686; 371 - 379.

  45. D. Nickovic, X. Qin, T. Ferrère, C. Mateis, J. Deshmukh:
    "Shape Expressions for Specifying and Extracting Signal Features";
    Talk: International conference on Runtime Verification (RV), Porto, Portugal (invited); 10-08-2019 - 10-11-2019; in: "Runtime verification - 19th International Conference, RV 2019, Porto, Portugal, Octiber 8-11, 2019, Proceedings", Springer LNCS, 11757 (2019), ISBN: 978-3-030-32078-2; 292 - 309.

  46. D. Nickovic, A. Radionova, E. Bartocci, R. Grosu:
    "Temporal Logic as Filtering";
    Talk: International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Wien; 04-11-2016 - 04-14-2016; in: "HSCC 2016", (2016), ISBN: 978-1-4503-3955-1; 11 - 20.

  47. D. Nickovic, K. Selyunin, T. Nguyen, E. Bartocci, R. Grosu:
    "Monitoring of MTL specifications with IBM's spiking-neuron model";
    Talk: DATE 2016, Dresden; 03-14-2016 - 03-18-2016; in: "2016 Design, Automation and Test in Europe Conference and Exhibition", (2016), ISBN: 978-3-9815-3707-9; 924 - 929.

  48. D. Nickovic, T. Yamaguchi:
    "RTAMT: Online Robustness Monitors from STL";
    Talk: ATVA 2020, Hanoi, Vietnam; 10-19-2020 - 10-23-2020; in: "Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings.", Springer, LNCS 12302 (2020), ISBN: 978-3-030-59151-9; 564 - 571.

  49. K. Selyunin, S. Jaksic, T. Nguyen, C. Reidl, U. Hafner, E. Bartocci, D. Nickovic, R. Grosu:
    "Runtime Monitoring with Recovery of the SENT Communication Protocol";
    Talk: Proceedings of the 29th international conference on Computer aided verification, Heidelberg, Germany (invited); 09-21-2017 - 09-23-2017; in: "Proceedings of the 29th international conference on Computer aided verification", Springer International Publishing, (2017), ISBN: 978-3-319-63387-9; 336 - 355.


Talks and Poster Presentations at Conferences

65 records:
  1. B. Aichernig, K. Hörmaier, F. Lorber, D. Nickovic, S. Tiran:
    "Require, Test and Trace IT";
    Talk: FMICS 2015, Oslo; 06-22-2015 - 06-23-2015; in: "4.safe.tech Tagung", Springer International Publishing, Switzerland (2015), ISBN: 978-3-319-19458-5; 113 - 127.

  2. B. Aichernig, K. Hörmaier, D. Nickovic, R. Schlick, F. Lorber, D. Simoneau, S. Tiran:
    "Integration of Requirements Engineering and Test-Case Generation via OSLC";
    Talk: QSIC 2014, Dallas; 10-02-2014 - 10-03-2014; in: "2014 14th International Conference on Quality Software", IEEE, (2014), ISBN: 1550-600214; 9 pages.

  3. B. Aichernig, F. Lorber, D. Nickovic:
    "Time for Mutants - Model-Based Mutation Testing with Timed Automata";
    Talk: TAP 2013 - Tests and Proofs - 7th International Conference, Budapest, Ungarn; 06-16-2013 - 06-20-2013; in: "Tests and Proofs - 7th International Conference 2013", Springer, LNCS 7942 (2013), ISBN: 978-3-642-38915-3; 20 - 38.

  4. B. Aichernig, S. Tiran, D. Nickovic:
    "Scalable Incremental Test-case Generation from Large Behavior Models";
    Talk: TAP 2015, L´Aquila, Italy; 07-22-2015 - 07-24-2015; in: "Proceedings of Tests and Proofs- 9th International Conference, TAP 2015", LNCS 9154 (2015), ISBN: 978-3-319-21214-2; 1 - 18.

  5. E. Asarin, T. Ferrère, D. Nickovic, D. Ulus:
    "On the complexity of timed pattern matching";
    Talk: FORMATS'21, Paris, France; 08-24-2021 - 08-26-2021; in: "Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings", Springer, 12860 (2021), ISBN: 978-3-030-85036-4; 15 - 31.

  6. E. Asarin, O. Maler, D. Nickovic, D. Ulus:
    "Combining the Temporal and Epistemic Dimensions for MTL Monitoring";
    Talk: FORMATS 2017, Berlin, Germany; 09-05-2017 - 09-07-2017; in: "Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings", LNCS 10419 (2017), ISBN: 978-3-319-65764-6; 207 - 223.

  7. A. Balakrishnan, S. Jaksic, E. Aguilar-Lozano, D. Nickovic, J. Deshmukh:
    "Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives";
    Poster: HSCC '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022, 05-04-2022 - 05-06-2022; in: "HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022", (2022), ISBN: 978-1-4503-9196-2; 261 - 262.

  8. E. Bartocci, R. Bloem, B. Maderbacher, N. Manjunath, D. Nickovic:
    "Adaptive Testing for Specification Coverage in CPS Models";
    Talk: ADHS 2021, Brussels; 07-07-2021 - 07-09-2021; in: "7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021", 54/5 (2021), ISSN: 2405-8963; 229 - 234.

  9. E. Bartocci, R. Bloem, D. Nickovic, F. Röck:
    "A Counting Semantics for Monitoring LTL Specifications over Finite Traces";
    Talk: CAV 2018, Oxford, UK; 07-14-2018 - 07-17-2018; in: "Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018", LNCS 10981 (2018), ISBN: 978-3-319-96144-6; 547 - 564.

  10. E. Bartocci, J. Deshmukh, F. Gigler, C. Mateis, D. Nickovic, X. Qin:
    "Mining Shape Expressions";
    Talk: WORKSHOP ON MONITORING AND TESTING OF CYBER-PHYSICAL SYSTEMS (MT-CPS) 2021, Online; 05-18-2021.

  11. E. Bartocci, J. Deshmukh, C. Mateis, E. Nesterini, D. Nickovic, X. Qin:
    "Mining Shape Expressions with ShapeIt";
    Talk: SEFM 2021, Online; 12-06-2021 - 12-10-2021; in: "Proceedings of 19th International Conference on Software Engineering and Formal Methods", Springer Nature Switzerland AG, 13085 (2021), ISBN: 978-3-030-92123-1; 110 - 117.

  12. E. Bartocci, T. Ferrère, T. Henzinger, D. Nickovic, A. da Costa:
    "Flavors of Sequential Information Flow";
    Talk: VMCAI'22, 01-16-2022 - 01-18-2022; in: "Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceeding", Springer, 13182 (2022), ISBN: 978-3-030-94582-4; 1 - 19.

  13. E. Bartocci, T. Ferrère, T. Henzinger, D. Nickovic, A. da Costa:
    "Information-flow Interfaces";
    Talk: FASE 2022, 04-02-2022 - 04-07-2022; in: "Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings", Springer, 13182 (2022), ISBN: 978-3-030-99428-0; 3 - 22.

  14. E. Bartocci, T. Ferrère, O. Maler, D. Nickovic, N. Manjunath:
    "Localizing and Explaining Faults with STL";
    Talk: MathWorks Research Summit 2018 (Presentation to the V&V group of MathWorks), Newton, MA, USA; 06-03-2018.

  15. E. Bartocci, T. Ferrère, N. Manjunath, D. Nickovic:
    "Localizing Faults in Simulink/Stateflow Models with STL";
    Talk: HSCC 2018, Porto, Portugal; 04-11-2018 - 04-13-2018; in: "Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control", ACM, (2018), ISBN: 978-1-4503-5642-8; 197 - 206.

  16. E. Bartocci, N. Manjunath, L. Mariani, C. Mateis, D. Nickovic:
    "Automatic Failure Explanation in CPS Models";
    Talk: SEFM 2019, Oslo, Norway; 09-18-2019 - 09-20-2019; in: "Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings", Springer LNCS, 11724 (2019), ISBN: 978-3-030-30445-4; 69 - 85.

  17. E. Bartocci, L. Mariani, D. Nickovic, D. Yadav:
    "FIM: fault injection and mutation for Simulink";
    Talk: ESEC/FSE 2022, 11-14-2022 - 11-18-2022; in: "Proceedings of the 30th {ACM} Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, {ESEC/FSE} 2022, Singapore, Singapore, November 14-18, 2022", (2022), ISBN: 978-1-4503-9413-0; 1716 - 1720.

  18. N. Basset, T. Dang, F. Gigler, C. Mateis, D. Nickovic:
    "Sampling of Shape Expressions with ShapEx";
    Talk: MEMOCODE 2021, 11-20-2021 - 11-22-2021; in: "Proceedings of 19th ACM-IEEE International Conference on Formal Methods and Models for System Design", S. Arun-Kumar, D. Mery, I. Saha, L. Zhang (ed.); ACM, 19 (2021), 118 - 125.

  19. N. Benes, P. Daca, T. Henzinger, J. Kretinsky, D. Nickovic:
    "Complete Composition Operators for IOCO-Testing Theory";
    Talk: CBSE 2015, Montreal, Canada; 05-04-2015 - 05-08-2015; in: "Proceedings of the CBSE", (2015), ISBN: 978-1-4503-3471-6; 101 - 110.

  20. B. Delahaye, U. Fahrenberg, T. Henzinger, A. Legay, D. Nickovic:
    "Synchronous Interface Theories and Time Triggered Scheduling";
    Talk: FMOODS/FORTE 2012, Stockholm, Schweden; 06-13-2012 - 06-16-2012; in: "Large-Scale Complex IT Systems. Development, Operation and Management - 17th Monterey Workshop 2012", Springer, (2012), ISBN: 978-3-642-30792-8; 203 - 218.

  21. A. Donze, O. Maler, E. Bartocci, D. Nickovic, R. Grosu, S. Smolka:
    "On Temporal Logic and Signal Processing";
    Talk: ATVA 2012, Thiruvananthapuram, India; 10-03-2012 - 10-06-2012; in: "Large-Scale Complex IT Systems. Development, Operation and Management - 17th Monterey Workshop 2012", (2012), ISBN: 978-3-642-33385-9; 92 - 106.

  22. S. Dustdar, A. Gambi, W. Krenn, D. Nickovic:
    "A Pattern-Based Formalization of Cloud-Based Elastic Systems";
    Talk: PESOS 2015, Florenz (invited); 05-23-2015; in: "7th IEEE/ACM International Workshop on Principles of Engineering Service-Oriented and Cloud Systems (PESOS) 2015", IEEE, (2015), ISBN: 978-1-4673-7058-5; 31 - 37.

  23. T. Ferrère, O. Maler, D. Nickovic:
    "Mixed-Time Signal Temporal Logic";
    Talk: FORMATS 2019, Amsterdam, The Netherlands; 08-27-2019 - 08-28-2019; in: "Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings", Springer LNCS, (2019), ISBN: 978-3-030-29661-2; 59 - 75.

  24. T. Ferrère, O. Maler, D. Nickovic:
    "Trace diagnostics with temporal implicants";
    Talk: FAC'17, Frankfurt, Germany; 07-21-2017 - 07-22-2017.

  25. T. Ferrère, O. Maler, D. Nickovic, A. Pnueli:
    "From MITL to Timed Automata";
    Talk: MTCPS'19, Porto, Portugal; 04-10-2018.

  26. T. Ferrère, O. Maler, D. Nickovic, A. Pnueli:
    "From MITL to Timed Automata";
    Keynote Lecture: SNV'18, Thessaloniki, Greece (invited); 04-20-2018.

  27. T. Ferrère, D. Nickovic, A. Donze, H. Ito, J. Kapinski:
    "Interface-aware signal temporal logic";
    Talk: HSCC 2019, Montreal, Canada; 04-16-2019 - 04-18-2019; in: "Proceedings of the 22nd {ACM} International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019.", ACM, (2019), ISBN: 978-1-4503-6282-5; 57 - 66.

  28. G. Frehse, N. Kekatos, D. Nickovic, J. Oehlerking, S. Schuler, M. Woehrle:
    "A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates";
    Talk: ACC 2018, Milwaukee, WI, USA; 06-27-2018 - 06-29-2018; in: "2018 Annual American Control Conference, ACC 2018, Milwaukee, WI, USA, June 27-29, 2018", IEEE, (2018), ISBN: 978-1-5386-5428-6; 2384 - 2391.

  29. W. Granig, S. Jaksic, H. Lewitschnig, C. Mateis, D. Nickovic:
    "Weakness monitors for Fail-Aware Systems";
    Talk: 2020 International Conference on Formal Modeling and Analysis of Timed Systems, Wien, online (invited); 09-01-2020 - 09-04-2020; in: "18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings", Springer, 12288 (2020), ISBN: 978-3-030-57628-8; 283 - 301.

  30. J. He, E. Bartocci, D. Nickovic, H. Isakovic, R. Grosu:
    "DeepSTL - From English Requirements to Signal Temporal Logic";
    Talk: ICSE'22, 05-25-2022 - 05-27-2022; in: "44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022", Association for Computing Machinery, (2022), ISBN: 978-1-4503-9221-1; 610 - 622.

  31. T. Henzinger, A. Bakhirkin, T. Ferrère, D. Nickovic:
    "The first-order logic of signals: keynote";
    Talk: EMSOFT 2018, Torino (invited); 09-30-2018 - 10-05-2018; in: "Proceedings of the International Conference on Embedded Software, EMSOFT 2018, Torino, Italy, September 30 - October 05, 2018", IEEE Press Piscataway, (2018), ISBN: 978-1-5386-5564-1; 1 - 10.

  32. W. Herzner, W. Krenn, D. Nickovic, R. Schlick, M. Gruber:
    "V&V-Concepts for Advanced Driver Assistance Systems (ADAS) and Autonomous Driving Functions (ADF)";
    Talk: 4.safe.tech Tagung, München; 04-28-2015 - 04-29-2015.

  33. W. Herzner, D. Nickovic, W. Krenn, R. Schlick, Ch. Zinner, M. Murschitz, O. Zendel:
    "Challenges for Safety-Assessment of Highly Automated Driving";
    Talk: 19. SafeTRANS Industrial Day, Oldenburg (invited); 12-09-2015.

  34. C. Heschl, P. Klanatsky, C. Mateis, D. Nickovic, F. Wenig:
    "Exponential pattern recognition for deriving air change rates from CO2 data";
    Talk: International Symposium on Industrial Electronics (ISIE), Edinburgh, UK; 06-19-2017 - 06-21-2017; in: "2017 IEEE 26th International Symposium on Industrial Electronics (ISIE)", Institute of Electrical and Electronics Engineers (IEEE), (2017), ISBN: 978-1-5090-1412-5; 1507 - 1512.

  35. S. Jaksic, E. Bartocci, R. Grosu, R. Kloibhofer, T. Nguyen, D. Nickovic:
    "From signal temporal logic to FPGA monitors";
    Talk: MEMOCODE 2015, Austin, USA; 09-21-2015 - 09-23-2015; in: "13. ACM/IEEE International Conference on Formal Methods and Models for Codesign", IEEE, (2015), ISBN: 978-1-5090-0237-5; 218 - 227.

  36. S. Jaksic, E. Bartocci, R. Grosu, D. Nickovic:
    "Quantitative monitoring of STL with edit distance";
    Talk: 2016 International Conference on Runtime Verification, Madrid, Spain (invited); 09-23-2016 - 09-30-2016; in: "International Conference on Runtime Verification, RV2016", Springer International Publishing, (2016), ISBN: 978-3-319-46982-9; 201 - 218.

  37. S. Jaksic, E. Bartocci, R. Grosu, D. Nickovic:
    "The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems";
    Talk: Runtime Verification - 16th International Conference, 2016, Madrid, Spain; 09-23-2016 - 09-30-2016; in: "Runtime Verificiation - 16th International Conference, RV 2016", LNCS, 10012 (2016), ISBN: 978-3-319-46981-2; 201 - 218.

  38. W. Krenn, D. Nickovic, L. Tec:
    "Incremental Language Inclusion Checking for Networks of vTimed Automata";
    Talk: FORMATS 2013, Buenos Aires, Argentinien; 08-29-2013 - 08-31-2013; in: "Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013", Springer, Buenos Aires (2013), ISBN: 978-3-642-40228-9; 152 - 167.

  39. O. Lebeltel, O. Maler, D. Nickovic:
    "AMT 2.0 - Monitoring Tool for Extended STL Specifications";
    Talk: FAC'17, Frankfurt, Germany; 07-21-2017 - 07-22-2017.

  40. O. Lebeltel, O. Maler, D. Nickovic:
    "AMT 2.0 - Monitoring Tool for Extended STL Specifications";
    Talk: MTCPS'17, Pittsburg, USA; 04-21-2017.

  41. T. Nguyen, D. Nickovic:
    "Assertion-Based Monitoring in Practice-Checking Correctness of an Automotive Sensor Interface";
    Talk: 19th International Conference, Formal Methods for Industrial Critical Systems 2014, Florence, Italy; 09-11-2014 - 09-12-2014; in: "FMICS 2014", 8718 (2014), ISBN: 978-3-319-10701-1; 16 - 32.

  42. T. Nguyen, D. Nickovic:
    "Monitoring Correctness of DSI3 Sensor Interfaces in a Modern Airbag System-on-Chip Application";
    Talk: FAC 2014, Grenoble; 07-09-2014 - 07-10-2014.

  43. D. Nickovic:
    "Academia, Industry, and Government Collaboration-Choosing the `Right´ Development Roadmap and Technology";
    Keynote Lecture: MathWorks Research Summit 2018 (Presentation to the V&V group of MathWorks), Newton, MA, USA; 06-04-2018.

  44. D. Nickovic:
    "From Real-Time Logic to Timed Automata";
    Keynote Lecture: MOVEP Summer School 2020, Grenoble, France (virtual) (invited); 06-22-2020 - 06-26-2020.

  45. D. Nickovic:
    "Monitoring and Measuring Hybrid Behaviors A Tutorial";
    Talk: Runtime Verification - 6th International Conference, RV 205, Wien (invited); 09-22-2015 - 09-25-2015; in: "Runtime Verification 2015", LNCS 9333 (2015), ISBN: 978-3-319-23819-7; 378 - 402.

  46. D. Nickovic:
    "Monitoring Cyber-Physical Systems";
    Keynote Lecture: RV Summer School 2016, Madrid, Spain (invited); 09-23-2016 - 09-25-2016.

  47. D. Nickovic:
    "Monitoring Mixed Signals Assertions - Theory, Tools and Applications";
    Keynote Lecture: FAC 2014, Grenoble (invited); 07-09-2014 - 07-10-2014.

  48. D. Nickovic:
    "Oded Maler - A Memory Box Full of Diamonds";
    Talk: RV'18, Limassol (invited); 11-10-2018 - 11-14-2018.

  49. D. Nickovic:
    "Oded Maler - A Memory Box Full of Diamonds";
    Talk: MTCPS'19, Montreal, Canada (invited); 04-15-2019.

  50. D. Nickovic:
    "Runtime verification for rigorous engineering of cyber-physical systems";
    Keynote Lecture: Runtime Verification Lectures @ ICTAC 2020, Grenoble, France (virtual) (invited); 11-30-2020 - 12-01-2020.

  51. D. Nickovic:
    "Testing Security in Cyber-Physical Systems";
    Keynote Lecture: AVL Research Networking Day 2016, Graz (invited); 03-08-2016.

  52. D. Nickovic:
    "Time for Mutants";
    Talk: Workshop on Formal and Informal Methods for Correctness and Performance (FIMCP), Marrakech, Marocco (invited); 05-02-2013.

  53. D. Nickovic, P. Daca, T. Henzinger, W. Krenn:
    "Compositional Specifications for ioco Testing";
    Talk: ICST 2014, Cleveland, USA; 03-31-2014 - 04-04-2014; in: "ICST 2014", IEEE, (2014), ISBN: 978-0-7695-5185-2; 373 - 382.

  54. D. Nickovic, Y. Falcone, G. Reger, D. Thoma:
    "Second International Competition on Runtime Verification CRV 2015";
    Talk: Runtime Verification - 6th International Conference, RV 205, Wien (invited); 09-22-2015 - 09-25-2015; in: "Runtime Verification 2015", LNCS 9333 (2015), ISBN: 978-3-319-23819-7; 405 - 422.

  55. D. Nickovic, T. Ferrère, O. Maler:
    "Trace Diagnostics Using Temporal Implicants";
    Talk: ATVA 2015, Shanghai, China; 10-12-2015 - 10-15-2015; in: "Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015", (2015), ISBN: 978-3-319-24952-0; 241 - 258.

  56. D. Nickovic, T. Ferrère, O. Maler, D. Ulus:
    "Measuring with Timed Patterns";
    Talk: CAV 2015, San Francisco, CA, USA; 07-18-2015 - 07-24-2015; in: "Proceedings of the Computer Aided Verification - 27th International Conference, CAV,2015,San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II", LNCS 9207 (2015), ISBN: 978-3-319-21667-6; 322 - 337.

  57. D. Nickovic, O. Lebeltel, O. Maler, T. Ferrère, D. Ulus:
    "AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic";
    Talk: TACAS 2018, Thessaloniki, Greece; 04-14-2018 - 04-20-2018; in: "Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018", LNCS 10806 (2018), ISBN: 978-3-319-89962-6; 303 - 319.

  58. D. Nickovic, F. Lorber, A. Rosenmann, B. Aichernig:
    "Bounded Determinization of Timed Automata with Silent Transitions";
    Talk: FORMATS 2015, Madrid, Spain; 09-02-2015 - 09-04-2015; in: "Formal Modeling and Analysis of Timed Systems, 13th International Conference", LNCS, 9268 (2015), ISBN: 978-3-319-22974-4; 288 - 304.

  59. D. Nickovic, N. Manjunath, D. Haerle, S. Sabanal, H. Eichinger, H. Tauber, A. Machne, C. Manthey, M. Vaananen:
    "Production Tests Coverage Analysis in the Simulation Environment";
    Talk: ITC 2018, Phoenix; 10-29-2018 - 11-01-2018; in: "IEEE International Test Conference, ITC 2018, Phoenix, AZ, USA, October 29 - Nov. 1, 2018", IEEE, (2018), ISBN: 978-1-5386-8382-8; 1 - 7.

  60. D. Nickovic, T. Nguyen, E. Bartocci, R. Grosu, S. Jaksic, K. Selyunin:
    "The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems";
    Talk: ISOLA 2016, Corfu, Greece; 10-10-2016 - 10-14-2016; in: "Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium", LNCS, 9953 (2016), ISBN: 9783-319471686; 371 - 379.

  61. D. Nickovic, X. Qin, T. Ferrère, C. Mateis, J. Deshmukh:
    "Shape Expressions for Specifying and Extracting Signal Features";
    Talk: International conference on Runtime Verification (RV), Porto, Portugal (invited); 10-08-2019 - 10-11-2019; in: "Runtime verification - 19th International Conference, RV 2019, Porto, Portugal, Octiber 8-11, 2019, Proceedings", Springer LNCS, 11757 (2019), ISBN: 978-3-030-32078-2; 292 - 309.

  62. D. Nickovic, A. Radionova, E. Bartocci, R. Grosu:
    "Temporal Logic as Filtering";
    Talk: International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Wien; 04-11-2016 - 04-14-2016; in: "HSCC 2016", (2016), ISBN: 978-1-4503-3955-1; 11 - 20.

  63. D. Nickovic, K. Selyunin, T. Nguyen, E. Bartocci, R. Grosu:
    "Monitoring of MTL specifications with IBM's spiking-neuron model";
    Talk: DATE 2016, Dresden; 03-14-2016 - 03-18-2016; in: "2016 Design, Automation and Test in Europe Conference and Exhibition", (2016), ISBN: 978-3-9815-3707-9; 924 - 929.

  64. D. Nickovic, T. Yamaguchi:
    "RTAMT: Online Robustness Monitors from STL";
    Talk: ATVA 2020, Hanoi, Vietnam; 10-19-2020 - 10-23-2020; in: "Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings.", Springer, LNCS 12302 (2020), ISBN: 978-3-030-59151-9; 564 - 571.

  65. K. Selyunin, S. Jaksic, T. Nguyen, C. Reidl, U. Hafner, E. Bartocci, D. Nickovic, R. Grosu:
    "Runtime Monitoring with Recovery of the SENT Communication Protocol";
    Talk: Proceedings of the 29th international conference on Computer aided verification, Heidelberg, Germany (invited); 09-21-2017 - 09-23-2017; in: "Proceedings of the 29th international conference on Computer aided verification", Springer International Publishing, (2017), ISBN: 978-3-319-63387-9; 336 - 355.


Other Talks and Poster Presentations

15 records:
  1. E. Bartocci, T. Ferrère, O. Maler, D. Nickovic, N. Manjunath:
    "Fault Explanation guided by Signal Temporal Logic Specifications";
    Talk: University of Michigan, Ann Arbor, MI, USA; 08-08-2018.

  2. E. Bartocci, T. Ferrère, O. Maler, D. Nickovic, N. Manjunath:
    "Localizing and Explaining Faults with STL";
    Talk: CISE Invited Lecture, Boston University, Boston, MA, USA; 06-05-2018.

  3. E. Bartocci, T. Ferrère, O. Maler, D. Nickovic, N. Manjunath:
    "Requirement-driven verification and debugging with Signal Temporal Logic";
    Talk: Bosch, Renningen, Germany; 07-19-2019.

  4. E. Bartocci, N. Manjunath, L. Mariani, C. Mateis, D. Nickovic, F. Pastore:
    "CPSDebug: a tool for explanation of failures in cyber-physical systems";
    Talk: ACM SIGSOFT International Symposium on Software Testing and Analysis, Wien, virtuell (invited); 07-22-2020; in: "ISSTA 2020: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis", Association for Computing Machinery, New York, United States (2020), ISBN: 978-1-4503-8008-9; 569 - 572.

  5. T. Henzinger, D. Nickovic:
    "Independent Implementability of Viewpoints";
    Talk: Monterey Workshop 2012, Oxford, UK; 03-19-2012 - 03-21-2012; in: "Large-Scale Complex IT Systems. Development, Operation and Management - 17th Monterey Workshop 2012", Oxford, UK (2012), ISBN: 978-3-642-34058-1; 380 - 395.

  6. N. Manjunath, E. Bartocci, T. Ferrère, D. Nickovic:
    "Localizing Faults in Simulink Models using STL";
    Talk: School of computing, informatics, decision systems engineering, Arizona State University, School of computing, informatics, decision systems engineering, Arizona State University (invited); 11-01-2018.

  7. D. Nickovic:
    "Autonomous Driving Examiner";
    Talk: SafeTRANS Industry Day, Oldenburg, Germany (invited); 12-13-2021.

  8. D. Nickovic:
    "From MTL to Deterministic Timed Automata";
    Keynote Lecture: Institut de Recherche en Informatique de Toulouse (IRIT), Toulouse, France (invited); 01-24-2014.

  9. D. Nickovic:
    "Monitoring analog and mixed-signal design emulated on FPGA";
    Keynote Lecture: TU Graz, Graz (invited); 10-18-2016.

  10. D. Nickovic:
    "Monitoring analog and mixed-signal design emulated on FPGA";
    Keynote Lecture: VERIMAG, Grenoble, France (invited); 10-28-2016.

  11. D. Nickovic:
    "Monitoring and Measuring Hybrid Behaviours";
    Keynote Lecture: VERIMAG, Grenoble, France (invited); 10-07-2015.

  12. D. Nickovic:
    "Require, Test and Trace IT";
    Keynote Lecture: VERIMAG, Grenoble, France (invited); 05-28-2014.

  13. D. Nickovic:
    "Time for Mutants";
    Keynote Lecture: IST Austria, Klosterneuburg (invited); 03-18-2014.

  14. D. Nickovic, E. Bartocci, T. Ferrère, O. Maler, N. Manjunath:
    "Faul Explanation guided by Signal Temporal Logic Specifications";
    Talk: COST Action ARVI Workshop, Limassol; 11-08-2018.

  15. D. Nickovic, S. König:
    "TRUSTED - Automatic Threat Prevention";
    Poster: AVL Research Network Day, Graz (invited); 10-04-2021.


Lectures

2 records:
  1. D. Nickovic:
    "182.741 Runtime Verification";
    Lecture: TU Wien, Wien; 03-01-2021 - 06-30-2021.

  2. D. Nickovic, E. Bartocci:
    "Runtime Verification - Master/PhD course";
    Lecture: Vienna University of Technology, 03-01-2022 - 06-30-2022.


Habilitation Theses

1 record:
  1. D. Nickovic:
    "Analyzing Cyber-Physical Systems with Runtime Veri fication";
    TU Wien, 2020.


Doctor's Theses

2 records:
  1. S. Jaksic:
    "Real-Time Monitoring for Correctness and Robustness";
    Supervisor, Reviewer: J. Deshmukh, R. Grosu, D. Nickovic; Technische Universität Wien, 2018; oral examination: 10-22-2018.

  2. N. Manjunath:
    "Fault-Based Analysis of Cyber Physical Systems";
    Supervisor, Reviewer: E. Bartocci, D. Nickovic; TU Wien, Fakultät für Informatik, Institute of Computer Engineering (E191), 2021; oral examination: 03-09-2021.


Diploma and Master Theses

1 record:
  1. F. Exenberger:
    "Fault Analysis in Reactive Systems Using Log Data";
    Supervisor: E. Bartocci, C. Mateis, D. Nickovic; TU Wien, 2019; final examination: 08-15-2019.