Sotabase

Career

· Research Scientist, MIT Digital Currency Initiative2024–
· Software Engineer, MIT Digital Currency Initiative2024–

Publications (120)

Run-time efficient probabilistic model checking
International Conference on Software Engineering · 2011
199
cited
Automated design of self-adaptive software with control-theoretical formal guarantees
Software Engineering & Management · 2014
156
cited
Under Consideration for Publication in Formal Aspects of Computing a Formal Approach to Adaptive Software: Continuous Assurance of Non-functional Requirements
136
cited
Reliability analysis in Symbolic PathFinder
International Conference on Software Engineering · 2013
131
cited
Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time
IEEE Transactions on Software Engineering · 2016
113
cited
Software Engineering Meets Control Theory
2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems · 2015
111
cited
Automated multi-objective control for self-adaptive software design
ESEC/SIGSOFT FSE · 2015
85
cited
Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements
International Conference on Automated Software Engineering · 2011
80
cited
Control Strategies for Self-Adaptive Software Systems
ACM Transactions on Autonomous and Adaptive Systems · 2017
76
cited
A Critical Evaluation of Spectrum-Based Fault Localization Techniques on a Large-Scale Software System
International Conference on Software Quality, Reliability and Security · 2017
69
cited
Reliability Analysis of Component-Based Systems with Multiple Failure Modes
International Symposium on Component-Based Software Engineering · 2010
57
cited
ACM SIGSOFT Empirical Standards
arXiv.org · 2020
53
cited
Compositional solution space quantification for probabilistic software analysis
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2014
53
cited
Exact and approximate probabilistic symbolic execution for nondeterministic programs
International Conference on Automated Software Engineering · 2014
49
cited
Automated control of multiple software goals using multiple actuators
ESEC/SIGSOFT FSE · 2017
47
cited
Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering · 2015
45
cited
An evaluation of pure spectrum‐based fault localization techniques for large‐scale software systems
Software, Practice & Experience · 2019
44
cited
Probabilistic Verification at Runtime for Self-Adaptive Systems
Assurances for Self-Adaptive Systems · 2013
43
cited
Quality-Aware DevOps Research: Where Do We Stand?
IEEE Access · 2021
42
cited
Statistical symbolic execution with informed sampling
Software Engineering & Management · 2014
38
cited
Sotabase
Daniele Filieri | Researcher Profile | Sotabase | Sotabase