Reliability Support for the Model Driven Architecture. - Genaína Nunes Rodrigues; Graham Roberts; Wolfgang Emmerich (WADS, 2003)

A Model Driven Approach for Software Systems Reliability. - Genaína Nunes Rodrigues (ICSE, 2004)

Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems. - Genaína Nunes Rodrigues; David S. Rosenblum; Sebastián Uchitel (FASE, 2005)

Reliability Prediction in Model-Driven Development. - Genaína Nunes Rodrigues; David S. Rosenblum; Sebastián Uchitel (MoDELS, 2005)

Sensitivity analysis for a scenario-based reliability prediction model. - Genaína Nunes Rodrigues; David S. Rosenblum; Sebastián Uchitel (ACM SIGSOFT Softw. Eng. Notes, 2005)

Reliability Analysis of Concurrent Systems Using LTSA. - Genaína Nunes Rodrigues; David S. Rosenblum; Jonas Wolf (ICSE Companion, 2007)

A model driven approach for software reliability prediction. - Genaína Nunes Rodrigues (2008)

Dependability Analysis in the Ambient Assisted Living Domain: An Exploratory Case Study. - Genaína Nunes Rodrigues; Vander Alves; Renato Franklin; Luiz A. Laranjeira (SBCARS, 2010)

A Cloud Architecture for Bioinformatics Workflows. - Hugo Saldanha; Edward de Oliveira Ribeiro; Maristela Holanda; Aletéia P. F. Araújo; Genaína Nunes Rodrigues; Maria Emília Telles Walter; João Carlos Setubal; Alberto M. R. Dávila (CLOSER, 2011)

Exploring Architecture-Based Reliability Analysis of Current Multi-layered Web Applications. - Euler Horta Marinho; Alysson A. Mendonca; Genaína Nunes Rodrigues; Vander Alves; Rodrigo Bonifácio (SBCARS, 2011)

A Flexible Event-Driven Architecture for Peer-to-Peer Based Applications. - Leone Parise Vieira da Silva; Rajiv Geeverghese; Edward de Oliveira Ribeiro; Genaína Nunes Rodrigues; Célia Ghedini Ralha (SEKE, 2011)

A systematic mapping study on creativity in requirements engineering. - João Lemos; Carina Frota Alves; Leticia Duboc; Genaína Nunes Rodrigues (SAC, 2012)

Variability Management of Reliability Models in Software Product Lines: An Expressiveness and Scalability Analysis. - Vinicius Nunes; Paula Fernandes; Vander Alves; Genaína Nunes Rodrigues (SBCARS, 2012)

Extending the Reliability of Wireless Sensor Networks through Informed Periodic Redeployment. - Luiz A. Laranjeira; Genaína Nunes Rodrigues (SERE, 2012)

Dependability analysis in the Ambient Assisted Living Domain: An exploratory case study. - Genaína Nunes Rodrigues; Vander Alves; Renato Silveira; Luiz A. Laranjeira (J. Syst. Softw., 2012)

A Systematic Mapping Study on Service Oriented Computing in the Context of Quality of Services. - Danilo Filgueira Mendonça; Genaína Nunes Rodrigues; Aletéia Patrícia Favacho de Araújo; Maristela Holanda (SBCARS, 2013)

Modelling and analysing contextual failures for dependability requirements. - Danilo F. Mendonça; Raian Ali; Genaína Nunes Rodrigues (SEAMS, 2014)

Analysis of the Impact of Implied Scenarios on the Reliability of Computational Concurrent Systems. - Alexandre Vaz Roriz; Genaína Nunes Rodrigues; Luiz A. Laranjeira (SBCARS, 2014)

A Framework for Adaptive Fault-Tolerant Execution of Workflows in the Grid: Empirical and Theoretical Analysis. - Felipe Pontes Guimarães; Pedro Célestin; Daniel Macêdo Batista; Genaína Nunes Rodrigues; Alba Cristina Magalhaes Alves de Melo (J. Grid Comput., 2014)

