Search Results - "Bartocci, Ezio"

Cumulative-Time Signal Temporal Logic.

Authors: Chen, Hongkai Zhang, Zeyu Roy, Shouvik et al.

Source: ACM Transactions on Embedded Computing Systems; 2025 Suppl 5, Vol. 24, p1-23, 23p

A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators.

Authors: Melani, Beatrice Bartocci, Ezio Chiari, Michele

Source: ACM Transactions on Embedded Computing Systems; 2025 Suppl 5, Vol. 24, p1-26, 26p

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

Hypernode automata.

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

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

Enforcing ethical goals over reinforcement-learning policies.

Authors: Neufeld, Emery A. Bartocci, Ezio Ciabattoni, Agata et al.

Source: Ethics & Information Technology; Dec2022, Vol. 24 Issue 4, p1-19, 19p

Gray-box runtime enforcement of hyperproperties.

Authors: Hsu, Tzu-Han Oliveira da Costa, Ana Wintenberg, Andrew et al.

Source: Acta Informatica; Sep2025, Vol. 62 Issue 3, p1-33, 33p

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

(Un)Solvable loop analysis.

Authors: Amrollahi, Daneshvar Bartocci, Ezio Kenison, George et al.

Source: Formal Methods in System Design; Apr2025, Vol. 65 Issue 1, p163-194, 32p

DeepRIoT: Continuous Integration and Deployment Of Robotic-IoT Applications.

Authors: Qu, Meixun He, Jie Tucaković, Zlatan et al.

Source: DAC: Annual ACM/IEEE Design Automation Conference; 2024, Issue 61, p1694-1699, 6p

Mining Hyperproperties using Temporal Logics.

Authors: BARTOCCI, EZIO MATEIS, CRISTINEL NESTERINI, ELEONORA et al.

Source: ACM Transactions on Embedded Computing Systems; 2023 Suppl5s, Vol. 22, p1-25, 25p

Correction: (Un)Solvable loop analysis.

Authors: Amrollahi, Daneshvar Bartocci, Ezio Kenison, George et al.

Source: Formal Methods in System Design; Dec2025, Vol. 67 Issue 3, p373-374, 2p

DeepSTL: from english requirements to signal temporal logic.

Authors: He, Jie Bartocci, Ezio Ničković, Dejan et al.

Source: ICSE: International Conference on Software Engineering; 2022, p610-622, 13p

MoonLight: a lightweight tool for monitoring spatio-temporal properties.

Authors: Nenzi, Laura Bartocci, Ezio Bortolussi, Luca et al.

Source: International Journal on Software Tools for Technology Transfer; Aug2023, Vol. 25 Issue 4, p503-517, 15p

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

Authors: MEIYI MA STANKOVIC, JOHN BARTOCCI, EZIO et al.

Source: ACM Transactions on Embedded Computing Systems; 2021 Suppl, Vol. 20, p1-25, 25p

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

The probabilistic termination tool amber.

Authors: Moosbrugger, Marcel Bartocci, Ezio Katoen, Joost-Pieter et al.

Source: Formal Methods in System Design; Aug2022, Vol. 61 Issue 1, p90-109, 20p

Moment-based analysis of Bayesian network properties.

Authors: Stankovič, Miroslav Bartocci, Ezio Kovács, Laura

Source: Theoretical Computer Science; Feb2022, Vol. 903, p113-133, 21p

CPSDebug: Automatic failure explanation in CPS models.

Authors: Bartocci, Ezio Manjunath, Niveditha Mariani, Leonardo et al.

Source: International Journal on Software Tools for Technology Transfer; Oct2021, Vol. 23 Issue 5, p783-796, 14p

Parallel reachability analysis of hybrid systems in XSpeed.

Authors: Gurung, Amit Ray, Rajarshi Bartocci, Ezio et al.

Source: International Journal on Software Tools for Technology Transfer; Aug2019, Vol. 21 Issue 4, p401-423, 23p

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