Search Results - "Nickovic, Dejan"

Signal Feature Coverage and Testing for CPS Dataflow Models.

Authors: Bartocci, Ezio Mariani, Leonardo Nickovic, Dejan et al.

Source: ACM Transactions on Software Engineering & Methodology; Sep2025, Vol. 34 Issue 7, p1-37, 37p

Elements of Timed Pattern Matching.

Authors: Ulus, Dogan Ferrère, Thomas Asarin, Eugene et al.

Source: ACM Transactions on Embedded Computing Systems; Jul2024, Vol. 23 Issue 4, p1-45, 45p

Hypernode automata.

Authors: Bartocci, Ezio Chalupa, Marek Henzinger, Thomas A. et al.

Source: Acta Informatica; Dec2025, Vol. 62 Issue 4, p1-52, 52p

Information-flow interfaces.

Authors: Bartocci, Ezio Ferrère, Thomas Henzinger, Thomas A. et al.

Source: Formal Methods in System Design; May2025, Vol. 66 Issue 1, p3-48, 46p

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software).

Authors: Sánchez, César Schneider, Gerardo Ahrendt, Wolfgang et al.

Source: Formal Methods in System Design; Dec2019, Vol. 55 Issue 1, p72-72, 1p

A survey of challenges for runtime verification from advanced application domains (beyond software).

Authors: Sánchez, César Schneider, Gerardo Ahrendt, Wolfgang et al.

Source: Formal Methods in System Design; 2019, Vol. 54 Issue 3, p279-335, 57p

Survey on mining signal temporal logic specifications.

Authors: Bartocci, Ezio Mateis, Cristinel Nesterini, Eleonora et al.

Source: Information & Computation; Nov2022:Part A, Vol. 289, pN.PAG-N.PAG, 1p