Border Effect Analysis for Reliability Assurance and Continuous Connectivity of Wireless Sensor Networks in the Presence of Sensor Failures. - Luiz A. Laranjeira; Genaína Nunes Rodrigues (IEEE Trans. Wirel. Commun., 2014)

Automating Resource Selection and Configuration in Inter-clouds through a Software Product Line Method. - Alessandro Ferreira Leite; Vander Alves; Genaína Nunes Rodrigues; Claude Tadonki; Christine Eisenbeis; Alba Cristina Magalhaes Alves de Melo (CLOUD, 2015)

Pragmatic Requirements for Adaptive Systems: A Goal-Driven Modeling and Analysis Approach. - Felipe Pontes Guimarães; Genaína Nunes Rodrigues; Daniel Macêdo Batista; Raian Ali (ER, 2015)

Modeling and Verification for Probabilistic Properties in Software Product Lines. - Genaína Nunes Rodrigues; Vander Alves; Vinicius Nunes; André Lanna; Maxime Cordy; Pierre-Yves Schobbens; Amir Molzam Sharifloo; Axel Legay (HASE, 2015)

Pragmatic Requirements for Adaptive Systems: a Goal-Driven Modelling and Analysis Approach. - Felipe Pontes Guimarães; Genaína Nunes Rodrigues; Raian Ali; Daniel Macêdo Batista (CoRR, 2015)

On the Dependability for Dynamic Software Product Lines: A Comparative Systematic Mapping Study. - Jane Dirce A. Sandim Eleuterio; Felipe Nunes Gaia; Andrea Bondavalli; Paolo Lollini; Genaína Nunes Rodrigues; Cecília Mary Fischer Rubira (SEAA, 2016)

Autonomic Provisioning, Configuration, and Management of Inter-cloud Environments Based on a Software Product Line Engineering Method. - Alessandro Ferreira Leite; Vander Alves; Genaína Nunes Rodrigues; Claude Tadonki; Christine Eisenbeis; Alba Cristina Magalhaes Alves de Melo (ICCAC, 2016)

Exploring the combination of software visualization and data clustering in the software architecture recovery process. - Renato Paiva; Genaína Nunes Rodrigues; Rodrigo Bonifácio; Marcelo Ladeira (SAC, 2016)

GODA: A goal-oriented requirements engineering framework for runtime dependability analysis. - Danilo Filgueira Mendonça; Genaína Nunes Rodrigues; Raian Ali; Vander Alves; Luciano Baresi (Inf. Softw. Technol., 2016)

A Data Analysis of Player in World of Warcraft Using Game Data Mining. - Elton Sarmanho Siqueira; Carla Denise Castanho; Genaína Nunes Rodrigues; Ricardo Pezzuol Jacobi (SBGames, 2017)

Dohko: an autonomic system for provision, configuration, and management of inter-cloud environments based on a software product line engineering method. - Alessandro Ferreira Leite; Vander Alves; Genaína Nunes Rodrigues; Claude Tadonki; Christine Eisenbeis; Alba Cristina Magalhaes Alves de Melo (Clust. Comput., 2017)

Planning runtime software adaptation through pragmatic goal model. - Felipe Pontes Guimarães; Genaína Nunes Rodrigues; Raian Ali; Daniel Macêdo Batista (Data Knowl. Eng., 2017)

Building reliable and maintainable Dynamic Software Product Lines: An investigation in the Body Sensor Network domain. - Leonardo Pessoa; Paula Fernandes; Thiago M. Castro; Vander Alves; Genaína Nunes Rodrigues; Hervaldo Sampaio Carvalho (Inf. Softw. Technol., 2017)

A learning approach to enhance assurances for real-time self-adaptive systems. - Arthur Rodrigues; Ricardo Diniz Caldas; Genaína Nunes Rodrigues; Thomas Vogel 001; Patrizio Pelliccione (SEAMS@ICSE, 2018)

A Persona-Based Modelling for Contextual Requirements. - Genaína Nunes Rodrigues; Carlos Joel Tavares; Naiara Watanabe; Carina Alves 001; Raian Ali (REFSQ, 2018)

