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
-
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 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Generation of Critical Interactive Scenarios for Trajectory Planning
Gambi, A., Arcaini, A. P. (Author and Speaker) & Ničković, D., 22 Jun 2025, 2025 IEEE Intelligent Vehicles Symposium (IV), Proceedings. p. 1950-1955 6 p. (IEEE Intelligent Vehicles Symposium, Proceedings).Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review
-
Hypernode automata
Bartocci, E., Chalupa, M., Henzinger, T. A., Nickovic, D. & Costa, A. O. D., 2025, In: Acta Informatica. 62, 1, 52 p., 43.Research output: Contribution to journal › Article › peer-review
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, p. 3-48 46 p.Research output: Contribution to journal › Article › peer-review
-
Mining Specifications for Predictive Safety Monitoring
Nesterini, E. (Author and Speaker), Bartocci, E., Gambi, A., Nickovic, D., Seshia, S. A. & Torfah, H., 6 May 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, p. 1-11 11 p. 6Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review
Activities
-
Formalizing Specifications with Foundational Models and Consistency Checkers
Nickovic, D. (Speaker)
28 Oct 2025Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop
-
Design, Automation and Test in Europe Conference (Event)
Nickovic, D. (International Programme Committee - Member)
1 Sept 2024 → 12 Nov 2024Activity: Editorial and Review Activities › Participation in Conference Committees
-
The 24th International Conference on Runtime Verification (RV) 2024 (Event)
Nickovic, D. (International Programme Committee - Member)
1 Jun 2024 → 1 Jul 2024Activity: Editorial and Review Activities › Participation in Conference Committees
-
QEST+FORMATS 2024 International Conference (Event)
Nickovic, D. (Reviewer)
1 May 2024 → 1 Jun 2024Activity: Editorial and Review Activities › Participation in Conference Committees
-
26th INTERNATIONAL SYMPOSIUM ON FORMAL METHODS (FM) 2024 - The Industrial Track (Event)
Nickovic, D. (International Programme Committee - Member)
1 Feb 2024 → 1 Apr 2024Activity: Editorial and Review Activities › Participation in Conference Committees