Scholar
Dejan Nickovic
Google Scholar ID: 07GjJiAAAAAJ
Austrian Institute of Technology
runtime verification
cyber-physical systems
contract-based design
formal methods
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
3,594
H-index
27
i10-index
54
Publications
20
Co-authors
38
list available
Publications
2 items
Differential Zonotopes for Verifying Global Robustness of DNNs
2026
Cited
0
LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
2026
Cited
0
Co-authors
13 total
Ezio Bartocci
Faculty of Informatics, TU Wien
Radu Grosu
Professor of Computer Science
Thomas Henzinger
IST Austria
Jyotirmoy V. Deshmukh
Associate Professor, University of Southern California
Cristinel Mateis
Unknown affiliation
Kim G. Larsen
Director, Professor Aalborg University
Roberto Passerone
Professor of Electrical Engineering and Computer Sciences, University of Trento
Alberto Sangiovanni Vincentelli
Professor of EECS, University of California, Berkeley
