Publikationsliste für
Dejan Nickovic
als Autorin / Autor bzw. wesentlich beteiligte Person

107 Datensätze (2012 - 2022)

In der nachstehenden Liste werden Präsentationen mit Tagungsband doppelt - als Druckpublikation und als Präsentation - ausgegeben. Die Gesamtanzahl der unten aufgelisteten Datensätze ist daher im Allgemeinen größer als die oben angeführte Anzahl.


Bücher und Buch-Herausgaben

4 Datensätze:
  1. J. Deshmukh, D. Nickovic (Hrg.):
    "Runtime Verification";
    Springer, Schweiz, 2020, ISBN: 978-3-030-60507-0; 535 S.

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

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

  4. M. Ter Beek, D. Nickovic (Hrg.):
    "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 S.


Artikel in wissenschaftlichen Zeitschriften

12 Datensätze:
  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; S. 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; S. 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), S. 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; S. 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; S. 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; S. 409 - 426.

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

  8. T. Nguyen, D. Nickovic:
    "Assertion-based monitoring in practice - Checking correctness of an automotive senor interface";
    Science of Computer Programming, 118 (2016), S. 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; S. 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; S. 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; S. 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; S. 325 - 330.


Artikel in technischen Zeitschriften

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


Buchbeiträge

3 Datensätze:
  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, S. 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, S. 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, S. 2233 - 2243.


Beiträge in Tagungsbänden

49 Datensätze:
  1. B. Aichernig, K. Hörmaier, F. Lorber, D. Nickovic, S. Tiran:
    "Require, Test and Trace IT";
    Vortrag: FMICS 2015, Oslo; 22.06.2015 - 23.06.2015; in: "4.safe.tech Tagung", Springer International Publishing, Switzerland (2015), ISBN: 978-3-319-19458-5; S. 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";
    Vortrag: QSIC 2014, Dallas; 02.10.2014 - 03.10.2014; in: "2014 14th International Conference on Quality Software", IEEE, (2014), ISBN: 1550-600214; 9 Seiten.

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

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

  5. E. Asarin, T. Ferrère, D. Nickovic, D. Ulus:
    "On the complexity of timed pattern matching";
    Vortrag: FORMATS'21, Paris, France; 24.08.2021 - 26.08.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; S. 15 - 31.

  6. E. Asarin, O. Maler, D. Nickovic, D. Ulus:
    "Combining the Temporal and Epistemic Dimensions for MTL Monitoring";
    Vortrag: FORMATS 2017, Berlin, Germany; 05.09.2017 - 07.09.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; S. 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, 04.05.2022 - 06.05.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; S. 261 - 262.

  8. E. Bartocci, R. Bloem, B. Maderbacher, N. Manjunath, D. Nickovic:
    "Adaptive Testing for Specification Coverage in CPS Models";
    Vortrag: ADHS 2021, Brussels; 07.07.2021 - 09.07.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; S. 229 - 234.

  9. E. Bartocci, R. Bloem, D. Nickovic, F. Röck:
    "A Counting Semantics for Monitoring LTL Specifications over Finite Traces";
    Vortrag: CAV 2018, Oxford, UK; 14.07.2018 - 17.07.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; S. 547 - 564.

  10. E. Bartocci, J. Deshmukh, C. Mateis, E. Nesterini, D. Nickovic, X. Qin:
    "Mining Shape Expressions with ShapeIt";
    Vortrag: SEFM 2021, Online; 06.12.2021 - 10.12.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; S. 110 - 117.

  11. E. Bartocci, T. Ferrère, T. Henzinger, D. Nickovic, A. da Costa:
    "Flavors of Sequential Information Flow";
    Vortrag: VMCAI'22, 16.01.2022 - 18.01.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; S. 1 - 19.

  12. E. Bartocci, T. Ferrère, T. Henzinger, D. Nickovic, A. da Costa:
    "Information-flow Interfaces";
    Vortrag: FASE 2022, 02.04.2022 - 07.04.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; S. 3 - 22.

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

  14. E. Bartocci, N. Manjunath, L. Mariani, C. Mateis, D. Nickovic:
    "Automatic Failure Explanation in CPS Models";
    Vortrag: SEFM 2019, Oslo, Norway; 18.09.2019 - 20.09.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; S. 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";
    Vortrag: ACM SIGSOFT International Symposium on Software Testing and Analysis, Wien, virtuell (eingeladen); 22.07.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; S. 569 - 572.

  16. E. Bartocci, L. Mariani, D. Nickovic, D. Yadav:
    "FIM: fault injection and mutation for Simulink";
    Vortrag: ESEC/FSE 2022, 14.11.2022 - 18.11.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; S. 1716 - 1720.

  17. N. Basset, T. Dang, F. Gigler, C. Mateis, D. Nickovic:
    "Sampling of Shape Expressions with ShapEx";
    Vortrag: MEMOCODE 2021, 20.11.2021 - 22.11.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 (Hrg.); ACM, 19 (2021), S. 118 - 125.

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

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

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

  21. S. Dustdar, A. Gambi, W. Krenn, D. Nickovic:
    "A Pattern-Based Formalization of Cloud-Based Elastic Systems";
    Vortrag: PESOS 2015, Florenz (eingeladen); 23.05.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; S. 31 - 37.

  22. T. Ferrère, O. Maler, D. Nickovic:
    "Mixed-Time Signal Temporal Logic";
    Vortrag: FORMATS 2019, Amsterdam, The Netherlands; 27.08.2019 - 28.08.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; S. 59 - 75.

  23. T. Ferrère, D. Nickovic, A. Donze, H. Ito, J. Kapinski:
    "Interface-aware signal temporal logic";
    Vortrag: HSCC 2019, Montreal, Canada; 16.04.2019 - 18.04.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; S. 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";
    Vortrag: ACC 2018, Milwaukee, WI, USA; 27.06.2018 - 29.06.2018; in: "2018 Annual American Control Conference, ACC 2018, Milwaukee, WI, USA, June 27-29, 2018", IEEE, (2018), ISBN: 978-1-5386-5428-6; S. 2384 - 2391.

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

  26. J. He, E. Bartocci, D. Nickovic, H. Isakovic, R. Grosu:
    "DeepSTL - From English Requirements to Signal Temporal Logic";
    Vortrag: ICSE'22, 25.05.2022 - 27.05.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; S. 610 - 622.

  27. T. Henzinger, A. Bakhirkin, T. Ferrère, D. Nickovic:
    "The first-order logic of signals: keynote";
    Vortrag: EMSOFT 2018, Torino (eingeladen); 30.09.2018 - 05.10.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; S. 1 - 10.

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

  29. C. Heschl, P. Klanatsky, C. Mateis, D. Nickovic, F. Wenig:
    "Exponential pattern recognition for deriving air change rates from CO2 data";
    Vortrag: International Symposium on Industrial Electronics (ISIE), Edinburgh, UK; 19.06.2017 - 21.06.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; S. 1507 - 1512.

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

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

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

  33. W. Krenn, D. Nickovic, L. Tec:
    "Incremental Language Inclusion Checking for Networks of vTimed Automata";
    Vortrag: FORMATS 2013, Buenos Aires, Argentinien; 29.08.2013 - 31.08.2013; in: "Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013", Springer, Buenos Aires (2013), ISBN: 978-3-642-40228-9; S. 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, S. 1 - 13.

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

  36. D. Nickovic:
    "Monitoring and Measuring Hybrid Behaviors A Tutorial";
    Vortrag: Runtime Verification - 6th International Conference, RV 205, Wien (eingeladen); 22.09.2015 - 25.09.2015; in: "Runtime Verification 2015", LNCS 9333 (2015), ISBN: 978-3-319-23819-7; S. 378 - 402.

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

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

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

  40. D. Nickovic, T. Ferrère, O. Maler, D. Ulus:
    "Measuring with Timed Patterns";
    Vortrag: CAV 2015, San Francisco, CA, USA; 18.07.2015 - 24.07.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; S. 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";
    Vortrag: TACAS 2018, Thessaloniki, Greece; 14.04.2018 - 20.04.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; S. 303 - 319.

  42. D. Nickovic, F. Lorber, A. Rosenmann, B. Aichernig:
    "Bounded Determinization of Timed Automata with Silent Transitions";
    Vortrag: FORMATS 2015, Madrid, Spain; 02.09.2015 - 04.09.2015; in: "Formal Modeling and Analysis of Timed Systems, 13th International Conference", LNCS, 9268 (2015), ISBN: 978-3-319-22974-4; S. 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";
    Vortrag: ITC 2018, Phoenix; 29.10.2018 - 01.11.2018; in: "IEEE International Test Conference, ITC 2018, Phoenix, AZ, USA, October 29 - Nov. 1, 2018", IEEE, (2018), ISBN: 978-1-5386-8382-8; S. 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";
    Vortrag: ISOLA 2016, Corfu, Greece; 10.10.2016 - 14.10.2016; in: "Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium", LNCS, 9953 (2016), ISBN: 9783-319471686; S. 371 - 379.

  45. D. Nickovic, X. Qin, T. Ferrère, C. Mateis, J. Deshmukh:
    "Shape Expressions for Specifying and Extracting Signal Features";
    Vortrag: International conference on Runtime Verification (RV), Porto, Portugal (eingeladen); 08.10.2019 - 11.10.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; S. 292 - 309.

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

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

  48. D. Nickovic, T. Yamaguchi:
    "RTAMT: Online Robustness Monitors from STL";
    Vortrag: ATVA 2020, Hanoi, Vietnam; 19.10.2020 - 23.10.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; S. 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";
    Vortrag: Proceedings of the 29th international conference on Computer aided verification, Heidelberg, Germany (eingeladen); 21.09.2017 - 23.09.2017; in: "Proceedings of the 29th international conference on Computer aided verification", Springer International Publishing, (2017), ISBN: 978-3-319-63387-9; S. 336 - 355.


