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
-
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
-
ADEX – Autonomous Driving Examiner
Nickovic, D. (Autor:in und Vortragende:r) & Schoitsch, E., Juni 2024, MESS24 Tagungsbrochüre: Microelectronic Systems Symposium. Band 112. S. 42 1 S.Publikation: Beitrag in Buch oder Tagungsband › Beitrag in Tagungsband mit Posterpräsentation
Open AccessDatei6 Downloads (Pure) -
A-IQ Ready – Artificial Intelligence meets Quantum
Schoitsch, E. (Autor:in und Vortragende:r), Nickovic, D. & John, R., Juni 2024, MESS24 Tagungsbrochüre: Microelectronic Systems Symposium. Band 112. S. 41 1 S.Publikation: Beitrag in Buch oder Tagungsband › Beitrag in Tagungsband mit Posterpräsentation
Open AccessDatei4 Downloads (Pure) -
Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy
Bonakdarpour, B., Momtaz, A., Nickovic, D. & Sarac, E. (Autor:in und Vortragende:r), 2024, Runtime Verification - 23rd International Conference, (RV) 2024. Ábrahám, E. & Abbas, H. (Hrsg.). Band 15191. S. 282-301 ( Lecture Notes in Computer Science; Band 15191).Publikation: Beitrag in Buch oder Tagungsband › Beitrag in Tagungsband ohne Präsentation › Begutachtung
Open Access -
DeepRIoT: Continuous Integration and Deployment of Robotic-IoT Applications
Qu, M., He, J., Tucakovic, Z. (Autor:in und Vortragende:r), Bartocci, E., Nickovic, D., Isakovic, H. & Grosu, R., 2024, DAC '24: Proceedings of the 61st ACM/IEEE Design Automation Conference. S. 1-6 6 S. 300Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung
Aktivitäten
-
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
-
Analysis of CPS simulation models driven by formal specifications
Nickovic, D. (Vortragender)
22 Jan. 2024Aktivität: Vortrag ohne Tagungsband / Vorlesung › Eingeladener Vortrag bei Industrie oder öffentlicher Einrichtung