Skip to content

Scientist · Computer Science

Dejan Ničković

AIT Austrian Institute of Technology GmbH, Vienna, Austria

iD0000-0001-5468-0396

Citations, last 5 years: 267
Works, last 5 years: 63
h-index: 29
Citations, all time: 4 197
In Computer Science: #42,553

Research topics

Formal Methods in Verification141Computer Science
Software Testing and Debugging Techniques47Computer Science
Embedded Systems Design Techniques35Computer Science
Petri Nets in System Modeling30Computer Science
Safety Systems Engineering in Autonomy28Engineering

Recent works

Discussion

Ask Dejan about their research. When the scientist claims this card, they will see your question.

Start a discussion