Vorträge und Posterpräsentationen auf Tagungen

65 Datensätze:
  1. B. Aichernig, K. Hörmaier, F. Lorber, D. Nickovic, S. Tiran:
    "Require, Test and Trace IT";
    Vortrag: FMICS 2015, Oslo; 22.06.2015 - 23.06.2015; in: "4.safe.tech Tagung", Springer International Publishing, Switzerland (2015), ISBN: 978-3-319-19458-5; S. 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";
    Vortrag: QSIC 2014, Dallas; 02.10.2014 - 03.10.2014; in: "2014 14th International Conference on Quality Software", IEEE, (2014), ISBN: 1550-600214; 9 Seiten.

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

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

  5. E. Asarin, T. Ferrère, D. Nickovic, D. Ulus:
    "On the complexity of timed pattern matching";
    Vortrag: FORMATS'21, Paris, France; 24.08.2021 - 26.08.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; S. 15 - 31.

  6. E. Asarin, O. Maler, D. Nickovic, D. Ulus:
    "Combining the Temporal and Epistemic Dimensions for MTL Monitoring";
    Vortrag: FORMATS 2017, Berlin, Germany; 05.09.2017 - 07.09.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; S. 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, 04.05.2022 - 06.05.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; S. 261 - 262.

  8. E. Bartocci, R. Bloem, B. Maderbacher, N. Manjunath, D. Nickovic:
    "Adaptive Testing for Specification Coverage in CPS Models";
    Vortrag: ADHS 2021, Brussels; 07.07.2021 - 09.07.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; S. 229 - 234.

  9. E. Bartocci, R. Bloem, D. Nickovic, F. Röck:
    "A Counting Semantics for Monitoring LTL Specifications over Finite Traces";
    Vortrag: CAV 2018, Oxford, UK; 14.07.2018 - 17.07.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; S. 547 - 564.

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

  11. E. Bartocci, J. Deshmukh, C. Mateis, E. Nesterini, D. Nickovic, X. Qin:
    "Mining Shape Expressions with ShapeIt";
    Vortrag: SEFM 2021, Online; 06.12.2021 - 10.12.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; S. 110 - 117.

  12. E. Bartocci, T. Ferrère, T. Henzinger, D. Nickovic, A. da Costa:
    "Flavors of Sequential Information Flow";
    Vortrag: VMCAI'22, 16.01.2022 - 18.01.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; S. 1 - 19.

  13. E. Bartocci, T. Ferrère, T. Henzinger, D. Nickovic, A. da Costa:
    "Information-flow Interfaces";
    Vortrag: FASE 2022, 02.04.2022 - 07.04.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; S. 3 - 22.

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

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

  16. E. Bartocci, N. Manjunath, L. Mariani, C. Mateis, D. Nickovic:
    "Automatic Failure Explanation in CPS Models";
    Vortrag: SEFM 2019, Oslo, Norway; 18.09.2019 - 20.09.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; S. 69 - 85.

  17. E. Bartocci, L. Mariani, D. Nickovic, D. Yadav:
    "FIM: fault injection and mutation for Simulink";
    Vortrag: ESEC/FSE 2022, 14.11.2022 - 18.11.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; S. 1716 - 1720.

  18. N. Basset, T. Dang, F. Gigler, C. Mateis, D. Nickovic:
    "Sampling of Shape Expressions with ShapEx";
    Vortrag: MEMOCODE 2021, 20.11.2021 - 22.11.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 (Hrg.); ACM, 19 (2021), S. 118 - 125.

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

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

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

  22. S. Dustdar, A. Gambi, W. Krenn, D. Nickovic:
    "A Pattern-Based Formalization of Cloud-Based Elastic Systems";
    Vortrag: PESOS 2015, Florenz (eingeladen); 23.05.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; S. 31 - 37.

  23. T. Ferrère, O. Maler, D. Nickovic:
    "Mixed-Time Signal Temporal Logic";
    Vortrag: FORMATS 2019, Amsterdam, The Netherlands; 27.08.2019 - 28.08.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; S. 59 - 75.

  24. T. Ferrère, O. Maler, D. Nickovic:
    "Trace diagnostics with temporal implicants";
    Vortrag: FAC'17, Frankfurt, Germany; 21.07.2017 - 22.07.2017.

  25. T. Ferrère, O. Maler, D. Nickovic, A. Pnueli:
    "From MITL to Timed Automata";
    Vortrag: MTCPS'19, Porto, Portugal; 10.04.2018.

  26. T. Ferrère, O. Maler, D. Nickovic, A. Pnueli:
    "From MITL to Timed Automata";
    Hauptvortrag: SNV'18, Thessaloniki, Greece (eingeladen); 20.04.2018.

  27. T. Ferrère, D. Nickovic, A. Donze, H. Ito, J. Kapinski:
    "Interface-aware signal temporal logic";
    Vortrag: HSCC 2019, Montreal, Canada; 16.04.2019 - 18.04.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; S. 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";
    Vortrag: ACC 2018, Milwaukee, WI, USA; 27.06.2018 - 29.06.2018; in: "2018 Annual American Control Conference, ACC 2018, Milwaukee, WI, USA, June 27-29, 2018", IEEE, (2018), ISBN: 978-1-5386-5428-6; S. 2384 - 2391.

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

  30. J. He, E. Bartocci, D. Nickovic, H. Isakovic, R. Grosu:
    "DeepSTL - From English Requirements to Signal Temporal Logic";
    Vortrag: ICSE'22, 25.05.2022 - 27.05.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; S. 610 - 622.

  31. T. Henzinger, A. Bakhirkin, T. Ferrère, D. Nickovic:
    "The first-order logic of signals: keynote";
    Vortrag: EMSOFT 2018, Torino (eingeladen); 30.09.2018 - 05.10.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; S. 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)";
    Vortrag: 4.safe.tech Tagung, München; 28.04.2015 - 29.04.2015.

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

  34. C. Heschl, P. Klanatsky, C. Mateis, D. Nickovic, F. Wenig:
    "Exponential pattern recognition for deriving air change rates from CO2 data";
    Vortrag: International Symposium on Industrial Electronics (ISIE), Edinburgh, UK; 19.06.2017 - 21.06.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; S. 1507 - 1512.

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

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

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

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

  39. O. Lebeltel, O. Maler, D. Nickovic:
    "AMT 2.0 - Monitoring Tool for Extended STL Specifications";
    Vortrag: FAC'17, Frankfurt, Germany; 21.07.2017 - 22.07.2017.

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

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

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

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

  44. D. Nickovic:
    "From Real-Time Logic to Timed Automata";
    Hauptvortrag: MOVEP Summer School 2020, Grenoble, France (virtual) (eingeladen); 22.06.2020 - 26.06.2020.

  45. D. Nickovic:
    "Monitoring and Measuring Hybrid Behaviors A Tutorial";
    Vortrag: Runtime Verification - 6th International Conference, RV 205, Wien (eingeladen); 22.09.2015 - 25.09.2015; in: "Runtime Verification 2015", LNCS 9333 (2015), ISBN: 978-3-319-23819-7; S. 378 - 402.

  46. D. Nickovic:
    "Monitoring Cyber-Physical Systems";
    Hauptvortrag: RV Summer School 2016, Madrid, Spain (eingeladen); 23.09.2016 - 25.09.2016.

  47. D. Nickovic:
    "Monitoring Mixed Signals Assertions - Theory, Tools and Applications";
    Hauptvortrag: FAC 2014, Grenoble (eingeladen); 09.07.2014 - 10.07.2014.

  48. D. Nickovic:
    "Oded Maler - A Memory Box Full of Diamonds";
    Vortrag: RV'18, Limassol (eingeladen); 10.11.2018 - 14.11.2018.

  49. D. Nickovic:
    "Oded Maler - A Memory Box Full of Diamonds";
    Vortrag: MTCPS'19, Montreal, Canada (eingeladen); 15.04.2019.

  50. D. Nickovic:
    "Runtime verification for rigorous engineering of cyber-physical systems";
    Hauptvortrag: Runtime Verification Lectures @ ICTAC 2020, Grenoble, France (virtual) (eingeladen); 30.11.2020 - 01.12.2020.

  51. D. Nickovic:
    "Testing Security in Cyber-Physical Systems";
    Hauptvortrag: AVL Research Networking Day 2016, Graz (eingeladen); 08.03.2016.

  52. D. Nickovic:
    "Time for Mutants";
    Vortrag: Workshop on Formal and Informal Methods for Correctness and Performance (FIMCP), Marrakech, Marocco (eingeladen); 02.05.2013.

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

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

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

  56. D. Nickovic, T. Ferrère, O. Maler, D. Ulus:
    "Measuring with Timed Patterns";
    Vortrag: CAV 2015, San Francisco, CA, USA; 18.07.2015 - 24.07.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; S. 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";
    Vortrag: TACAS 2018, Thessaloniki, Greece; 14.04.2018 - 20.04.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; S. 303 - 319.

  58. D. Nickovic, F. Lorber, A. Rosenmann, B. Aichernig:
    "Bounded Determinization of Timed Automata with Silent Transitions";
    Vortrag: FORMATS 2015, Madrid, Spain; 02.09.2015 - 04.09.2015; in: "Formal Modeling and Analysis of Timed Systems, 13th International Conference", LNCS, 9268 (2015), ISBN: 978-3-319-22974-4; S. 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";
    Vortrag: ITC 2018, Phoenix; 29.10.2018 - 01.11.2018; in: "IEEE International Test Conference, ITC 2018, Phoenix, AZ, USA, October 29 - Nov. 1, 2018", IEEE, (2018), ISBN: 978-1-5386-8382-8; S. 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";
    Vortrag: ISOLA 2016, Corfu, Greece; 10.10.2016 - 14.10.2016; in: "Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium", LNCS, 9953 (2016), ISBN: 9783-319471686; S. 371 - 379.

  61. D. Nickovic, X. Qin, T. Ferrère, C. Mateis, J. Deshmukh:
    "Shape Expressions for Specifying and Extracting Signal Features";
    Vortrag: International conference on Runtime Verification (RV), Porto, Portugal (eingeladen); 08.10.2019 - 11.10.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; S. 292 - 309.

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

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

  64. D. Nickovic, T. Yamaguchi:
    "RTAMT: Online Robustness Monitors from STL";
    Vortrag: ATVA 2020, Hanoi, Vietnam; 19.10.2020 - 23.10.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; S. 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";
    Vortrag: Proceedings of the 29th international conference on Computer aided verification, Heidelberg, Germany (eingeladen); 21.09.2017 - 23.09.2017; in: "Proceedings of the 29th international conference on Computer aided verification", Springer International Publishing, (2017), ISBN: 978-3-319-63387-9; S. 336 - 355.


