Filtros de búsqueda

Lista de obras de Ezio Bartocci

A Counting Semantics for Monitoring LTL Specifications over Finite Traces

artículo científico publicado en 2018

A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks

scholarly article published March 2018

A Linear Programming-based Iterative Approach to Stabilizing Polynomial Dynamics

artículo científico publicado en 2017

A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems

artículo científico publicado en 2022

A Normative Supervisor for Reinforcement Learning Agents

artículo científico publicado en 2021

A Novel Spatial–Temporal Specification-Based Monitoring System for Smart Cities

artículo científico publicado en 2021

A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage

artículo científico publicado en 2017

A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems

artículo científico publicado en 2019

A Robust Genetic Algorithm for Learning Temporal Specifications from Data

artículo científico publicado en 2018

A formal methods approach to pattern synthesis in reaction diffusion systems

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

artículo científico publicado en 2019

ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans

artículo científico publicado en 2017

Abstraction-Based Parameter Synthesis for Multiaffine Systems

artículo científico publicado en 2015

Adaptive Fault Detection Exploiting Redundancy with Uncertainties in Space and Time

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

An agent-based multilayer architecture for bioinformatics grids

artículo científico

Analysis of Bayesian Networks via Prob-Solvable Loops

artículo científico publicado en 2020

Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems

artículo científico publicado en 2020

Automated Termination Analysis of Polynomial Probabilistic Programs

artículo científico publicado en 2021

Automatic Failure Explanation in CPS Models

artículo científico publicado en 2019

Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops

artículo científico publicado en 2019

BioWMS: a web-based Workflow Management System for bioinformatics

artículo científico publicado en 2007

Biowep: a workflow enactment portal for bioinformatics applications

artículo científico publicado en 2007

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

Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home

artículo científico publicado en 2019

CellExcite: an efficient simulation environment for excitable cells

artículo científico publicado en 2008

Computational Modeling, Formal Analysis, and Tools for Systems Biology

artículo científico publicado en 2016

Computing with Biophysical and Hardware-Efficient Neural Models

artículo científico publicado en 2017

Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics

artículo científico publicado en 2019

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

artículo científico publicado en 2019

Curvature analysis of cardiac excitation wavefronts

artículo científico publicado en 2013

Deductive Controller Synthesis for Probabilistic Hyperproperties

artículo científico publicado en 2023

DeepSTL

artículo científico publicado en 2022

Detecting synchronisation of biological oscillators by model checking

artículo científico publicado en 2010

Discrete Abstraction of Multiaffine Systems

artículo científico publicado en 2016

Distribution Estimation for Probabilistic Loops

artículo científico publicado en 2022

Enforcing ethical goals over reinforcement-learning policies

artículo científico publicado en 2022

Expressionview: visualization of quantitative trait loci and gene-expression data in Ensembl

artículo científico publicado en 2003

Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting

artículo científico publicado en 2019

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014 ⬇️

Flavors of Sequential Information Flow

artículo científico publicado en 2022

HyperProb: A Model Checker for Probabilistic Hyperproperties

artículo científico publicado en 2021

Information-flow Interfaces

artículo científico publicado en 2022

International Competition on Runtime Verification (CRV)

artículo científico publicado en 2019

Introducing Asynchronicity to Probabilistic Hyperproperties

artículo científico publicado en 2023

Introduction to Runtime Verification

artículo científico publicado en 2018

Introduction to the special issue on runtime verification

artículo científico publicado en 2017

Lightweight Verification of Hyperproperties

artículo científico publicado en 2023

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

Model Checking Biological Oscillators

artículo científico publicado en 2009

Model checking hyperproperties for Markov decision processes

artículo científico publicado en 2022

Modeling and Analysis of Cardiac Hybrid Cellular Automata via GPU-Accelerated Monte Carlo Simulation

artículo científico publicado en 2021

Modeling the cell cycle: from deterministic models to hybrid systems.

artículo científico publicado en 2011

Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments

artículo científico publicado en 2022

Moment-based analysis of Bayesian network properties

artículo científico publicado en 2022

Monitoring Spatio-Temporal Properties (Invited Tutorial)

artículo científico publicado en 2020

Monitoring mobile and spatially distributed cyber-physical systems

artículo científico publicado en 2017

Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial)

artículo científico publicado en 2018

MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties

artículo científico publicado en 2020

Mora - Automatic Generation of Moment-Based Invariants

artículo científico publicado en 2020

Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications

artículo científico publicado en 2021

On Normative Reinforcement Learning via Safe Reinforcement Learning

artículo científico publicado en 2022

Online monitoring of spatio-temporal properties for imprecise signals

artículo científico publicado en 2021

Parallel reachability analysis for hybrid systems ⬇️

artículo científico publicado en 2016

Parallel reachability analysis of hybrid systems in XSpeed

artículo científico publicado en 2018

Parameter Synthesis for Probabilistic Hyperproperties

Parameter-Independent Strategies for pMDPs via POMDPs

artículo científico publicado en 2018

Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty

artículo científico publicado en 2019

Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems

artículo científico publicado en 2021

Predictive monitoring with uncertainty for deep learning enabled smart cities

artículo científico publicado en 2020

Preface of the special issue on Model Checking of Software ⬇️

Scientific article

Probabilistic Hyperproperties with Nondeterminism

artículo científico publicado en 2020

Probabilistic Hyperproperties with Rewards

artículo científico publicado en 2022

Progression for Monitoring in Temporal ASP

artículo científico publicado en 2023

Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties

artículo científico publicado en 2023

Quantitative Regular Expressions for Arrhythmia Detection

artículo científico publicado en 2018

Quantitative monitoring of STL with edit distance

scientific article published on 27 March 2018

RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction)

artículo científico publicado en 2018

Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes

artículo científico publicado en 2018

Runtime Verification of Autonomous Driving Systems in CARLA

artículo científico publicado en 2020

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities

artículo científico publicado en 2020

Signal Convolution Logic

artículo científico publicado en 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

TOOLympics 2019: An Overview of Competitions in Formal Methods

artículo científico publicado en 2019

Teaching cardiac electrophysiology modeling to undergraduate students: laboratory exercises and GPU programming for the study of arrhythmias and spiral wave dynamics.

artículo científico publicado en 2011

The Probabilistic Termination Tool Amber

artículo científico publicado en 2021

The probabilistic termination tool amber

artículo científico publicado en 2022

This is the moment for probabilistic loops

artículo científico publicado en 2022

UBioLab: a web-laboratory for ubiquitous in-silico experiments

artículo científico publicado en 2012

Verifying nonlinear analog and mixed-signal circuits with inputs

artículo científico publicado en 2018

XSpeed: Accelerating Reachability Analysis on Multi-core Processors

artículo científico publicado en 2015

Dominio Público Uruguay está sostenido por:

Acerca de Dominio Público Uruguay

Ayuda