Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ezio Bartocci
conf.researchr.org general profile
ACSOS 2020 profile
ASE 2023 profile
ESEC/FSE 2022 profile
HAVELUND 65 profile
ICSE 2022 profile
ICST 2025 profile
POPL 2025 profile
SPLASH 2022 profile
Registered user since Sat 16 Mar 2019
Name:
Ezio Bartocci
Country:
Austria
Affiliation:
TU Wien
Contributions
2025
ICST
Committee Member in Program Committee within the Short Papers, Vision and Emerging Results-track
LAFI
Author of Exact Inference for Nested Discrete Probabilistic Programs within the LAFI 2025-track
2023
ASE
Author of An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge within the Research Papers-track
2022
SPLASH
Author of This Is the Moment for Probabilistic Loops within the OOPSLA-track
Static Analysis Symposium
Author of Solving Invariant Generation for Unsolvable Loops within the SAS-track
ESEC/FSE
Author of FIM: Fault Injection and Mutation for Simulink within the Demonstrations-track
ICSE
Author of DeepSTL - From English Requirements to Signal Temporal Logic within the Technical Track-track
2020
ACSOS
PC Member in Program Committee within the Research Papers-track
Share
x
Mon 30 Dec 18:32