ask others

Dejan Nickovic

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/JaksicBGNN18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/JaksicBGNN18
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Thang Nguyen, Dejan Nickovic:
Quantitative monitoring of STL with edit distance. Formal Methods in System Design 53(1): 83-112 (2018)
[j7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fteda/BenvenisteCNPRR18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fteda/BenvenisteCNPRR18
Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto L. Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, Kim G. Larsen:
Contracts for System Design. Foundations and Trends in Electronic Design Automation 12(2-3): 124-400 (2018)
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcad/JaksicBGN18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcad/JaksicBGN18
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic:
An Algebraic Framework for Runtime Verification. IEEE Trans. on CAD of Integrated Circuits and Systems 37(11): 2233-2243 (2018)
[c41]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amcc/FrehseKNOSWW18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amcc/FrehseKNOSWW18
Goran Frehse, Nikolaos Kekatos, Dejan Nickovic, Jens Oehlerking, Simone Schuler, Alexander Walsch, Matthias Woehrle:
A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates. ACC 2018: 2384-2391
[c40]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/BartocciBNR18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/BartocciBNR18
Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck:
A Counting Semantics for Monitoring LTL Specifications over Finite Traces. CAV (1) 2018: 547-564
[c39]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/emsoft/BakhirkinFHN18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/emsoft/BakhirkinFHN18
Alexey Bakhirkin, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic:
The first-order logic of signals: keynote. EMSOFT 2018: 1:1-1:10
[c38]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/BakhirkinFNMA18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/BakhirkinFNMA18
Alexey Bakhirkin, Thomas Ferrère, Dejan Nickovic, Oded Maler, Eugene Asarin:
Online Timed Pattern Matching Using Automata. FORMATS 2018: 215-232
[c37]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/hybrid/BartocciFMN18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/hybrid/BartocciFMN18
Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath, Dejan Nickovic:
Localizing Faults in Simulink/Stateflow Models with STL. HSCC 2018: 197-206
[c36]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/NickovicLMFU18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/NickovicLMFU18
Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus:
AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic. TACAS (2) 2018: 303-319
[p2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/lncs/BartocciDDFMNS18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/lncs/BartocciDDFMNS18
Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios E. Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan:
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications. Lectures on Runtime Verification 2018: 135-175
[i4]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1802-03775
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1802-03775
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic:
An Algebraic Framework for Runtime Verification. CoRR abs/1802.03775 (2018)
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1804-03237
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1804-03237
Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck:
A Counting Semantics for Monitoring LTL Specifications over Finite Traces. CoRR abs/1804.03237 (2018)
2017
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/rts/LorberRNA17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/rts/LorberRNA17
Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig:
Bounded determinization of timed automata with silent transitions. Real-Time Systems 53(3): 291-326 (2017)
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/AichernigHLNT17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/AichernigHLNT17
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran:
Require, test, and trace IT. STTT 19(4): 409-426 (2017)
[c35]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/SelyuninJNRHBNG17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/SelyuninJNRHBNG17
Konstantin Selyunin, Stefan Jaksic, Thang Nguyen, Christian Reidl, Udo Hafner, Ezio Bartocci, Dejan Nickovic, Radu Grosu:
Runtime Monitoring with Recovery of the SENT Communication Protocol. CAV (1) 2017: 336-355
[c34]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/AsarinMNU17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/AsarinMNU17
Eugene Asarin, Oded Maler, Dejan Nickovic, Dogan Ulus:
Combining the Temporal and Epistemic Dimensions for MTL Monitoring. FORMATS 2017: 207-223
[p1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/natosec/RodionovaBNG17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/natosec/RodionovaBNG17
Alena Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu:
Temporal Logic as Filtering. Dependable Software Systems Engineering 2017: 164-185
2016
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/NguyenN16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/NguyenN16
Thang Nguyen, Dejan Nickovic:
Assertion-based monitoring in practice - Checking correctness of an automotive sensor interface. Sci. Comput. Program. 118: 40-59 (2016)
[c33]
- view
  - electronic edition @ ieee.org
- export record
  dblp key:
  - conf/date/SelyuninNBNG16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/date/SelyuninNBNG16
Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu:
Monitoring of MTL specifications with IBM's spiking-neuron model. DATE 2016: 924-929
[c32]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/hybrid/RodionovaBNG16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/hybrid/RodionovaBNG16
Alena Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu:
Temporal Logic as Filtering. HSCC 2016: 11-20
[c31]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/isola/NguyenBNGJS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/isola/NguyenBNGJS16
Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Stefan Jaksic, Konstantin Selyunin:
The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems. ISoLA (2) 2016: 371-379
[c30]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rv/JaksicBGN16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rv/JaksicBGN16
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic:
Quantitative Monitoring of STL with Edit Distance. RV 2016: 201-218
2015
[c29]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/atva/FerrereMN15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/atva/FerrereMN15
Thomas Ferrère, Oded Maler, Dejan Nickovic:
Trace Diagnostics Using Temporal Implicants. ATVA 2015: 241-258
[c28]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/FerrereMNU15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/FerrereMNU15
Thomas Ferrère, Oded Maler, Dejan Nickovic, Dogan Ulus:
Measuring with Timed Patterns. CAV (2) 2015: 322-337
[c27]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cbse/BenesDHKN15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cbse/BenesDHKN15
Nikola Benes, Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Dejan Nickovic:
Complete Composition Operators for IOCO-Testing Theory. CBSE 2015: 101-110
[c26]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fmics/AichernigHLNT15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fmics/AichernigHLNT15
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran:
Require, Test and Trace IT. FMICS 2015: 113-127
[c25]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/LorberRNA15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/LorberRNA15
Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig:
Bounded Determinization of Timed Automata with Silent Transitions. FORMATS 2015: 288-304
[c24]
- view
- export record
  dblp key:
  - conf/icse/DustdarGKN15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/DustdarGKN15
Schahram Dustdar, Alessio Gambi, Willibald Krenn, Dejan Nickovic:
A Pattern-Based Formalization of Cloud-Based Elastic Systems. PESOS@ICSE 2015: 31-37
[c23]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/memocode/JaksicBGKNN15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/memocode/JaksicBGKNN15
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Reinhard Kloibhofer, Thang Nguyen, Dejan Nickovic:
From signal temporal logic to FPGA monitors. MEMOCODE 2015: 218-227
[c22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rv/Nickovic15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rv/Nickovic15
Dejan Nickovic:
Monitoring and Measuring Hybrid Behaviors A Tutorial. RV 2015: 378-402
[c21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rv/FalconeNRT15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rv/FalconeNRT15
Yliès Falcone, Dejan Nickovic, Giles Reger, Daniel Thoma:
Second International Competition on Runtime Verification CRV 2015. RV 2015: 405-422
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tap/AichernigNT15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tap/AichernigNT15
Bernhard K. Aichernig, Dejan Nickovic, Stefan Tiran:
Scalable Incremental Test-case Generation from Large Behavior Models. TAP 2015: 1-18
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/LorberRNA15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/LorberRNA15
Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig:
Bounded Determinization of Timed Automata with Silent Transitions. CoRR abs/1508.03575 (2015)
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/RodionovaBNG15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/RodionovaBNG15
Alena Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu:
Temporal Logic as Filtering. CoRR abs/1510.08079 (2015)
2014
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fmics/NguyenN14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fmics/NguyenN14
Thang Nguyen, Dejan Nickovic:
Assertion-Based Monitoring in Practice - Checking Correctness of an Automotive Sensor Interface. FMICS 2014: 16-32
[c18]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/icst/DacaHKN14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icst/DacaHKN14
Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic:
Compositional Specifications for ioco Testing. ICST 2014: 373-382
[c17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/qsic/AichernigHLNSST14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/qsic/AichernigHLNSST14
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Rupert Schlick, Didier Simoneau, Stefan Tiran:
Integration of Requirements Engineering and Test-Case Generation via OSLC. QSIC 2014: 117-126
2013
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/MalerN13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/MalerN13
Oded Maler, Dejan Nickovic:
Monitoring properties of analog and mixed-signal circuits. STTT 15(3): 247-268 (2013)
[c16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/KrennNT13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/KrennNT13
Willibald Krenn, Dejan Nickovic, Loredana Tec:
Incremental Language Inclusion Checking for Networks of Timed Automata. FORMATS 2013: 152-167
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tap/AichernigLN13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tap/AichernigLN13
Bernhard K. Aichernig, Florian Lorber, Dejan Nickovic:
Time for Mutants - Model-Based Mutation Testing with Timed Automata. TAP 2013: 20-38
2012
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/atva/DonzeMBNGS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/atva/DonzeMBNGS12
Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka:
On Temporal Logic and Signal Processing. ATVA 2012: 92-106
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/forte/DelahayeFHLN12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/DelahayeFHLN12
Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic:
Synchronous Interface Theories and Time Triggered Scheduling. FMOODS/FORTE 2012: 203-218
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/monterey/HenzingerN12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/monterey/HenzingerN12
Thomas A. Henzinger, Dejan Nickovic:
Independent Implementability of Viewpoints. Monterey Workshop 2012: 380-395
[e1]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/2012
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/2012
Marcin Jurdzinski, Dejan Nickovic:
Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Lecture Notes in Computer Science 7595, Springer 2012, ISBN 978-3-642-33364-4 [contents]
2011
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/FisherHNPSV11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/FisherHNPSV11
Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi:
Dynamic Reactive Modules. CONCUR 2011: 404-418
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rv/AsarinDMN11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rv/AsarinDMN11
Eugene Asarin, Alexandre Donzé, Oded Maler, Dejan Nickovic:
Parametric Identification of Temporal Properties. RV 2011: 147-160
2010
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/JonesKN10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/JonesKN10
Kevin D. Jones, Victor Konrad, Dejan Nickovic:
Analog property checkers: a DDR2 case study. Formal Methods in System Design 36(2): 114-130 (2010)
[c9]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/acsd/DoyenHLN10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/acsd/DoyenHLN10
Laurent Doyen, Thomas A. Henzinger, Axel Legay, Dejan Nickovic:
Robustness of Sequential Circuits. ACSD 2010: 77-84
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/HavlicekLMN10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/HavlicekLMN10
John Havlicek, Scott Little, Oded Maler, Dejan Nickovic:
Property-Based Monitoring of Analog and Mixed-Signal Systems. FORMATS 2010: 23-24
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/NickovicP10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/NickovicP10
Dejan Nickovic, Nir Piterman:
From Mtl to Deterministic Timed Automata. FORMATS 2010: 152-167

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[b1]
- view
  - electronic edition @ archives-ouvertes.fr
- export record
  dblp key:
  - phd/hal/Nickovic08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/phd/hal/Nickovic08
Dejan Nickovic:
Checking Timed and Hybrid Properties: Theory and Applications. (Vérification de propriétés temporisées et hybrides: théorie et applications). Joseph Fourier University, Grenoble, France 2008
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/MalerNP08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/MalerNP08
Oded Maler, Dejan Nickovic, Amir Pnueli:
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. Pillars of Computer Science 2008: 475-505
2007
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/MalerNP07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/MalerNP07
Oded Maler, Dejan Nickovic, Amir Pnueli:
On Synthesizing Controllers from Bounded-Response Properties. CAV 2007: 95-107
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/NickovicM07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/NickovicM07
Dejan Nickovic, Oded Maler:
AMT: A Property-Based Monitoring Tool for Analog Systems. FORMATS 2007: 304-319
2006
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/MalerNP06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/MalerNP06
Oded Maler, Dejan Nickovic, Amir Pnueli:
From MITL to Timed Automata. FORMATS 2006: 274-289
2005
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/MalerNP05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/MalerNP05
Oded Maler, Dejan Nickovic, Amir Pnueli:
Real Time Temporal Logic: Past, Present, Future. FORMATS 2005: 2-16
2004
[c1]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/formats/MalerN04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/MalerN04
Oded Maler, Dejan Nickovic:
Monitoring Temporal Properties of Continuous Signals. FORMATS/FTRTFT 2004: 152-166

Coauthor Index

see FAQ

maintained by

at