Antonio Filieri

According to our database1, Antonio Filieri
  • authored at least 49 papers between 2010 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Control Strategies for Self-Adaptive Software Systems.
TAAS, 2017

Model-counting Approaches For Nonlinear Numerical Constraints.
IACR Cryptology ePrint Archive, 2017

Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies Made Simple (Artifact).
DARTS, 2017

Automated control of multiple software goals using multiple actuators.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

A Critical Evaluation of Spectrum-Based Fault Localization Techniques on a Large-Scale Software System.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Model-Counting Approaches for Nonlinear Numerical Constraints.
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies Made Simple.
Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

Run-Time Models for Online Performance and Resource Management in Data Centers.
Proceedings of the Self-Aware Computing Systems., 2017

Self-adaptation in Collective Self-aware Computing Systems.
Proceedings of the Self-Aware Computing Systems., 2017

2016
Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time.
IEEE Trans. Software Eng., 2016

Control theory for software engineering: technical briefing.
Proceedings of the 38th International Conference on Software Engineering, 2016

2015
Syntactic-semantic incrementality for agile verification.
Sci. Comput. Program., 2015

Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491).
Dagstuhl Reports, 2015

Model Counting for Complex Data Structures.
Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Automated multi-objective control for self-adaptive software design.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Iterative distribution-aware sampling for probabilistic symbolic execution.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Statistical Symbolic Execution with Informed Sampling.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Automated Design of Self-Adaptive Software with Control-Theoretical Formal Guarantees.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Control Theory for Model-based Performance-driven Software Adaptation.
Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures, 2015

Quantification of Software Changes through Probabilistic Symbolic Execution (N).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015


Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Syntax-Driven Program Verification of Matching Logic Properties.
Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

Probabilistic Program Analysis.
Proceedings of the Grand Timely Topics in Software Engineering, 2015

2014
The KlaperSuite framework for model-driven reliability analysis of component-based systems.
Software and System Modeling, 2014

Testing operational transformations in model-driven engineering.
ISSE, 2014

Statistical symbolic execution with informed sampling.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Reliability Analysis in Symbolic Pathfinder: A brief summary.
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Compositional solution space quantification for probabilistic software analysis.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Exact and approximate probabilistic symbolic execution for nondeterministic programs.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Automated design of self-adaptive software with control-theoretical formal guarantees.
Proceedings of the 36th International Conference on Software Engineering, 2014

2013
Probabilistic Verification at Runtime for Self-Adaptive Systems.
Proceedings of the Assurances for Self-Adaptive Systems, 2013

A Syntactic-Semantic Approach to Incremental Verification
CoRR, 2013

Iterative test suites refinement for elastic computing systems.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Reliability analysis in symbolic pathfinder.
Proceedings of the 35th International Conference on Software Engineering, 2013

2012
A formal approach to adaptive software: continuous assurance of non-functional requirements.
Formal Asp. Comput., 2012

Reliability-driven dynamic binding via feedback control.
Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2012

Further steps towards efficient runtime verification: handling probabilistic cost models.
Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012

Autotuning control structures for reliability-driven dynamic binding.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

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, 2012

Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification.
Proceedings of the Conquering Complexity, 2012

2011
KlaperSuite: An Integrated Model-Driven Environment for Reliability and Performance Analysis of Component-Based Systems.
Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011

QoS verification and model tuning @ runtime.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Run-time efficient probabilistic model checking.
Proceedings of the 33rd International Conference on Software Engineering, 2011

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, 2011

2010
MANTra: Towards Model Transformation Testing.
Proceedings of the Quality of Information and Communications Technology, 2010

Reliability Analysis of Component-Based Systems with Multiple Failure Modes.
Proceedings of the Component-Based Software Engineering, 13th International Symposium, 2010


  Loading...