Gabriel A. Moreno

Proactive self-adaptation under uncertainty: a probabilistic model checking approach

Gabriel A. Moreno, Javier Cámara, David Garlan et al. · 2015 · 172 citations

Engineering, Verification, Tactic Latency +21

Mechanistic Studies of the Electrocatalytic Oxidation of NADH and Ascorbate at Glassy Carbon Electrodes Modified with Electrodeposited Films Derived from 3,4-Dihydroxybenzaldehyde

F. Pariente, F. Tobalina, Gabriel A. Moreno et al. · Analytical Chemistry · 1997 · 154 citations

Statistical-Based WCET Estimation and Validation

Jeffery P. Hansen, Scott Hissam, Gabriel A. Moreno · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2009 · 136 citations · Full text

Future Execution Time, Engineering, Software Engineering +25

Resource Allocation in Distributed Mixed-Criticality Cyber-Physical Systems

Karthik Lakshmanan, Dionisio de Niz, Ragunathan Rajkumar et al. · 2010 · 81 citations · Full text

Cluster Computing, Engineering, Dynamic Resource Allocation +19

Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation

Gabriel A. Moreno, Javier Cámara, David Garlan et al. · 2016 · 62 citations

Engineering, Behavioral Decision Making, Markov Decision Processes +23