Dejan Nickovic
Scholar

Dejan Nickovic

Google Scholar ID: 07GjJiAAAAAJ
Austrian Institute of Technology
runtime verificationcyber-physical systemscontract-based designformal methods
Google Scholar↗
Citations & Impact
All-time
Citations
3,594
 
H-index
27
 
i10-index
54
 
Publications
20
 
Co-authors
38
list available
Contact
No contact links provided.
Publications
1 items
LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
2026
Cited
0
Resume (English only)
Co-authors
38 total
Ezio Bartocci
Ezio Bartocci
Faculty of Informatics, TU Wien
Co-author 2
Co-author 2
Radu Grosu
Radu Grosu
Professor of Computer Science
Thomas Henzinger
Thomas Henzinger
IST Austria
Jyotirmoy V. Deshmukh
Jyotirmoy V. Deshmukh
Associate Professor, University of Southern California
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Cristinel Mateis
Cristinel Mateis
Unknown affiliation