Dejan Nickovic

Cited by

	All	Since 2019
Citations	5305	3452
h-index	32	26
i10-index	63	49

720

360

180

540

200620072008200920102011201220132014201520162017201820192020202120222023202416 25 45 61 44 52 73 141 149 213 264 297 399 502 469 553 556 707 662

Public access

View all

44 articles

4 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
Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderVerified email at colorado.edu
Dogan UlusBogazici UniversityVerified email at boun.edu.tr

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	1480	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	423	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	377	2018
Parametric identification of temporal properties E Asarin, A Donzé, O Maler, D Nickovic Runtime Verification: Second International Conference, RV 2011, San …, 2012	211	2012
From MITL to timed automata O Maler, D Nickovic, A Pnueli Formal Modeling and Analysis of Timed Systems, 274-289, 2006	189	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	139	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	125	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	117	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	116	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	110	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	92	2020
Contracts for systems design: Theory A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ... Inria Rennes Bretagne Atlantique; INRIA, 2015	74	2015
From Mtl to Deterministic Timed Automata D Ničković, N Piterman International Conference on Formal Modeling and Analysis of Timed Systems …, 2010	72	2010
Temporal logic as filtering A Rodionova, E Bartocci, D Nickovic, R Grosu Proceedings of the 19th International Conference on Hybrid Systems …, 2016	66	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	61	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