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
Information-flow interfaces	2024-01-23	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 \textsc{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

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