Genaína Nunes Rodrigues

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