Gabriel A. Moreno

Papers

Total Citations

H-Index

About

Gabriel A. Moreno is a leading researcher in performance engineering and predictable software systems, with a focus on enabling software engineers to reason about system behavior analytically. His foundational work on the Predictable Assembly from Certifiable Components (PACC) initiative at Carnegie Mellon’s Software Engineering Institute introduced queueing-theoretic solutions for predicting average-case latency of aperiodic tasks in real-time systems, as demonstrated in his highly cited 2004 report (10 citations). This work applied rigorous performance theories to industrial domains such as robot control, bridging the gap between formal analysis and practical software engineering. Moreno further advanced the field through the Lambda-* performance reasoning frameworks, which provide accessible methods for composing certifiable components with predictable behavior. His more recent contributions include innovative applications of logistic regression for input attribution in statistical model checking (2016), enabling more efficient and interpretable verification of stochastic systems. By combining formal performance models with practical engineering tools, Moreno has significantly influenced how developers build and certify real-time and embedded systems, making analytic performance prediction a tangible reality for complex software architectures.