Sonstige Vorträge und Posterpräsentationen

15 Datensätze:
  1. E. Bartocci, T. Ferrère, O. Maler, D. Nickovic, N. Manjunath:
    "Fault Explanation guided by Signal Temporal Logic Specifications";
    Vortrag: 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";
    Vortrag: CISE Invited Lecture, Boston University, Boston, MA, USA; 05.06.2018.

  3. E. Bartocci, T. Ferrère, O. Maler, D. Nickovic, N. Manjunath:
    "Requirement-driven verification and debugging with Signal Temporal Logic";
    Vortrag: Bosch, Renningen, Germany; 19.07.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";
    Vortrag: ACM SIGSOFT International Symposium on Software Testing and Analysis, Wien, virtuell (eingeladen); 22.07.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; S. 569 - 572.

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

  6. N. Manjunath, E. Bartocci, T. Ferrère, D. Nickovic:
    "Localizing Faults in Simulink Models using STL";
    Vortrag: School of computing, informatics, decision systems engineering, Arizona State University, School of computing, informatics, decision systems engineering, Arizona State University (eingeladen); 01.11.2018.

  7. D. Nickovic:
    "Autonomous Driving Examiner";
    Vortrag: SafeTRANS Industry Day, Oldenburg, Germany (eingeladen); 13.12.2021.

  8. D. Nickovic:
    "From MTL to Deterministic Timed Automata";
    Hauptvortrag: Institut de Recherche en Informatique de Toulouse (IRIT), Toulouse, France (eingeladen); 24.01.2014.

  9. D. Nickovic:
    "Monitoring analog and mixed-signal design emulated on FPGA";
    Hauptvortrag: TU Graz, Graz (eingeladen); 18.10.2016.

  10. D. Nickovic:
    "Monitoring analog and mixed-signal design emulated on FPGA";
    Hauptvortrag: VERIMAG, Grenoble, France (eingeladen); 28.10.2016.

  11. D. Nickovic:
    "Monitoring and Measuring Hybrid Behaviours";
    Hauptvortrag: VERIMAG, Grenoble, France (eingeladen); 07.10.2015.

  12. D. Nickovic:
    "Require, Test and Trace IT";
    Hauptvortrag: VERIMAG, Grenoble, France (eingeladen); 28.05.2014.

  13. D. Nickovic:
    "Time for Mutants";
    Hauptvortrag: IST Austria, Klosterneuburg (eingeladen); 18.03.2014.

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

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


