Publications

All publications

DBLP, Google Scholar

Selected Publications By Topic

Signal Temporal Logic (STL): design-time monitoring, testing and applications

• Thomas Ferrère, Dejan Nickovic, Alexandre Donzé, Hisahiro Ito, James Kapinski: Interface-aware signal temporal logic. HSCC 2019, (accepted)

• 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

• 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

• Thang Nguyen, Dejan Nickovic: Assertion-based monitoring in practice - Checking correctness of an automotive sensor interface. Sci. Comput. Program. 118: 40-59 (2016)

• Oded Maler, Dejan Nickovic: Monitoring properties of analog and mixed-signal circuits. STTT 15(3): 247-268 (2013)

• Oded Maler, Dejan Nickovic, Amir Pnueli: Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. Pillars of Computer Science 2008: 475-505

• Oded Maler, Dejan Nickovic: Monitoring Temporal Properties of Continuous Signals. FORMATS/FTRTFT 2004: 152-166

Real-time monitoring and applications

• Dejan Nickovic, Tomoya Yamaguchi: RTAMT: Online Robustness Monitors from STL. ATVA 2020: 564-571

• 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)

• 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)

• 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

• Stefan Jaksic, Ezio Bartocci, Radu Grosu, Reinhard Kloibhofer, Thang Nguyen, Dejan Nickovic: From signal temporal logic to FPGA monitors. MEMOCODE 2015: 218-227

Specification mining, parameter synthesis

• Ezio Bartocci, Jyotirmoy Deshmukh, Felix Gigler, Cristinel Mateis, Dejan Nickovic, Xin Qin: Mining Shape Expressions From Positive Examples. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3809-3820 (2020)

• Eugene Asarin, Alexandre Donzé, Oded Maler, Dejan Nickovic: Parametric Identification of Temporal Properties. RV 2011: 147-160

Fault localization and explanation

• Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic: Automatic Failure Explanation in CPS Models. SEFM 2019: 69-86

• Thomas Ferrère, Dejan Nickovic, Alexandre Donzé, Hisahiro Ito, James Kapinski: Interface-aware signal temporal logic. HSCC 2019

• Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath, Dejan Nickovic: Localizing Faults in Simulink/Stateflow Models with STL. HSCC 2018: 197-206

• Thomas Ferrère, Oded Maler, Dejan Nickovic: Trace Diagnostics Using Temporal Implicants. ATVA 2015: 241-258

Pattern matching and property measuring

• 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

• Alexey Bakhirkin, Thomas Ferrère, Dejan Nickovic, Oded Maler, Eugene Asarin: Online Timed Pattern Matching Using Automata. FORMATS 2018: 215-232

• Thomas Ferrère, Oded Maler, Dejan Nickovic, Dogan Ulus: Measuring with Timed Patterns. CAV (2) 2015: 322-337

Temporal logic and signal processing

• Alena Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu: Temporal Logic as Filtering. HSCC 2016: 11-20

• Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka: On Temporal Logic and Signal Processing. ATVA 2012: 92-106

Contract-based design, compositional testing

• 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)

• Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran: Require, test, and trace IT. STTT 19(4): 409-426 (2017)

• Nikola Benes, Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Dejan Nickovic: Complete Composition Operators for IOCO-Testing Theory. CBSE 2015: 101-110

• Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic: Compositional Specifications for ioco Testing. ICST 2014: 373-382

• Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi: Dynamic Reactive Modules. CONCUR 2011: 404-418

From Real-time Temporal Logic to Automata

• Thomas Ferrère, Oded Maler, Dejan Nickovic, Amir Pnueli: From real-time logic to timed automata. Journal of ACM, 2019 (accepted)

• Dejan Nickovic, Nir Piterman: From Mtl to Deterministic Timed Automata. FORMATS 2010: 152-167

• Oded Maler, Dejan Nickovic, Amir Pnueli: On Synthesizing Controllers from Bounded-Response Properties. CAV 2007: 95-107

• Oded Maler, Dejan Nickovic, Amir Pnueli: From MITL to Timed Automata. FORMATS 2006: 274-289

• Oded Maler, Dejan Nickovic, Amir Pnueli: Real Time Temporal Logic: Past, Present, Future. FORMATS 2005: 2-16

Other topics

• Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck: A Counting Semantics for Monitoring LTL Specifications over Finite Traces. CAV (1) 2018: 547-564

• Bernhard K. Aichernig, Florian Lorber, Dejan Nickovic: Time for Mutants - Model-Based Mutation Testing with Timed Automata. TAP 2013: 20-38

• Laurent Doyen, Thomas A. Henzinger, Axel Legay, Dejan Nickovic: Robustness of Sequential Circuits. ACSD 2010: 77-84