Dejan Nickovic

According to our database1, Dejan Nickovic authored at least 103 papers between 2004 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
RTAMT - Runtime Robustness Monitors with Application to CPS and Robotics.
Int. J. Softw. Tools Technol. Transf., February, 2024

2023
Mining Hyperproperties using Temporal Logics.
ACM Trans. Embed. Comput. Syst., October, 2023

Introduction to the Special Issue on Runtime Verification.
Int. J. Softw. Tools Technol. Transf., August, 2023


Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties.
Proceedings of the Model Checking Software - 29th International Symposium, 2023

Attribute Repair for Threat Prevention.
Proceedings of the Computer Safety, Reliability, and Security, 2023

Mining Specification Parameters for Multi-class Classification.
Proceedings of the Runtime Verification - 23rd International Conference, 2023

Property-Based Mutation Testing.
Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023

Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2023

Specification-Guided Critical Scenario Identification for Automated Driving.
Proceedings of the Formal Methods - 25th International Symposium, 2023

A Systematic Approach to Automotive Security.
Proceedings of the Formal Methods - 25th International Symposium, 2023

TD-Magic: From Pictures of Timing Diagrams To Formal Specifications.
Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

From TARA to Test: Automated Automotive Cybersecurity Test Generation Out of Threat Modeling.
Proceedings of the 7th ACM Computer Science in Cars Symposium, 2023

Hypernode Automata.
Proceedings of the 34th International Conference on Concurrency Theory, 2023

Model-Free Reinforcement Learning for Spatiotemporal Tasks Using Symbolic Automata.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022
Formal methods and tools for industrial critical systems.
Int. J. Softw. Tools Technol. Transf., 2022

Survey on mining signal temporal logic specifications.
Inf. Comput., 2022

Threat Repair with Optimization Modulo Theories.
CoRR, 2022

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives.
CoRR, 2022

Flavors of Sequential Information Flow.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

FIM: fault injection and mutation for Simulink.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Search-based Testing for Accurate Fault Localization in CPS.
Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

DeepSTL - From English Requirements to Signal Temporal Logic.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Poster Abstract: Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives.
Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Information-flow Interfaces.
Proceedings of the Fundamental Approaches to Software Engineering, 2022

Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget - a Bandgap Case Study.
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2022

Formal Specification for Learning-Enabled Autonomous Systems.
Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

2021
Specifying and detecting temporal patterns with shape expressions.
Int. J. Softw. Tools Technol. Transf., 2021

CPSDebug: Automatic failure explanation in CPS models.
Int. J. Softw. Tools Technol. Transf., 2021

From STL Rulebooks to Rewards.
CoRR, 2021

From English to Signal Temporal Logic.
CoRR, 2021

Sampling of Shape Expressions.
CoRR, 2021

Flavours of Sequential Information Flow.
CoRR, 2021

Challenges of engineering safe and secure highly automated vehicles.
CoRR, 2021

Mining Shape Expressions with ShapeIt.
Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Sampling of shape expressions with ShapEx.
Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021

On the Complexity of Timed Pattern Matching.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2021

Adaptive Testing for Specification Coverage in CPS Models.
Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020
Mining Shape Expressions From Positive Examples.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic.
Int. J. Softw. Tools Technol. Transf., 2020

Adaptive Testing for Specification Coverage.
CoRR, 2020

CPSDebug: a tool for explanation of failures in cyber-physical systems.
Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Weakness Monitors for Fail-Aware Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

RTAMT: Online Robustness Monitors from STL.
Proceedings of the Automated Technology for Verification and Analysis, 2020

2019
From Real-time Logic to Timed Automata.
J. ACM, 2019

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software).
Formal Methods Syst. Des., 2019

A survey of challenges for runtime verification from advanced application domains (beyond software).
Formal Methods Syst. Des., 2019

Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071).
Dagstuhl Reports, 2019

Automatic Failure Explanation in CPS Models.
Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Shape Expressions for Specifying and Extracting Signal Features.
Proceedings of the Runtime Verification - 19th International Conference, 2019

Interface-aware signal temporal logic.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Mixed-Time Signal Temporal Logic.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

2018
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications.
Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

An Algebraic Framework for Runtime Verification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Contracts for System Design.
Found. Trends Electron. Des. Autom., 2018

Quantitative monitoring of STL with edit distance.
Formal Methods Syst. Des., 2018

