Dejan Nickovic

148 papers A* 5A 7B 20C 7Misc 2Journal 56Unranked 47
YearRankTypeTitle / Venue / Authors
2026 J jnl
Declarative Scenario-based Testing with RoadLogic.
CoRR
Ezio Bartocci, Alessio Gambi, Felix Gigler, Cristinel Mateis, Dejan Nickovic
2026 — conf
Information-Flow Interfaces and Security Lattices.
Engineering Safe and Trustworthy Cyber Physical Systems
Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2026 J jnl
LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning.
CoRR
Medina Andresel, Cristinel Mateis, Dejan Nickovic, Spyridon Kounoupidis, Panagiotis Katsaros, Stavros Tripakis
2025 — conf
Automatically Generating Content for Testing Autonomous Vehicles from User Descriptions.
NIER@ICSE
Benedikt Steininger, Chrysanthi Papamichail, David Stark, Dejan Nickovic, Alessio Gambi
2025 J jnl
Hypernode automata.
Acta Informatica
Ezio Bartocci, Marek Chalupa, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2025 J jnl
Information-flow interfaces.
Formal Methods Syst. Des.
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2025 — conf
Mining Specifications for Predictive Safety Monitoring.
ICCPS
Eleonora Nesterini, Ezio Bartocci, Alessio Gambi, Dejan Nickovic, Sanjit A. Seshia, Hazem Torfah
2025 J jnl
RTAMT - Runtime Robustness Monitors with Application to CPS and Robotics.
CoRR
Tomoya Yamaguchi, Bardh Hoxha, Dejan Nickovic
2025 A* conf
Scenario-Based Curriculum Generation for Multi-Agent Driving.
ICRA
Axel Brunnbauer, Luigi Berducci, Peter Priller, Dejan Nickovic, Radu Grosu
2025 J jnl
Signal Feature Coverage and Testing for CPS Dataflow Models.
ACM Trans. Softw. Eng. Methodol.
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
2025 — conf
Signal Sampling and Optimisation Under Symbolic Timed Automata Constraints.
QEST+FORMATS
Benoît Barbot, Nicolas Basset, Thao Dang, Alexandre Donzé, Marco Esposito, Dejan Nickovic
2025 J jnl
TD-Interpreter: Enhancing the Understanding of Timing Diagrams with Visual-Language Learning.
CoRR
Jie He, Vincent Theo Willem Kenbeek, Zhantao Yang, Meixun Qu, Ezio Bartocci, Dejan Nickovic, Radu Grosu
2025 A conf
Taming Uncertainty in Critical Scenario Generation for Testing Automated Driving Systems.
ICST
Selma Grosse, Adam Molin, Dejan Nickovic, Alessio Gambi, Cristinel Mateis
2024 B conf
Approximate Distributed Monitoring Under Partial Synchrony: Balancing Speed & Accuracy.
RV
Borzoo Bonakdarpour, Anik Momtaz, Dejan Nickovic, N. Ege Saraç
2024 J jnl
Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy.
CoRR
Borzoo Bonakdarpour, Anik Momtaz, Dejan Nickovic, N. Ege Saraç
2024 A* conf
DeepRIoT: Continuous Integration and Deployment of Robotic-IoT Applications.
DAC
Meixun Qu, Jie He, Zlatan Tucakovic, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu
2024 C conf
Differential Property Monitoring for Backdoor Detection.
ICFEM
Otto Brechelmacher, Dejan Nickovic, Tobias Nießen, Sarah Sallinger, Georg Weissenbacher
2024 J jnl
Elements of Timed Pattern Matching.
ACM Trans. Embed. Comput. Syst.
Dogan Ulus, Thomas Ferrère, Eugene Asarin, Dejan Nickovic, Oded Maler
2024 J jnl
HPRS: hierarchical potential-based reward shaping from task specifications.
Frontiers Robotics AI
Luigi Berducci, Edgar A. Aguilar, Dejan Nickovic, Radu Grosu
2024 J jnl
Information-flow Interfaces and Security Lattices.
CoRR
Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2024 — conf
On Threat Model Repair.
ISoLA (4)
Roderick Bloem, Sebastian Chlup, Dejan Nickovic, Christoph Schmittner
2024 J jnl
RTAMT - Runtime Robustness Monitors with Application to CPS and Robotics.
Int. J. Softw. Tools Technol. Transf.
Tomoya Yamaguchi, Bardh Hoxha, Dejan Nickovic
2024 J jnl
Safety Assurance for Autonomous Mobility (Dagstuhl Seminar 24071).
Dagstuhl Reports
Jyotirmoy Deshmukh, Bettina Könighofer, Dejan Nickovic, Filip Cano
2024 J jnl
Scenario-Based Curriculum Generation for Multi-Agent Autonomous Driving.
CoRR
Axel Brunnbauer, Luigi Berducci, Peter Priller, Dejan Nickovic, Radu Grosu
2024 — conf
Verifying Global Two-Safety Properties in Neural Networks with Confidence.
CAV (2)
Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher
2024 J jnl
Verifying Global Two-Safety Properties in Neural Networks with Confidence.
CoRR
Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher
2023 B conf
A Systematic Approach to Automotive Security.
FM
Masoud Ebrahimi, Stefan Marksteiner, Dejan Nickovic, Roderick Bloem, David Schögler, Philipp Eisner, Samuel Sprung, Thomas Schober, Sebastian Chlup, Christoph Schmittner, Sandra König
2023 J jnl
A Systematic Approach to Automotive Security.
CoRR
Masoud Ebrahimi, Stefan Marksteiner, Dejan Nickovic, Roderick Bloem, David Schögler, Philipp Eisner, Samuel Sprung, Thomas Schober, Sebastian Chlup, Christoph Schmittner, Sandra König
2023 B conf
Attribute Repair for Threat Prevention.
SAFECOMP
Thorsten Tarrach, Masoud Ebrahimi, Sandra König, Christoph Schmittner, Roderick Bloem, Dejan Nickovic
2023 — conf
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems.
AISoLA
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
2023 — conf
From TARA to Test: Automated Automotive Cybersecurity Test Generation Out of Threat Modeling.
CSCS
Stefan F. Marksteiner, Christoph Schmittner, Korbinian Christl, Dejan Nickovic, Mikael Sjödin, Marjan Sirjani
2023 B conf
Hypernode Automata.
CONCUR
Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2023 J jnl
Hypernode Automata.
CoRR
Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2023 J jnl
Introduction to the Special Issue on Runtime Verification.
Int. J. Softw. Tools Technol. Transf.
Jyotirmoy Deshmukh, Dejan Nickovic
2023 J jnl
Mining Hyperproperties using Temporal Logics.
ACM Trans. Embed. Comput. Syst.
Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
2023 B conf
Mining Specification Parameters for Multi-class Classification.
RV
Edgar A. Aguilar, Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
2023 — conf
Model-Free Reinforcement Learning for Spatiotemporal Tasks Using Symbolic Automata.
CDC
Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy V. Deshmukh
2023 A conf
Property-Based Mutation Testing.
ICST
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
2023 J jnl
Property-Based Mutation Testing.
CoRR
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
2023 — conf
Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties.
SPIN
Benedikt Maderbacher, Stefan Schupp, Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Bettina Könighofer
2023 B conf
Specification-Guided Critical Scenario Identification for Automated Driving.
FM
Adam Molin, Edgar A. Aguilar, Dejan Nickovic, Mengjia Zhu, Alberto Bemporad, Hasan Esen
2023 A* conf
TD-Magic: From Pictures of Timing Diagrams To Formal Specifications.
DAC
Jie He, Dejan Nickovic, Ezio Bartocci, Radu Grosu
2023 — conf
Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems.
FORMATS
Andrej Kiviriga, Kim Guldstrand Larsen, Dejan Nickovic, Ulrik Nyman
2022 A* conf
DeepSTL - From English Requirements to Signal Temporal Logic.
ICSE
Jie He, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu
2022 — conf
FIM: fault injection and mutation for Simulink.
ESEC/SIGSOFT FSE
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
2022 B conf
Flavors of Sequential Information Flow.
VMCAI
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2022 — conf
Formal Specification for Learning-Enabled Autonomous Systems.
NSV/FoMLAS@CAV
Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic, Doron Peled
2022 J jnl
Formal methods and tools for industrial critical systems.
Int. J. Softw. Tools Technol. Transf.
Maurice H. ter Beek, Kim G. Larsen, Dejan Nickovic, Tim A. C. Willemse
2022 Misc conf
Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget - a Bandgap Case Study.
CODES+ISSS
Roderick Bloem, Alberto Larrauri, Roland Lengfeldner, Cristinel Mateis, Dejan Nickovic, Björn Ziegler
2022 B conf
Information-flow Interfaces.
FASE
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2022 J jnl
Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives.
CoRR
Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy Deshmukh
2022 — conf
Poster Abstract: Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives.
HSCC
Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy Deshmukh
2022 A conf
Search-based Testing for Accurate Fault Localization in CPS.
ISSRE
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
2022 J jnl
Survey on mining signal temporal logic specifications.
Inf. Comput.
Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
2022 J jnl
Threat Repair with Optimization Modulo Theories.
CoRR
Thorsten Tarrach, Masoud Ebrahimi, Sandra König, Christoph Schmittner, Roderick Bloem, Dejan Nickovic
2021 — conf
Adaptive Testing for Specification Coverage in CPS Models.
ADHS
Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic
2021 J jnl
CPSDebug: Automatic failure explanation in CPS models.
Int. J. Softw. Tools Technol. Transf.
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic
2021 J jnl
Challenges of engineering safe and secure highly automated vehicles.
CoRR
Nadja Marko, Eike Möhlmann, Dejan Nickovic, Jürgen Niehaus, Peter Priller, Martijn Rooker
2021 J jnl
Flavours of Sequential Information Flow.
CoRR
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2021 J jnl
From English to Signal Temporal Logic.
CoRR
Jie He, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu
2021 J jnl
From STL Rulebooks to Rewards.
CoRR
Edgar A. Aguilar, Luigi Berducci, Axel Brunnbauer, Radu Grosu, Dejan Nickovic
2021 B conf
Mining Shape Expressions with ShapeIt.
SEFM
Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin
2021 J jnl
Mining Shape Expressions with ShapeIt.
CoRR
Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin
2021 — conf
On the Complexity of Timed Pattern Matching.
FORMATS
Eugene Asarin, Thomas Ferrère, Dejan Nickovic, Dogan Ulus
2021 J jnl
Sampling of Shape Expressions.
CoRR
Nicolas Basset, Thao Dang, Felix Gigler, Cristinel Mateis, Dejan Nickovic
2021 C conf
Sampling of shape expressions with ShapEx.
MEMOCODE
Nicolas Basset, Thao Dang, Felix Gigler, Cristinel Mateis, Dejan Nickovic
2021 J jnl
Specifying and detecting temporal patterns with shape expressions.
Int. J. Softw. Tools Technol. Transf.
Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy Deshmukh
2020 J jnl
AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic.
Int. J. Softw. Tools Technol. Transf.
Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus
2020 J jnl
Adaptive Testing for Specification Coverage.
CoRR
Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic
2020 A conf
CPSDebug: a tool for explanation of failures in cyber-physical systems.
ISSTA
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic, Fabrizio Pastore
2020 C ed.
Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings
FMICS
Maurice H. ter Beek, Dejan Nickovic
2020 J jnl
Information-Flow Interfaces.
CoRR
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2020 J jnl
Mining Shape Expressions From Positive Examples.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Ezio Bartocci, Jyotirmoy Deshmukh, Felix Gigler, Cristinel Mateis, Dejan Nickovic, Xin Qin
2020 B conf
RTAMT: Online Robustness Monitors from STL.
ATVA
Dejan Nickovic, Tomoya Yamaguchi
2020 J jnl
RTAMT: Online Robustness Monitors from STL.
CoRR
Dejan Nickovic, Tomoya Yamaguchi
2020 B ed.
Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings
RV
Jyotirmoy Deshmukh, Dejan Nickovic
2020 — conf
Weakness Monitors for Fail-Aware Systems.
FORMATS
Wolfgang Granig, Stefan Jaksic, Horst Lewitschnig, Cristinel Mateis, Dejan Nickovic
2019 J jnl
A survey of challenges for runtime verification from advanced application domains (beyond software).
Formal Methods Syst. Des.
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
2019 B conf
Automatic Failure Explanation in CPS Models.
SEFM
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic
2019 J jnl
Automatic Failure Explanation in CPS Models.
CoRR
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic
2019 J jnl
Compositional Specifications for ioco Testing.
CoRR
Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic
2019 J jnl
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software).
Formal Methods Syst. Des.
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
2019 J jnl
From Real-time Logic to Timed Automata.
J. ACM
Thomas Ferrère, Oded Maler, Dejan Nickovic, Amir Pnueli
2019 — conf
Interface-aware signal temporal logic.
HSCC
Thomas Ferrère, Dejan Nickovic, Alexandre Donzé, Hisahiro Ito, James Kapinski
2019 — conf
Mixed-Time Signal Temporal Logic.
FORMATS
Thomas Ferrère, Oded Maler, Dejan Nickovic
2019 B conf
Shape Expressions for Specifying and Extracting Signal Features.
RV
Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy V. Deshmukh
2019 J jnl
Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071).
Dagstuhl Reports
Jyotirmoy V. Deshmukh, Oded Maler, Dejan Nickovic
2018 — conf
A Counting Semantics for Monitoring LTL Specifications over Finite Traces.
CAV (1)
Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck
2018 J jnl
A Counting Semantics for Monitoring LTL Specifications over Finite Traces.
CoRR
Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck
2018 J jnl
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software).
CoRR
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
2018 C conf
A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates.
ACC
Goran Frehse, Nikolaos Kekatos, Dejan Nickovic, Jens Oehlerking, Simone Schuler, Alexander Walsch, Matthias Woehrle
2018 — conf
AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic.
TACAS (2)
Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus
2018 J jnl
An Algebraic Framework for Runtime Verification.
CoRR
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic
2018 J jnl
An Algebraic Framework for Runtime Verification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic
2018 — conf
CPS/IoT Ecosystem: A Platform for Research and Education.
CyPhy/WESE
Haris Isakovic, Denise Ratasich, Christian Hirsch, Michael Platzer, Bernhard Wally, Thomas Rausch, Dejan Nickovic, Willibald Krenn, Gerti Kappel, Schahram Dustdar, Radu Grosu
2018 J jnl
Contracts for System Design.
Found. Trends Electron. Des. Autom.
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
2018 — conf
Localizing Faults in Simulink/Stateflow Models with STL.
HSCC
Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath, Dejan Nickovic
2018 — conf
Online Timed Pattern Matching Using Automata.
FORMATS
Alexey Bakhirkin, Thomas Ferrère, Dejan Nickovic, Oded Maler, Eugene Asarin
2018 A conf
Production Tests Coverage Analysis in the Simulation Environment.
ITC
Niveditha Manjunath, Dieter Haerle, Stephen Sabanal, Herbert Eichinger, Hermann Tauber, Andreas Machne, Christian Manthey, Mikko Vaananen, Radu Grosu, Dejan Nickovic
2018 J jnl
Quantitative monitoring of STL with edit distance.
Formal Methods Syst. Des.
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Thang Nguyen, Dejan Nickovic
2018 — ch.
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications.
Lectures on Runtime Verification
Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan
2018 Misc conf
The first-order logic of signals: keynote.
EMSOFT
Alexey Bakhirkin, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic
2017 J jnl
Bounded determinization of timed automata with silent transitions.
Real Time Syst.
Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig
2017 — conf
Combining the Temporal and Epistemic Dimensions for MTL Monitoring.
FORMATS
Eugene Asarin, Oded Maler, Dejan Nickovic, Dogan Ulus
2017 — conf
Exponential pattern recognition for deriving air change rates from CO2 data.
ISIE
Florian Wenig, Peter Klanatsky, Christian Heschl, Cristinel Mateis, Dejan Nickovic
2017 J jnl
Require, test, and trace IT.
Int. J. Softw. Tools Technol. Transf.
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran
2017 — conf
Runtime Monitoring with Recovery of the SENT Communication Protocol.
CAV (1)
Konstantin Selyunin, Stefan Jaksic, Thang Nguyen, Christian Reidl, Udo Hafner, Ezio Bartocci, Dejan Nickovic, Radu Grosu
2017 — ch.
Temporal Logic as Filtering.
Dependable Software Systems Engineering
Alëna Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu
2016 J jnl
Assertion-based monitoring in practice - Checking correctness of an automotive sensor interface.
Sci. Comput. Program.
Thang Nguyen, Dejan Nickovic
2016 A conf
Monitoring of MTL specifications with IBM's spiking-neuron model.
DATE
Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu
2016 B conf
Quantitative Monitoring of STL with Edit Distance.
RV
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic
2016 — conf
Temporal Logic as Filtering.
HSCC
Alëna Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu
2016 — conf
The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems.
ISoLA (2)
Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Stefan Jaksic, Konstantin Selyunin
2015 — conf
A Pattern-Based Formalization of Cloud-Based Elastic Systems.
PESOS@ICSE
Schahram Dustdar, Alessio Gambi, Willibald Krenn, Dejan Nickovic
2015 — conf
Bounded Determinization of Timed Automata with Silent Transitions.
FORMATS
Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig
2015 J jnl
Bounded Determinization of Timed Automata with Silent Transitions.
CoRR
Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig
2015 — conf
Complete Composition Operators for IOCO-Testing Theory.
CBSE
Nikola Benes, Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Dejan Nickovic
2015 C conf
From signal temporal logic to FPGA monitors.
MEMOCODE
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Reinhard Kloibhofer, Thang Nguyen, Dejan Nickovic
2015 — conf
Measuring with Timed Patterns.
CAV (2)
Thomas Ferrère, Oded Maler, Dejan Nickovic, Dogan Ulus
2015 B conf
Monitoring and Measuring Hybrid Behaviors A Tutorial.
RV
Dejan Nickovic
2015 C conf
Require, Test and Trace IT.
FMICS
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran
2015 — conf
Scalable Incremental Test-case Generation from Large Behavior Models.
TAP@STAF
Bernhard K. Aichernig, Dejan Nickovic, Stefan Tiran
2015 B conf
Second International Competition on Runtime Verification CRV 2015.
RV
Yliès Falcone, Dejan Nickovic, Giles Reger, Daniel Thoma
2015 J jnl
Temporal Logic as Filtering.
CoRR
Alëna Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu
2015 B conf
Trace Diagnostics Using Temporal Implicants.
ATVA
Thomas Ferrère, Oded Maler, Dejan Nickovic
2014 C conf
Assertion-Based Monitoring in Practice - Checking Correctness of an Automotive Sensor Interface.
FMICS
Thang Nguyen, Dejan Nickovic
2014 A conf
Compositional Specifications for ioco Testing.
ICST
Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic
2014 — conf
Integration of Requirements Engineering and Test-Case Generation via OSLC.
QSIC
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Rupert Schlick, Didier Simoneau, Stefan Tiran
2013 — conf
Incremental Language Inclusion Checking for Networks of Timed Automata.
FORMATS
Willibald Krenn, Dejan Nickovic, Loredana Tec
2013 J jnl
Monitoring properties of analog and mixed-signal circuits.
Int. J. Softw. Tools Technol. Transf.
Oded Maler, Dejan Nickovic
2013 — conf
Time for Mutants - Model-Based Mutation Testing with Timed Automata.
TAP@STAF
Bernhard K. Aichernig, Florian Lorber, Dejan Nickovic
2012 — ed.
Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings
FORMATS
Marcin Jurdzinski, Dejan Nickovic
2012 — conf
Independent Implementability of Viewpoints.
Monterey Workshop
Thomas A. Henzinger, Dejan Nickovic
2012 B conf
On Temporal Logic and Signal Processing.
ATVA
Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka
2012 — conf
Synchronous Interface Theories and Time Triggered Scheduling.
FMOODS/FORTE
Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic
2011 B conf
Dynamic Reactive Modules.
CONCUR
Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi
2011 B conf
Parametric Identification of Temporal Properties.
RV
Eugene Asarin, Alexandre Donzé, Oded Maler, Dejan Nickovic
2010 J jnl
Analog property checkers: a DDR2 case study.
Formal Methods Syst. Des.
Kevin D. Jones, Victor Konrad, Dejan Nickovic
2010 — conf
From Mtl to Deterministic Timed Automata.
FORMATS
Dejan Nickovic, Nir Piterman
2010 — conf
Property-Based Monitoring of Analog and Mixed-Signal Systems.
FORMATS
John Havlicek, Scott Little, Oded Maler, Dejan Nickovic
2010 — conf
Robustness of Sequential Circuits.
ACSD
Laurent Doyen, Thomas A. Henzinger, Axel Legay, Dejan Nickovic
2008 — conf
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors.
Pillars of Computer Science
Oded Maler, Dejan Nickovic, Amir Pnueli
2008 — —
Checking Timed and Hybrid Properties: Theory and Applications. (Vérification de propriétés temporisées et hybrides: théorie et applications).
Dejan Nickovic
2007 — conf
AMT: A Property-Based Monitoring Tool for Analog Systems.
FORMATS
Dejan Nickovic, Oded Maler
2007 A* conf
On Synthesizing Controllers from Bounded-Response Properties.
CAV
Oded Maler, Dejan Nickovic, Amir Pnueli
2006 — conf
From MITL to Timed Automata.
FORMATS
Oded Maler, Dejan Nickovic, Amir Pnueli
2005 — conf
Real Time Temporal Logic: Past, Present, Future.
FORMATS
Oded Maler, Dejan Nickovic, Amir Pnueli
2004 — conf
Monitoring Temporal Properties of Continuous Signals.
FORMATS/FTRTFT
Oded Maler, Dejan Nickovic