Gabriel A. Moreno

According to our database1, Gabriel A. Moreno authored at least 35 papers between 2002 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Mixed-Trust Computing for Real-Time Systems.
Proceedings of the 25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2019

DARTSim: an exemplar for evaluation and comparison of self-adaptation approaches for smart cyber-physical systems.
Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

Modelling and analysing resilient cyber-physical systems.
Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

2018
Flexible and Efficient Decision-Making for Proactive Latency-Aware Self-Adaptation.
TAAS, 2018

MOSAICO: offline synthesis of adaptation strategy repertoires with flexible trade-offs.
Autom. Softw. Eng., 2018

SWIM: an exemplar for evaluation and comparison of self-adaptation approaches for web applications.
Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018

Uncertainty reduction in self-adaptive systems.
Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018

2017
Decision-Making with Cross-Entropy for Self-Adaptation.
Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

Comparing Model-Based Predictive Approaches to Self-Adaptation: CobRA and PLA.
Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

2016
Analyzing Latency-Aware Self-Adaptation Using Stochastic Games and Simulations.
TAAS, 2016

Hybrid Planning for Decision Making in Self-Adaptive Systems.
Proceedings of the 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2016

Input Attribution for Statistical Model Checking Using Logistic Regression.
Proceedings of the Runtime Verification - 16th International Conference, 2016

Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation.
Proceedings of the 2016 IEEE International Conference on Autonomic Computing, 2016

2015
Proactive self-adaptation under uncertainty: a probabilistic model checking approach.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Reasoning about Human Participation in Self-Adaptive Systems.
Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015

High Assurance for Distributed Cyber Physical Systems.
Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

2014
Stochastic game analysis and latency awareness for proactive self-adaptation.
Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014

Architecture-based self-protection: composing and reasoning about denial-of-service mitigations.
Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014

2013
Analyzing Self-Adaptation Via Model Checking of Stochastic Games.
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

2012
Overload provisioning in mixed-criticality cyber-physical systems.
ACM Trans. Embedded Comput. Syst., 2012

An Optimal Real-Time Voltage and Frequency Scaling for Uniform Multiprocessors.
Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012

2011
Architecture evaluation without an architecture: experience with the smart grid.
Proceedings of the 33rd International Conference on Software Engineering, 2011

2010
Performance analysis of real-time component architectures: An enhanced model interchange approach.
Perform. Evaluation, 2010

Designing for incentives: better information sharing for better software engineering.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

Resource Allocation in Distributed Mixed-Criticality Cyber-Physical Systems.
Proceedings of the 2010 International Conference on Distributed Computing Systems, 2010

2009
Statistical-Based WCET Estimation and Validation.
Proceedings of the 9th Intl. Workshop on Worst-Case Execution Time Analysis, 2009

2008
Performance analysis of real-time component architectures: a model interchange approach.
Proceedings of the 7th International Workshop on Software and Performance, 2008

Handling interdependent values in an auction mechanism for bandwidth allocation in tactical data networks.
Proceedings of the ACM SIGCOMM 2008 Workshop on Economics of Networked Systems, 2008

Model-Driven Performance Analysis.
Proceedings of the Quality of Software Architectures. Models and Architectures, 2008

PACC starter kit: developing software with predictable behavior.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Predicting the Behavior of a Highly Configurable Component Based Real-Time System.
Proceedings of the 20th Euromicro Conference on Real-Time Systems, 2008

2007
Model-driven development with predictable quality.
Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

2006
Creating custom containers with generative techniques.
Proceedings of the Generative Programming and Component Engineering, 2006

2003
Enabling predictable assembly.
J. Syst. Softw., 2003

2002
Packaging Predictable Assembly.
Proceedings of the Component Deployment, IFIP/ACM Working Conference, 2002


  Loading...