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
Publikationen
-
LTLGUARD: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
Andresel, M., Mateis, C. (Autor:in und Vortragende:r), Nickovic, D., Kounoupidis , S., Katsaros, P. & Tripakis , S., 2026, (Angenommen/Im Druck) 3rd International Conference on Neuro-Symbolic Systems (NeuS), University of Southern California, June 16-18, 2026.. 15 S.Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung
-
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
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