Production Tests Coverage Analysis in the Simulation Environment.
Proceedings of the IEEE International Test Conference, 2018

Localizing Faults in Simulink/Stateflow Models with STL.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Online Timed Pattern Matching Using Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

The first-order logic of signals: keynote.
Proceedings of the International Conference on Embedded Software, 2018

CPS/IoT Ecosystem: A Platform for Research and Education.
Proceedings of the Cyber Physical Systems. Model-Based Design - 8th International Workshop, 2018

A Counting Semantics for Monitoring LTL Specifications over Finite Traces.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates.
Proceedings of the 2018 Annual American Control Conference, 2018

2017
Temporal Logic as Filtering.
Proceedings of the Dependable Software Systems Engineering, 2017

Require, test, and trace IT.
Int. J. Softw. Tools Technol. Transf., 2017

Bounded determinization of timed automata with silent transitions.
Real Time Syst., 2017

Exponential pattern recognition for deriving air change rates from CO2 data.
Proceedings of the 26th IEEE International Symposium on Industrial Electronics, 2017

Combining the Temporal and Epistemic Dimensions for MTL Monitoring.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Runtime Monitoring with Recovery of the SENT Communication Protocol.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
Assertion-based monitoring in practice - Checking correctness of an automotive sensor interface.
Sci. Comput. Program., 2016

Quantitative Monitoring of STL with Edit Distance.
Proceedings of the Runtime Verification - 16th International Conference, 2016

The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Temporal Logic as Filtering.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Monitoring of MTL specifications with IBM's spiking-neuron model.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015
Scalable Incremental Test-case Generation from Large Behavior Models.
Proceedings of the Tests and Proofs - 9th International Conference, 2015

Monitoring and Measuring Hybrid Behaviors A Tutorial.
Proceedings of the Runtime Verification - 6th International Conference, 2015

Second International Competition on Runtime Verification CRV 2015.
Proceedings of the Runtime Verification - 6th International Conference, 2015

From signal temporal logic to FPGA monitors.
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

A Pattern-Based Formalization of Cloud-Based Elastic Systems.
Proceedings of the 7th IEEE/ACM International Workshop on Principles of Engineering Service-Oriented and Cloud Systems, 2015

Complete Composition Operators for IOCO-Testing Theory.
Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

Measuring with Timed Patterns.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Trace Diagnostics Using Temporal Implicants.
Proceedings of the Automated Technology for Verification and Analysis, 2015

2014
Integration of Requirements Engineering and Test-Case Generation via OSLC.
Proceedings of the 2014 14th International Conference on Quality Software, 2014

Compositional Specifications for ioco Testing.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2013
Monitoring properties of analog and mixed-signal circuits.
Int. J. Softw. Tools Technol. Transf., 2013

Time for Mutants - Model-Based Mutation Testing with Timed Automata.
Proceedings of the Tests and Proofs - 7th International Conference, 2013

Incremental Language Inclusion Checking for Networks of Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

2012
Independent Implementability of Viewpoints.
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Synchronous Interface Theories and Time Triggered Scheduling.
Proceedings of the Formal Techniques for Distributed Systems, 2012

On Temporal Logic and Signal Processing.
Proceedings of the Automated Technology for Verification and Analysis, 2012

2011
Parametric Identification of Temporal Properties.
Proceedings of the Runtime Verification - Second International Conference, 2011

Dynamic Reactive Modules.
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010
Analog property checkers: a DDR2 case study.
Formal Methods Syst. Des., 2010

From Mtl to Deterministic Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Property-Based Monitoring of Analog and Mixed-Signal Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Robustness of Sequential Circuits.
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2008
Checking Timed and Hybrid Properties: Theory and Applications. (Vérification de propriétés temporisées et hybrides: théorie et applications).
PhD thesis, 2008

Checking Temporal Properties of Discrete, Timed and Continuous Behaviors.
Proceedings of the Pillars of Computer Science, 2008

2007
AMT: A Property-Based Monitoring Tool for Analog Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

On Synthesizing Controllers from Bounded-Response Properties.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006
From MITL to Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

2005
Real Time Temporal Logic: Past, Present, Future.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

2004
Monitoring Temporal Properties of Continuous Signals.
Proceedings of the Formal Techniques, 2004


  Loading...