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
  • A Systematic Approach to Automotive Security

    Masoud, E., 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 ProceedingsConference Proceedings with Oral Presentationpeer-review

  • Attribute Repair for Threat Prevention

    Tarrach, T., Masoud, E., König, S., Schmittner, C., Bloem, R. & Nickovic, D., 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 ProceedingsConference Proceedings with Oral Presentationpeer-review

  • Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems

    Bensalem, S., 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-278

    Research output: Chapter in Book or Conference ProceedingsConference Proceedings with Oral Presentationpeer-review

    Open Access
  • From TARA to Test: Automated Automotive Cybersecurity Test Generation Out of Threat Modeling

    Marksteiner, S., Schmittner, C., 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 5

    Research output: Chapter in Book or Conference ProceedingsConference Proceedings with Oral Presentationpeer-review

  • Hypernode Automata

    Bartocci, E., Nickovic, D., Henzinger, T. & da Costa, A. O., 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 ProceedingsConference Proceedings with Oral Presentationpeer-review

    Open Access