Vorlesungen

2 Datensätze:
  1. D. Nickovic:
    "182.741 Runtime Verification";
    Vorlesung: TU Wien, Wien; 01.03.2021 - 30.06.2021.

  2. D. Nickovic, E. Bartocci:
    "Runtime Verification - Master/PhD course";
    Vorlesung: Vienna University of Technology, 01.03.2022 - 30.06.2022.


Habilitationsschriften

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


Dissertationen

2 Datensätze:
  1. S. Jaksic:
    "Real-Time Monitoring for Correctness and Robustness";
    Betreuer/in(nen), Begutachter/in(nen): J. Deshmukh, R. Grosu, D. Nickovic; Technische Universität Wien, 2018; Rigorosum: 22.10.2018.

  2. N. Manjunath:
    "Fault-Based Analysis of Cyber Physical Systems";
    Betreuer/in(nen), Begutachter/in(nen): E. Bartocci, D. Nickovic; TU Wien, Fakultät für Informatik, Institute of Computer Engineering (E191), 2021; Rigorosum: 09.03.2021.


Diplomarbeiten und Masterthesen

1 Datensatz:
  1. F. Exenberger:
    "Fault Analysis in Reactive Systems Using Log Data";
    Betreuer/in(nen): E. Bartocci, C. Mateis, D. Nickovic; TU Wien, 2019; Abschlussprüfung: 15.08.2019.