Publications

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

Conferences

  1. 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), to appear.
    - -
  2. 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), to appear.
    -
  3. 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%].
    - - -
  4. 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, May 2015), 200–211, [Acceptance rate 84/452, 18.5%].
    - - -
  5. 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%].
    - -
  6. 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.
    - -
  7. 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, May 2015).
    - -
  8. 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%].
    - -
  9. 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%].
    - -
  10. 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%].
    - -
  11. 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%].
    - - -
  12. 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%].
    - -
  13. 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.
    - -
  14. 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%].
    - -
  15. 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, Dec. 2012), 418–423.
    - -
  16. 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, Oct. 2012), 557–562.
    - -
  17. 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%].
    - -
  18. 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
    - -
  19. 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%].
    - -
  20. 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%].
    - -
  21. 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%].
    - -
  22. 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, Sep. 2010), 97–105, [Acceptance rate 16/140, 11.4%]. Best Paper Award of the Verification and Validation Track
    - -
  23. 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
    - -

top

Journals

  1. Filieri, A. et al. Control Strategies for Self-Adaptive Software Systems. ACM Trans. Auton. Adapt. Syst. 11, 4 (Feb. 2017), 24:1–24:31.
    - -
  2. Filieri, A., Tamburrelli, G. and Ghezzi, C. Supporting Self-adaptation via Quantitative Verification and Sensitivity Analysis at Run Time. IEEE Transactions on Software Engineering. (2016).
    - - -
  3. 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.
    - -
  4. 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 (Jun. 2014), 123–132, [Special issue on PLDI 2014].
    - -
  5. 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.
    - -
  6. 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.
    - -
  7. 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.
    - -

top

Workshops and special tracks

  1. 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
    - - -
  2. 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.
    - -
  3. 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.
    - -
  4. 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, Mar. 2015). Invited
    -
  5. 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, May 2015), 68–74.
    - -
  6. Filieri, A., Pasareanu, C.S. and Yang, G. Quantification of Software Changes through Probabilistic Symbolic Execution. Summit on Advances in Programming Languages. Position paper
    - -
  7. 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, Mar. 2015). Invited
    -
  8. 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, Feb. 2014), 39–40. Invited
    - -
  9. Filieri, A. and Pasareanu, C.S. On the Probabilistic Symbolic Analysis of Programs. SIGPLAN Workshop on Probabilistic and Approximate Computing. Invited
    - -
  10. 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%].
    - -
  11. 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, Jun. 2012), 2–8, [Acceptance rate 50%].
    - -
  12. 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.
    - -

top

Book chapters

  1. 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.
    - -
  2. 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.
    - -
  3. 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.
    - -
  4. 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.
    - -
  5. 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.
    - -

top

Technical reports

  1. Filieri, A., Kwiatkowska, M., Misailovic, S. and Mytkowicz, T. Approximate and Probabilistic Computing: Design, Coding, Verification. Dagstuhl Reports. 5, 11 (2016), 151–179.
    - -
  2. Bianculli, D., Filieri, A., Ghezzi, C. and Mandrioli, D. A Syntactic-Semantic Approach to Incremental Verification. CoRR.
    - -

top