Assessing Agile Testing Practices for Enterprise Systems: A Survey Approach. - Rafael Fazzolino; Henrique Medrado de Faria; Luis Henrique Vieira Amaral; Edna Dias Canedo; Genaína Nunes Rodrigues; Rodrigo Bonifácio (SAST, 2018)

Feature-family-based reliability analysis of software product lines. - André Lanna; Thiago M. Castro; Vander Alves; Genaína Nunes Rodrigues; Pierre-Yves Schobbens; Sven Apel (Inf. Softw. Technol., 2018)

Utility-Based Strategy for Balanced Cost and Availability at the Cloud Spot Market. - Gustavo Portella; Eduardo Yoshio Nakano; Genaína Nunes Rodrigues; Alba C. M. A. Melo (CLOUD, 2019)

Taming uncertainty in the assurance process of self-adaptive systems: a goal-oriented approach. - Gabriela Félix Solano; Ricardo Diniz Caldas; Genaína Nunes Rodrigues; Thomas Vogel 001; Patrizio Pelliccione (SEAMS@ICSE, 2019)

Feature-Trace: Generating Operational Profile and Supporting Testing Prioritization from BDD Features. - Rafael Fazzolino; Genaína Nunes Rodrigues (SBES, 2019)

MASA-OpenCL: Parallel pruned comparison of long DNA sequences with OpenCL. - Marco Antonio C. de Figueiredo; Edans Flavius de Oliveira Sandes; Genaína Nunes Rodrigues; George Luiz Medeiros Teodoro; Alba Cristina Magalhaes Alves de Melo (Concurr. Comput. Pract. Exp., 2019)

Statistical analysis of Amazon EC2 cloud pricing models. - Gustavo Portella; Genaína Nunes Rodrigues; Eduardo Yoshio Nakano; Alba C. M. A. Melo (Concurr. Comput. Pract. Exp., 2019)

GoalD: A Goal-Driven deployment framework for dynamic and heterogeneous computing environments. - Gabriel S. Rodrigues; Felipe Pontes Guimarães; Genaína Nunes Rodrigues; Alessia Knauss; João Paulo Costa de Araujo; Hugo Sica de Andrade; Raian Ali (Inf. Softw. Technol., 2019)

Enhancing context specifications for dependable adaptive systems: A data mining approach. - Arthur Rodrigues; Genaína Nunes Rodrigues; Alessia Knauss; Raian Ali; Hugo Sica de Andrade (Inf. Softw. Technol., 2019)

Characterization of implied scenarios as families of common behavior. - Caio Batista de Melo; André Luiz Fernandes Cançado; Genaína Nunes Rodrigues (J. Syst. Softw., 2019)

A hybrid approach combining control theory and AI for engineering self-adaptive systems. - Ricardo Diniz Caldas; Arthur Rodrigues; Eric Bernd Gil; Genaína Nunes Rodrigues; Thomas Vogel 001; Patrizio Pelliccione (SEAMS@ICSE, 2020)

Report of the 2nd International Workshop on Context-aware Autonomous and Smart Architectures (CASA@ECSA 2018). - Claudia Raibulet; Khalil Drira; Maria Grazia Fugini; Genaína Nunes Rodrigues; Patrizio Pelliccione; Tomás Bures (ACM SIGSOFT Softw. Eng. Notes, 2020)

Body Sensor Network: A Self-Adaptive System Exemplar in the Healthcare Domain. - Eric Bernd Gil; Ricardo Diniz Caldas; Arthur Rodrigues; Gabriel Levi Gomes da Silva; Genaína Nunes Rodrigues; Patrizio Pelliccione (SEAMS@ICSE, 2021)

An architecture for mission coordination of heterogeneous robots. - Gabriel S. Rodrigues; Ricardo Caldas; Gabriel F. P. Araujo; Vicente de Moraes; Genaína Nunes Rodrigues; Patrizio Pelliccione (J. Syst. Softw., 2022)

Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation. - Danny Weyns; Ilias Gerostathopoulos; Barbora Buhnova; Nicolás Cardozo; Emilia Cioroaica; Ivana Dusparic; Lars Grunske; Pooyan Jamshidi; Christine Julien 001; Judith Michael; Gabriel A. Moreno; Shiva Nejati 001; et al. (ACM SIGSOFT Softw. Eng. Notes, 2022)

