default search action
Genaína Nunes Rodrigues
Person information
- affiliation: University of Brasilia, Brasil
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j25]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): 43-51 (2024) - [j24]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): 1374-1395 (2024) - [j23]Ricardo Caldas, Juan Antonio Piñera García, Matei Schiopu, Patrizio Pelliccione, Genaína Nunes Rodrigues, Thorsten Berger:
Runtime Verification and Field-Based Testing for ROS-Based Robotic Systems. IEEE Trans. Software Eng. 50(10): 2544-2567 (2024) - [c37]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: 214:1-214:12 - [c36]Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues, Lars Grunske:
Runtime Verification of Self-Adaptive Systems with Changing Requirements. Software Engineering 2024: 151-152 - [c35]Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske:
Formal Synthesis of Uncertainty Reduction Controllers. SEAMS@ICSE 2024: 2-13 - [i12]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 abs/2401.05673 (2024) - [i11]Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske:
Formal Synthesis of Uncertainty Reduction Controllers. CoRR abs/2401.17187 (2024) - [i10]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 abs/2404.11498 (2024) - [i9]Gabriel Araujo, Ricardo Caldas, Federico Formica, Genaína Nunes Rodrigues, Patrizio Pelliccione, Claudio Menghi:
Search-based Trace Diagnostic. CoRR abs/2406.17268 (2024) - 2023
- [j22]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: 107100 (2023) - [j21]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): 805-835 (2023) - [j20]Eric Bernd Gil, Genaína Nunes Rodrigues, Patrizio Pelliccione, Radu Calinescu:
Mission specification and decomposition for multi-robot systems. Robotics Auton. Syst. 163: 104386 (2023) - [j19]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): 20-36 (2023) - [j18]Gustavo Portella, Eduardo Yoshio 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): 278-290 (2023) - [c34]Radu Calinescu, Genaína Nunes Rodrigues:
Goal Controller Synthesis for Self-Adaptive Systems. FormaliSE 2023: 1-6 - [c33]Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues, Lars Grunske:
Runtime Verification of Self-Adaptive Systems with Changing Requirements. SEAMS 2023: 104-114 - [i8]Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues, Lars Grunske:
Runtime Verification of Self-Adaptive Systems with Changing Requirements. CoRR abs/2303.16530 (2023) - 2022
- [j17]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: 111363 (2022) - [j16]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): 18-24 (2022) - [i7]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 abs/2206.12492 (2022) - [i6]Thomas Vogel, Marc Carwehl, Genaína Nunes Rodrigues, Lars Grunske:
A Property Specification Pattern Catalog for Real-Time System Verification with UPPAAL. CoRR abs/2211.03817 (2022) - 2021
- [c32]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: 224-230 - [i5]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 abs/2103.14948 (2021) - 2020
- [j15]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): 14-17 (2020) - [c31]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: 9-19 - [i4]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 abs/2004.11793 (2020)
2010 – 2019
- 2019
- [j14]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) - [j13]Gustavo Portella, Genaína Nunes Rodrigues, Eduardo Yoshio Nakano, Alba C. M. A. Melo:
Statistical analysis of Amazon EC2 cloud pricing models. Concurr. Comput. Pract. Exp. 31(18) (2019) - [j12]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:
GoalD: A Goal-Driven deployment framework for dynamic and heterogeneous computing environments. Inf. Softw. Technol. 111: 159-176 (2019) - [j11]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: 115-131 (2019) - [j10]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) - [c30]Gustavo Portella, Eduardo Yoshio 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: 214-218 - [c29]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: 89-99 - [c28]Rafael Fazzolino, Genaína Nunes Rodrigues:
Feature-Trace: Generating Operational Profile and Supporting Testing Prioritization from BDD Features. SBES 2019: 332-336 - [c27]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: 11:1 - [i3]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 abs/1905.02228 (2019) - 2018
- [j9]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: 59-81 (2018) - [c26]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: 206-216 - [c25]Genaína Nunes Rodrigues, Carlos Joel Tavares, Naiara Watanabe, Carina Alves, Raian Ali:
A Persona-Based Modelling for Contextual Requirements. REFSQ 2018: 352-368 - [c24]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: 29-38 - [i2]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 abs/1804.00994 (2018) - 2017
- [j8]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): 1951-1976 (2017) - [j7]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: 25-40 (2017) - [j6]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: 54-70 (2017) - [c23]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: 1-9 - 2016
- [j5]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: 245-264 (2016) - [c22]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: 323-330 - [c21]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: 72-83 - [c20]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: 1309-1314 - 2015
- [c19]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: 726-733 - [c18]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: 50-64 - [c17]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: 173-180 - [i1]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 abs/1503.07132 (2015) - 2014
- [j4]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): 127-151 (2014) - [j3]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): 4232-4246 (2014) - [c16]Danilo F. Mendonça, Raian Ali, Genaína Nunes Rodrigues:
Modelling and analysing contextual failures for dependability requirements. SEAMS 2014: 55-64 - [c15]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: 105-114 - 2013
- [c14]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: 39-48 - 2012
- [j2]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): 112-131 (2012) - [c13]João Lemos, Carina Frota Alves, Leticia Duboc, Genaína Nunes Rodrigues:
A systematic mapping study on creativity in requirements engineering. SAC 2012: 1083-1088 - [c12]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: 51-60 - [c11]Luiz A. Laranjeira, Genaína Nunes Rodrigues:
Extending the Reliability of Wireless Sensor Networks through Informed Periodic Redeployment. SERE 2012: 167-176 - 2011
- [c10]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:
A Cloud Architecture for Bioinformatics Workflows. CLOSER 2011: 477-483 - [c9]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: 51-60 - [c8]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: 764-769 - 2010
- [c7]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: 150-159
2000 – 2009
- 2008
- [b1]Genaína Nunes Rodrigues:
A model driven approach for software reliability prediction. University College London, UK, 2008 - 2007
- [c6]Genaína Nunes Rodrigues, David S. Rosenblum, Jonas Wolf:
Reliability Analysis of Concurrent Systems Using LTSA. ICSE Companion 2007: 63-64 - 2005
- [j1]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): 1-5 (2005) - [c5]Genaína Nunes Rodrigues, David S. Rosenblum, Sebastián Uchitel:
Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems. FASE 2005: 111-126 - [c4]Genaína Nunes Rodrigues, David S. Rosenblum, Sebastián Uchitel:
Sensitivity analysis for a scenario-based reliability prediction model. WADS@ICSE 2005: 7:1-7:5 - [c3]Genaína Nunes Rodrigues, David S. Rosenblum, Sebastián Uchitel:
Reliability Prediction in Model-Driven Development. MoDELS 2005: 339-354 - 2004
- [c2]Genaína Nunes Rodrigues:
A Model Driven Approach for Software Systems Reliability. ICSE 2004: 30-32 - 2003
- [c1]Genaína Nunes Rodrigues, Graham Roberts, Wolfgang Emmerich:
Reliability Support for the Model Driven Architecture. WADS 2003: 79-98
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 21:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint