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
Research output
-
A Systematic Approach to Automotive Security
Masoud, E. (Speaker), Marksteiner, S., Nickovic, D., Bloem, R., Schögler, D., Eisner, P., Sprung, S., Schober, T., Chlup, S., Schmittner, C. & König, S., 3 Mar 2023, International Symposium on Formal Methods. Chechik, M., Katoen, J.-P. & Leucker, M. (eds.). Vol. 25. p. 598-609 11 p. (FM: International Symposium on Formal Methods).Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review
-
Attribute Repair for Threat Prevention
Tarrach, T., Masoud, E. (Author and Speaker), König, S., Schmittner, C., Bloem, R. & Nickovic, D. (Speaker), 20 Sept 2023, Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings. Vol. 14181. p. 135-148 14 p.Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review
-
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems
Bensalem, S. (Speaker), Katsaros, P., Nickovic, D., Hsuang-Cheng Liao, B., Ruiz Nolasco, R., Abd El Salam Ahmed, M., Beyene, T., Cano, F., Delacourt, A., Esen, H., Forrai, A., He, W., Huang, X., Kekatos, N., Könighofer, B., Paulitsch, M., Peled, D., Sorokin, L., Tong, S. & Wu, C., 23 Oct 2023, Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings. Steffen, B. (ed.). Vol. 14380. p. 256-278Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review
Open Access -
From TARA to Test: Automated Automotive Cybersecurity Test Generation Out of Threat Modeling
Marksteiner, S. (Speaker), Schmittner, C. (Author and Speaker), Christl, K., Nickovic, D., Sjödin, M. & Sirjani, M., 5 Dec 2023, Proceedings of the 7th ACM Computer Science in Cars Symposium, CSCS 2023, Darmstadt, Germany, 5 December 2023. Brücher, B., Krauß, C., Fritz, M., Hof, H. J. & Wasenmüller, O. (eds.). p. 1-10 5Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review
-
Hypernode Automata
Bartocci, E., Nickovic, D., Henzinger, T. & da Costa, A. O. (Speaker), 18 Sept 2023, 34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 279. p. 1-16 16 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 279).Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review
Open Access
Activities
-
191.118 Runtime Verification
Bartocci, E. (Speaker) & Nickovic, D. (Speaker)
Mar 2023 → Aug 2023Activity: Talk or presentation / Lecture › Lecture
-
Hierarchical Reward Shaping With Task Specifications
Barducci, L. (Author, invited), Aguilar Lozano, E. A. (Author, invited), Nickovic, D. (Speaker, invited) & Grosu, R. (Author, invited)
11 Nov 2022Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop
-
Hierarchical Reward Shaping With Task Specifications
Barducci, L. (Author, invited), Aguilar Lozano, E. A. (Author, invited), Nickovic, D. (Speaker, invited) & Grosu, R. (Author, invited)
2 Oct 2022 → 6 Oct 2022Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop
-
Formal Methods in System Design (Journal)
Nickovic, D. (Member of editorial board)
1 Jun 2022 → …Activity: Editorial and Review Activities › Editorial Activities for Journals
-
Runtime Verification - Master/PhD course
Nickovic, D. (Speaker) & Bartocci, E. (Speaker)
1 Mar 2022 → 30 Jun 2022Activity: Talk or presentation / Lecture › Lecture