Goal Controller Synthesis for Self-Adaptive Systems. - Radu Calinescu; Genaína Nunes Rodrigues (FormaliSE, 2023)

A property specification pattern catalog for real-time system verification with UPPAAL. - Thomas Vogel 001; Marc Carwehl; Genaína Nunes Rodrigues; Lars Grunske (Inf. Softw. Technol., 2023)

A Novel Statistical and Neural Network Combined Approach for the Cloud Spot Market. - Gustavo Portella; Eduardo Yoshio Nakano; Genaína Nunes Rodrigues; Azzedine Boukerche; Alba C. M. A. Melo (IEEE Trans. Cloud Comput., 2023)

Mission specification and decomposition for multi-robot systems. - Eric Bernd Gil; Genaína Nunes Rodrigues; Patrizio Pelliccione; Radu Calinescu (Robotics Auton. Syst., 2023)

A Modeling Strategy for the Verification of Context-Oriented Chatbot Conversational Flows via Model Checking. - Geovana Ramos Sousa Silva; Genaína Nunes Rodrigues; Edna Dias Canedo (J. Univers. Comput. Sci., 2023)

Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems. - Danny Weyns; Radu Calinescu; Raffaela Mirandola; Kenji Tei; Maribel Acosta; Amel Bennaceur; Nicolas Boltz; Tomás Bures; Javier Cámara 001; Ada Diaconescu; Gregor Engels; Simos Gerasimou; et al. (ACM SIGSOFT Softw. Eng. Notes, 2023)

Analyzing and Debugging Normative Requirements via Satisfiability Checking. - Nick Feng; Lina Marsso; Sinem Getir Yaman; Yesugen Baatartogtokh; Reem Ayad; Victória Oldemburgo de Mello; Beverley A. Townsend; Isobel Standen; Ioannis Stefanakos; Calum Imrie; Genaína Nunes Rodrigues; Ana Cavalcanti 001; et al. (ICSE, 2024)

Runtime Verification of Self-Adaptive Systems with Changing Requirements. - Marc Carwehl; Thomas Vogel 001; Genaína Nunes Rodrigues; Lars Grunske (Software Engineering, 2024)

Runtime Verification and Field Testing for ROS-Based Robotic Systems. - Ricardo Caldas; Juan Antonio Piñera García; Matei Schiopu; Patrizio Pelliccione; Genaína Nunes Rodrigues; Thorsten Berger (CoRR, 2024)

Search-based Trace Diagnostic. - Gabriel F. P. Araujo; Ricardo Caldas; Federico Formica; Genaína Nunes Rodrigues; Patrizio Pelliccione; Claudio Menghi (CoRR, 2024)

Explainability for Property Violations in Cyberphysical Systems: An Immune-Inspired Approach. - João Paulo Costa de Araujo; Genaína Nunes Rodrigues; Marc Carwehl; Thomas Vogel 001; Lars Grunske; Ricardo Caldas; Patrizio Pelliccione (IEEE Softw., 2024)

Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components. - Radu Calinescu; Calum Imrie; Ravi Mangal; Genaína Nunes Rodrigues; Corina S. Pasareanu; Misael Alpizar Santana; Gricel Vázquez (IEEE Trans. Software Eng., 2024)

Runtime Verification and Field-Based Testing for ROS-Based Robotic Systems. - Ricardo Caldas; Juan Antonio Piñera García; Matei Schiopu; Patrizio Pelliccione; Genaína Nunes Rodrigues; Thorsten Berger (IEEE Trans. Software Eng., 2024)

Formal Synthesis of Uncertainty Reduction Controllers. - Marc Carwehl; Calum Imrie; Thomas Vogel 001; Genaína Nunes Rodrigues; Radu Calinescu; Lars Grunske (Software Engineering, 2025)