Publications by type

See publication by year.

Check also on Google Schoolar, DBLP, ACM DL.

Conferences

  1. 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%].
    - -
  2. 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%].
    - - -
  3. 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%].
    - - -
  4. 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%].
    - -
  5. 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.
    - -
  6. 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).
    - -
  7. 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%].
    - -
  8. 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%].
    - - -
  9. 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%].
    - -
  10. 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%].
    - -
  11. 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.
    - -
  12. Filieri, A., Păsăreanu, C.S. and Visser, W. Reliability Analysis in Symbolic Pathfinder. Proceedings of the 2013 International Conference on Software Engineering (ICSE, 2013), 622–631, [Acceptance rate 85/461, 18.5%].
    - -
  13. 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.
    - -
  14. 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.
    - -
  15. 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%].
    - -
  16. 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%].
    - -
  17. 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%].
    - -
  18. 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%].
    - -
  19. 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
    - -
  20. 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 Verification and Validation Track
    - -
  21. 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., Tamburrelli, G. and Ghezzi, C. Supporting Self-adaptation via Quantitative Verification and Sensitivity Analysis at Run Time. IEEE Transactions on Software Engineering. 42, 1 (Jan. 2016), 75–99.
    - - -
  2. 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.
    - -
  3. 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].
    - -
  4. 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.
    - -
  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. 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. Filieri, A. and Maggio, M. Control Theory for Software Engineering: Technical Briefing. Proceedings of the 38th International Conference on Software Engineering Companion (2016), 908–910.
    - -
  2. 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.
    - -
  3. Filieri, A., Pasareanu, C.S. and Yang, G. Quantification of Software Changes through Probabilistic Symbolic Execution. Summit on Advances in Programming Languages. Position paper
    - -
  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. 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
    -
  6. Filieri, A. and Pasareanu, C.S. On the Probabilistic Symbolic Analysis of Programs. SIGPLAN Workshop on Probabilistic and Approximate Computing. Invited
    - -
  7. 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
    - -
  8. 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%].
    - -
  9. 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%].
    - -
  10. 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.
    - -

top

Book chapters

  1. 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 Berlin Heidelberg. 30–59.
    - -
  2. 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 London. 253–275.
    - -

top

Technical reports

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

top