Dejan Nickovic

Cited by

	All	Since 2020
Citations	5431	3077
h-index	32	24
i10-index	65	47

740

370

185

555

2006200720082009201020112012201320142015201620172018201920202021202220232024202516 25 45 61 44 52 73 141 149 213 264 297 399 503 467 553 557 707 727 63

Public access

View all

46 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Ezio BartocciFaculty of Informatics, TU WienVerified email at tuwien.ac.at
Oded MalerCNRS-VERIMAG, University of GrenobleVerified email at imag.fr
Radu GrosuProfessor of Computer ScienceVerified email at tuwien.ac.at
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Thomas FerrèreImagination TechnologiesVerified email at imgtec.com
Jyotirmoy V. DeshmukhAssociate Professor, University of Southern CaliforniaVerified email at usc.edu
Alexandre DonzeDecyphirVerified email at decyphir.com
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Cristinel MateisVerified email at logic.at
Stefan JakšićScientist, Austrian Institute of TechnologyVerified email at ait.ac.at
Roberto PasseroneProfessor of Electrical Engineering and Computer Sciences, University of TrentoVerified email at unitn.it
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Bernhard AichernigGraz Univ. of Technology (TU Graz)Verified email at ist.tugraz.at
Jean-Baptiste RacletInstitut de Recherche en Informatique de Toulouse (IRIT)Verified email at irit.fr
Benoît CaillaudINRIA / IRISA / U. RennesVerified email at inria.fr
Niveditha ManjunathSenior System Test Engineer, DB Netz AGVerified email at deutschebahn.com
Eugene Asarinprofesseur d'informatique, IRIF, Université de ParisVerified email at irif.fr
Georgios FainekosToyota Research Institute of North AmericaVerified email at toyota.com
Leonardo MarianiUniversity of Milano - BicoccaVerified email at unimib.it
Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderVerified email at colorado.edu

Dejan Nickovic

Austrian Institute of Technology

Verified email at ait.ac.at

runtime verification cyber-physical systems contract-based design specification languages model-based testing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Monitoring temporal properties of continuous signals O Maler, D Nickovic Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant …, 2004	1520	2004
Contracts for system design A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ... Foundations and Trends® in Electronic Design Automation 12 (2-3), 124-400, 2018	429	2018
Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications E Bartocci, J Deshmukh, A Donzé, G Fainekos, O Maler, D Ničković, ... Lectures on Runtime Verification: Introductory and Advanced Topics, 135-175, 2018	389	2018
Parametric identification of temporal properties E Asarin, A Donzé, O Maler, D Nickovic Runtime Verification: Second International Conference, RV 2011, San …, 2012	213	2012
From MITL to timed automata O Maler, D Nickovic, A Pnueli Formal Modeling and Analysis of Timed Systems, 274-289, 2006	191	2006
Checking temporal properties of discrete, timed and continuous behaviors O Maler, D Nickovic, A Pnueli Pillars of computer science, 475-505, 2008	143	2008
AMT: A property-based monitoring tool for analog systems D Nickovic, O Maler Formal Modeling and Analysis of Timed Systems, 304-319, 2007	141	2007
Monitoring properties of analog and mixed-signal circuits O Maler, D Ničković International Journal on Software Tools for Technology Transfer 15, 247-268, 2013	129	2013
A survey of challenges for runtime verification from advanced application domains (beyond software) C Sánchez, G Schneider, W Ahrendt, E Bartocci, D Bianculli, C Colombo, ... Formal Methods in System Design 54, 279-335, 2019	121	2019
On temporal logic and signal processing A Donzé, O Maler, E Bartocci, D Nickovic, R Grosu, S Smolka Automated Technology for Verification and Analysis: 10th International …, 2012	118	2012
Time for mutants—model-based mutation testing with timed automata BK Aichernig, F Lorber, D Ničković Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary …, 2013	113	2013
Quantitative monitoring of STL with edit distance S Jakšić, E Bartocci, R Grosu, T Nguyen, D Ničković Formal methods in system design 53, 83-112, 2018	107	2018
Real time temporal logic: Past, present, future O Maler, D Nickovic, A Pnueli Formal Modeling and Analysis of Timed Systems, 2-16, 2005	106	2005
RTAMT: Online robustness monitors from STL D Ničković, T Yamaguchi International Symposium on Automated Technology for Verification and …, 2020	98	2020
Contracts for systems design: Theory A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ... Inria Rennes Bretagne Atlantique; INRIA, 2015	75	2015
From Mtl to Deterministic Timed Automata D Ničković, N Piterman International Conference on Formal Modeling and Analysis of Timed Systems …, 2010	73	2010
Temporal logic as filtering A Rodionova, E Bartocci, D Nickovic, R Grosu Proceedings of the 19th International Conference on Hybrid Systems …, 2016	67	2016
From signal temporal logic to FPGA monitors S Jakšić, E Bartocci, R Grosu, R Kloibhofer, T Nguyen, D Ničkovié 2015 ACM/IEEE International Conference on Formal Methods and Models for …, 2015	64	2015
On synthesizing controllers from bounded-response properties O Maler, D Nickovic, A Pnueli Proceedings of the 19th international conference on Computer aided …, 2007	64	2007
AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic D Ničković, O Lebeltel, O Maler, T Ferrère, D Ulus International Journal on Software Tools for Technology Transfer 22, 741-758, 2020	63	2020

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors