Publications by category

See publications by year.
Check also on Google Schoolar, DBLP, and ACM DL.

Conferences

Banerjee, S. et al. Compositional Taint Analysis for Enforcing Security and Privacy Policies at Scale. Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE, 2023).
- -

@inproceedings{2023-fse-analysis,
  acronym = {ESEC/FSE},
  author = {Banerjee, Subarno and Cui, Siwei and Emmi, Michael and Filieri, Antonio and Hadarean, Liana and Li, Peixuan and Luo, Linghui and Piskachev, Goran and Rosner, Nicolas and Sengupta, Aritra and Tripp, Omer and Tout, Sean and Wang, Jingbo},
  booktitle = {Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering},
  doi = {10.1145/3611643.3613889},
  numpages = {12},
  publisher = {ACM},
  series = {ESEC/FSE 2023},
  title = {Compositional Taint Analysis for Enforcing Security and Privacy Policies at Scale},
  url = {https://2023.esec-fse.org/details/fse-2023-industry/30/Compositional-Taint-Analysis-for-Enforcing-Security-Policies-at-Scale},
  year = {2023}
}

Leeson, W., Dwyer, M. and Filieri, A. Sibyl: Improving Software Engineering Tools with SMT Selection. Proceedings of the 45th International Conference on Software Engineering (ICSE, 2023), 2185–2197, [Acceptance rate 209/796, 26%]. ACM Distinguished Paper Award
- - -

@inproceedings{2023-icse,
  acceptance = {209/796, 26\%},
  acronym = {ICSE},
  author = {Leeson, Will and Dwyer, Matthew and Filieri, Antonio},
  booktitle = {Proceedings of the 45th International Conference on Software Engineering},
  doi = {10.1109/ICSE48619.2023.00184},
  location = {Melbourne, Australia},
  notes = {ACM Distinguished Paper Award},
  numpages = {12},
  pages = {2185--2197},
  publisher = {IEEE},
  series = {ICSE 2023},
  title = {Sibyl: Improving Software Engineering Tools with SMT Selection},
  year = {2023}
}

Ji, X. and Filieri, A. Probabilistic Counterexample Guidance for Safer Reinforcement Learning. Quantitative Evaluation of Systems (QEST, 2023), 311–328.
- -

@inproceedings{2023-qest,
  acronym = {QEST},
  address = {Cham},
  author = {Ji, Xiaotong and Filieri, Antonio},
  booktitle = {Quantitative Evaluation of Systems},
  editor = {Jansen, Nils and Tribastone, Mirco},
  isbn = {978-3-031-43835-6},
  pages = {311--328},
  publisher = {Springer Nature Switzerland},
  title = {Probabilistic Counterexample Guidance for Safer Reinforcement Learning},
  year = {2023}
}

Hossain, S.B., Filieri, A., Dwyer, M.B., Elbaum, S. and Visser, W. Neural-Based Test Oracle Generation: A Large-scale Evaluation and Lessons Learned. Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE, 2023).
- - -

@inproceedings{2023-fse-testing,
  acronym = {ESEC/FSE},
  author = {Hossain, Soneya Binta and Filieri, Antonio and Dwyer, Matthew B. and Elbaum, Sebastian and Visser, Willem},
  booktitle = {Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering},
  doi = {10.1145/3611643.3616265},
  numpages = {12},
  publisher = {ACM},
  series = {ESEC/FSE 2023},
  title = {Neural-Based Test Oracle Generation: A Large-scale Evaluation and Lessons Learned},
  url = {https://2023.esec-fse.org/details/fse-2023-research-papers/24/Neural-Based-Test-Oracle-Generation-A-Large-scale-Evaluation-and-Lessons-Learned},
  year = {2023}
}

Christakis, M. et al. Input Splitting for Cloud-Based Static Application Security Testing Platforms. Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE, 2022), 1367–1378.
- -

@inproceedings{2022-fse,
  acronym = {ESEC/FSE},
  address = {New York, NY, USA},
  author = {Christakis, Maria and Cottenier, Thomas and Filieri, Antonio and Luo, Linghui and Mansur, Muhammad Numair and Pike, Lee and Rosner, Nicol\'{a}s and Sch\"{a}f, Martin and Sengupta, Aritra and Visser, Willem},
  booktitle = {Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering},
  doi = {10.1145/3540250.3558944},
  isbn = {9781450394130},
  keywords = {software security, API usage checking, static analysis in the cloud},
  location = {Singapore, Singapore},
  numpages = {12},
  pages = {1367–-1378},
  publisher = {ACM},
  series = {ESEC/FSE 2022},
  title = {Input Splitting for Cloud-Based Static Application Security Testing Platforms},
  year = {2022}
}

Wang, R., Casale, G. and Filieri, A. Enhancing Performance Modeling of Serverless Functions via Static Analysis. Proceedings of the International Conference on Service-Oriented Computing (ICSOC, 2022), 71–88. Best Paper Award
- -

@inproceedings{2022-icsoc,
  acronym = {ICSOC},
  author = {Wang, Runan and Casale, Giuliano and Filieri, Antonio},
  booktitle = {Proceedings of the International Conference on Service-Oriented Computing},
  doi = {10.1007/978-3-031-20984-0_5},
  editor = {Troya, Javier and Medjahed, Brahim and Piattini, Mario and Yao, Lina and Fern{\'a}ndez, Pablo and Ruiz-Cort{\'e}s, Antonio},
  isbn = {978-3-031-20984-0},
  notes = {Best Paper Award},
  pages = {71--88},
  publisher = {Springer},
  title = {Enhancing Performance Modeling of Serverless Functions via Static Analysis},
  year = {2022}
}

Luo, Y., Filieri, A. and Zhou, Y. SYMPAIS: SYMbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis. Proceedings of the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE, 2021), 23–28, [Acceptance rate 97/396, 24.5%].
- - -

@inproceedings{2021-fse,
  acceptance = {97/396, 24.5\%},
  acronym = {ESEC/FSE},
  author = {Luo, Yicheng and Filieri, Antonio and Zhou, Yuan},
  booktitle = {Proceedings of the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering},
  doi = {10.1145/3468264.3468593},
  location = {Athens, Greece},
  numpages = {12},
  pages = {23-28},
  publisher = {ACM},
  series = {ESEC/FSE 2021},
  title = {SYMPAIS: SYMbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis},
  year = {2021}
}

Wang, R., Casale, G. and Filieri, A. Service Distribution Estimation for Microservices Using Markovian Arrival Processes. Proceedings of the 18th International Conference on Quantitative Evaluation of SysTems (QEST, 2021), 1–19.
- -

@inproceedings{2021-qest,
  acronym = {QEST},
  author = {Wang, Runan and Casale, Giuliano and Filieri, Antonio},
  booktitle = {Proceedings of the 18th International Conference on Quantitative Evaluation of SysTems},
  doi = {10.1007/978-3-030-85172-9_17},
  location = {Paris, France},
  numpages = {19},
  pages = {1-19},
  publisher = {Springer},
  series = {QEST 2021},
  title = {Service Distribution Estimation for Microservices Using Markovian Arrival Processes},
  year = {2021}
}

Converse, H., Filieri, A., Gopinath, D. and Păsăreanu, C.S. Probabilistic Symbolic Analysis of Neural Networks. 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE) (ISSRE, 2020), 148–159.
- -

@inproceedings{2020-issre,
  acronym = {ISSRE},
  author = {{Converse}, H. and {Filieri}, A. and {Gopinath}, D. and {Păsăreanu}, C. S.},
  booktitle = {2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE)},
  doi = {10.1109/ISSRE5003.2020.00023},
  pages = {148--159},
  title = {Probabilistic Symbolic Analysis of Neural Networks},
  year = {2020}
}

Clun, D., Heerden, P. van, Filieri, A. and Visser, W. Improving Symbolic Automata Learning with Concolic Execution. Fundamental Approaches to Software Engineering (FASE, 2020), 3–26.
- -

@inproceedings{2020-fase,
  acronym = {FASE},
  address = {Cham},
  author = {Clun, Donato and van Heerden, Phillip and Filieri, Antonio and Visser, Willem},
  booktitle = {Fundamental Approaches to Software Engineering},
  doi = {10.1007/978-3-030-45234-6_1},
  editor = {Wehrheim, Heike and Cabot, Jordi},
  isbn = {978-3-030-45234-6},
  pages = {3--26},
  publisher = {Springer International Publishing},
  title = {Improving Symbolic Automata Learning with Concolic Execution},
  year = {2020}
}

Maggio, M., Papadopoulos, A.V., Filieri, A. and Hoffmann, H. Automated Control of Multiple Software Goals using Multiple Actuators. Proceedings of the 12th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE, 2017), 373–384, [Acceptance rate 72/295, 24.4%].
- -

@inproceedings{2017-fse,
  acceptance = {72/295, 24.4\%},
  acronym = {ESEC/FSE},
  author = {Maggio, Martina and Papadopoulos, Alessandro Vittorio and Filieri, Antonio and Hoffmann, Henry},
  booktitle = {Proceedings of the 12th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering},
  doi = {10.1145/3106237.3106247},
  keywords = {Adaptive software, control theory, dynamic systems, non-functional requirements, model predictive control},
  location = {Padeborn, Germany},
  numpages = {12},
  pages = {373--384},
  publisher = {ACM},
  series = {ESEC/FSE 2017},
  title = {Automated Control of Multiple Software Goals using Multiple Actuators},
  year = {2017}
}

Keller, F., Grunske, L., Heiden, S., Filieri, A., van Hoorn, A. and Lo, D. A Critical Evaluation of Spectrum-Based Fault Localization Techniques on A Large-Scale Software System. 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS, 2017), [Acceptance rate 25/97, 25.7%].
- -

@inproceedings{2017-qrs,
  acceptance = {25/97, 25.7\%},
  acronym = {QRS},
  author = {Keller, Fabian and Grunske, Lars and Heiden, Simon and Filieri, Antonio and van~Hoorn, Andre and Lo, David},
  booktitle = {2017 IEEE International Conference on Software Quality, Reliability and Security},
  doi = {10.1109/QRS.2017.22},
  location = {Prague, Czech Republic},
  publisher = {IEEE},
  title = {A Critical Evaluation of Spectrum-Based Fault Localization Techniques on A Large-Scale Software System},
  year = {2017}
}

Filieri, A., Frias, M.F., Păsăreanu, C.S. and Visser, W. Model Counting for Complex Data Structures. Model Checking Software (SPIN, 2015), 222–241.
- -

@inproceedings{2015-spin,
  acronym = {SPIN},
  author = {Filieri, Antonio and Frias, MarceloF. and Păsăreanu, Corina S. and Visser, Willem},
  booktitle = {Model Checking Software},
  doi = {10.1007/978-3-319-23404-5_15},
  editor = {Fischer, Bernd and Geldenhuys, Jaco},
  isbn = {978-3-319-23403-8},
  keywords = {Model counting; Probabilistic software analysis; Symbolic execution},
  pages = {222--241},
  publisher = {Springer International Publishing},
  series = {Lecture Notes in Computer Science},
  title = {Model Counting for Complex Data Structures},
  volume = {9232},
  year = {2015}
}

Filieri, A., Hoffmann, H. and Maggio, M. Automated Multi-Objective Control for Self-Adaptive Software Design. Proceedings of the 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE, 2015), 13–24, [Acceptance rate 74/291, 25.4%].
- -

@inproceedings{2015-fse-control,
  acceptance = {74/291, 25.4\%},
  acronym = {ESEC/FSE},
  author = {Filieri, Antonio and Hoffmann, Henry and Maggio, Martina},
  booktitle = {Proceedings of the 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering},
  doi = {10.1145/2786805.2786833},
  isbn = {978-1-4503-3675-8},
  keywords = {Adaptive software, control theory, dynamic systems, non-functional requirements, run-time verification},
  location = {Bergamo, Italy},
  numpages = {12},
  pages = {13--24},
  publisher = {ACM},
  series = {ESEC/FSE 2015},
  title = {Automated Multi-Objective Control for Self-Adaptive Software Design},
  year = {2015}
}

Borges, M., Filieri, A., d’Amorim, M. and Păsăreanu, C.S. Iterative Distribution-Aware Sampling for Probabilistic Symbolic Execution. Proceedings of the 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE, 2015), 866–877, [Acceptance rate 74/291, 25.4%].
- - -

@inproceedings{2015-fse-qcoral,
  acceptance = {74/291, 25.4\%},
  acronym = {ESEC/FSE},
  author = {Borges, Mateus and Filieri, Antonio and d'Amorim, Marcelo and P\u{a}s\u{a}reanu, Corina S.},
  booktitle = {Proceedings of the 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering},
  doi = {10.1145/2786805.2786832},
  isbn = {978-1-4503-3675-8},
  keywords = {Adaptive software, control theory, dynamic systems, non-functional requirements, run-time verification},
  location = {Bergamo, Italy},
  numpages = {12},
  pages = {866--877},
  publisher = {ACM},
  series = {ESEC/FSE 2015},
  title = {Iterative Distribution-Aware Sampling for Probabilistic Symbolic Execution},
  year = {2015}
}

Filieri, A., Grunske, L. and Leva, A. Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models. Proceedings of the 37th International Conference on Software Engineering (ICSE, 2015), 200–211, [Acceptance rate 84/452, 18.5%].
- - -

@inproceedings{2015-icse,
  acceptance = {84/452, 18.5\%},
  acronym = {ICSE},
  author = {Filieri, Antonio and Grunske, Lars and Leva, Alberto},
  booktitle = {Proceedings of the 37th International Conference on Software Engineering},
  doi = {10.1109/ICSE.2015.41},
  isbn = {978-1-4799-1934-5},
  keywords = {Adaptive software, control theory, dynamic systems, non-functional requirements, run-time verification},
  location = {Florence, Italy},
  numpages = {12},
  pages = {200--211},
  publisher = {IEEE},
  series = {ICSE 2015},
  title = {Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models},
  year = {2015}
}

Filieri, A. et al. Software Engineering Meets Control Theory. Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS, 2015), [Acceptance rate 16/55, 29%].
- -

