Filtros de búsqueda

Lista de obras de

A Counting Semantics for Monitoring LTL Specifications over Finite Traces

artículo científico publicado en 2018

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

artículo científico publicado en 2019

Adaptive Testing for Specification Coverage in CPS Models

artículo científico publicado en 2021

Adaptive testing for specification coverage and refinement in CPS models

artículo científico publicado en 2022

An Algebraic Framework for Runtime Verification

artículo científico publicado en 2018

Automatic Failure Explanation in CPS Models

artículo científico publicado en 2019

CPSDebug: Automatic failure explanation in CPS models

artículo científico publicado en 2021

CPSDebug: a tool for explanation of failures in cyber-physical systems

artículo científico publicado en 2020

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

artículo científico publicado en 2019

DeepSTL

artículo científico publicado en 2022

Elements of Timed Pattern Matching

scientific article published on 10 February 2024

Flavors of Sequential Information Flow

artículo científico publicado en 2022

From Real-time Logic to Timed Automata

artículo científico publicado en 2019

From TARA to Test: Automated Automotive Cybersecurity Test Generation Out of Threat Modeling

artículo científico publicado en 2023

Information-flow Interfaces

artículo científico publicado en 2022

Localizing Faults in Simulink/Stateflow Models with STL

artículo científico publicado en 2018

Mining Hyperproperties using Temporal Logics

artículo científico publicado en 2023

Mining Shape Expressions From Positive Examples

artículo científico publicado en 2020

Mining Shape Expressions with ShapeIt

artículo científico publicado en 2021

Mining Specification Parameters for Multi-class Classification

artículo científico publicado en 2023

Monitoring Temporal Properties of Continuous Signals

Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties

artículo científico publicado en 2023

Quantitative monitoring of STL with edit distance

scientific article published on 27 March 2018

Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications

artículo científico publicado en 2018

Survey on mining signal temporal logic specifications

artículo científico publicado en 2022