Ezio Bartocci

Identifiers

• name variant Ezio Bartocci 0.60 · backfill

Papers (49)

1. Differential Zonotopes for Verifying Global Robustness of DNNs cs.CR · 2026 · author #4
2. An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge cs.SE · 2023 · author #5
3. Deductive Controller Synthesis for Probabilistic Hyperproperties cs.LO · 2023 · author #2
4. Property-Based Mutation Testing cs.SE · 2023 · author #1
5. Solving Invariant Generation for Unsolvable Loops cs.PL · 2022 · author #2
6. Distribution Estimation for Probabilistic Loops stat.CO · 2022 · author #5
7. This Is the Moment for Probabilistic Loops cs.PL · 2022 · author #3
8. Mining Shape Expressions with ShapeIt cs.SE · 2021 · author #1
9. DeepSTL -- From English Requirements to Signal Temporal Logic cs.CL · 2021 · author #2
10. Online Monitoring of Spatio-Temporal Properties for Imprecise Signals cs.LO · 2021 · author #2
11. The Probabilistic Termination Tool Amber cs.PL · 2021 · author #2
12. Flavours of Sequential Information Flow cs.LO · 2021 · author #1
13. MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties cs.LO · 2021 · author #1
14. A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities cs.SE · 2021 · author #2
15. Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications eess.SY · 2021 · author #3
16. MORA -- Automatic Generation of Moment-Based Invariants cs.FL · 2021 · author #1
17. Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems cs.LG · 2020 · author #3
18. Automated Termination Analysis of Polynomial Probabilistic Programs cs.PL · 2020 · author #2
19. Analysis of Bayesian Networks via Prob-Solvable Loops cs.AI · 2020 · author #1
20. Probabilistic Hyperproperties with Nondeterminism cs.LO · 2020 · author #2
21. Information-Flow Interfaces cs.FL · 2020 · author #1
22. SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities cs.CY · 2019 · author #2
23. Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty eess.SY · 2019 · author #2
24. Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops cs.SC · 2019 · author #1
25. Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics cs.SY · 2019 · author #3
26. Monitoring Mobile and Spatially Distributed Cyber-Physical Systems cs.LO · 2019 · author #1
27. Automatic Failure Explanation in CPS Models cs.SE · 2019 · author #1
28. Adaptive Fault Detection exploiting Redundancy with Uncertainties in Space and Time cs.SY · 2019 · author #4
29. Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems eess.SY · 2019 · author #4
30. A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software) cs.SE · 2018 · author #4
31. A Roadmap Towards Resilient Internet of Things for Cyber-Physical Systems cs.ET · 2018 · author #6
32. Parameter-Independent Strategies for pMDPs via POMDPs cs.LO · 2018 · author #2
33. Signal Convolution Logic cs.LO · 2018 · author #3
34. A Counting Semantics for Monitoring LTL Specifications over Finite Traces cs.LO · 2018 · author #1
35. Verifying nonlinear analog and mixed-signal circuits with inputs cs.SY · 2018 · author #4
36. An Algebraic Framework for Runtime Verification cs.LO · 2018 · author #2
37. A Robust Genetic Algorithm for Learning Temporal Specifications from Data cs.AI · 2017 · author #3
38. Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems cs.SY · 2017 · author #3
39. Quantitative Regular Expressions for Arrhythmia Detection Algorithms cs.LO · 2016 · author #3
40. ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans cs.AI · 2016 · author #4
41. Parallel Reachability Analysis for Hybrid Systems cs.DC · 2016 · author #3
42. Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent cs.SY · 2016 · author #1
43. Temporal Logic as Filtering cs.LO · 2015 · author #2
44. Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems cs.SY · 2015 · author #3
45. Deep Neural Programs for Adaptive Control in Cyber-Physical Systems cs.AI · 2015 · author #3
46. A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems cs.AI · 2014 · author #2
47. Learning Temporal Logical Properties Discriminating ECG models of Cardiac Arrhytmias cs.LO · 2013 · author #1
48. A temporal logic approach to modular design of synthetic biological circuits cs.LO · 2013 · author #1
49. Shape Calculus: Timed Operational Semantics and Well-formedness cs.PL · 2010 · author #1

Mentions

• 2309.00022 #5 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 2307.04503 #2 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 2301.13615 #1 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 2204.07185 #3 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 2206.06943 #2 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 2104.02737 #3 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 2205.07639 #5 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 2109.10294 #2 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 2011.00384 #3 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 1908.02366 #2 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 2109.11999 #1 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 2109.08081 #2 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 2107.13072 #2 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 2104.14333 #1 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 2105.02013 #1 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 2104.04904 #2 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 2103.03908 #1 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 2010.03444 #2 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 1903.12468 #1 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 2007.09450 #1 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 2005.06115 #2 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 2002.06465 #1 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 1901.03315 #4 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 1907.11514 #2 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 1905.02835 #1 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 1904.08847 #1 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 1810.06870 #6 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 1811.06740 #4 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 1806.00238 #3 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 1711.06202 #3 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 1806.05126 #2 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 1804.03237 #1 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 1802.03775 #2 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 1612.07770 #3 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 1606.05473 #3 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 1510.08079 #2 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 1502.04013 #3 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 1312.7523 #1 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 1306.4493 #1 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 1011.2488 #1 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 2606.21282 #4 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 1510.08079 #2 · backfill · confidence 0.70 Ezio Bartocci
• 1904.11611 #3 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 1903.04326 #4 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 1803.02975 #4 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 1707.05229 #3 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 1612.07059 #4 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 1605.09703 #1 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 1504.06660 #3 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 1409.5671 #2 · arxiv_oai · confidence 0.70 Ezio Bartocci
• 1504.06660 #3 · backfill · confidence 0.70 Ezio Bartocci
• 1502.04013 #3 · backfill · confidence 0.70 Ezio Bartocci
• 1409.5671 #2 · backfill · confidence 0.70 Ezio Bartocci
• 1312.7523 #1 · backfill · confidence 0.70 Ezio Bartocci
• 1306.4493 #1 · backfill · confidence 0.70 Ezio Bartocci
• 1011.2488 #1 · backfill · confidence 0.70 Ezio Bartocci

Frequent Coauthors

• Radu Grosu 10 shared papers
• Dejan Nickovic 9 shared papers
• Laura Kov\'acs 7 shared papers
• Luca Bortolussi 7 shared papers
• Laura Nenzi 6 shared papers
• Marcel Moosbrugger 5 shared papers
• Miroslav Stankovi\v{c} 5 shared papers
• Scott A. Smolka 5 shared papers
• Calin Belta 3 shared papers
• Denise Ratasich 3 shared papers
• John Stankovic 3 shared papers
• Joost-Pieter Katoen 3 shared papers
• Leonardo Mariani 3 shared papers
• Lu Feng 3 shared papers
• Meiyi Ma 3 shared papers
• Michele Loreti 3 shared papers
• Simone Silvetti 3 shared papers
• Thomas A. Henzinger 3 shared papers
• Alena Rodionova 2 shared papers
• Ana Oliveira da Costa 2 shared papers