Dejan Ničković

Available identifiers

zbMath Open nickovic.dejanWikidataQ124213252 ScholiaQ124213252MaRDI QIDQ243970

List of research outcomes

Publication	Date of Publication	Type
Poster Abstract: Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives	2024-02-21	Paper
A counting semantics for monitoring LTL specifications over finite traces	2023-05-26	Paper
Survey on mining signal temporal logic specifications	2022-12-08	Paper
Adaptive testing for specification coverage and refinement in CPS models	2022-10-14	Paper
Flavors of sequential information flow	2022-07-08	Paper
On the complexity of timed pattern matching	2022-03-24	Paper
Weakness monitors for fail-aware systems	2021-03-02	Paper
Mixed-time signal temporal logic	2020-05-05	Paper
From Real-time Logic to Timed Automata	2020-02-11	Paper
A survey of challenges for runtime verification from advanced application domains (beyond software)	2019-11-25	Paper
Interface-aware signal temporal logic	2019-10-22	Paper
Online timed pattern matching using automata	2018-12-06	Paper
Localizing Faults in Simulink/Stateflow Models with STL	2018-12-06	Paper
Measuring with timed patterns	2018-03-01	Paper
Bounded determinization of timed automata with silent transitions	2018-02-19	Paper
Combining the temporal and epistemic dimensions for MTL monitoring	2017-12-01	Paper
Temporal Logic as Filtering	2017-05-19	Paper
Trace Diagnostics Using Temporal Implicants	2016-01-08	Paper
Bounded Determinization of Timed Automata with Silent Transitions	2015-09-14	Paper
Incremental Language Inclusion Checking for Networks of Timed Automata	2013-08-16	Paper
On Temporal Logic and Signal Processing	2012-11-21	Paper
Dynamic Reactive Modules	2011-09-02	Paper
Analog property checkers: a DDR2 case study	2010-09-16	Paper
From Mtl to Deterministic Timed Automata	2010-09-10	Paper
From MITL to Timed Automata	2008-07-08	Paper
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors	2008-03-25	Paper
On Synthesizing Controllers from Bounded-Response Properties	2007-11-29	Paper
Formal Modeling and Analysis of Timed Systems	2006-11-14	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems	2005-08-19	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dejan Ničković