Research output per year
Research output per year
Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
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.
- 6 Similar Profiles
Research output
-
ADEX – Autonomous Driving Examiner
Nickovic, D. (Author and Speaker) & Schoitsch, E., Jun 2024, MESS24 Tagungsbrochüre: Microelectronic Systems Symposium. Vol. 112. p. 42 1 p.Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Poster Presentation
Open AccessFile5 Downloads (Pure) -
A-IQ Ready – Artificial Intelligence meets Quantum
Schoitsch, E. (Author and Speaker), Nickovic, D. & John, R., Jun 2024, MESS24 Tagungsbrochüre: Microelectronic Systems Symposium. Vol. 112. p. 41 1 p.Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Poster Presentation
Open AccessFile2 Downloads (Pure) -
Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy
Bonakdarpour, B., Momtaz, A., Nickovic, D. & Sarac, E. (Author and Speaker), 2024, Runtime Verification - 23rd International Conference, (RV) 2024. Ábrahám, E. & Abbas, H. (eds.). Vol. 15191. p. 282-301 ( Lecture Notes in Computer Science; vol. 15191).Research output: Chapter in Book or Conference Proceedings › Conference Proceedings without Presentation › peer-review
Open Access -
DeepRIoT: Continuous Integration and Deployment of Robotic-IoT Applications
Qu, M., He, J., Tucakovic, Z. (Author and Speaker), Bartocci, E., Nickovic, D., Isakovic, H. & Grosu, R., 2024, DAC '24: Proceedings of the 61st ACM/IEEE Design Automation Conference. p. 1-6 6 p. 300Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review
-
Elements of Timed Pattern Matching
Ulus, D., Ferrère, T., Asarin, E., Nickovic, D. & Maler, O., 2024, In: ACM Transactions on Embedded Computing Systems. 23, 4, p. 1-45 45 p., 59.Research output: Contribution to journal › Article › peer-review
Open Access
Activities
-
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
-
Analysis of CPS simulation models driven by formal specifications
Nickovic, D. (Speaker)
22 Jan 2024Activity: Talk or presentation / Lecture › Invited talk to industry or public institution