Gabriel A. Moreno

46 papers A* 2A 3B 5Journal 11Unranked 24

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Mixed-trust Computing: Safe and Secure Real-time Systems. ACM Trans. Cyber Phys. Syst. Dionisio de Niz, Björn Andersson, Mark Klein, John P. Lehoczky, Hyoseung Kim, Gabriel A. Moreno
2025	J	`jnl`	Quantified Underapproximation via Labeled Bunches. Proc. ACM Program. Lang. Lang Liu, Farzaneh Derakhshan, Limin Jia, Gabriel A. Moreno, Mark Klein
2025	—	`conf`	Using Drift Planning to Improve Safety of Visual Navigation in Unmanned Aerial Vehicles. RAIE Jeffery P. Hansen, Sebastián Echeverría, Lena Pons, Lihan Zhan, Gabriel A. Moreno, Grace A. Lewis
2023	A	`conf`	Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening. SEAMS Simon Chu, Emma Shedden, Changjian Zhang, Rômulo Meira-Góes, Gabriel A. Moreno, David Garlan, Eunsuk Kang
2023	J	`jnl`	Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening. CoRR Simon Chu, Emma Shedden, Changjian Zhang, Rômulo Meira-Góes, Gabriel A. Moreno, David Garlan, Eunsuk Kang
2022	J	`jnl`	Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation. CoRR Danny Weyns, Ilias Gerostathopoulos, Barbora Buhnova, Nicolás Cardozo, Emilia Cioroaica, Ivana Dusparic, Lars Grunske, Pooyan Jamshidi, Christine Julien, Judith Michael, Gabriel A. Moreno, Shiva Nejati, Patrizio Pelliccione, Federico Quin, Genaína Nunes Rodrigues, Bradley R. Schmerl, Marco Vieira, Thomas Vogel, Rebekka Wohlrab
2022	J	`jnl`	Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation. ACM SIGSOFT Softw. Eng. Notes Danny Weyns, Ilias Gerostathopoulos, Barbora Buhnova, Nicolás Cardozo, Emilia Cioroaica, Ivana Dusparic, Lars Grunske, Pooyan Jamshidi, Christine Julien, Judith Michael, Gabriel A. Moreno, Shiva Nejati, Patrizio Pelliccione, Federico Quin, Genaína Nunes Rodrigues, Bradley R. Schmerl, Marco Vieira, Thomas Vogel, Rebekka Wohlrab
2021	—	`conf`	Self-Adaptation for Machine Learning Based Systems. ECSA (Companion) Maria Casimiro, Paolo Romano, David Garlan, Gabriel A. Moreno, Eunsuk Kang, Mark Klein
2021	—	`conf`	Self-adaptive Machine Learning Systems: Research Challenges and Opportunities. ECSA (Tracks and Workshops) Maria Casimiro, Paolo Romano, David Garlan, Gabriel A. Moreno, Eunsuk Kang, Mark Klein
2020	A*	`conf`	Synthesis-Based Resolution of Feature Interactions in Cyber-Physical Systems. ASE Benjamin Gafford, Tobias Dürschmid, Gabriel A. Moreno, Eunsuk Kang
2019	—	`conf`	DARTSim: an exemplar for evaluation and comparison of self-adaptation approaches for smart cyber-physical systems. SEAMS@ICSE Gabriel A. Moreno, Cody Kinneer, Ashutosh Pandey, David Garlan
2019	B	`conf`	Mixed-Trust Computing for Real-Time Systems. RTCSA Dionisio de Niz, Björn Andersson, Mark H. Klein, John P. Lehoczky, Amit Vasudevan, Hyoseung Kim, Gabriel A. Moreno
2019	—	`conf`	Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel A. Moreno, Hausi A. Müller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao
2018	J	`jnl`	Flexible and Efficient Decision-Making for Proactive Latency-Aware Self-Adaptation. ACM Trans. Auton. Adapt. Syst. Gabriel A. Moreno, Javier Cámara, David Garlan, Bradley R. Schmerl
2018	J	`jnl`	MOSAICO: offline synthesis of adaptation strategy repertoires with flexible trade-offs. Autom. Softw. Eng. Javier Cámara, Bradley R. Schmerl, Gabriel A. Moreno, David Garlan
2018	—	`conf`	SWIM: an exemplar for evaluation and comparison of self-adaptation approaches for web applications. SEAMS@ICSE Gabriel A. Moreno, Bradley R. Schmerl, David Garlan
2018	—	`conf`	Uncertainty reduction in self-adaptive systems. SEAMS@ICSE Gabriel A. Moreno, Javier Cámara, David Garlan, Mark Klein
2017	—	`—`	Adaptation Timing in Self-Adaptive Systems. Gabriel A. Moreno
2017	—	`conf`	Comparing Model-Based Predictive Approaches to Self-Adaptation: CobRA and PLA. SEAMS@ICSE Gabriel A. Moreno, Alessandro Vittorio Papadopoulos, Konstantinos Angelopoulos, Javier Cámara, Bradley R. Schmerl
2017	—	`conf`	Decision-Making with Cross-Entropy for Self-Adaptation. SEAMS@ICSE Gabriel A. Moreno, Ofer Strichman, Sagar Chaki, Radislav Vaisman
2016	J	`jnl`	Analyzing Latency-Aware Self-Adaptation Using Stochastic Games and Simulations. ACM Trans. Auton. Adapt. Syst. Javier Cámara, Gabriel A. Moreno, David Garlan, Bradley R. Schmerl
2016	—	`conf`	Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation. ICAC Gabriel A. Moreno, Javier Cámara, David Garlan, Bradley R. Schmerl
2016	—	`conf`	Hybrid Planning for Decision Making in Self-Adaptive Systems. SASO Ashutosh Pandey, Gabriel A. Moreno, Javier Cámara, David Garlan
2016	B	`conf`	Input Attribution for Statistical Model Checking Using Logistic Regression. RV Jeffery P. Hansen, Sagar Chaki, Scott A. Hissam, James R. Edmondson, Gabriel A. Moreno, David Kyle
2015	—	`conf`	High Assurance for Distributed Cyber Physical Systems. ECSA Workshops Scott A. Hissam, Sagar Chaki, Gabriel A. Moreno
2015	—	`conf`	Proactive self-adaptation under uncertainty: a probabilistic model checking approach. ESEC/SIGSOFT FSE Gabriel A. Moreno, Javier Cámara, David Garlan, Bradley R. Schmerl
2015	—	`conf`	Reasoning about Human Participation in Self-Adaptive Systems. SEAMS@ICSE Javier Cámara, Gabriel A. Moreno, David Garlan
2014	—	`conf`	Architecture-based self-protection: composing and reasoning about denial-of-service mitigations. HotSoS Bradley R. Schmerl, Javier Cámara, Jeffrey Gennari, David Garlan, Paulo Casanova, Gabriel A. Moreno, Thomas J. Glazier, Jeffrey M. Barnes
2014	A	`conf`	Stochastic game analysis and latency awareness for proactive self-adaptation. SEAMS Javier Cámara, Gabriel A. Moreno, David Garlan
2013	—	`conf`	Analyzing Self-Adaptation Via Model Checking of Stochastic Games. Software Engineering for Self-Adaptive Systems Javier Cámara, David Garlan, Gabriel A. Moreno, Bradley R. Schmerl
2012	B	`conf`	An Optimal Real-Time Voltage and Frequency Scaling for Uniform Multiprocessors. RTCSA Gabriel A. Moreno, Dionisio de Niz
2012	J	`jnl`	Overload provisioning in mixed-criticality cyber-physical systems. ACM Trans. Embed. Comput. Syst. Karthik Lakshmanan, Dionisio de Niz, Ragunathan Rajkumar, Gabriel A. Moreno
2011	A*	`conf`	Architecture evaluation without an architecture: experience with the smart grid. ICSE Rick Kazman, Len Bass, James Ivers, Gabriel A. Moreno
2010	—	`conf`	Designing for incentives: better information sharing for better software engineering. FoSER Mark Klein, Gabriel A. Moreno, David C. Parkes, Kurt C. Wallnau
2010	J	`jnl`	Performance analysis of real-time component architectures: An enhanced model interchange approach. Perform. Evaluation Gabriel A. Moreno, Connie U. Smith
2010	A	`conf`	Resource Allocation in Distributed Mixed-Criticality Cyber-Physical Systems. ICDCS Karthik Lakshmanan, Dionisio de Niz, Ragunathan Rajkumar, Gabriel A. Moreno
2009	—	`conf`	Statistical-Based WCET Estimation and Validation. WCET Jeffery P. Hansen, Scott A. Hissam, Gabriel A. Moreno
2008	—	`conf`	Handling interdependent values in an auction mechanism for bandwidth allocation in tactical data networks. NetEcon Mark Klein, Gabriel A. Moreno, David C. Parkes, Daniel Plakosh, Sven Seuken, Kurt C. Wallnau
2008	—	`conf`	Model-Driven Performance Analysis. QoSA Gabriel A. Moreno, Paulo Merson
2008	—	`conf`	PACC starter kit: developing software with predictable behavior. ICSE Companion James Ivers, Gabriel A. Moreno
2008	—	`conf`	Performance analysis of real-time component architectures: a model interchange approach. WOSP Gabriel A. Moreno, Connie U. Smith, Lloyd G. Williams
2008	B	`conf`	Predicting the Behavior of a Highly Configurable Component Based Real-Time System. ECRTS Scott A. Hissam, Gabriel A. Moreno, Daniel Plakosh, Isak Savo, Marcin Stelmarczyk
2007	—	`conf`	Model-driven development with predictable quality. OOPSLA Companion James Ivers, Gabriel A. Moreno
2006	B	`conf`	Creating custom containers with generative techniques. GPCE Gabriel A. Moreno
2003	J	`jnl`	Enabling predictable assembly. J. Syst. Softw. Scott A. Hissam, Gabriel A. Moreno, Judith A. Stafford, Kurt C. Wallnau
2002	—	`conf`	Packaging Predictable Assembly. Component Deployment Scott A. Hissam, Gabriel A. Moreno, Judith A. Stafford, Kurt C. Wallnau