Travelled to:1 × Canada
1 × China
1 × Czech Republic
1 × Hungary
1 × India
1 × Portugal
1 × Russia
1 × Sweden
1 × Switzerland
1 × United Kingdom
2 × Italy
4 × USA
Collaborated with:C.S.Pasareanu M.Maggio W.Visser C.Ghezzi H.Hoffmann A.Leva R.Mirandola ∅ M.Borges M.d'Amorim V.Grassi J.Geldenhuys M.B.Dwyer L.Grunske A.Gambi S.Dustdar G.Tamburrelli G.Yang D.Arcelli V.Cortellessa S.Distefano A.V.Papadopoulos K.S.Luckow A.Ciancone M.L.Drago M.J.Gerrard
Talks about:probabilist (7) softwar (7) analysi (6) reliabl (5) control (5) symbol (5) model (5) adapt (5) multipl (4) execut (4)
♂ Person: Antonio Filieri
DBLP: Filieri:Antonio
Facilitated 1 volumes:
PrCoContributed to:
2015
2015
2015
2014
20142014
2014201320132011201120112011
201120102015
20152017Wrote 19 papers:
- ESEC-FSE-2015-BorgesFdP #execution #probability #symbolic computation
- Iterative distribution-aware sampling for probabilistic symbolic execution (MB, AF, Md, CSP), pp. 866–877.
- ESEC-FSE-2015-FilieriHM #adaptation #automation #design #multi #self
- Automated multi-objective control for self-adaptive software design (AF, HH, MM), pp. 13–24.
- ICSE-v1-2015-FilieriGL #adaptation #learning #lightweight #modelling #performance #probability
- Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models (AF, LG, AL), pp. 200–211.
- QoSA-2015-ArcelliCFL #adaptation #modelling
- Control Theory for Model-based Performance-driven Software Adaptation (DA, VC, AF, AL), pp. 11–20.
- ASE-2014-LuckowPDFV #approximate #execution #nondeterminism #probability #source code #symbolic computation
- Exact and approximate probabilistic symbolic execution for nondeterministic programs (KSL, CSP, MBD, AF, WV), pp. 575–586.
- FSE-2014-FilieriPVG #execution #statistics #symbolic computation
- Statistical symbolic execution with informed sampling (AF, CSP, WV, JG), pp. 437–448.
- ICSE-2014-FilieriHM #adaptation #automation #design #self
- Automated design of self-adaptive software with control-theoretical formal guarantees (AF, HH, MM), pp. 299–310.
- PLDI-2014-BorgesFdPV #analysis #composition #probability #quantifier
- Compositional solution space quantification for probabilistic software analysis (MB, AF, Md, CSP, WV), p. 15.
- ESEC-FSE-2013-GambiFD #refinement #testing
- Iterative test suites refinement for elastic computing systems (AG, AF, SD), pp. 635–638.
- ICSE-2013-FilieriPV #analysis #reliability
- Reliability analysis in symbolic pathfinder (AF, CSP, WV), pp. 622–631.
- ASE-2011-FilieriGLM #adaptation #approach #reliability #requirements #self
- Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements (AF, CG, AL, MM), pp. 283–292.
- CBSE-2011-DistefanoFGM #analysis #composition #multi #reliability #workflow
- A compositional method for reliability analysis of workflows affected by multiple failure modes (SD, AF, CG, RM), pp. 149–158.
- ESEC-FSE-2011-Filieri #runtime #verification
- QoS verification and model tuning @ runtime (AF), pp. 408–411.
- ICSE-2011-FilieriGT #model checking #performance #probability #runtime
- Run-time efficient probabilistic model checking (AF, CG, GT), pp. 341–350.
- TOOLS-EUROPE-2011-CianconeFDMG #analysis #component #modelling #named #performance #reliability
- KlaperSuite: An Integrated Model-Driven Environment for Reliability and Performance Analysis of Component-Based Systems (AC, AF, MLD, RM, VG), pp. 99–114.
- CBSE-2010-FilieriGGM #analysis #component #multi #reliability
- Reliability Analysis of Component-Based Systems with Multiple Failure Modes (AF, CG, VG, RM), pp. 1–20.
- ASE-2015-FilieriPY #execution #probability #quantifier #symbolic computation
- Quantification of Software Changes through Probabilistic Symbolic Execution (N) (AF, CSP, GY), pp. 703–708.
- GTTSE-2015-DwyerFGGPV #probability #program analysis
- Probabilistic Program Analysis (MBD, AF, JG, MJG, CSP, WV), pp. 1–25.
- ESEC-FSE-2017-MaggioPFH #automation #multi #using
- Automated control of multiple software goals using multiple actuators (MM, AVP, AF, HH), pp. 373–384.