![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Dejan Nickovic
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j20]Tomoya Yamaguchi, Bardh Hoxha, Dejan Nickovic:
RTAMT - Runtime Robustness Monitors with Application to CPS and Robotics. Int. J. Softw. Tools Technol. Transf. 26(1): 79-99 (2024) - [c76]Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher:
Verifying Global Two-Safety Properties in Neural Networks with Confidence. CAV (2) 2024: 329-351 - [i26]Axel Brunnbauer, Luigi Berducci, Peter Priller, Dejan Nickovic, Radu Grosu:
Scenario-Based Curriculum Generation for Multi-Agent Autonomous Driving. CoRR abs/2403.17805 (2024) - [i25]Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher:
Verifying Global Two-Safety Properties in Neural Networks with Confidence. CoRR abs/2405.14400 (2024) - [i24]Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa:
Information-flow Interfaces and Security Lattices. CoRR abs/2406.14374 (2024) - [i23]Jyotirmoy Deshmukh, Bettina Könighofer, Dejan Nickovic, Filip Cano:
Safety Assurance for Autonomous Mobility (Dagstuhl Seminar 24071). Dagstuhl Reports 14(2): 95-119 (2024) - 2023
- [j19]Jyotirmoy Deshmukh, Dejan Nickovic
:
Introduction to the Special Issue on Runtime Verification. Int. J. Softw. Tools Technol. Transf. 25(4): 427-429 (2023) - [j18]Ezio Bartocci
, Cristinel Mateis
, Eleonora Nesterini
, Dejan Nickovic
:
Mining Hyperproperties using Temporal Logics. ACM Trans. Embed. Comput. Syst. 22(5s): 156:1-156:26 (2023) - [c75]Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy V. Deshmukh:
Model-Free Reinforcement Learning for Spatiotemporal Tasks Using Symbolic Automata. CDC 2023: 6834-6840 - [c74]Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic
, Ana Oliveira da Costa:
Hypernode Automata. CONCUR 2023: 21:1-21:16 - [c73]Stefan F. Marksteiner
, Christoph Schmittner
, Korbinian Christl
, Dejan Nickovic
, Mikael Sjödin
, Marjan Sirjani
:
From TARA to Test: Automated Automotive Cybersecurity Test Generation Out of Threat Modeling. CSCS 2023: 5:1-5:10 - [c72]Jie He, Dejan Nickovic
, Ezio Bartocci, Radu Grosu:
TD-Magic: From Pictures of Timing Diagrams To Formal Specifications. DAC 2023: 1-6 - [c71]Masoud Ebrahimi, Stefan Marksteiner
, Dejan Nickovic
, Roderick Bloem, David Schögler, Philipp Eisner, Samuel Sprung, Thomas Schober, Sebastian Chlup, Christoph Schmittner, Sandra König:
A Systematic Approach to Automotive Security. FM 2023: 598-609 - [c70]Adam Molin, Edgar A. Aguilar, Dejan Nickovic
, Mengjia Zhu
, Alberto Bemporad, Hasan Esen:
Specification-Guided Critical Scenario Identification for Automated Driving. FM 2023: 610-621 - [c69]Andrej Kiviriga
, Kim Guldstrand Larsen
, Dejan Nickovic
, Ulrik Nyman:
Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems. FORMATS 2023: 141-157 - [c68]Ezio Bartocci, Leonardo Mariani, Dejan Nickovic
, Drishti Yadav
:
Property-Based Mutation Testing. ICST 2023: 222-233 - [c67]Edgar A. Aguilar
, Ezio Bartocci
, Cristinel Mateis
, Eleonora Nesterini
, Dejan Nickovic
:
Mining Specification Parameters for Multi-class Classification. RV 2023: 86-105 - [c66]Thorsten Tarrach, Masoud Ebrahimi, Sandra König, Christoph Schmittner, Roderick Bloem, Dejan Nickovic
:
Attribute Repair for Threat Prevention. SAFECOMP 2023: 135-148 - [c65]Benedikt Maderbacher
, Stefan Schupp
, Ezio Bartocci
, Roderick Bloem
, Dejan Nickovic
, Bettina Könighofer
:
Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties. SPIN 2023: 141-160 - [c64]Saddek Bensalem, Panagiotis Katsaros, Dejan Nickovic
, Brian Hsuan-Cheng Liao, Ricardo Ruiz Nolasco, Mohamed Abd El Salam Ahmed, Tewodros A. Beyene, Filip Cano
, Antoine Delacourt, Hasan Esen, Alexandru Forrai, Weicheng He, Xiaowei Huang, Nikolaos Kekatos, Bettina Könighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu:
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems. AISoLA 2023: 256-278 - [i22]Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
:
Property-Based Mutation Testing. CoRR abs/2301.13615 (2023) - [i21]Masoud Ebrahimi, Stefan Marksteiner
, Dejan Nickovic, Roderick Bloem, David Schögler, Philipp Eisner, Samuel Sprung, Thomas Schober, Sebastian Chlup, Christoph Schmittner, Sandra König:
A Systematic Approach to Automotive Security. CoRR abs/2303.02894 (2023) - [i20]Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa:
Hypernode Automata. CoRR abs/2305.02836 (2023) - 2022
- [j17]Ezio Bartocci
, Cristinel Mateis
, Eleonora Nesterini, Dejan Nickovic
:
Survey on mining signal temporal logic specifications. Inf. Comput. 289(Part): 104957 (2022) - [j16]Maurice H. ter Beek, Kim G. Larsen
, Dejan Nickovic
, Tim A. C. Willemse:
Formal methods and tools for industrial critical systems. Int. J. Softw. Tools Technol. Transf. 24(3): 325-330 (2022) - [c63]Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic, Doron Peled:
Formal Specification for Learning-Enabled Autonomous Systems. NSV/FoMLAS@CAV 2022: 131-143 - [c62]Roderick Bloem, Alberto Larrauri, Roland Lengfeldner, Cristinel Mateis
, Dejan Nickovic
, Björn Ziegler:
Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget - a Bandgap Case Study. CODES+ISSS 2022: 21-24 - [c61]Ezio Bartocci
, Thomas Ferrère
, Thomas A. Henzinger
, Dejan Nickovic
, Ana Oliveira da Costa
:
Information-flow Interfaces. FASE 2022: 3-22 - [c60]Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy Deshmukh:
Poster Abstract: Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives. HSCC 2022: 26:1-26:2 - [c59]Jie He, Ezio Bartocci
, Dejan Nickovic, Haris Isakovic, Radu Grosu:
DeepSTL - From English Requirements to Signal Temporal Logic. ICSE 2022: 610-622 - [c58]Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
:
Search-based Testing for Accurate Fault Localization in CPS. ISSRE 2022: 145-156 - [c57]Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
:
FIM: fault injection and mutation for Simulink. ESEC/SIGSOFT FSE 2022: 1716-1720 - [c56]Ezio Bartocci
, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
:
Flavors of Sequential Information Flow. VMCAI 2022: 1-19 - [i19]Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy Deshmukh:
Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives. CoRR abs/2202.02404 (2022) - [i18]Thorsten Tarrach, Masoud Ebrahimi, Sandra König, Christoph Schmittner, Roderick Bloem, Dejan Nickovic:
Threat Repair with Optimization Modulo Theories. CoRR abs/2210.03207 (2022) - 2021
- [j15]Dejan Nickovic
, Xin Qin, Thomas Ferrère, Cristinel Mateis
, Jyotirmoy Deshmukh:
Specifying and detecting temporal patterns with shape expressions. Int. J. Softw. Tools Technol. Transf. 23(4): 565-577 (2021) - [j14]Ezio Bartocci
, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis
, Dejan Nickovic
:
CPSDebug: Automatic failure explanation in CPS models. Int. J. Softw. Tools Technol. Transf. 23(5): 783-796 (2021) - [c55]Ezio Bartocci
, Roderick Bloem
, Benedikt Maderbacher
, Niveditha Manjunath, Dejan Nickovic
:
Adaptive Testing for Specification Coverage in CPS Models. ADHS 2021: 229-234 - [c54]Eugene Asarin
, Thomas Ferrère, Dejan Nickovic
, Dogan Ulus
:
On the Complexity of Timed Pattern Matching. FORMATS 2021: 15-31 - [c53]Nicolas Basset, Thao Dang, Felix Gigler
, Cristinel Mateis
, Dejan Nickovic
:
Sampling of shape expressions with ShapEx. MEMOCODE 2021: 118-125 - [c52]Ezio Bartocci
, Jyotirmoy Deshmukh, Cristinel Mateis
, Eleonora Nesterini, Dejan Nickovic
, Xin Qin:
Mining Shape Expressions with ShapeIt. SEFM 2021: 110-117 - [i17]Nadja Marko, Eike Möhlmann, Dejan Nickovic, Jürgen Niehaus, Peter Priller, Martijn Rooker:
Challenges of engineering safe and secure highly automated vehicles. CoRR abs/2103.03544 (2021) - [i16]Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa:
Flavours of Sequential Information Flow. CoRR abs/2105.02013 (2021) - [i15]Nicolas Basset, Thao Dang, Felix Gigler, Cristinel Mateis, Dejan Nickovic:
Sampling of Shape Expressions. CoRR abs/2106.11041 (2021) - [i14]Jie He, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu:
From English to Signal Temporal Logic. CoRR abs/2109.10294 (2021) - [i13]Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin:
Mining Shape Expressions with ShapeIt. CoRR abs/2109.11999 (2021) - [i12]Edgar A. Aguilar, Luigi Berducci, Axel Brunnbauer, Radu Grosu, Dejan Nickovic:
From STL Rulebooks to Rewards. CoRR abs/2110.02792 (2021) - 2020
- [j13]Dejan Nickovic
, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus
:
AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic. Int. J. Softw. Tools Technol. Transf. 22(6): 741-758 (2020) - [j12]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) - [c51]Dejan Nickovic, Tomoya Yamaguchi:
RTAMT: Online Robustness Monitors from STL. ATVA 2020: 564-571 - [c50]Wolfgang Granig
, Stefan Jaksic
, Horst Lewitschnig
, Cristinel Mateis
, Dejan Nickovic
:
Weakness Monitors for Fail-Aware Systems. FORMATS 2020: 283-299 - [c49]Ezio Bartocci
, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis
, Dejan Nickovic, Fabrizio Pastore
:
CPSDebug: a tool for explanation of failures in cyber-physical systems. ISSTA 2020: 569-572 - [e3]Maurice H. ter Beek
, Dejan Nickovic
:
Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings. Lecture Notes in Computer Science 12327, Springer 2020, ISBN 978-3-030-58297-5 [contents] - [e2]Jyotirmoy Deshmukh
, Dejan Nickovic
:
Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings. Lecture Notes in Computer Science 12399, Springer 2020, ISBN 978-3-030-60507-0 [contents] - [i11]Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa:
Information-Flow Interfaces. CoRR abs/2002.06465 (2020) - [i10]Dejan Nickovic, Tomoya Yamaguchi:
RTAMT: Online Robustness Monitors from STL. CoRR abs/2005.11827 (2020) - [i9]Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic:
Adaptive Testing for Specification Coverage. CoRR abs/2010.06674 (2020)
2010 – 2019
- 2019
- [j11]César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci
, Domenico Bianculli
, Christian Colombo
, Yliès Falcone, Adrian Francalanza
, Srdan Krstic
, João M. Lourenço
, Dejan Nickovic
, Gordon J. Pace
, José Rufino, Julien Signoles
, Dmitriy Traytel
, Alexander Weiss
:
A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 54(3): 279-335 (2019) - [j10]César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci
, Domenico Bianculli
, Christian Colombo
, Yliès Falcone, Adrian Francalanza
, Srdan Krstic
, João M. Lourenço
, Dejan Nickovic, Gordon J. Pace
, José Rufino, Julien Signoles
, Dmitriy Traytel, Alexander Weiss:
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 55(1): 72 (2019) - [j9]Thomas Ferrère, Oded Maler, Dejan Nickovic
, Amir Pnueli:
From Real-time Logic to Timed Automata. J. ACM 66(3): 19:1-19:31 (2019) - [c48]Thomas Ferrère, Oded Maler, Dejan Nickovic:
Mixed-Time Signal Temporal Logic. FORMATS 2019: 59-75 - [c47]Thomas Ferrère, Dejan Nickovic, Alexandre Donzé, Hisahiro Ito, James Kapinski:
Interface-aware signal temporal logic. HSCC 2019: 57-66 - [c46]Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis
, Jyotirmoy V. Deshmukh:
Shape Expressions for Specifying and Extracting Signal Features. RV 2019: 292-309 - [c45]Ezio Bartocci
, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis
, Dejan Nickovic:
Automatic Failure Explanation in CPS Models. SEFM 2019: 69-86 - [i8]Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic:
Automatic Failure Explanation in CPS Models. CoRR abs/1903.12468 (2019) - [i7]Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic:
Compositional Specifications for ioco Testing. CoRR abs/1904.07083 (2019) - [i6]Jyotirmoy V. Deshmukh, Oded Maler, Dejan Nickovic
:
Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071). Dagstuhl Reports 9(2): 48-72 (2019) - 2018
- [j8]Stefan Jaksic
, Ezio Bartocci
, Radu Grosu, Thang Nguyen, Dejan Nickovic:
Quantitative monitoring of STL with edit distance. Formal Methods Syst. Des. 53(1): 83-112 (2018) - [j7]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. Found. Trends Electron. Des. Autom. 12(2-3): 124-400 (2018) - [j6]Stefan Jaksic
, Ezio Bartocci
, Radu Grosu
, Dejan Nickovic:
An Algebraic Framework for Runtime Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2233-2243 (2018) - [c44]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 - [c43]Ezio Bartocci
, Roderick Bloem, Dejan Nickovic, Franz Röck:
A Counting Semantics for Monitoring LTL Specifications over Finite Traces. CAV (1) 2018: 547-564 - [c42]Haris Isakovic, Denise Ratasich, Christian Hirsch, Michael Platzer
, Bernhard Wally, Thomas Rausch
, Dejan Nickovic, Willibald Krenn, Gerti Kappel, Schahram Dustdar
, Radu Grosu:
CPS/IoT Ecosystem: A Platform for Research and Education. CyPhy/WESE 2018: 206-213 - [c41]Alexey Bakhirkin, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic:
The first-order logic of signals: keynote. EMSOFT 2018: 1 - [c40]Alexey Bakhirkin, Thomas Ferrère, Dejan Nickovic, Oded Maler, Eugene Asarin
:
Online Timed Pattern Matching Using Automata. FORMATS 2018: 215-232 - [c39]Ezio Bartocci
, Thomas Ferrère, Niveditha Manjunath, Dejan Nickovic
:
Localizing Faults in Simulink/Stateflow Models with STL. HSCC 2018: 197-206 - [c38]Niveditha Manjunath, Dieter Haerle, Stephen Sabanal, Herbert Eichinger, Hermann Tauber, Andreas Machne, Christian Manthey, Mikko Vaananen, Radu Grosu, Dejan Nickovic:
Production Tests Coverage Analysis in the Simulation Environment. ITC 2018: 1-7 - [c37]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]Ezio Bartocci
, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios 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 - [i5]Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic:
An Algebraic Framework for Runtime Verification. CoRR abs/1802.03775 (2018) - [i4]Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck:
A Counting Semantics for Monitoring LTL Specifications over Finite Traces. CoRR abs/1804.03237 (2018) - [i3]César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss:
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). CoRR abs/1811.06740 (2018) - 2017
- [j5]Florian Lorber, Amnon Rosenmann
, Dejan Nickovic, Bernhard K. Aichernig
:
Bounded determinization of timed automata with silent transitions. Real Time Syst. 53(3): 291-326 (2017) - [j4]Bernhard K. Aichernig
, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran:
Require, test, and trace IT. Int. J. Softw. Tools Technol. Transf. 19(4): 409-426 (2017) - [c36]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 - [c35]Eugene Asarin
, Oded Maler, Dejan Nickovic, Dogan Ulus
:
Combining the Temporal and Epistemic Dimensions for MTL Monitoring. FORMATS 2017: 207-223 - [c34]Florian Wenig, Peter Klanatsky, Christian Heschl, Cristinel Mateis
, Dejan Nickovic:
Exponential pattern recognition for deriving air change rates from CO2 data. ISIE 2017: 1507-1512 - [p1]Alëna Rodionova, Ezio Bartocci
, Dejan Nickovic, Radu Grosu:
Temporal Logic as Filtering. Dependable Software Systems Engineering 2017: 164-185 - 2016
- [j3]Thang Nguyen, Dejan Nickovic
:
Assertion-based monitoring in practice - Checking correctness of an automotive sensor interface. Sci. Comput. Program. 118: 40-59 (2016) - [c33]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]Alëna Rodionova, Ezio Bartocci
, Dejan Nickovic, Radu Grosu:
Temporal Logic as Filtering. HSCC 2016: 11-20 - [c31]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]Stefan Jaksic, Ezio Bartocci
, Radu Grosu, Dejan Nickovic:
Quantitative Monitoring of STL with Edit Distance. RV 2016: 201-218 - 2015
- [c29]Thomas Ferrère, Oded Maler, Dejan Nickovic:
Trace Diagnostics Using Temporal Implicants. ATVA 2015: 241-258 - [c28]Thomas Ferrère, Oded Maler, Dejan Nickovic, Dogan Ulus
:
Measuring with Timed Patterns. CAV (2) 2015: 322-337 - [c27]Nikola Benes
, Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Dejan Nickovic:
Complete Composition Operators for IOCO-Testing Theory. CBSE 2015: 101-110 - [c26]Bernhard K. Aichernig
, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran:
Require, Test and Trace IT. FMICS 2015: 113-127 - [c25]Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig
:
Bounded Determinization of Timed Automata with Silent Transitions. FORMATS 2015: 288-304 - [c24]Schahram Dustdar
, Alessio Gambi
, Willibald Krenn, Dejan Nickovic:
A Pattern-Based Formalization of Cloud-Based Elastic Systems. PESOS@ICSE 2015: 31-37 - [c23]Stefan Jaksic, Ezio Bartocci
, Radu Grosu, Reinhard Kloibhofer, Thang Nguyen, Dejan Nickovic:
From signal temporal logic to FPGA monitors. MEMOCODE 2015: 218-227 - [c22]Dejan Nickovic:
Monitoring and Measuring Hybrid Behaviors A Tutorial. RV 2015: 378-402 - [c21]Yliès Falcone, Dejan Nickovic, Giles Reger
, Daniel Thoma:
Second International Competition on Runtime Verification CRV 2015. RV 2015: 405-422 - [c20]Bernhard K. Aichernig
, Dejan Nickovic, Stefan Tiran:
Scalable Incremental Test-case Generation from Large Behavior Models. TAP@STAF 2015: 1-18 - [i2]Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig:
Bounded Determinization of Timed Automata with Silent Transitions. CoRR abs/1508.03575 (2015) - [i1]Alëna Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu:
Temporal Logic as Filtering. CoRR abs/1510.08079 (2015) - 2014
- [c19]Thang Nguyen, Dejan Nickovic:
Assertion-Based Monitoring in Practice - Checking Correctness of an Automotive Sensor Interface. FMICS 2014: 16-32 - [c18]Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic:
Compositional Specifications for ioco Testing. ICST 2014: 373-382 - [c17]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]Oded Maler, Dejan Nickovic:
Monitoring properties of analog and mixed-signal circuits. Int. J. Softw. Tools Technol. Transf. 15(3): 247-268 (2013) - [c16]Willibald Krenn, Dejan Nickovic, Loredana Tec:
Incremental Language Inclusion Checking for Networks of Timed Automata. FORMATS 2013: 152-167 - [c15]Bernhard K. Aichernig
, Florian Lorber, Dejan Nickovic:
Time for Mutants - Model-Based Mutation Testing with Timed Automata. TAP@STAF 2013: 20-38 - 2012
- [c14]Alexandre Donzé, Oded Maler, Ezio Bartocci
, Dejan Nickovic, Radu Grosu, Scott A. Smolka:
On Temporal Logic and Signal Processing. ATVA 2012: 92-106 - [c13]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]Thomas A. Henzinger, Dejan Nickovic:
Independent Implementability of Viewpoints. Monterey Workshop 2012: 380-395 - [e1]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]Jasmin Fisher
, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman
, Anmol V. Singh, Moshe Y. Vardi:
Dynamic Reactive Modules. CONCUR 2011: 404-418 - [c10]Eugene Asarin
, Alexandre Donzé, Oded Maler, Dejan Nickovic:
Parametric Identification of Temporal Properties. RV 2011: 147-160 - 2010
- [j1]Kevin D. Jones
, Victor Konrad, Dejan Nickovic:
Analog property checkers: a DDR2 case study. Formal Methods Syst. Des. 36(2): 114-130 (2010) - [c9]Laurent Doyen, Thomas A. Henzinger, Axel Legay, Dejan Nickovic:
Robustness of Sequential Circuits. ACSD 2010: 77-84 - [c8]John Havlicek, Scott Little, Oded Maler, Dejan Nickovic:
Property-Based Monitoring of Analog and Mixed-Signal Systems. FORMATS 2010: 23-24 - [c7]Dejan Nickovic, Nir Piterman
:
From Mtl to Deterministic Timed Automata. FORMATS 2010: 152-167
2000 – 2009
- 2008
- [b1]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]Oded Maler, Dejan Nickovic, Amir Pnueli:
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. Pillars of Computer Science 2008: 475-505 - 2007
- [c5]Oded Maler, Dejan Nickovic, Amir Pnueli:
On Synthesizing Controllers from Bounded-Response Properties. CAV 2007: 95-107 - [c4]Dejan Nickovic, Oded Maler:
AMT: A Property-Based Monitoring Tool for Analog Systems. FORMATS 2007: 304-319 - 2006
- [c3]Oded Maler, Dejan Nickovic, Amir Pnueli:
From MITL to Timed Automata. FORMATS 2006: 274-289 - 2005
- [c2]Oded Maler, Dejan Nickovic, Amir Pnueli:
Real Time Temporal Logic: Past, Present, Future. FORMATS 2005: 2-16 - 2004
- [c1]Oded Maler, Dejan Nickovic:
Monitoring Temporal Properties of Continuous Signals. FORMATS/FTRTFT 2004: 152-166
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint