More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Antonio Filieri

> Home > Persons

Person information

affiliation: Imperial College London, UK
affiliation: Amazon Web Services, Santa Clara, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/ClunSFB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/ClunSFB24
Donato Clun, Donghwan Shin, Antonio Filieri, Domenico Bianculli:
Rigorous Assessment of Model Inference Accuracy using Language Cardinality. ACM Trans. Softw. Eng. Methodol. 33(4): 95:1-95:39 (2024)
2023
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/tomacs/WangCF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tomacs/WangCF23
Runan Wang, Giuliano Casale, Antonio Filieri:
Estimating Multiclass Service Demand Distributions Using Markovian Arrival Processes. ACM Trans. Model. Comput. Simul. 33(1-2): 2:1-2:26 (2023)
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/LeesonDF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LeesonDF23
Will Leeson, Matthew B. Dwyer, Antonio Filieri:
Sibyl: Improving Software Engineering Tools with SMT Selection. ICSE 2023: 2185-2197
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/JiF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/JiF23
Xiaotong Ji, Antonio Filieri:
Probabilistic Counterexample Guidance for Safer Reinforcement Learning. QEST 2023: 311-328
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/HossainFDEV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/HossainFDEV23
Soneya Binta Hossain, Antonio Filieri, Matthew B. Dwyer, Sebastian G. Elbaum, Willem Visser:
Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned. ESEC/SIGSOFT FSE 2023: 120-132
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BanerjeeCEFHLLP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BanerjeeCEFHLLP23
Subarno Banerjee, Siwei Cui, Michael Emmi, Antonio Filieri, Liana Hadarean, Peixuan Li, Linghui Luo, Goran Piskachev, Nicolás Rosner, Aritra Sengupta, Omer Tripp, Jingbo Wang:
Compositional Taint Analysis for Enforcing Security Policies at Scale. ESEC/SIGSOFT FSE 2023: 1985-1996
[d1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/LeesonDF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/LeesonDF23
Will Leeson, Matthew Dwyer, Antonio Filieri:
Sibyl Datasets. Zenodo, 2023
[i8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-04927
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-04927
Xiaotong Ji, Antonio Filieri:
Probabilistic Counterexample Guidance for Safer Reinforcement Learning (Extended Version). CoRR abs/2307.04927 (2023)
[i7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-16023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-16023
Soneya Binta Hossain, Antonio Filieri, Matthew B. Dwyer, Sebastian G. Elbaum, Willem Visser:
Neural-Based Test Oracle Generation: A Large-scale Evaluation and Lessons Learned. CoRR abs/2307.16023 (2023)
2022
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/GerrardBDF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/GerrardBDF22
Mitchell J. Gerrard, Mateus Borges, Matthew B. Dwyer, Antonio Filieri:
Conditional Quantitative Program Analysis. IEEE Trans. Software Eng. 48(4): 1212-1227 (2022)
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoc/WangCF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/WangCF22
Runan Wang, Giuliano Casale, Antonio Filieri:
Enhancing Performance Modeling of Serverless Functions via Static Analysis. ICSOC 2022: 71-88
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/ChristakisCFLMP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/ChristakisCFLMP22
Maria Christakis, Thomas Cottenier, Antonio Filieri, Linghui Luo, Muhammad Numair Mansur, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser:
Input splitting for cloud-based static application security testing platforms. ESEC/SIGSOFT FSE 2022: 1367-1378
[i6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-16587
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-16587
Donato Clun, Donghwan Shin, Antonio Filieri, Domenico Bianculli:
Rigorous Assessment of Model Inference Accuracy using Language Cardinality. CoRR abs/2211.16587 (2022)
2021
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/AlnafessahGWZCF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/AlnafessahGWZCF21
Ahmad Alnafessah, Alim Ul Gias, Runan Wang, Lulai Zhu, Giuliano Casale, Antonio Filieri:
Quality-Aware DevOps Research: Where Do We Stand? IEEE Access 9: 44476-44489 (2021)
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/WangCF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/WangCF21
Runan Wang, Giuliano Casale, Antonio Filieri:
Service Demand Distribution Estimation for Microservices Using Markovian Arrival Processes. QEST 2021: 310-328
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/LuoFZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/LuoFZ21
Yicheng Luo, Antonio Filieri, Yuan Zhou:
Symbolic parallel adaptive importance sampling for probabilistic program analysis. ESEC/SIGSOFT FSE 2021: 1166-1177
2020
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsa/KotegovF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/KotegovF20
Ivan Kotegov, Antonio Filieri:
Towards Coordinated Autoscaling and Application Brownout at the Orchestrator Level. ECSA Companion 2020: 269-274
[c38]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/ClunHFV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ClunHFV20
Donato Clun, Phillip van Heerden, Antonio Filieri, Willem Visser:
Improving Symbolic Automata Learning with Concolic Execution. FASE 2020: 3-26
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/PasareanuCFG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/PasareanuCFG20
Corina S. Pasareanu, Hayes Converse, Antonio Filieri, Divya Gopinath:
On the probabilistic analysis of neural networks. SEAMS@ICSE 2020: 5-8
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/ConverseFGP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/ConverseFGP20
Hayes Converse, Antonio Filieri, Divya Gopinath, Corina S. Pasareanu:
Probabilistic Symbolic Analysis of Neural Networks. ISSRE 2020: 148-159
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2010-03525
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-03525
Paul Ralph, Sebastian Baltes, Domenico Bianculli, Yvonne Dittrich, Michael Felderer, Robert Feldt, Antonio Filieri, Carlo Alberto Furia, Daniel Graziotin, Pinjia He, Rashina Hoda, Natalia Juristo, Barbara A. Kitchenham, Romain Robbes, Daniel Méndez, Jefferson Seide Molléri, Diomidis Spinellis, Miroslaw Staron, Klaas-Jan Stol, Damian A. Tamburri, Marco Torchiano, Christoph Treude, Burak Turhan, Sira Vegas:
ACM SIGSOFT Empirical Standards. CoRR abs/2010.03525 (2020)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2010-05050
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-05050
Yicheng Luo, Antonio Filieri, Yuan Zhou:
SYMPAIS: SYMbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis. CoRR abs/2010.05050 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/ac/YangFBCW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ac/YangFBCW19
Guowei Yang, Antonio Filieri, Mateus Borges, Donato Clun, Junye Wen:
Chapter Five - Advances in Symbolic Execution. Adv. Comput. 113: 225-287 (2019)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/HeidenGKKHFL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/HeidenGKKHFL19
Simon Heiden, Lars Grunske, Timo Kehrer, Fabian Keller, André van Hoorn, Antonio Filieri, David Lo:
An evaluation of pure spectrum-based fault localization techniques for large-scale software systems. Softw. Pract. Exp. 49(8): 1197-1224 (2019)
2017
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/darts/MaggioPFH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/darts/MaggioPFH17
Martina Maggio, Alessandro Vittorio Papadopoulos, Antonio Filieri, Henry Hoffmann:
Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies Made Simple (Artifact). Dagstuhl Artifacts Ser. 3(1): 02:1-02:3 (2017)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/taas/FilieriMADGHHJK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/taas/FilieriMADGHHJK17
Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicolás D'Ippolito, Ilias Gerostathopoulos, Andreas Berndt Hempel, Henry Hoffmann, Pooyan Jamshidi, Evangelia Kalyvianaki, Cristian Klein, Filip Krikava, Sasa Misailovic, Alessandro Vittorio Papadopoulos, Suprio Ray, Amir Molzam Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel:
Control Strategies for Self-Adaptive Software Systems. ACM Trans. Auton. Adapt. Syst. 11(4): 24:1-24:31 (2017)
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MaggioPFH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MaggioPFH17
Martina Maggio, Alessandro Vittorio Papadopoulos, Antonio Filieri, Henry Hoffmann:
Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies Made Simple. SEAMS@ICSE 2017: 123-128
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/BorgesPFP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/BorgesPFP17
Mateus Borges, Quoc-Sang Phan, Antonio Filieri, Corina S. Pasareanu:
Model-Counting Approaches for Nonlinear Numerical Constraints. NFM 2017: 131-138
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/KellerGHFHL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/KellerGHFHL17
Fabian Keller, Lars Grunske, Simon Heiden, Antonio Filieri, André van Hoorn, David Lo:
A Critical Evaluation of Spectrum-Based Fault Localization Techniques on a Large-Scale Software System. QRS 2017: 114-125
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/MaggioPFH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/MaggioPFH17
Martina Maggio, Alessandro Vittorio Papadopoulos, Antonio Filieri, Henry Hoffmann:
Automated control of multiple software goals using multiple actuators. ESEC/SIGSOFT FSE 2017: 373-384
[p4]
- view
  authority control:
- export record
  dblp key:
  - books/sp/17/KephartDGRALFEF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/17/KephartDGRALFEF17
Jeffrey O. Kephart, Ada Diaconescu, Holger Giese, Anders Robertsson, Tarek F. Abdelzaher, Peter R. Lewis, Antonio Filieri, Lukas Esterle, Sylvain Frey:
Self-adaptation in Collective Self-aware Computing Systems. Self-Aware Computing Systems 2017: 401-435
[p3]
- view
  authority control:
- export record
  dblp key:
  - books/sp/17/SpinnerFKMR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/17/SpinnerFKMR17
Simon Spinner, Antonio Filieri, Samuel Kounev, Martina Maggio, Anders Robertsson:
Run-Time Models for Online Performance and Resource Management in Data Centers. Self-Aware Computing Systems 2017: 485-505
[i3]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/BorgesPFP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BorgesPFP17
Mateus Borges, Quoc-Sang Phan, Antonio Filieri, Corina S. Pasareanu:
Model-counting Approaches For Nonlinear Numerical Constraints. IACR Cryptol. ePrint Arch. 2017: 244 (2017)
2016
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/FilieriTG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/FilieriTG16
Antonio Filieri, Giordano Tamburrelli, Carlo Ghezzi:
Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time. IEEE Trans. Software Eng. 42(1): 75-99 (2016)
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/FilieriM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/FilieriM25
Antonio Filieri, Martina Maggio:
Control theory for software engineering: technical briefing. ICSE (Companion Volume) 2016: 908-910
2015
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BianculliFGM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BianculliFGM15
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli:
Syntactic-semantic incrementality for agile verification. Sci. Comput. Program. 97: 47-54 (2015)
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/gttse/DwyerFGGPV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gttse/DwyerFGGPV15
Matthew B. Dwyer, Antonio Filieri, Jaco Geldenhuys, Mitchell J. Gerrard, Corina S. Pasareanu, Willem Visser:
Probabilistic Program Analysis. GTTSE 2015: 1-25
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BianculliFGMR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BianculliFGMR15
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli, Alessandro Maria Rizzi:
Syntax-Driven Program Verification of Matching Logic Properties. FormaliSE@ICSE 2015: 68-74
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/FilieriMADGHHJK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/FilieriMADGHHJK15
Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicolás D'Ippolito, Ilias Gerostathopoulos, Andreas B. Hempel, Henry Hoffmann, Pooyan Jamshidi, Evangelia Kalyvianaki, Cristian Klein, Filip Krikava, Sasa Misailovic, Alessandro Vittorio Papadopoulos, Suprio Ray, Amir Molzam Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel:
Software Engineering Meets Control Theory. SEAMS@ICSE 2015: 71-82
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/FilieriGL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/FilieriGL15
Antonio Filieri, Lars Grunske, Alberto Leva:
Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models. ICSE (1) 2015: 200-211
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/FilieriPY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/FilieriPY15
Antonio Filieri, Corina S. Pasareanu, Guowei Yang:
Quantification of Software Changes through Probabilistic Symbolic Execution (N). ASE 2015: 703-708
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/qosa/ArcelliCFL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qosa/ArcelliCFL15
Davide Arcelli, Vittorio Cortellessa, Antonio Filieri, Alberto Leva:
Control Theory for Model-based Performance-driven Software Adaptation. QoSA 2015: 11-20
[c24]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/FilieriPVG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/FilieriPVG15
Antonio Filieri, Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys:
Statistical Symbolic Execution with Informed Sampling. Software Engineering & Management 2015: 51-52
[c23]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/FilieriHM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/FilieriHM15
Antonio Filieri, Henry Hoffmann, Martina Maggio:
Automated Design of Self-Adaptive Software with Control-Theoretical Formal Guarantees. Software Engineering & Management 2015: 112-113
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/FilieriHM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/FilieriHM15
Antonio Filieri, Henry Hoffmann, Martina Maggio:
Automated multi-objective control for self-adaptive software design. ESEC/SIGSOFT FSE 2015: 13-24
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BorgesFdP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BorgesFdP15
Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu:
Iterative distribution-aware sampling for probabilistic symbolic execution. ESEC/SIGSOFT FSE 2015: 866-877
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/FilieriFPV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/FilieriFPV15
Antonio Filieri, Marcelo F. Frias, Corina S. Pasareanu, Willem Visser:
Model Counting for Complex Data Structures. SPIN 2015: 222-241
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/2015ctse
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/2015ctse
Antonio Filieri, Martina Maggio:
Proceedings of the 1st International Workshop on Control Theory for Software Engineering, CTSE@SIGSOFT FSE 2015, Bergamo, Italy, August 31 - September 04, 2015. ACM 2015, ISBN 978-1-4503-3814-1 [contents]
[i2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/FilieriKMM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/FilieriKMM15
Antonio Filieri, Marta Kwiatkowska, Sasa Misailovic, Todd Mytkowicz:
Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491). Dagstuhl Reports 5(11): 151-179 (2015)
2014
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/CianconeFM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/CianconeFM14
Andrea Ciancone, Antonio Filieri, Raffaela Mirandola:
Testing operational transformations in model-driven engineering. Innov. Syst. Softw. Eng. 10(1): 19-32 (2014)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/CianconeDFGKM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/CianconeDFGKM14
Andrea Ciancone, Mauro Luigi Drago, Antonio Filieri, Vincenzo Grassi, Heiko Koziolek, Raffaela Mirandola:
The KlaperSuite framework for model-driven reliability analysis of component-based systems. Softw. Syst. Model. 13(4): 1269-1290 (2014)
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/FilieriHM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/FilieriHM14
Antonio Filieri, Henry Hoffmann, Martina Maggio:
Automated design of self-adaptive software with control-theoretical formal guarantees. ICSE 2014: 299-310
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BianculliFGM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BianculliFGM14
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli:
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows. ISoLA (1) 2014: 41-55
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/LuckowPDFV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/LuckowPDFV14
Kasper Søe Luckow, Corina S. Pasareanu, Matthew B. Dwyer, Antonio Filieri, Willem Visser:
Exact and approximate probabilistic symbolic execution for nondeterministic programs. ASE 2014: 575-586
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BorgesFdPV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BorgesFdPV14
Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu, Willem Visser:
Compositional solution space quantification for probabilistic software analysis. PLDI 2014: 123-132
[c15]
- view
  - electronic edition @ gi.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/se/FilieriPV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/FilieriPV14
Antonio Filieri, Corina S. Pasareanu, Willem Visser:
Reliability Analysis in Symbolic Pathfinder: A brief summary. Software Engineering 2014: 39-40
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/FilieriPVG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/FilieriPVG14
Antonio Filieri, Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys:
Statistical symbolic execution with informed sampling. SIGSOFT FSE 2014: 437-448
2013
[b1]
- view
  - electronic edition via handle.net
  - no references & citations available
- export record
  dblp key:
  - phd/it/Filieri13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/it/Filieri13
Antonio Filieri:
Model based verification and adaptation of software systems @runtime. Polytechnic University of Milan, Italy, 2013
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/FilieriPV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/FilieriPV13
Antonio Filieri, Corina S. Pasareanu, Willem Visser:
Reliability analysis in symbolic pathfinder. ICSE 2013: 622-631
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/GambiFD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/GambiFD13
Alessio Gambi, Antonio Filieri, Schahram Dustdar:
Iterative test suites refinement for elastic computing systems. ESEC/SIGSOFT FSE 2013: 635-638
[p2]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/FilieriT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/FilieriT13
Antonio Filieri, Giordano Tamburrelli:
Probabilistic Verification at Runtime for Self-Adaptive Systems. Assurances for Self-Adaptive Systems 2013: 30-59
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1304-8034
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1304-8034
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli:
A Syntactic-Semantic Approach to Incremental Verification. CoRR abs/1304.8034 (2013)
2012
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/FilieriGT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/FilieriGT12
Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli:
A formal approach to adaptive software: continuous assurance of non-functional requirements. Formal Aspects Comput. 24(2): 163-186 (2012)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEcca/FilieriGLM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEcca/FilieriGLM12
Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio:
Discrete-time dynamic modeling for software and services composition as an extension of the Markov chain approach. CCA 2012: 557-562
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/FilieriGLM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/FilieriGLM12
Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio:
Autotuning control structures for reliability-driven dynamic binding. CDC 2012: 418-423
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/FilieriG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/FilieriG12
Antonio Filieri, Carlo Ghezzi:
Further steps towards efficient runtime verification: handling probabilistic cost models. FormSERA@ICSE 2012: 2-8
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/FilieriGLM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/FilieriGLM12
Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio:
Reliability-driven dynamic binding via feedback control. SEAMS 2012: 43-52
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/FilieriGMT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/FilieriGMT12
Antonio Filieri, Carlo Ghezzi, Raffaela Mirandola, Giordano Tamburrelli:
Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification. Conquering Complexity 2012: 253-275
2011
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/cbse/DistefanoFGM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cbse/DistefanoFGM11
Salvatore Distefano, Antonio Filieri, Carlo Ghezzi, Raffaela Mirandola:
A compositional method for reliability analysis of workflows affected by multiple failure modes. CBSE 2011: 149-158
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/FilieriGT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/FilieriGT11
Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli:
Run-time efficient probabilistic model checking. ICSE 2011: 341-350
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/FilieriGLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/FilieriGLM11
Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio:
Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements. ASE 2011: 283-292
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/Filieri11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/Filieri11
Antonio Filieri:
QoS verification and model tuning @ runtime. SIGSOFT FSE 2011: 408-411
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/CianconeFDMG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/CianconeFDMG11
Andrea Ciancone, Antonio Filieri, Mauro Luigi Drago, Raffaela Mirandola, Vincenzo Grassi:
KlaperSuite: An Integrated Model-Driven Environment for Reliability and Performance Analysis of Component-Based Systems. TOOLS (49) 2011: 99-114
2010
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/cbse/FilieriGGM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cbse/FilieriGGM10
Antonio Filieri, Carlo Ghezzi, Vincenzo Grassi, Raffaela Mirandola:
Reliability Analysis of Component-Based Systems with Multiple Failure Modes. CBSE 2010: 1-20
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/quatic/CianconeFM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/quatic/CianconeFM10
Andrea Ciancone, Antonio Filieri, Raffaela Mirandola:
MANTra: Towards Model Transformation Testing. QUATIC 2010: 97-105

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.