Zur Hauptnavigation wechseln
Zur Suche wechseln
Zum Hauptinhalt wechseln
Austrian Institute of Technology Home
Hilfe und FAQ
Deutsch
English
Home
Profile
Forschungsgruppen
Publikationen
Forschungsdatensätze
Auszeichnungen
Aktivitäten
Nach Expertise, Namen oder Zugehörigkeit suchen
Dejan Nickovic
Priv.Doz.Dr
Senior Scientist
,
Security & Communication Technologies
https://orcid.org/0000-0001-5468-0396
Übersicht
Fingerprint
Netzwerk
Publikationen
(86)
Aktivitäten
(37)
Auszeichnungen
(2)
Ähnliche Profile
(6)
Betreute Arbeit
(3)
Publikationen
58
Vortrag mit Beitrag in Tagungsband
15
Artikel
4
Buchkapitel
2
Tagungsband
7
Mehr
2
Posterpräsentation ohne Eintrag in Tagungsband
1
Buch
1
Beitrag in Tagungsband ohne Präsentation
1
Beitrag in Tagungsband mit Posterpräsentation
1
Editorial
1
Habilitation
Publikationen pro Jahr
Publikationen pro Jahr
1 Ergebnisse
Erscheinungsjahr, Titel
(absteigend)
Erscheinungsjahr, Titel
(aufsteigend)
Titel
Typ
Filter
Editorial
Suchergebnisse
2023
Introduction to the Special Issue on Runtime Verification
Deshmukh, J. V. (Redakteur:in) &
Nickovic, D.
(Redakteur:in),
2023
,
in:
International Journal on Software Tools for Technology Transfer.
25
,
4
,
S. 427-429
Publikation
:
Beitrag in Fachzeitschrift
›
Editorial
Open Access
runtime verification
100%
Cyber Physical Systems
16%
Extended Version
16%
Exhaustive Verification
16%
Formal Reasoning
16%