Genaína Nunes Rodrigues

According to our database, Genaína Nunes Rodrigues authored at least 63 papers between 2003 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Formal Synthesis of Uncertainty Reduction Controllers.

Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske

Proceedings of the Software Engineering 2025, 2025

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., October, 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., June, 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, Lars Grunske, Ricardo Caldas, Patrizio Pelliccione

IEEE Softw., 2024

Search-based Trace Diagnostic.

Gabriel F. P. Araujo, Ricardo Caldas, Federico Formica, Genaína Nunes Rodrigues, Patrizio Pelliccione, Claudio Menghi

CoRR, 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

Runtime Verification of Self-Adaptive Systems with Changing Requirements.

Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues, Lars Grunske

Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024

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, Radu Calinescu, Marsha Chechik

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

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, Ada Diaconescu, Gregor Engels, Simos Gerasimou, Ilias Gerostathopoulos, Sinem Getir Yaman, Vincenzo Grassi, Sebastian Hahner, Emmanuel Letier, Marin Litoiu, Lina Marsso, Angelika Musil, Juergen Musil, Genaína Nunes Rodrigues, Diego Perez-Palacin, Federico Quin, Patrizia Scandurra, Antonio Vallecillo, Andrea Zisman

ACM SIGSOFT Softw. Eng. Notes, October, 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., July, 2023

Mission specification and decomposition for multi-robot systems.

Eric Bernd Gil, Genaína Nunes Rodrigues, Patrizio Pelliccione, Radu Calinescu

Robotics Auton. Syst., May, 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

A property specification pattern catalog for real-time system verification with UPPAAL.

Thomas Vogel, Marc Carwehl, Genaína Nunes Rodrigues, Lars Grunske

Inf. Softw. Technol., 2023

Goal Controller Synthesis for Self-Adaptive Systems.

Radu Calinescu, Genaína Nunes Rodrigues

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

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, Judith Michael, Gabriel A. Moreno, Shiva Nejati, Patrizio Pelliccione, Federico Quin, Genaína Nunes Rodrigues, Bradley R. Schmerl, Marco Vieira, Thomas Vogel, Rebekka Wohlrab

ACM SIGSOFT Softw. Eng. Notes, 2022

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

2021

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

Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

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

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, Patrizio Pelliccione

Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020

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

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

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

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

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

Feature-Trace: Generating Operational Profile and Supporting Testing Prioritization from BDD Features.

Rafael Fazzolino, Genaína Nunes Rodrigues

Proceedings of the XXXIII Brazilian Symposium on Software Engineering, 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, Patrizio Pelliccione

Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

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

Proceedings of the 12th IEEE International Conference on Cloud Computing, 2019

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

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

Proceedings of the III Brazilian Symposium on Systematic and Automated Software Testing, 2018

A Persona-Based Modelling for Contextual Requirements.

Genaína Nunes Rodrigues, Carlos Joel Tavares, Naiara Watanabe, Carina Alves, Raian Ali

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2018

A learning approach to enhance assurances for real-time self-adaptive systems.

Arthur Rodrigues, Ricardo Diniz Caldas, Genaína Nunes Rodrigues, Thomas Vogel, Patrizio Pelliccione

Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018

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

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

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

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

Proceedings of the 16th Brazilian Symposium on Computer Games and Digital Entertainment, 2017

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

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

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 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

Proceedings of the 2016 International Conference on Cloud and Autonomic Computing, 2016

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

Proceedings of the 42th Euromicro Conference on Software Engineering and Advanced Applications, 2016

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

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

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 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

Proceedings of the Conceptual Modeling - 34th International Conference, 2015

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

Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

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

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

Analysis of the Impact of Implied Scenarios on the Reliability of Computational Concurrent Systems.

Alexandre Vaz Roriz, Genaína Nunes Rodrigues, Luiz A. Laranjeira

Proceedings of the Eighth Brazilian Symposium on Software Components, 2014

Modelling and analysing contextual failures for dependability requirements.

Danilo F. Mendonça, Raian Ali, Genaína Nunes Rodrigues

Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014

2013

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

Proceedings of the 2013 VII Brazilian Symposium on Software Components, Architectures and Reuse, Brasília, DF, Brazil, September 29, 2013

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

Extending the Reliability of Wireless Sensor Networks through Informed Periodic Redeployment.

Luiz A. Laranjeira, Genaína Nunes Rodrigues

Proceedings of the Sixth International Conference on Software Security and Reliability, 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

Proceedings of the Sixth Brazilian Symposium on Software Components, 2012

A systematic mapping study on creativity in requirements engineering.

João Lemos, Carina Frota Alves, Leticia Duboc, Genaína Nunes Rodrigues

Proceedings of the ACM Symposium on Applied Computing, 2012

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

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 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

Proceedings of the Fifth Brazilian Symposium on Software Components, 2011

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

Proceedings of the CLOSER 2011, 2011

2010

Dependability Analysis in the Ambient Assisted Living Domain: An Exploratory Case Study.

Genaína Nunes Rodrigues, Vander Alves, Renato Franklin, Luiz A. Laranjeira

Proceedings of the Fourth Brazilian Symposium on Software Components, 2010

2008

A model driven approach for software reliability prediction.

Genaína Nunes Rodrigues

PhD thesis, 2008

2007

Reliability Analysis of Concurrent Systems Using LTSA.

Genaína Nunes Rodrigues, David S. Rosenblum, Jonas Wolf

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

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 Prediction in Model-Driven Development.

Genaína Nunes Rodrigues, David S. Rosenblum, Sebastián Uchitel

Proceedings of the Model Driven Engineering Languages and Systems, 2005

Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems.

Genaína Nunes Rodrigues, David S. Rosenblum, Sebastián Uchitel

Proceedings of the Fundamental Approaches to Software Engineering, 2005

2004

A Model Driven Approach for Software Systems Reliability.

Genaína Nunes Rodrigues

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003

Reliability Support for the Model Driven Architecture.

Genaína Nunes Rodrigues, Graham Roberts, Wolfgang Emmerich

Proceedings of the Architecting Dependable Systems II, 2003