Publikationen pro Jahr
Publikationen pro Jahr
Persönliches Profil
Schlagwörter
- QA75 Electronic computers. Computer science
- QA76 Computer software
Fingerprint
Ergründen Sie die Forschungsthemen, in denen Dejan Nickovic aktiv ist. Diese Themenbezeichnungen stammen aus den Werken dieser Person. Zusammen bilden sie einen einzigartigen Fingerprint.
- 1 Ähnliche Profile
-
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. S. 610-622 13 S.Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung
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. S. 1716-1720 5 S.Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung
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, S. 1-19 19 S.Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung
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, S. 325-330 6 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
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., S. 21-24 4 S. (Proceedings - 2022 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2022).Publikation: Beitrag in Buch oder Tagungsband › Buchkapitel › Begutachtung
-
Hierarchical Reward Shaping With Task Specifications
Luigi Barducci (Autor, eingeladen), Edgar Alexis Aguilar Lozano (Autor, eingeladen), Dejan Nickovic (Vortragender, eingeladen) & Radu Grosu (Autor, eingeladen)
11 Nov. 2022Aktivität: Vortrag ohne Tagungsband / Vorlesung › Vortrag ohne Tagungsband
-
Hierarchical Reward Shaping With Task Specifications
Luigi Barducci (Autor, eingeladen), Edgar Alexis Aguilar Lozano (Autor, eingeladen), Dejan Nickovic (Vortragender, eingeladen) & Radu Grosu (Autor, eingeladen)
2 Okt. 2022 → 6 Okt. 2022Aktivität: Vortrag ohne Tagungsband / Vorlesung › Vortrag ohne Tagungsband
-
Runtime Verification - Master/PhD course
Dejan Nickovic (Vortragender) & Ezio Bartocci (Vortragender)
1 März 2022 → 30 Juni 2022Aktivität: Vortrag ohne Tagungsband / Vorlesung › Vorlesung
-
Autonomous Driving Examiner
Dejan Nickovic (Vortragender, eingeladen)
13 Dez. 2021Aktivität: Vortrag ohne Tagungsband / Vorlesung › Vortrag ohne Tagungsband
-
Mining Shape Expressions
Ezio Bartocci (Autor), Jyotirmoy V. Deshmukh (Autor), Felix Gigler (Autor), Cristinel Mateis (Autor), Dejan Nickovic (Vortragender) & Xin Qin (Autor)
18 Mai 2021Aktivität: Vortrag ohne Tagungsband / Vorlesung › Vortrag ohne Tagungsband