Ezio Bartocci

Available identifiers

zbMath Open bartocci.ezioWikidataQ55756081 ScholiaQ55756081MaRDI QIDQ498911

List of research outcomes

Publication	Date of Publication	Type
The probabilistic termination tool amber	2024-01-08	Paper
Signal convolution logic	2023-07-28	Paper
Solving invariant generation for unsolvable loops	2023-07-28	Paper
Parameter-Independent Strategies for pMDPs via POMDPs	2023-06-28	Paper
Moment-based invariants for probabilistic loops with non-polynomial assignments	2023-06-02	Paper
Distribution estimation for probabilistic loops	2023-06-02	Paper
Reachable set over-approximation for nonlinear systems using piecewise barrier tubes	2023-05-26	Paper
A counting semantics for monitoring LTL specifications over finite traces	2023-05-26	Paper
Probabilistic Hyperproperties with Nondeterminism	2022-12-22	Paper
Survey on mining signal temporal logic specifications	2022-12-08	Paper
Model checking hyperproperties for Markov decision processes	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
https://portal.mardi4nfdi.de/entity/Q5028457	2022-02-09	Paper
Moment-based analysis of Bayesian network properties	2022-02-01	Paper
A normative supervisor for reinforcement learning agents	2021-12-01	Paper
Automated termination analysis of polynomial probabilistic programs	2021-10-18	Paper
Analysis of Bayesian networks via prob-solvable loops	2021-07-08	Paper
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans	2020-08-05	Paper
Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops	2020-07-20	Paper
A survey of challenges for runtime verification from advanced application domains (beyond software)	2019-11-25	Paper
Extending a Hodgkin-Huxley model for larval \textit{Drosophila} muscle excitability via particle swarm fitting	2019-10-10	Paper
A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage	2019-09-17	Paper
Quantitative Regular Expressions for Arrhythmia Detection Algorithms	2019-07-25	Paper
Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic	2019-05-21	Paper
https://portal.mardi4nfdi.de/entity/Q4621138	2019-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4621139	2019-02-08	Paper
A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks	2018-12-19	Paper
Localizing Faults in Simulink/Stateflow Models with STL	2018-12-06	Paper
Policy learning for time-bounded reachability in continuous-time Markov decision processes via doubly-stochastic gradient ascent	2018-01-11	Paper
SpaTeL	2017-05-19	Paper
Temporal Logic as Filtering	2017-05-19	Paper
Model-order reduction of ion channel dynamics using approximate bisimulation	2015-09-29	Paper
Data-Driven Statistical Learning of Temporal Logic Properties	2015-08-06	Paper
System design of stochastic models using robustness of temporal properties	2015-06-10	Paper
Model Checking Biological Oscillators	2014-03-21	Paper
Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue	2014-01-17	Paper
Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study	2013-04-03	Paper
On Temporal Logic and Signal Processing	2012-11-21	Paper
Model Repair for Probabilistic Systems	2011-05-19	Paper
Detecting synchronisation of biological oscillators by model checking	2010-05-11	Paper
Modeling and simulation of cardiac tissue using hybrid I/O automata	2009-08-07	Paper
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes	2008-06-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: Ezio Bartocci