@inproceedings{2015-seams,
  acceptance = {16/55, 29\%},
  acronym = {SEAMS},
  author = {Filieri, Antonio and Maggio, Martina and Angelopoulos, Konstantinos and D'Ippolito, Nicolas and Gerostathopoulos, Ilias and Hempel, Andreas B. and Hoffmann, Henry and Jamshidi, Pooyan and Kalyvianaki, Evangelia and Klein, Cristian and Krikava, Filip and Misailovic, Sasa and Papadopoulos, Alessandro V. and Ray, Suprio and Sharifloo, Amir M. and Shevtsov, Stepan and Ujma, Mateusz and Vogel, Thomas},
  booktitle = {Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems},
  doi = {10.1109/SEAMS.2015.12},
  location = {Firenze, Italy},
  numpages = {12},
  publisher = {IEEE},
  series = {SEAMS '15},
  title = {Software Engineering Meets Control Theory},
  year = {2015}
}

Arcelli, D., Cortellessa, V., Filieri, A. and Leva, A. Control Theory for Model-based Performance-driven Software Adaptation. Proceedings of the 11th International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA, 2015).
- -

@inproceedings{2015-qosa,
  acronym = {QoSA},
  author = {Arcelli, Davide and Cortellessa, Vittorio and Filieri, Antonio and Leva, Alberto},
  booktitle = {Proceedings of the 11th International ACM Sigsoft Conference on the Quality of Software Architectures},
  doi = {10.1145/2737182.2737187},
  location = {Montreal, Canada},
  numpages = {12},
  publisher = {ACM},
  series = {QoSA 2015},
  title = {Control Theory for Model-based Performance-driven Software Adaptation},
  year = {2015}
}

Filieri, A., Hoffmann, H. and Maggio, M. Automated Design of Self-adaptive Software with Control-theoretical Formal Guarantees. Proceedings of the 36th International Conference on Software Engineering (ICSE, 2014), 299–310, [Acceptance rate 99/495, 20%].
- - -

@inproceedings{2014-icse,
  acceptance = {99/495, 20\%},
  acmid = {2568272},
  acronym = {ICSE},
  address = {New York, NY, USA},
  author = {Filieri, Antonio and Hoffmann, Henry and Maggio, Martina},
  booktitle = {Proceedings of the 36th International Conference on Software Engineering},
  doi = {10.1145/2568225.2568272},
  isbn = {978-1-4503-2756-5},
  keywords = {Adaptive software, control theory, dynamic systems, non-functional requirements, run-time verification},
  location = {Hyderabad, India},
  numpages = {12},
  pages = {299--310},
  publisher = {ACM},
  series = {ICSE 2014},
  title = {Automated Design of Self-adaptive Software with Control-theoretical Formal Guarantees},
  year = {2014}
}

Borges, M., Filieri, A., d’Amorim, M., Păsăreanu, C.S. and Visser, W. Compositional Solution Space Quantification for Probabilistic Software Analysis. Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI, 2014), 123–132, [Acceptance rate 52/287, 18.1%].
- -

