Genana Nunes Rodrigues
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
22
Venues
9
Active years
2003–2026
Best venue rank
A*
Where they publish
Papers
22 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SEAMS | SEAMS 2026 Community Debate: How Ethical Can an Ethics-Aware Controller Be? Can we Trust it? | Genana Nunes Rodrigues, Betty H. C. Cheng, David Garlan, Paola Inverardi, Jeff Kramer, Sol Zilberman |
| 2026 | SEAMS | Towards Assured Mission Adaptation of Multi-Robot Systems. | Vicente Romeiro, Ricardo Caldas, Gianluca Filippone, Patrizio Pelliccione, Thorsten Berger, Genana Nunes Rodrigues |
| 2024 | ICSE | Analyzing and Debugging Normative Requirements via Satisfiability Checking. | Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victria Oldemburgo de Mello, Beverley A. Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genana Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik |
| 2024 | SEAMS | Formal Synthesis of Uncertainty Reduction Controllers. | Marc Carwehl, Calum Imrie, Thomas Vogel, Genana Nunes Rodrigues, Radu Calinescu, Lars Grunske |
| 2023 | SEAMS | Runtime Verification of Self-Adaptive Systems with Changing Requirements. | Marc Carwehl, Thomas Vogel, Genana Nunes Rodrigues, Lars Grunske |
| 2021 | SEAMS | 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, Genana Nunes Rodrigues, Patrizio Pelliccione |
| 2020 | ICSE | A hybrid approach combining control theory and AI for engineering self-adaptive systems. | Ricardo Diniz Caldas, Arthur Rodrigues, Eric Bernd Gil, Genana Nunes Rodrigues, Thomas Vogel, Patrizio Pelliccione |
| 2019 | ICSE | Taming uncertainty in the assurance process of self-adaptive systems: a goal-oriented approach. | Gabriela Flix Solano, Ricardo Diniz Caldas, Genana Nunes Rodrigues, Thomas Vogel, Patrizio Pelliccione |
| 2019 | SPLC | Feature-family-based reliability analysis of software product lines. | Andr Lanna, Thiago M. Castro, Vander Alves, Genana Nunes Rodrigues, Pierre-Yves Schobbens, Sven Apel |
| 2018 | ICSE | A learning approach to enhance assurances for real-time self-adaptive systems. | Arthur Rodrigues, Ricardo Diniz Caldas, Genana Nunes Rodrigues, Thomas Vogel, Patrizio Pelliccione |
| 2018 | REFSQ | A Persona-Based Modelling for Contextual Requirements. | Genana Nunes Rodrigues, Carlos Joel Tavares, Naiara Watanabe, Carina Alves, Raian Ali |
| 2016 | SAC | Exploring the combination of software visualization and data clustering in the software architecture recovery process. | Renato Paiva, Genana Nunes Rodrigues, Rodrigo Bonifcio, Marcelo Ladeira |
| 2015 | ER | Pragmatic Requirements for Adaptive Systems: A Goal-Driven Modeling and Analysis Approach. | Felipe Pontes Guimares, Genana Nunes Rodrigues, Daniel Macdo Batista, Raian Ali |
| 2014 | ICSE | Modelling and analysing contextual failures for dependability requirements. | Danilo F. Mendona, Raian Ali, Genana Nunes Rodrigues |
| 2012 | SAC | A systematic mapping study on creativity in requirements engineering. | Joo Lemos, Carina Frota Alves, Leticia Duboc, Genana Nunes Rodrigues |
| 2011 | CLOSER | A Cloud Architecture for Bioinformatics Workflows. | Hugo Saldanha, Edward de Oliveira Ribeiro, Maristela Holanda, Aletia P. F. Arajo, Genana Nunes Rodrigues, Maria Emlia Telles Walter, Joo Carlos Setubal, Alberto M. R. Dvila |
| 2011 | SEKE | A Flexible Event-Driven Architecture for Peer-to-Peer Based Applications. | Leone Parise Vieira da Silva, Rajiv Geeverghese, Edward de Oliveira Ribeiro, Genana Nunes Rodrigues, Clia Ghedini Ralha |
| 2007 | ICSE | Reliability Analysis of Concurrent Systems Using LTSA. | Genana Nunes Rodrigues, David S. Rosenblum, Jonas Wolf |
| 2005 | FASE | Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems. | Genana Nunes Rodrigues, David S. Rosenblum, Sebastin Uchitel |
| 2005 | ICSE | Sensitivity analysis for a scenario-based reliability prediction model. | Genana Nunes Rodrigues, David S. Rosenblum, Sebastin Uchitel |
| 2004 | ICSE | A Model Driven Approach for Software Systems Reliability. | Genana Nunes Rodrigues |
| 2003 | ICSE | Reliability Support for the Model Driven Architecture. | Genana Nunes Rodrigues, Graham Roberts, Wolfgang Emmerich |