( en | de | ru )

 

Disambiguation of "Filieri, Antonio"

Author of the publication

copydeleteadd this publication to your clipboard
Approximate and Probabilistic Computing: Design, Coding, Verification

, , , and . (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Antonio Wünsch

Antonio Bergua

Antonio Pinto

Antonio Accardi

Antonio Dell'Aquila

 

Other publications of authors with the same name

Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time., , and . IEEE Trans. Software Eng., 42 (1): 75-99 (2016)Probabilistic Symbolic Analysis of Neural Networks., , , and . ISSRE, page 148-159. IEEE, (2020)Towards Coordinated Autoscaling and Application Brownout at the Orchestrator Level., and . ECSA Companion, volume 1269 of Communications in Computer and Information Science, page 269-274. Springer, (2020)The KlaperSuite framework for model-driven reliability analysis of component-based systems., , , , , and . Softw. Syst. Model., 13 (4): 1269-1290 (2014)Probabilistic Counterexample Guidance for Safer Reinforcement Learning., and . QEST, volume 14287 of Lecture Notes in Computer Science, page 311-328. Springer, (2023)MANTra: Towards Model Transformation Testing., , and . QUATIC, page 97-105. IEEE Computer Society, (2010)Symbolic parallel adaptive importance sampling for probabilistic program analysis., , and . ESEC/SIGSOFT FSE, page 1166-1177. ACM, (2021)Iterative test suites refinement for elastic computing systems., , and . ESEC/SIGSOFT FSE, page 635-638. ACM, (2013)Reliability analysis in symbolic pathfinder., , and . ICSE, page 622-631. IEEE Computer Society, (2013)A compositional method for reliability analysis of workflows affected by multiple failure modes., , , and . CBSE, page 149-158. ACM, (2011)