@inproceedings{2014-pldi,
  acceptance = {52/287, 18.1\%},
  acmid = {2594329},
  acronym = {PLDI},
  address = {New York, NY, USA},
  author = {Borges, Mateus and Filieri, Antonio and d'Amorim, Marcelo and P\u{a}s\u{a}reanu, Corina S. and Visser, Willem},
  booktitle = {Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation},
  doi = {10.1145/2594291.2594329},
  isbn = {978-1-4503-2784-8},
  keywords = {Monte Carlo sampling, probabilistic analysis, symbolic execution, testing},
  location = {Edinburgh, United Kingdom},
  numpages = {10},
  pages = {123--132},
  publisher = {ACM},
  series = {PLDI '14},
  title = {Compositional Solution Space Quantification for Probabilistic Software Analysis},
  year = {2014}
}

Filieri, A., Păsăreanu, C.S., Visser, W. and Geldenhuys, J. Statistical Symbolic Execution with Informed Sampling. Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE, 2014), 437–448, [Acceptance rate 61/273, 22%].
- -

@inproceedings{2014-fse,
  acceptance = {61/273, 22\%},
  acmid = {2635899},
  acronym = {FSE},
  address = {New York, NY, USA},
  author = {Filieri, Antonio and P\u{a}s\u{a}reanu, Corina S. and Visser, Willem and Geldenhuys, Jaco},
  booktitle = {Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering},
  doi = {10.1145/2635868.2635899},
  isbn = {978-1-4503-3056-5},
  keywords = {Statistical Symbolic Execution},
  location = {Hong Kong, China},
  numpages = {12},
  pages = {437--448},
  publisher = {ACM},
  series = {FSE 14},
  title = {Statistical Symbolic Execution with Informed Sampling},
  year = {2014}
}

Luckow, K., Păsăreanu, C.S., Dwyer, M.B., Filieri, A. and Visser, W. Exact and Approximate Probabilistic Symbolic Execution for Nondeterministic Programs. Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering (ASE, 2014), 575–586, [Acceptance rate 55/337, 16.3%].
- -

@inproceedings{2014-ase,
  acceptance = {55/337, 16.3\%},
  acmid = {2643011},
  acronym = {ASE},
  address = {New York, NY, USA},
  author = {Luckow, Kasper and P\u{a}s\u{a}reanu, Corina S. and Dwyer, Matthew B. and Filieri, Antonio and Visser, Willem},
  booktitle = {Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering},
  doi = {10.1145/2642937.2643011},
  isbn = {978-1-4503-3013-8},
  keywords = {nondeterministic programs, probabilistic software analysis, symbolic execution},
  location = {Vasteras, Sweden},
  numpages = {12},
  pages = {575--586},
  publisher = {ACM},
  series = {ASE '14},
  title = {Exact and Approximate Probabilistic Symbolic Execution for Nondeterministic Programs},
  year = {2014}
}

Bianculli, D., Filieri, A., Ghezzi, C. and Mandrioli, D. Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (IS0LA, 2014), 41–55.
- -

@inproceedings{2014-isola,
  acronym = {IS0LA},
  author = {Bianculli, Domenico and Filieri, Antonio and Ghezzi, Carlo and Mandrioli, Dino},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change},
  doi = {10.1007/978-3-662-45234-9_4},
  editor = {Margaria, Tiziana and Steffen, Bernhard},
  isbn = {978-3-662-45233-2},
  pages = {41--55},
  publisher = {Springer Berlin Heidelberg},
  series = {Lecture Notes in Computer Science},
  title = {Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows},
  volume = {8802},
  year = {2014}
}

Filieri, A., Păsăreanu, C.S. and Visser, W. Reliability Analysis in Symbolic Pathfinder. Proceedings of the 35th International Conference on Software Engineering (ICSE, 2013), 622–631, [Acceptance rate 85/461, 18.5%].
- -

@inproceedings{2013-icse,
  acceptance = {85/461, 18.5\%},
  acmid = {2486870},
  acronym = {ICSE},
  address = {Piscataway, NJ, USA},
  author = {Filieri, Antonio and P\u{a}s\u{a}reanu, Corina S. and Visser, Willem},
  booktitle = {Proceedings of the 35th International Conference on Software Engineering},
  doi = {10.1109/ICSE.2013.6606608},
  isbn = {978-1-4673-3076-3},
  location = {San Francisco, CA, USA},
  numpages = {10},
  pages = {622--631},
  publisher = {IEEE Press},
  series = {ICSE '13},
  title = {Reliability Analysis in Symbolic Pathfinder},
  year = {2013}
}

Filieri, A., Ghezzi, C., Leva, A. and Maggio, M. Discrete-time dynamic modeling for software and services composition as an extension of the Markov chain approach. Proceedings of the IEEE International Conference on Control Applications (CCA, 2012), 557–562.
- -

@inproceedings{2012-cca,
  acronym = {CCA},
  author = {Filieri, A. and Ghezzi, C. and Leva, A. and Maggio, M.},
  booktitle = {Proceedings of the IEEE International Conference on Control Applications},
  doi = {10.1109/CCA.2012.6402664},
  issn = {1085-1992},
  pages = {557--562},
  title = {Discrete-time dynamic modeling for software and services composition as an extension of the Markov chain approach},
  year = {2012}
}

Filieri, A., Ghezzi, C., Leva, A. and Maggio, M. Autotuning control structures for reliability-driven dynamic binding. Proceedings of the IEEE 51st Annual Conference on Decision and Control (CDC, 2012), 418–423.
- -

@inproceedings{2012-cdc,
  acronym = {CDC},
  author = {Filieri, A. and Ghezzi, C. and Leva, A. and Maggio, M.},
  booktitle = {Proceedings of the IEEE 51st Annual Conference on Decision and Control},
  doi = {10.1109/CDC.2012.6426402},
  issn = {0743-1546},
  pages = {418--423},
  title = {Autotuning control structures for reliability-driven dynamic binding},
  year = {2012}
}

Filieri, A., Ghezzi, C., Leva, A. and Maggio, M. Reliability-driven Dynamic Binding via Feedback Control. Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS, 2012), 43–52, [Acceptance rate 15/50, 30%].
- -

@inproceedings{2012-seams,
  acceptance = {15/50, 30\%},
  acmid = {2666804},
  acronym = {SEAMS},
  address = {Piscataway, NJ, USA},
  author = {Filieri, Antonio and Ghezzi, Carlo and Leva, Alberto and Maggio, Martina},
  booktitle = {Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems},
  doi = {10.1109/SEAMS.2012.6224390},
  isbn = {978-1-4673-1787-0},
  keywords = {discrete-time feedback control, dynamic binding, reliability requirements, self-adaptive software},
  location = {Zurich, Switzerland},
  numpages = {10},
  pages = {43--52},
  publisher = {IEEE Press},
  series = {SEAMS '12},
  title = {Reliability-driven Dynamic Binding via Feedback Control},
  year = {2012}
}

Filieri, A., Ghezzi, C., Leva, A. and Maggio, M. Self-adaptive Software Meets Control Theory: A Preliminary Approach Supporting Reliability Requirements. Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE, 2011), 283–292, [Acceptance rate 37/252, 14.7%].
- -

@inproceedings{2011-ase,
  acceptance = {37/252, 14.7\%},
  acmid = {2190183},
  acronym = {ASE},
  address = {Washington, DC, USA},
  author = {Filieri, Antonio and Ghezzi, Carlo and Leva, Alberto and Maggio, Martina},
  booktitle = {Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering},
  doi = {10.1109/ASE.2011.6100064},
  isbn = {978-1-4577-1638-6},
  numpages = {10},
  pages = {283--292},
  publisher = {IEEE Computer Society},
  series = {ASE '11},
  title = {Self-adaptive Software Meets Control Theory: A Preliminary Approach Supporting Reliability Requirements},
  year = {2011}
}

Filieri, A., Ghezzi, C. and Tamburrelli, G. Run-time Efficient Probabilistic Model Checking. Proceedings of the 33rd International Conference on Software Engineering (ICSE, 2011), 341–350, [Acceptance rate 62/441, 14.1%]. ACM SigSoft Distinguished Paper Award
- -

@inproceedings{2011-icse,
  acceptance = {62/441, 14.1\%},
  acmid = {1985840},
  acronym = {ICSE},
  address = {New York, NY, USA},
  author = {Filieri, Antonio and Ghezzi, Carlo and Tamburrelli, Giordano},
  booktitle = {Proceedings of the 33rd International Conference on Software Engineering},
  doi = {10.1145/1985793.1985840},
  isbn = {978-1-4503-0445-0},
  keywords = {discrete time markov chains, run-time model checking},
  location = {Waikiki, Honolulu, HI, USA},
  notes = {ACM SigSoft Distinguished Paper Award},
  numpages = {10},
  pages = {341--350},
  publisher = {ACM},
  series = {ICSE '11},
  title = {Run-time Efficient Probabilistic Model Checking},
  url = {http://doi.acm.org/10.1145/1985793.1985840},
  year = {2011}
}

Ciancone, A., Filieri, A., Drago, M.L., Mirandola, R. and Grassi, V. KlaperSuite: An Integrated Model-Driven Environment for Reliability and Performance Analysis of Component-Based Systems. Objects, Models, Components, Patterns (TOOLS, 2011), 99–114, [Acceptance rate 19/66, 28.8%].
- -

@inproceedings{2011-tools,
  acceptance = {19/66, 28.8\%},
  acronym = {TOOLS},
  author = {Ciancone, Andrea and Filieri, Antonio and Drago, MauroLuigi and Mirandola, Raffaela and Grassi, Vincenzo},
  booktitle = {Objects, Models, Components, Patterns},
  doi = {10.1007/978-3-642-21952-8_9},
  editor = {Bishop, Judith and Vallecillo, Antonio},
  isbn = {978-3-642-21951-1},
  language = {English},
  pages = {99--114},
  publisher = {Springer Berlin Heidelberg},
  series = {Lecture Notes in Computer Science},
  title = {KlaperSuite: An Integrated Model-Driven Environment for Reliability and Performance Analysis of Component-Based Systems},
  volume = {6705},
  year = {2011}
}

Distefano, S., Filieri, A., Ghezzi, C. and Mirandola, R. A Compositional Method for Reliability Analysis of Workflows Affected by Multiple Failure Modes. Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering (CBSE, 2011), 149–158, [Acceptance rate 29%].
- -

@inproceedings{2011-cbse,
  acceptance = {29\%},
  acmid = {2000251},
  acronym = {CBSE},
  address = {New York, NY, USA},
  author = {Distefano, Salvatore and Filieri, Antonio and Ghezzi, Carlo and Mirandola, Raffaela},
  booktitle = {Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering},
  doi = {10.1145/2000229.2000251},
  isbn = {978-1-4503-0723-9},
  keywords = {components, probability, reliability, services, workflow},
  location = {Boulder, Colorado, USA},
  numpages = {10},
  pages = {149--158},
  publisher = {ACM},
  series = {CBSE '11},
  title = {A Compositional Method for Reliability Analysis of Workflows Affected by Multiple Failure Modes},
  url = {http://doi.acm.org/10.1145/2000229.2000251},
  year = {2011}
}

Ciancone, A., Filieri, A. and Mirandola, R. MANTra: Towards Model Transformation Testing. Quality of Information and Communications Technology (QUATIC), 2010 Seventh International Conference on the (QUATIC, 2010), 97–105, [Acceptance rate 16/140, 11.4%]. Best Paper Award of the Verification and Validation Track
- -

@inproceedings{2010-quatic,
  acceptance = {16/140, 11.4\%},
  acronym = {QUATIC},
  author = {Ciancone, A. and Filieri, A. and Mirandola, R.},
  booktitle = {Quality of Information and Communications Technology (QUATIC), 2010 Seventh International Conference on the},
  doi = {10.1109/QUATIC.2010.15},
  notes = {Best Paper Award of the Verification and Validation Track},
  pages = {97--105},
  title = {MANTra: Towards Model Transformation Testing},
  year = {2010}
}

Filieri, A., Ghezzi, C., Grassi, V. and Mirandola, R. Reliability Analysis of Component-based Systems with Multiple Failure Modes. Proceedings of the 13th International Conference on Component-Based Software Engineering (CBSE, 2010), 1–20, [Acceptance rate 14/48, 29.2%]. Best Paper Award
- -

@inproceedings{2010-cbse,
  acceptance = {14/48, 29.2\%},
  acmid = {2176907},
  acronym = {CBSE},
  address = {Berlin, Heidelberg},
  author = {Filieri, Antonio and Ghezzi, Carlo and Grassi, Vincenzo and Mirandola, Raffaela},
  booktitle = {Proceedings of the 13th International Conference on Component-Based Software Engineering},
  doi = {10.1007/978-3-642-13238-4_1},
  isbn = {3-642-13237-5, 978-3-642-13237-7},
  location = {Prague, Czech Republic},
  notes = {Best Paper Award},
  numpages = {20},
  pages = {1--20},
  publisher = {Springer-Verlag},
  series = {CBSE'10},
  title = {Reliability Analysis of Component-based Systems with Multiple Failure Modes},
  url = {http://dx.doi.org/10.1007/978-3-642-13238-4_1},
  year = {2010}
}

top

Journals

Clun, D., Shin, D., Filieri, A. and Bianculli, D. Rigorous Assessment of Model Inference Accuracy using Language Cardinality. ACM Transactions on Software Engineering and Methodology. (Jan. 2024).
- - -

@article{2024-tosem,
  author = {Clun, Donato and Shin, Donghwan and Filieri, Antonio and Bianculli, Domenico},
  title = {Rigorous Assessment of Model Inference Accuracy using Language Cardinality},
  year = {2024},
  publisher = {ACM},
  address = {New York, NY, USA},
  issn = {1049-331X},
  doi = {10.1145/3640332},
  journal = {ACM Transactions on Software Engineering and Methodology},
  month = jan,
  acronym = {TOSEM}
}

Wang, R., Casale, G. and Filieri, A. Estimating Multiclass Service Demand Distributions Using Markovian Arrival Processes. ACM Trans. Model. Comput. Simul. 33, 1–2 (Feb. 2023).
- -

@article{2022-tomacs,
  author = {Wang, Runan and Casale, Giuliano and Filieri, Antonio},
  title = {Estimating Multiclass Service Demand Distributions Using Markovian Arrival Processes},
  year = {2023},
  publisher = {ACM},
  address = {New York, NY, USA},
  issn = {1049-3301},
  doi = {10.1145/3570924},
  journal = {ACM Trans. Model. Comput. Simul.},
  month = feb,
  articleno = {2},
  numpages = {26},
  volume = {33},
  number = {1–2},
  acronym = {TOMACS}
}

Alnafessah, A., Gias, A.U., Wang, R., Zhu, L., Casale, G. and Filieri, A. Quality-Aware DevOps Research: Where Do We Stand? IEEE Access. 9, (2021), 44476–44489.
- -

@article{2021-ieee-access,
  author = {Alnafessah, Ahmad and Gias, Alim Ul and Wang, Runan and Zhu, Lulai and Casale, Giuliano and Filieri, Antonio},
  journal = {IEEE Access},
  title = {Quality-Aware DevOps Research: Where Do We Stand?},
  year = {2021},
  volume = {9},
  pages = {44476-44489},
  doi = {10.1109/ACCESS.2021.3064867},
  acronym = {IEEE Access}
}

Gerrard, M., Borges, M., Dwyer, M. and Fillieri, A. Conditional Quantitative Program Analysis. IEEE Transactions on Software Engineering. (2020).
- -

@article{2020-tse,
  author = {{Gerrard}, M. and {Borges}, M. and {Dwyer}, M. and {Fillieri}, A.},
  journal = {IEEE Transactions on Software Engineering},
  title = {Conditional Quantitative Program Analysis},
  year = {2020},
  doi = {10.1109/TSE.2020.3016778},
  acronym = {SPE}
}

Heiden, S., Grunske, L., Kehrer, T., Keller, F., Hoorn, A. van, Filieri, A. and Lo, D. An evaluation of pure spectrum-based fault localization techniques for large-scale software systems. Software: Practice and Experience. (2019), 1–28.
- -

@article{2019-spe,
  author = {Heiden, Simon and Grunske, Lars and Kehrer, Timo and Keller, Fabian and van Hoorn, Andre and Filieri, Antonio and Lo, David},
  title = {An evaluation of pure spectrum-based fault localization techniques for large-scale software systems},
  journal = {Software: Practice and Experience},
  publisher = {Wiley},
  issn = {0038-0644},
  doi = {10.1002/spe.2703},
  year = {2019},
  pages = {1--28},
  acronym = {SPE}
}

Filieri, A. et al. Control Strategies for Self-Adaptive Software Systems. ACM Trans. Auton. Adapt. Syst. 11, 4 (2017), 24:1–24:31.
- -

@article{2017-taas,
  author = {Filieri, Antonio and Maggio, Martina and Angelopoulos, Konstantinos and D'ippolito, Nicol\'{a}s and Gerostathopoulos, Ilias and Hempel, Andreas Berndt and Hoffmann, Henry and Jamshidi, Pooyan and Kalyvianaki, Evangelia and Klein, Cristian and Krikava, Filip and Misailovic, Sasa and Papadopoulos, Alessandro V. and Ray, Suprio and Sharifloo, Amir M. and Shevtsov, Stepan and Ujma, Mateusz and Vogel, Thomas},
  title = {Control Strategies for Self-Adaptive Software Systems},
  journal = {ACM Trans. Auton. Adapt. Syst.},
  volume = {11},
  number = {4},
  year = {2017},
  issn = {1556-4665},
  pages = {24:1--24:31},
  articleno = {24},
  numpages = {31},
  doi = {10.1145/3024188},
  acmid = {3024188},
  publisher = {ACM},
  address = {New York, NY, USA},
  acronym = {TAAS}
}

Filieri, A., Tamburrelli, G. and Ghezzi, C. Supporting Self-adaptation via Quantitative Verification and Sensitivity Analysis at Run Time. IEEE Transactions on Software Engineering. 42, 1 (2016), 75–99.
- - -

@article{2016-tse,
  title = {Supporting Self-adaptation via Quantitative Verification and Sensitivity Analysis at Run Time},
  author = {Filieri, Antonio and Tamburrelli, Giordano and Ghezzi, Carlo},
  journal = {IEEE Transactions on Software Engineering},
  publisher = {IEEE},
  year = {2016},
  volume = {42},
  number = {1},
  pages = {75--99},
  doi = {10.1109/TSE.2015.2421318},
  issn = {0098-5589}
}

Bianculli, D., Filieri, A., Ghezzi, C. and Mandrioli, D. Syntactic-semantic incrementality for agile verification. Science of Computer Programming. 97, Part 1, (2015), 47–54.
- -

@article{2015-scico,
  title = {Syntactic-semantic incrementality for agile verification},
  author = {Bianculli, Domenico and Filieri, Antonio and Ghezzi, Carlo and Mandrioli, Dino},
  journal = {Science of Computer Programming},
  volume = {97, Part 1},
  pages = {47--54},
  year = {2015},
  note = {Special Issue on New Ideas and Emerging Results in Understanding Software},
  issn = {0167-6423},
  doi = {10.1016/j.scico.2013.11.026},
  url = {http://www.sciencedirect.com/science/article/pii/S0167642313003109}
}

Borges, M., Filieri, A., d’Amorim, M., Păsăreanu, C.S. and Visser, W. Compositional Solution Space Quantification for Probabilistic Software Analysis. SIGPLAN Not. 49, 6 (2014), 123–132, [Special issue on PLDI 2014].
- -

@article{2014-pldi,
  title = {Compositional Solution Space Quantification for Probabilistic Software Analysis},
  author = {Borges, Mateus and Filieri, Antonio and d'Amorim, Marcelo and P\u{a}s\u{a}reanu, Corina S. and Visser, Willem},
  journal = {SIGPLAN Not.},
  issue_date = {June 2014},
  volume = {49},
  number = {6},
  year = {2014},
  issn = {0362-1340},
  pages = {123--132},
  numpages = {10},
  doi = {10.1145/2666356.2594329},
  acmid = {2594329},
  publisher = {ACM},
  address = {New York, NY, USA},
  keywords = {Monte Carlo sampling, probabilistic analysis, symbolic execution, testing},
  notes2 = {[Special issue on PLDI 2014]}
}

Ciancone, A., Drago, M.L., Filieri, A., Grassi, V., Koziolek, H. and Mirandola, R. The KlaperSuite framework for model-driven reliability analysis of component-based systems. Software & Systems Modeling. 13, 4 (2014), 1269–1290.
- -

@article{2014-sosym,
  title = {The KlaperSuite framework for model-driven reliability analysis of component-based systems},
  author = {Ciancone, Andrea and Drago, MauroLuigi and Filieri, Antonio and Grassi, Vincenzo and Koziolek, Heiko and Mirandola, Raffaela},
  year = {2014},
  issn = {1619-1366},
  journal = {Software & Systems Modeling},
  volume = {13},
  number = {4},
  doi = {10.1007/s10270-013-0334-8},
  url = {http://dx.doi.org/10.1007/s10270-013-0334-8},
  publisher = {Springer Berlin Heidelberg},
  keywords = {Model-driven engineering; Reliability analysis and Component-based systems},
  pages = {1269--1290}
}

Ciancone, A., Filieri, A. and Mirandola, R. Testing operational transformations in model-driven engineering. Innovations in Systems and Software Engineering. 10, 1 (2014), 19–32.
- -

@article{2014-isse,
  title = {Testing operational transformations in model-driven engineering},
  author = {Ciancone, Andrea and Filieri, Antonio and Mirandola, Raffaela},
  year = {2014},
  issn = {1614-5046},
  journal = {Innovations in Systems and Software Engineering},
  volume = {10},
  number = {1},
  doi = {10.1007/s11334-013-0208-9},
  url = {http://dx.doi.org/10.1007/s11334-013-0208-9},
  publisher = {Springer London},
  keywords = {Model-driven transformation; Testing; QVT; QVTO; MANTra; MDE; MDA; Transformation testing},
  pages = {19--32}
}

Filieri, A., Ghezzi, C. and Tamburrelli, G. A formal approach to adaptive software: continuous assurance of non-functional requirements. Formal Aspects of Computing. 24, 2 (2012), 163–186.
- -

@article{2012-fac,
  title = {A formal approach to adaptive software: continuous assurance of non-functional requirements},
  author = {Filieri, Antonio and Ghezzi, Carlo and Tamburrelli, Giordano},
  year = {2012},
  issn = {0934-5043},
  journal = {Formal Aspects of Computing},
  volume = {24},
  number = {2},
  doi = {10.1007/s00165-011-0207-2},
  url = {http://dx.doi.org/10.1007/s00165-011-0207-2},
  publisher = {Springer-Verlag},
  keywords = {Software evolution; (self)Adaptive software; Non-functional requirements; Reliability; Performance; Models; Model-driven development; Markov models; Verification; Probabilistic model checking; Monitoring; Bayesian inference},
  pages = {163--186}
}

top

Workshops and special tracks

Luo, Y., Filieri, A. and Zhou, Y. SYMPAIS: SYMbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis. International Conference on Probabilistic Programming.
- -

@misc{2020-probprog,
  title = {SYMPAIS: SYMbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis},
  author = {Luo, Yicheng and Filieri, Antonio and Zhou, Yuan},
  booktitle = {International Conference on Probabilistic Programming},
  year = {2020},
  eprint = {2010.05050},
  archiveprefix = {arXiv},
  primaryclass = {cs.LG},
  acronym = {ProbProg},
  url = {https://arxiv.org/abs/2010.05050v1}
}

Kotegov, I. and Filieri, A. Towards Coordinated Autoscaling and Application Brownout at the Orchestrator Level. Software Architecture (QUDOS, 2020), 269–274.
- -

@inproceedings{2020-qudos,
  author = {Kotegov, Ivan and Filieri, Antonio},
  editor = {Muccini, Henry and Avgeriou, Paris and Buhnova, Barbora and Camara, Javier and Caporuscio, Mauro and Franzago, Mirco and Koziolek, Anne and Scandurra, Patrizia and Trubiani, Catia and Weyns, Danny and Zdun, Uwe},
  title = {Towards Coordinated Autoscaling and Application Brownout at the Orchestrator Level},
  booktitle = {Software Architecture},
  year = {2020},
  publisher = {Springer International Publishing},
  address = {Cham},
  pages = {269--274},
  isbn = {978-3-030-59155-7},
  doi = {10.1007/978-3-030-59155-7_21},
  acronym = {QUDOS}
}

Borges, M., Phan, Q.-S., Filieri, A. and Pasareanu, C.S. Model-Counting Approaches for Nonlinear Numerical Constraints. NASA Formal Methods: 9th International Symposium (NFM, 2017), 131–138.
- -

@inproceedings{2017-nfm,
  author = {Borges, Mateus and Phan, Quoc-Sang and Filieri, Antonio and Pasareanu, Corina S.},
  editor = {Barrett, Clark and Davies, Misty and Kahsai, Temesghen},
  title = {Model-Counting Approaches for Nonlinear Numerical Constraints},
  booktitle = {NASA Formal Methods: 9th International Symposium},
  year = {2017},
  publisher = {Springer},
  pages = {131--138},
  isbn = {978-3-319-57288-8},
  doi = {10.1007/978-3-319-57288-8_9},
  acronym = {NFM}
}

Maggio, M., Papadopoulos, A.V., Filieri, A. and Hoffmann, H. Self-adaptive video encoder: comparison of multiple adaptation strategies made simple. Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS-artifacts, 2017). Best Artifact Award
- - -

@inproceedings{2017-seams,
  author = {Maggio, Martina and Papadopoulos, Alessandro V. and Filieri, Antonio and Hoffmann, Henry},
  title = {Self-adaptive video encoder: comparison of multiple adaptation strategies made simple},
  booktitle = {Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems},
  series = {SEAMS '17},
  year = {2017},
  location = {Buenos Aires, Argentina},
  numpages = {6},
  publisher = {ACM},
  doi = {10.1109/SEAMS.2017.16},
  acronym = {SEAMS-artifacts},
  notes = {Best Artifact Award}
}

Filieri, A. and Maggio, M. Control Theory for Software Engineering: Technical Briefing. Proceedings of the 38th International Conference on Software Engineering Companion (ICSE-TechBriefing, 2016), 908–910.
- -

@inproceedings{2016-icse-techbrief,
  author = {Filieri, Antonio and Maggio, Martina},
  title = {Control Theory for Software Engineering: Technical Briefing},
  booktitle = {Proceedings of the 38th International Conference on Software Engineering Companion},
  series = {ICSE '16},
  year = {2016},
  isbn = {978-1-4503-4205-6},
  location = {Austin, Texas},
  pages = {908--910},
  numpages = {3},
  doi = {10.1145/2889160.2891058},
  publisher = {ACM},
  address = {New York, NY, USA},
  acronym = {ICSE-TechBriefing}
}

Filieri, A., Hoffmann, H. and Maggio, M. Automated Design of Self-Adaptive Software with Control-Theoretical Formal Guarantees. Software Engineering 2015, Fachtagung des GI-Fachbereichs Softwaretechnik (SE, 2015). Invited
-

@inproceedings{2015-se-control,
  author = {Filieri, Antonio and Hoffmann, Henry and Maggio, Martina},
  title = {Automated Design of Self-Adaptive Software with Control-Theoretical Formal Guarantees},
  booktitle = {Software Engineering 2015, Fachtagung des GI-Fachbereichs Softwaretechnik},
  location = {Dresden, Germany},
  series = {{LNI}},
  publisher = {{GI}},
  year = {2015},
  acronym = {SE},
  isbn = {978-3-88579-633-6},
  notes = {Invited}
}

Bianculli, D., Filieri, A., Ghezzi, C., Mandrioli, D. and Rizzi, A.M. Syntax-driven Program Verification of Matching Logic Properties. Proceedings of the 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE, 2015), 68–74.
- -

@inproceedings{2015-formalise,
  author = {Bianculli, Domenico and Filieri, Antonio and Ghezzi, Carlo and Mandrioli, Dino and Rizzi, Alessandro M.},
  title = {Syntax-driven Program Verification of Matching Logic Properties},
  booktitle = {Proceedings of the 3rd FME Workshop on Formal Methods in Software Engineering},
  series = {FormaliSE 2015},
  year = {2015},
  location = {Florence, Italy},
  doi = {10.1109/FormaliSE.2015.18},
  pages = {68--74},
  numpages = {7},
  publisher = {IEEE},
  acronym = {FormaliSE}
}

Filieri, A., Pasareanu, C.S. and Yang, G. Quantification of Software Changes through Probabilistic Symbolic Execution. Summit on Advances in Programming Languages. Position paper
- -

@misc{2015-snapl,
  author = {Filieri, Antonio and Pasareanu, Corina S. and Yang, Guowei},
  title = {Quantification of Software Changes through Probabilistic Symbolic Execution},
  booktitle = {Summit on Advances in Programming Languages},
  series = {SNAPL},
  year = {2015},
  location = {Asilomar, CA, USA},
  url = {http://snapl.org/2015/papers.html},
  notes = {Position paper},
  acronym = {SNAPL}
}

Filieri, A., Pasareanu, C.S., Visser, W. and Geldenhuys, J. Statistical Symbolic Execution with Informed Sampling. Software Engineering 2015, Fachtagung des GI-Fachbereichs Softwaretechnik (SE, 2015). Invited
-

@inproceedings{2015-se-jpf,
  author = {Filieri, Antonio and Pasareanu, Corina S. and Visser, Willem and Geldenhuys, Jaco},
  title = {Statistical Symbolic Execution with Informed Sampling},
  booktitle = {Software Engineering 2015, Fachtagung des GI-Fachbereichs Softwaretechnik},
  location = {Dresden, Germany},
  series = {{LNI}},
  publisher = {{GI}},
  year = {2015},
  acronym = {SE},
  isbn = {978-3-88579-633-6},
  notes = {Invited}
}

Filieri, A. and Pasareanu, C.S. On the Probabilistic Symbolic Analysis of Programs. SIGPLAN Workshop on Probabilistic and Approximate Computing. Invited
- -

@misc{2014-approx,
  author = {Filieri, Antonio and Pasareanu, Corina S.},
  title = {On the Probabilistic Symbolic Analysis of Programs},
  booktitle = {SIGPLAN Workshop on Probabilistic and Approximate Computing},
  series = {APPROX},
  year = {2014},
  location = {Edinburgh, United Kingdom},
  url = {http://approx2014.cs.umass.edu},
  notes = {Invited}
}

Filieri, A., Pasareanu, C.S. and Visser, W. Reliability Analysis in Symbolic Pathfinder: A brief summary. Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik (SE, 2014), 39–40. Invited
- -

@inproceedings{2014-se,
  author = {Filieri, Antonio and Pasareanu, Corina S. and Visser, Willem},
  title = {Reliability Analysis in Symbolic Pathfinder: {A} brief summary},
  booktitle = {Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik},
  pages = {39--40},
  editor = {Hasselbring, Wilhelm and Ehmke, Nils Christian},
  location = {Kiel, Germany},
  series = {{LNI}},
  volume = {227},
  publisher = {{GI}},
  year = {2014},
  isbn = {978-388579-621-3},
  url = {https://dl.gi.de/20.500.12116/30948},
  acronym = {SE},
  notes = {Invited}
}

Gambi, A., Filieri, A. and Dustdar, S. Iterative Test Suites Refinement for Elastic Computing Systems. Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering (ESEC/FSE, 2013), 635–638, [Acceptance rate 12/33, 36.4%].
- -

@inproceedings{2013-nier,
  author = {Gambi, Alessio and Filieri, Antonio and Dustdar, Schahram},
  title = {Iterative Test Suites Refinement for Elastic Computing Systems},
  booktitle = {Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering},
  series = {ESEC/FSE 2013},
  year = {2013},
  isbn = {978-1-4503-2237-9},
  location = {Saint Petersburg, Russia},
  pages = {635--638},
  numpages = {4},
  url = {http://doi.acm.org/10.1145/2491411.2494579},
  doi = {10.1145/2491411.2494579},
  acmid = {2494579},
  publisher = {ACM},
  address = {New York, NY, USA},
  acceptance = {12/33, 36.4\%},
  acronym = {ESEC/FSE}
}

Filieri, A. and Ghezzi, C. Further steps towards efficient runtime verification: Handling probabilistic cost models. Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA, 2012), 2–8, [Acceptance rate 50%].
- -

@inproceedings{2012-formsera,
  author = {Filieri, Antonio and Ghezzi, Carlo},
  booktitle = {Formal Methods in Software Engineering: Rigorous and Agile Approaches},
  title = {Further steps towards efficient runtime verification: Handling probabilistic cost models},
  year = {2012},
  pages = {2--8},
  doi = {10.1109/FormSERA.2012.6229785},
  acceptance = {50\%},
  acronym = {FormSERA}
}

Filieri, A. QoS Verification and Model Tuning @ Runtime. Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering (ESEC/FSE, 2011), 408–411, Doctoral Symposium.
- -

@inproceedings{2011-ds,
  author = {Filieri, Antonio},
  title = {QoS Verification and Model Tuning @ Runtime},
  booktitle = {Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering},
  series = {ESEC/FSE '11},
  year = {2011},
  isbn = {978-1-4503-0443-6},
  location = {Szeged, Hungary},
  pages = {408--411},
  numpages = {4},
  doi = {10.1145/2025113.2025176},
  acmid = {2025176},
  publisher = {ACM},
  address = {New York, NY, USA},
  acronym = {ESEC/FSE},
  notes2 = {Doctoral Symposium}
}

top

Book chapters

Yang, G., Filieri, A., Borges, M., Clun, D. and Wen, J. Advances in Symbolic Execution. A.M. Memon, ed. Elsevier. 225–287.
- -

@inbook{2019-advancessymex,
  title = {Advances in Symbolic Execution},
  author = {Yang, Guowei and Filieri, Antonio and Borges, Mateus and Clun, Donato and Wen, Junye},
  editor = {Memon, Atif M.},
  series = {Advances in Computers},
  publisher = {Elsevier},
  volume = {113},
  pages = {225-287},
  year = {2019},
  issn = {0065-2458},
  doi = {10.1016/bs.adcom.2018.10.002}
}

Dwyer, M.B., Filieri, A., Geldenhuys, J., Gerrard, M., Păsăreanu, C.S. and Visser, W. Probabilistic Program Analysis. Grand Timely Topics in Software Engineering: International Summer School GTTSE 2015. J. Cunha, J.P. Fernandes, R. Laemmel, J. Saraiva, and V. Zaytsev, eds. Springer. 1–25.
- -

@inbook{2017-gttse,
  title = {Probabilistic Program Analysis},
  author = {Dwyer, Matthew B. and Filieri, Antonio and Geldenhuys, Jaco and Gerrard, Mitchell and P{\u{a}}s{\u{a}}reanu, Corina S. and Visser, Willem},
  editor = {Cunha, Jacome and Fernandes, Joao P. and Laemmel, Ralf and Saraiva, Joao and Zaytsev, Vadim},
  booktitle = {Grand Timely Topics in Software Engineering: International Summer School GTTSE 2015},
  year = {2017},
  publisher = {Springer},
  pages = {1--25},
  isbn = {978-3-319-60074-1},
  doi = {10.1007/978-3-319-60074-1_1}
}

Spinner, S., Filieri, A., Kounev, S., Maggio, M. and Robertsson, A. Run-Time Models for Online Performance and Resource Management in Data Centers. Self-Aware Computing Systems. S. Kounev, J.O. Kephart, A. Milenkoski, and X. Zhu, eds. Springer. 485–505.
- -

@inbook{2017-sac-runtime,
  title = {Run-Time Models for Online Performance and Resource Management in Data Centers},
  author = {Spinner, Simon and Filieri, Antonio and Kounev, Samuel and Maggio, Martina and Robertsson, Anders},
  editor = {Kounev, Samuel and Kephart, Jeffrey O. and Milenkoski, Aleksandar and Zhu, Xiaoyun},
  booktitle = {Self-Aware Computing Systems},
  year = {2017},
  publisher = {Springer},
  pages = {485--505},
  isbn = {978-3-319-47474-8},
  doi = {10.1007/978-3-319-47474-8_16}
}

Kephart, J.O., Diaconescu, A., Giese, H., Robertsson, A., Abdelzaher, T., Lewis, P., Filieri, A., Esterle, L. and Frey, S. Self-adaptation in Collective Self-aware Computing Systems. Self-Aware Computing Systems. S. Kounev, J.O. Kephart, A. Milenkoski, and X. Zhu, eds. Springer. 401–435.
- -

@inbook{2017-sac-collective,
  author = {Kephart, Jeffrey O. and Diaconescu, Ada and Giese, Holger and Robertsson, Anders and Abdelzaher, Tarek and Lewis, Peter and Filieri, Antonio and Esterle, Lukas and Frey, Sylvain},
  editor = {Kounev, Samuel and Kephart, Jeffrey O. and Milenkoski, Aleksandar and Zhu, Xiaoyun},
  title = {Self-adaptation in Collective Self-aware Computing Systems},
  booktitle = {Self-Aware Computing Systems},
  year = {2017},
  publisher = {Springer},
  pages = {401--435},
  isbn = {978-3-319-47474-8},
  doi = {10.1007/978-3-319-47474-8_13}
}

Filieri, A. and Tamburrelli, G. Probabilistic Verification at Runtime for Self-Adaptive Systems. Assurances for Self-Adaptive Systems. J. Cámara, R. de Lemos, C. Ghezzi, and A. Lopes, eds. Springer. 30–59.
- -

@incollection{2013-asas,
  year = {2013},
  isbn = {978-3-642-36248-4},
  booktitle = {Assurances for Self-Adaptive Systems},
  volume = {7740},
  series = {Lecture Notes in Computer Science},
  editor = {Cámara, Javier and de Lemos, Rogério and Ghezzi, Carlo and Lopes, Antónia},
  doi = {10.1007/978-3-642-36249-1_2},
  title = {Probabilistic Verification at Runtime for Self-Adaptive Systems},
  publisher = {Springer},
  author = {Filieri, Antonio and Tamburrelli, Giordano},
  pages = {30--59}
}

Filieri, A., Ghezzi, C., Mirandola, R. and Tamburrelli, G. Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification. Conquering Complexity. M. Hinchey and L. Coyle, eds. Springer. 253–275.
- -

@incollection{2012-cc,
  title = {Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification},
  author = {Filieri, Antonio and Ghezzi, Carlo and Mirandola, Raffaela and Tamburrelli, Giordano},
  year = {2012},
  isbn = {978-1-4471-2296-8},
  booktitle = {Conquering Complexity},
  editor = {Hinchey, Mike and Coyle, Lorcan},
  doi = {10.1007/978-1-4471-2297-5_12},
  publisher = {Springer},
  pages = {253--275}
}

top

Technical reports

Hossain, S.B., Filieri, A., Dwyer, M.B., Elbaum, S. and Visser, W. Neural-Based Test Oracle Generation: A Large-scale Evaluation and Lessons Learned (preprint).
-

@misc{2023-fse-testing-arxiv,
  acronym = {arXiv},
  archiveprefix = {arXiv},
  author = {Hossain, Soneya Binta and Filieri, Antonio and Dwyer, Matthew B. and Elbaum, Sebastian and Visser, Willem},
  doi = {10.48550/arXiv.2307.16023},
  eprint = {2307.16023},
  title = {Neural-Based Test Oracle Generation: A Large-scale Evaluation and Lessons Learned (preprint)},
  url = {https://arxiv.org/abs/2307.16023},
  year = {2023}
}

Ji, X. and Filieri, A. Probabilistic Counterexample Guidance for Safer Reinforcement Learning (Extended Version).
-

@misc{2023-qest-extended,
  acronym = {arXiv},
  archiveprefix = {arXiv},
  author = {Ji, Xiaotong and Filieri, Antonio},
  doi = {10.48550/arXiv.2307.04927},
  eprint = {2307.04927},
  primaryclass = {cs.LG},
  title = {Probabilistic Counterexample Guidance for Safer Reinforcement Learning (Extended Version)},
  url = {https://arxiv.org/abs/2307.04927},
  year = {2023}
}

Clun, D., Shin, D., Filieri, A. and Bianculli, D. Rigorous Assessment of Model Inference Accuracy using Language Cardinality. arXiv.
- -

@misc{2022-arxiv-modelinference,
  acronym = {arXiv},
  author = {Clun, Donato and Shin, Donghwan and Filieri, Antonio and Bianculli, Domenico},
  doi = {10.48550/ARXIV.2211.16587},
  publisher = {arXiv},
  title = {Rigorous Assessment of Model Inference Accuracy using Language Cardinality},
  url = {https://arxiv.org/abs/2211.16587},
  year = {2022}
}

Luo, Y., Filieri, A. and Zhou, Y. Symbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis. Extended version.
- - -

@misc{2021-arxiv-sympais,
  acronym = {arXiv},
  archiveprefix = {arXiv},
  author = {Luo, Yicheng and Filieri, Antonio and Zhou, Yuan},
  booktitle = {Extended version},
  eprint = {2010.05050},
  primaryclass = {cs.LG},
  title = {Symbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis},
  url = {https://arxiv.org/abs/2010.05050v2},
  year = {2021}
}

Ralph, P. et al. ACM SIGSOFT Empirical Standards.
- -

@misc{2020-acm-empirical,
  acronym = {ACM Standards},
  archiveprefix = {arXiv},
  author = {Ralph, Paul and Baltes, Sebastian and Bianculli, Domenico and Dittrich, Yvonne and Felderer, Michael and Feldt, Robert and Filieri, Antonio and Furia, Carlo Alberto and Graziotin, Daniel and He, Pinjia and Hoda, Rashina and Juristo, Natalia and Kitchenham, Barbara and Robbes, Romain and Mendez, Daniel and Molleri, Jefferson and Spinellis, Diomidis and Staron, Miroslaw and Stol, Klaas and Tamburri, Damian and Torchiano, Marco and Treude, Christoph and Turhan, Burak and Vegas, Sira},
  eprint = {2010.03525},
  primaryclass = {cs.SE},
  title = {ACM SIGSOFT Empirical Standards},
  url = {https://arxiv.org/abs/2010.03525},
  year = {2020}
}

Păsăreanu, C., Converse, H., Filieri, A. and Gopinath, D. On the Probabilistic Analysis of Neural Networks. Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS, 2020), 5–8.
- -

@inproceedings{2020-seams-invited,
  acronym = {SEAMS},
  address = {New York, NY, USA},
  author = {P\u{a}s\u{a}reanu, Corina and Converse, Hayes and Filieri, Antonio and Gopinath, Divya},
  booktitle = {Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems},
  doi = {10.1145/3387939.3391594},
  isbn = {9781450379625},
  keywords = {symbolic execution, neural networks, probabilistic analysis},
  location = {Seoul, Republic of Korea},
  numpages = {4},
  pages = {5–-8},
  publisher = {Association for Computing Machinery},
  series = {SEAMS},
  title = {On the Probabilistic Analysis of Neural Networks},
  year = {2020}
}

Filieri, A., Kwiatkowska, M., Misailovic, S. and Mytkowicz, T. Approximate and Probabilistic Computing: Design, Coding, Verification. Dagstuhl Reports. 5, 11 (2016), 151–179.
- -

@article{2016-dagstuhl,
  acronym = {Dagstuhl},
  address = {Dagstuhl, Germany},
  author = {Filieri, Antonio and Kwiatkowska, Marta and Misailovic, Sasa and Mytkowicz, Todd},
  doi = {10.4230/DagRep.5.11.151},
  editor = {Filieri, Antonio and Kwiatkowska, Marta and Misailovic, Sasa and Mytkowicz, Todd},
  issn = {2192-5283},
  journal = {Dagstuhl Reports},
  number = {11},
  pages = {151--179},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  title = {Approximate and Probabilistic Computing: Design, Coding, Verification},
  volume = {5},
  year = {2016}
}

Bianculli, D., Filieri, A., Ghezzi, C. and Mandrioli, D. A Syntactic-Semantic Approach to Incremental Verification. CoRR.
- -

@unpublished{2013-arxiv,
  acronym = {arXiv},
  author = {Bianculli, Domenico and Filieri, Antonio and Ghezzi, Carlo and Mandrioli, Dino},
  journal = {CoRR},
  title = {A Syntactic-Semantic Approach to Incremental Verification},
  url = {http://arxiv.org/abs/1304.8034},
  volume = {abs/1304.8034},
  year = {2013}
}

top

Antonio Filieri

Conferences

Journals

Workshops and special tracks

Book chapters

Technical reports