Research output per year
Research output per year
Personal profile
Keywords
- QA75 Electronic computers. Computer science
- QA76 Computer software
Fingerprint
Dive into the research topics where Dejan Nickovic is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
DeepSTL - From English Requirements to Signal Temporal Logic
He, J., Bartocci, E., Nickovic, D., Isakovic, H. & Grosu, R., 2022, 44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022. p. 610-622 13 p.Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with presentation › peer-review
Open Access -
FIM: fault injection and mutation for Simulink
Bartocci, E., Mariani, L., Nickovic, D. & Yadav, D., 2022, 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. p. 1716-1720 5 p.Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with presentation › peer-review
Open Access -
Flavors of Sequential Information Flow
Bartocci, E., Ferrère, T., Henzinger, T., Nickovic, D. & da Costa, A. O., 2022, Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceeding. Springer, p. 1-19 19 p.Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with presentation › peer-review
Open Access -
Formal methods and tools for industrial critical systems
Ter Beek, M., Larsen, K. G., Nickovic, D. & Willemse, T. A. C., 2022, In: International Journal on Software Tools for Technology Transfer. 24, 3, p. 325-330 6 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget - A Bandgap Case Study
Bloem, R., Larrauri, A., Lengfeldner, R., Mateis, C., Nickovic, D. & Ziegler, B., 2022, Proceedings - 2022 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2022. Institute of Electrical and Electronics Engineers Inc., p. 21-24 4 p. (Proceedings - 2022 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2022).Research output: Chapter in Book or Conference Proceedings › Book chapter › peer-review
-
Hierarchical Reward Shaping With Task Specifications
Luigi Barducci (Author, invited), Edgar Alexis Aguilar Lozano (Author, invited), Dejan Nickovic (Speaker, invited) & Radu Grosu (Author, invited)
11 Nov 2022Activity: Talk or presentation / Lecture › Talk or presentation
-
Hierarchical Reward Shaping With Task Specifications
Luigi Barducci (Author, invited), Edgar Alexis Aguilar Lozano (Author, invited), Dejan Nickovic (Speaker, invited) & Radu Grosu (Author, invited)
2 Oct 2022 → 6 Oct 2022Activity: Talk or presentation / Lecture › Talk or presentation
-
Runtime Verification - Master/PhD course
Dejan Nickovic (Speaker) & Ezio Bartocci (Speaker)
1 Mar 2022 → 30 Jun 2022Activity: Talk or presentation / Lecture › Lecture
-
Autonomous Driving Examiner
Dejan Nickovic (Speaker, invited)
13 Dec 2021Activity: Talk or presentation / Lecture › Talk or presentation
-
Mining Shape Expressions
Ezio Bartocci (Author), Jyotirmoy V. Deshmukh (Author), Felix Gigler (Author), Cristinel Mateis (Author), Dejan Nickovic (Speaker) & Xin Qin (Author)
18 May 2021Activity: Talk or presentation / Lecture › Talk or presentation