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
  • 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 März 2023, International Symposium on Formal Methods. Chechik, M., Katoen, J-P. & Leucker, M. (Hrsg.). Band 25. S. 598-609 11 S. (FM: International Symposium on Formal Methods).

    Publikation: Beitrag in Buch oder TagungsbandVortrag mit Beitrag in TagungsbandBegutachtung

  • 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. Band 14181. S. 135-148 14 S.

    Publikation: Beitrag in Buch oder TagungsbandVortrag mit Beitrag in TagungsbandBegutachtung

  • 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 Okt. 2023, Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings. Steffen, B. (Hrsg.). Band 14380. S. 256-278

    Publikation: Beitrag in Buch oder TagungsbandVortrag mit Beitrag in TagungsbandBegutachtung

    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 Dez. 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. (Hrsg.). S. 1-10 5

    Publikation: Beitrag in Buch oder TagungsbandVortrag mit Beitrag in TagungsbandBegutachtung

  • 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, Band 279. S. 1-16 16 S. (Leibniz International Proceedings in Informatics (LIPIcs); Band 279).

    Publikation: Beitrag in Buch oder TagungsbandVortrag mit Beitrag in TagungsbandBegutachtung

    Open Access