Genaína Nunes Rodrigues

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 49

Top Venues

CoRR

Inf. Softw. Technol.

SEAMS@ICSE

ACM SIGSOFT Softw. Eng. Notes

University College London, UK (PHD)

Education History

University College London, UK

PHD

Publications

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
Analyzing and Debugging Normative Requirements via Satisfiability Checking. ICSE (2024)
Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues, Lars Grunske
Runtime Verification of Self-Adaptive Systems with Changing Requirements. Software Engineering (2024)
Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske
Formal Synthesis of Uncertainty Reduction Controllers. SEAMS@ICSE (2024)
Ricardo Caldas, Juan Antonio Piñera García, Matei Schiopu, Patrizio Pelliccione, Genaína Nunes Rodrigues, Thorsten Berger
Runtime Verification and Field Testing for ROS-Based Robotic Systems. CoRR (2024)
Radu Calinescu, Calum Imrie, Ravi Mangal, Genaína Nunes Rodrigues, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez
Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components. IEEE Trans. Software Eng. 50 (6) (2024)
Gabriel Araujo, Ricardo Caldas, Federico Formica, Genaína Nunes Rodrigues, Patrizio Pelliccione, Claudio Menghi
Search-based Trace Diagnostic. CoRR (2024)
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
Analyzing and Debugging Normative Requirements via Satisfiability Checking. CoRR (2024)
João Paulo Costa de Araujo, Genaína Nunes Rodrigues, Marc Carwehl, Thomas Vogel, Lars Grunske, Ricardo Caldas, Patrizio Pelliccione
Explainability for Property Violations in Cyberphysical Systems: An Immune-Inspired Approach. IEEE Softw. 41 (5) (2024)
Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske
Formal Synthesis of Uncertainty Reduction Controllers. CoRR (2024)
Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues, Lars Grunske
Runtime Verification of Self-Adaptive Systems with Changing Requirements. SEAMS (2023)
Geovana Ramos Sousa Silva, Genaína Nunes Rodrigues, Edna Dias Canedo
A Modeling Strategy for the Verification of Context-Oriented Chatbot Conversational Flows via Model Checking. J. Univers. Comput. Sci. 29 (7) (2023)
Thomas Vogel, Marc Carwehl, Genaína Nunes Rodrigues, Lars Grunske
A property specification pattern catalog for real-time system verification with UPPAAL. Inf. Softw. Technol. 154 (2023)
Eric Bernd Gil, Genaína Nunes Rodrigues, Patrizio Pelliccione, Radu Calinescu
Mission specification and decomposition for multi-robot systems. Robotics Auton. Syst. 163 (2023)
Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues, Lars Grunske
Runtime Verification of Self-Adaptive Systems with Changing Requirements. CoRR (2023)
Gustavo Portella, Eduardo Y. Nakano, Genaína Nunes Rodrigues, Azzedine Boukerche, Alba C. M. A. Melo
A Novel Statistical and Neural Network Combined Approach for the Cloud Spot Market. IEEE Trans. Cloud Comput. 11 (1) (2023)
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
Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems. ACM SIGSOFT Softw. Eng. Notes 48 (4) (2023)
Radu Calinescu, Genaína Nunes Rodrigues
Goal Controller Synthesis for Self-Adaptive Systems. FormaliSE (2023)
Gabriel S. Rodrigues, Ricardo Caldas, Gabriel Araujo, Vicente de Moraes, Genaína Nunes Rodrigues, Patrizio Pelliccione
An architecture for mission coordination of heterogeneous robots. J. Syst. Softw. 191 (2022)
Thomas Vogel, Marc Carwehl, Genaína Nunes Rodrigues, Lars Grunske
A Property Specification Pattern Catalog for Real-Time System Verification with UPPAAL. CoRR (2022)
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
Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation. ACM SIGSOFT Softw. Eng. Notes 47 (4) (2022)
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
Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation. CoRR (2022)
Eric Bernd Gil, Ricardo Diniz Caldas, Arthur Rodrigues, Gabriel Levi Gomes da Silva, Genaína Nunes Rodrigues, Patrizio Pelliccione
Body Sensor Network: A Self-Adaptive System Exemplar in the Healthcare Domain. SEAMS@ICSE (2021)
Eric Bernd Gil, Ricardo Diniz Caldas, Arthur Rodrigues, Gabriel Levi Gomes da Silva, Genaína Nunes Rodrigues, Patrizio Pelliccione
Body Sensor Network: A Self-Adaptive System Exemplar in the Healthcare Domain. CoRR (2021)
Ricardo Diniz Caldas, Arthur Rodrigues, Eric Bernd Gil, Genaína Nunes Rodrigues, Thomas Vogel, Patrizio Pelliccione
A Hybrid Approach Combining Control Theory and AI for Engineering Self-Adaptive Systems. CoRR (2020)
Claudia Raibulet, Khalil Drira, Maria Grazia Fugini, Genaína Nunes Rodrigues, Patrizio Pelliccione, Tomás Bures
Report of the 2nd International Workshop on Context-aware Autonomous and Smart Architectures (CASA@ECSA 2018). ACM SIGSOFT Softw. Eng. Notes 45 (1) (2020)
Ricardo Diniz Caldas, Arthur Rodrigues, Eric Bernd Gil, Genaína Nunes Rodrigues, Thomas Vogel, Patrizio Pelliccione
A hybrid approach combining control theory and AI for engineering self-adaptive systems. SEAMS@ICSE (2020)
Marco Antonio C. de Figueiredo, Edans Flavius de Oliveira Sandes, Genaína Nunes Rodrigues, George Luiz Medeiros Teodoro, Alba Cristina Magalhaes Alves de Melo
MASA-OpenCL: Parallel pruned comparison of long DNA sequences with OpenCL. Concurr. Comput. Pract. Exp. 31 (11) (2019)
Caio Batista de Melo, André Luiz Fernandes Cançado, Genaína Nunes Rodrigues
Characterization of implied scenarios as families of common behavior. J. Syst. Softw. 158 (2019)
Arthur Rodrigues, Genaína Nunes Rodrigues, Alessia Knauss, Raian Ali, Hugo Sica de Andrade
Enhancing context specifications for dependable adaptive systems: A data mining approach. Inf. Softw. Technol. 112 (2019)
Gabriela Félix Solano, Ricardo Diniz Caldas, Genaína Nunes Rodrigues, Thomas Vogel, Patrizio Pelliccione
Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach. CoRR (2019)
Gabriel S. Rodrigues, Felipe Pontes Guimarães, Genaína Nunes Rodrigues, Alessia Knauss, João Paulo C. de Araújo, Hugo Sica de Andrade, Raian Ali
GoalD: A Goal-Driven deployment framework for dynamic and heterogeneous computing environments. Inf. Softw. Technol. 111 (2019)
Rafael Fazzolino, Genaína Nunes Rodrigues
Feature-Trace: Generating Operational Profile and Supporting Testing Prioritization from BDD Features. SBES (2019)
Gustavo Portella, Genaína Nunes Rodrigues, Eduardo Y. Nakano, Alba C. M. A. Melo
Statistical analysis of Amazon EC2 cloud pricing models. Concurr. Comput. Pract. Exp. 31 (18) (2019)
Gustavo Portella, Eduardo Y. Nakano, Genaína Nunes Rodrigues, Alba C. M. A. Melo
Utility-Based Strategy for Balanced Cost and Availability at the Cloud Spot Market. CLOUD (2019)
André Lanna, Thiago M. Castro, Vander Alves, Genaína Nunes Rodrigues, Pierre-Yves Schobbens, Sven Apel
Feature-family-based reliability analysis of software product lines. SPLC (A) (2019)
Gabriela Félix Solano, Ricardo Diniz Caldas, Genaína Nunes Rodrigues, Thomas Vogel, Patrizio Pelliccione
Taming uncertainty in the assurance process of self-adaptive systems: a goal-oriented approach. SEAMS@ICSE (2019)
Arthur Rodrigues, Ricardo Diniz Caldas, Genaína Nunes Rodrigues, Thomas Vogel, Patrizio Pelliccione
A learning approach to enhance assurances for real-time self-adaptive systems. SEAMS@ICSE (2018)
André Lanna, Thiago M. Castro, Vander Alves, Genaína Nunes Rodrigues, Pierre-Yves Schobbens, Sven Apel
Feature-family-based reliability analysis of software product lines. Inf. Softw. Technol. 94 (2018)
Genaína Nunes Rodrigues, Carlos Joel Tavares, Naiara Watanabe, Carina Alves, Raian Ali
A Persona-Based Modelling for Contextual Requirements. REFSQ (2018)
Arthur Rodrigues, Ricardo Diniz Caldas, Genaína Nunes Rodrigues, Thomas Vogel, Patrizio Pelliccione
A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive Systems. CoRR (2018)
Rafael Fazzolino, Henrique Medrado de Faria, Luis Henrique Vieira Amaral, Edna Dias Canedo, Genaína Nunes Rodrigues, Rodrigo Bonifácio
Assessing Agile Testing Practices for Enterprise Systems: A Survey Approach. SAST (2018)
Felipe Pontes Guimarães, Genaína Nunes Rodrigues, Raian Ali, Daniel Macêdo Batista
Planning runtime software adaptation through pragmatic goal model. Data Knowl. Eng. 109 (2017)
Elton Sarmanho Siqueira, Carla Denise Castanho, Genaína Nunes Rodrigues, Ricardo Pezzuol Jacobi
A Data Analysis of Player in World of Warcraft Using Game Data Mining. SBGames (2017)
Alessandro Ferreira Leite, Vander Alves, Genaína Nunes Rodrigues, Claude Tadonki, Christine Eisenbeis, Alba Cristina Magalhaes Alves de Melo
Dohko: an autonomic system for provision, configuration, and management of inter-cloud environments based on a software product line engineering method. Clust. Comput. 20 (3) (2017)
Leonardo Pessoa, Paula Fernandes, Thiago M. Castro, Vander Alves, Genaína Nunes Rodrigues, Hervaldo Sampaio Carvalho
Building reliable and maintainable Dynamic Software Product Lines: An investigation in the Body Sensor Network domain. Inf. Softw. Technol. 86 (2017)
Alessandro Ferreira Leite, Vander Alves, Genaína Nunes Rodrigues, Claude Tadonki, Christine Eisenbeis, Alba Cristina Magalhaes Alves de Melo
Autonomic Provisioning, Configuration, and Management of Inter-cloud Environments Based on a Software Product Line Engineering Method. ICCAC (2016)
Renato Paiva, Genaína Nunes Rodrigues, Rodrigo Bonifácio, Marcelo Ladeira
Exploring the combination of software visualization and data clustering in the software architecture recovery process. SAC (2016)
Jane Dirce A. Sandim Eleuterio, Felipe Nunes Gaia, Andrea Bondavalli, Paolo Lollini, Genaína Nunes Rodrigues, Cecília Mary Fischer Rubira
On the Dependability for Dynamic Software Product Lines: A Comparative Systematic Mapping Study. SEAA (2016)
Danilo Filgueira Mendonça, Genaína Nunes Rodrigues, Raian Ali, Vander Alves, Luciano Baresi
GODA: A goal-oriented requirements engineering framework for runtime dependability analysis. Inf. Softw. Technol. 80 (2016)
Felipe Pontes Guimarães, Genaína Nunes Rodrigues, Daniel Macêdo Batista, Raian Ali
Pragmatic Requirements for Adaptive Systems: A Goal-Driven Modeling and Analysis Approach. ER (2015)
Felipe Pontes Guimarães, Genaína Nunes Rodrigues, Raian Ali, Daniel Macêdo Batista
Pragmatic Requirements for Adaptive Systems: a Goal-Driven Modelling and Analysis Approach. CoRR (2015)
Genaína Nunes Rodrigues, Vander Alves, Vinicius Nunes, André Lanna, Maxime Cordy, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Axel Legay
Modeling and Verification for Probabilistic Properties in Software Product Lines. HASE (2015)
Alessandro Ferreira Leite, Vander Alves, Genaína Nunes Rodrigues, Claude Tadonki, Christine Eisenbeis, Alba Cristina Magalhaes Alves de Melo
Automating Resource Selection and Configuration in Inter-clouds through a Software Product Line Method. CLOUD (2015)
Danilo F. Mendonça, Raian Ali, Genaína Nunes Rodrigues
Modelling and analysing contextual failures for dependability requirements. SEAMS (2014)
Luiz A. Laranjeira, Genaína Nunes Rodrigues
Border Effect Analysis for Reliability Assurance and Continuous Connectivity of Wireless Sensor Networks in the Presence of Sensor Failures. IEEE Trans. Wirel. Commun. 13 (8) (2014)
Felipe Pontes Guimarães, Pedro Célestin, Daniel Macêdo Batista, Genaína Nunes Rodrigues, Alba Cristina Magalhaes Alves de Melo
A Framework for Adaptive Fault-Tolerant Execution of Workflows in the Grid: Empirical and Theoretical Analysis. J. Grid Comput. 12 (1) (2014)
Alexandre Vaz Roriz, Genaína Nunes Rodrigues, Luiz A. Laranjeira
Analysis of the Impact of Implied Scenarios on the Reliability of Computational Concurrent Systems. SBCARS (2014)
Danilo Filgueira Mendonça, Genaína Nunes Rodrigues, Aletéia Patrícia Favacho de Araújo, Maristela Holanda
A Systematic Mapping Study on Service Oriented Computing in the Context of Quality of Services. SBCARS (2013)
Luiz A. Laranjeira, Genaína Nunes Rodrigues
Extending the Reliability of Wireless Sensor Networks through Informed Periodic Redeployment. SERE (2012)
João Lemos, Carina Frota Alves, Leticia Duboc, Genaína Nunes Rodrigues
A systematic mapping study on creativity in requirements engineering. SAC (2012)
Vinicius Nunes, Paula Fernandes, Vander Alves, Genaína Nunes Rodrigues
Variability Management of Reliability Models in Software Product Lines: An Expressiveness and Scalability Analysis. SBCARS (2012)
Genaína Nunes Rodrigues, Vander Alves, Renato Silveira, Luiz A. Laranjeira
Dependability analysis in the Ambient Assisted Living Domain: An exploratory case study. J. Syst. Softw. 85 (1) (2012)
Leone Parise Vieira da Silva, Rajiv Geeverghese, Edward de Oliveira Ribeiro, Genaína Nunes Rodrigues, Célia Ghedini Ralha
A Flexible Event-Driven Architecture for Peer-to-Peer Based Applications. SEKE (2011)
Euler Horta Marinho, Alysson A. Mendonca, Genaína Nunes Rodrigues, Vander Alves, Rodrigo Bonifácio
Exploring Architecture-Based Reliability Analysis of Current Multi-layered Web Applications. SBCARS (2011)
Hugo Saldanha, Edward de Oliveira Ribeiro, Maristela Holanda, Aleteia P. F. Araujo, Genaína Nunes Rodrigues, Maria Emília Telles Walter, João Carlos Setubal, Alberto M. R. Dávila
A Cloud Architecture for Bioinformatics Workflows. CLOSER (2011)
Genaína Nunes Rodrigues, Vander Alves, Renato Franklin, Luiz A. Laranjeira
Dependability Analysis in the Ambient Assisted Living Domain: An Exploratory Case Study. SBCARS (2010)
Genaína Nunes Rodrigues, David S. Rosenblum, Jonas Wolf
Reliability Analysis of Concurrent Systems Using LTSA. ICSE Companion (2007)
Genaína Nunes Rodrigues, David S. Rosenblum, Sebastián Uchitel
Sensitivity analysis for a scenario-based reliability prediction model. WADS@ICSE (2005)
Genaína Nunes Rodrigues, David S. Rosenblum, Sebastián Uchitel
Reliability Prediction in Model-Driven Development. MoDELS (2005)
Genaína Nunes Rodrigues, David S. Rosenblum, Sebastián Uchitel
Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems. FASE (2005)
Genaína Nunes Rodrigues, David S. Rosenblum, Sebastián Uchitel
Sensitivity analysis for a scenario-based reliability prediction model. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Genaína Nunes Rodrigues
A Model Driven Approach for Software Systems Reliability. ICSE (2004)
Genaína Nunes Rodrigues, Graham Roberts, Wolfgang Emmerich
Reliability Support for the Model Driven Architecture. WADS (2003)

Genaína Nunes Rodrigues.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Genaína Nunes Rodrigues