!!Research output per year
!!Research output per year
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
Publikationen
-
An adaptive, provable correct simplex architecture
Maderbacher, B., Schupp, S., Bartocci, E., Bloem, R., Nickovic, D. & Könighofer, B., 4 Feb. 2025, in: International Journal on Software Tools for Technology Transfer. Special Issue: SPIN 2022-2024, 19 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access -
Generation of Critical Interactive Scenarios for Trajectory Planning
Gambi, A., Arcaini, A. P. (Autor:in und Vortragende:r) & Ničković, D., 22 Juni 2025, 2025 IEEE Intelligent Vehicles Symposium (IV), Proceedings. S. 1950-1955 6 S. (IEEE Intelligent Vehicles Symposium, Proceedings).Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung
-
Hypernode automata
Bartocci, E., Chalupa, M., Henzinger, T. A., Nickovic, D. & Costa, A. O. D., 2025, in: Acta Informatica. 62, 1, 52 S., 43.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access -
Information-flow interfaces
Bartocci, E., Ferrère, T., Henzinger, T. A., Nickovic, D. & Costa, A. O. D., 2025, in: Formal Methods Syst. Des.. 66, 1, S. 3-48 46 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
-
Mining Specifications for Predictive Safety Monitoring
Nesterini, E. (Autor:in und Vortragende:r), Bartocci, E., Gambi, A., Nickovic, D., Seshia, S. A. & Torfah, H., 6 Mai 2025, ICCPS '25: Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2025. New York: Association for Computing Machinery, S. 1-11 11 S. 6Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung
Aktivitäten
-
Formalizing Specifications with Foundational Models and Consistency Checkers
Nickovic, D. (Vortragender)
28 Okt. 2025Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop
-
Design, Automation and Test in Europe Conference (Veranstaltung)
Nickovic, D. (International Programme Committee - Member)
1 Sept. 2024 → 12 Nov. 2024Aktivität: Begutachtungstätigkeit › Teilnahme an Konferenzkomitees
-
The 24th International Conference on Runtime Verification (RV) 2024 (Veranstaltung)
Nickovic, D. (International Programme Committee - Member)
1 Juni 2024 → 1 Juli 2024Aktivität: Begutachtungstätigkeit › Teilnahme an Konferenzkomitees
-
QEST+FORMATS 2024 International Conference (Veranstaltung)
Nickovic, D. (Gutachter:in)
1 Mai 2024 → 1 Juni 2024Aktivität: Begutachtungstätigkeit › Teilnahme an Konferenzkomitees
-
26th INTERNATIONAL SYMPOSIUM ON FORMAL METHODS (FM) 2024 - The Industrial Track (Veranstaltung)
Nickovic, D. (International Programme Committee - Member)
1 Feb. 2024 → 1 Apr. 2024Aktivität: Begutachtungstätigkeit › Teilnahme an Konferenzkomitees