Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Profil
| Derzeitige Stellung | Professor W-2 und Äquivalente |
|---|---|
| Fachgebiet | Softwaretechnik und Programmiersprachen |
| Keywords | trustworthy software, probabilistic model checking, self-adaptive systems, uncertainties, goal-oriented requirements engineering |
| Auszeichnungen | 2019: Experienced Research Fellow, CAPES/Alexander von Humboldt Foundation. 2019: Most Influential Paper of SBCARS (Brazilian Symposium on Reusable Components and Architecture) 2010 (Ten-year impact). 2017: Visiting Professor Scholarship, University of Toulouse Jean Jaurès/IRIT. 2016: Invited speaker, Swedish Academic Collaboration Forum, MCTI/CNPq, CAPES. 2016: Invited WSCAD 2016 paper (among best papers) for CPE journal, SBC. 2015: Among best papers of ER (Conceptual Modeling Conference) 2015, SPRINGER. 2002: PhD 4-year scholarship grant by CAPES |
Aktuelle Kontaktadresse
| Land | Brasilien |
|---|---|
| Ort | Brasilia |
| Universität/Institution | Universidade de Brasilia (UnB) |
Gastgeber*innen während der Förderung
| Prof. Dr. Lars Grunske | Fachgebiet Softwaretechnik, Humboldt-Universität zu Berlin, Berlin |
|---|---|
| Beginn der ersten Förderung | 01.11.2020 |
Programm(e)
| 2019 | Capes-Humboldt-Forschungsstipendien-Programm für erfahrene Forschende |
|---|
Publikationen (Auswahl)
| 2019 | Caio Batista de Melo and Andr{\'{e}} Luiz Fernandes Can{\c{c}}ado and Gena{\'{\i}}na Nunes Rodrigues: Characterization of implied scenarios as families of common behavior. In: Journal of Systems and Software, 158, 2019, |
|---|---|
| 2019 | Arthur Rodrigues and Gena{\'{\i}}na Nunes Rodrigues and Alessia Knauss and Raian Ali and Hugo Sica de Andrade: Enhancing context specifications for dependable adaptive systems: {A} data mining approach. In: Information {\&} Software Technology, 112, 2019, 115--131 |
| 2019 | Rafael Fazzolino and Gena{\'{\i}}na Nunes Rodrigues: Feature-Trace: Generating Operational Profile and Supporting Testing Prioritization from {BDD} Features. {SBES}. {ACM}, 2019. 332--336 |
| 2019 | Gabriel S. Rodrigues and Felipe Pontes Guimar{\~{a}}es and Gena{\'{\i}}na Nunes Rodrigues and Alessia Knauss and Jo{\~{a}}o Paulo C. de Ara{\'{u}}jo and Hugo Sica de Andrade and Raian Ali: GoalD: {A} Goal-Driven deployment framework for dynamic and heterogeneous computing environments. In: Information {\&} Software Technology, 111, 2019, 159--176 |
| 2019 | Marco Antonio C. de Figueiredo and Edans Flavius de Oliveira Sandes and Gena{\'{\i}}na Nunes Rodrigues and George Luiz Medeiros Teodoro and Alba Cristina Magalhaes Alves de Melo: MASA-OpenCL: Parallel pruned comparison of long {DNA} sequences with OpenCL. In: Concurrency and Computation: Practice and Experience, 31, 2019, |
| 2019 | Gustavo Portella and Gena{\'{\i}}na Nunes Rodrigues and Eduardo Y. Nakano and Alba C. M. A. Melo: Statistical analysis of Amazon {EC2} cloud pricing models. In: Concurrency and Computation: Practice and Experience, 31, 2019, |
| 2019 | Gabriela F{\'{e}}lix Solano and Ricardo Diniz Caldas and Gena{\'{\i}}na Nunes Rodrigues and Thomas Vogel and Patrizio Pelliccione: Taming uncertainty in the assurance process of self-adaptive systems: a goal-oriented approach. SEAMS@ICSE. {ACM}, 2019. 89--99 |
| 2019 | Gustavo Portella and Eduardo Y. Nakano and Gena{\'{\i}}na Nunes Rodrigues and Alba C. M. A. Melo: Utility-Based Strategy for Balanced Cost and Availability at the Cloud Spot Market. {CLOUD}. {IEEE}, 2019. 214--218 |
| 2018 | Gena{\'{\i}}na Nunes Rodrigues and Carlos Joel Tavares and Naiara Watanabe and Carina Alves and Raian Ali: A Persona-Based Modelling for Contextual Requirements. {REFSQ}. Springer, 2018. 352--368 |
| 2018 | Arthur Rodrigues and Ricardo Diniz Caldas and Gena{\'{\i}}na Nunes Rodrigues and Thomas Vogel and Patrizio Pelliccione: A learning approach to enhance assurances for real-time self-adaptive systems. SEAMS@ICSE. {ACM}, 2018. 206--216 |
| 2018 | Rafael Fazzolino and Henrique Medrado de Faria and Luis Henrique Vieira Amaral and Edna Dias Canedo and Gena{\'{\i}}na Nunes Rodrigues and Rodrigo Bonif{\'{a}}cio: Assessing Agile Testing Practices for Enterprise Systems: {A} Survey Approach. {SAST}. {ACM}, 2018. 29--38 |
| 2018 | Andr{\'{e}} Lanna and Thiago Castro and Vander Alves and Gena{\'{\i}}na Nunes Rodrigues and Pierre{-}Yves Schobbens and Sven Apel: Feature-family-based reliability analysis of software product lines. In: Information {\&} Software Technology, 94, 2018, 59--81 |
| 2017 | Leonardo Pessoa and Paula Fernandes and Thiago Castro and Vander Alves and Genaína N. Rodrigues and Hervaldo Carvalho: Building reliable and maintainable Dynamic Software Product Lines: An investigation in the Body Sensor Network domain . In: Information and Software Technology 86, 2017, 54 - 70 |
| 2017 | Leite, Alessandro Ferreira and Alves, Vander and Rodrigues, Gena{\'i}na Nunes and Tadonki, Claude and Eisenbeis, Christine and Melo, Alba Cristina Magalhaes Alves de: Dohko: an autonomic system for provision, configuration, and management of inter-cloud environments based on a software product line engineering method. In: Cluster Computing, 20, 2017, 1951--1976 |
| 2017 | Felipe Pontes Guimaraes and Gena{\'{\i}}na Nunes Rodrigues and Raian Ali and Daniel Mac\^{e}do Batista: Planning runtime software adaptation through pragmatic goal model . In: Data \& Knowledge Engineering 109, 2017, 25 - 40 |
| 2016 | Alessandro Ferreira Leite and Vander Alves and Gena{\'{\i}}na Nunes Rodrigues and Claude Tadonki and Christine Eisenbeis and Alba Cristina Magalhaes Alves de Melo: Autonomic Provisioning, Configuration, and Management of Inter-cloud Environments Based on a Software Product Line Engineering Method. {ICCAC}. {IEEE} Computer Society, 2016. 72--83 |
| 2016 | Renato Paiva and Gena{\'{\i}}na Nunes Rodrigues and Rodrigo Bonif{\'{a}}cio and Marcelo Ladeira: Exploring the combination of software visualization and data clustering in the software architecture recovery process. Proceedings of the 31st Annual {ACM} Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016. 2016. 1309--1314 |
| 2016 | Jane Dirce A. Sandim Eleuterio and Felipe Nunes Gaia and Andrea Bondavalli and Paolo Lollini and Gena{\'{\i}}na Nunes Rodrigues and Cec{\'{\i}}lia Mary Fischer Rubira: On the Dependability for Dynamic Software Product Lines: {A} Comparative Systematic Mapping Study. 42th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2016, Limassol, Cyprus, August 31 - Sept. 2, 2016. 2016. 323--330 |
| 2016 | Danilo Filgueira Mendon{\c{c}}a and Gena{\'{\i}}na Nunes Rodrigues and Raian Ali and Vander Alves and Luciano Baresi: {GODA:} {A} goal-oriented requirements engineering framework for runtime dependability analysis. In: Information {\&} Software Technology, 80, 2016, 245--264 |
| 2015 | Alessandro Ferreira Leite and Vander Alves and Gena{\'{\i}}na Nunes Rodrigues and Claude Tadonki and Christine Eisenbeis and Alba Cristina Magalhaes Alves de Melo: Automating Resource Selection and Configuration in Inter-clouds through a Software Product Line Method. 8th {IEEE} International Conference on Cloud Computing, {CLOUD} 2015, New York City, NY, USA, June 27 - July 2, 2015. 2015. 726--733 |
| 2015 | Gena{\'{\i}}na Nunes Rodrigues and Vander Alves and Vinicius Nunes and Andr{\'{e}} Lanna and Maxime Cordy and Pierre{-}Yves Schobbens and Amir Molzam Sharifloo and Axel Legay: Modeling and Verification for Probabilistic Properties in Software Product Lines. 16th {IEEE} International Symposium on High Assurance Systems Engineering, {HASE} 2015, Daytona Beach, FL, USA, January 8-10, 2015. 2015. 173--180 |
| 2015 | Felipe Pontes Guimar{\~{a}}es and Gena{\'{\i}}na Nunes Rodrigues and Raian Ali and Daniel Mac{\^{e}}do Batista: Pragmatic Requirements for Adaptive Systems: a Goal-Driven Modelling and Analysis Approach. In: CoRR, abs/1503.07132, 2015, |
| 2015 | Felipe Pontes Guimar{\~{a}}es and Gena{\'{\i}}na Nunes Rodrigues and Daniel Mac{\^{e}}do Batista and Raian Ali: Pragmatic Requirements for Adaptive Systems: {A} Goal-Driven Modeling and Analysis Approach. Conceptual Modeling - 34th International Conference, {ER} 2015, Stockholm, Sweden, October 19-22, 2015, Proceedings. 2015. 50--64 |
| 2014 | Felipe Pontes Guimar{\~{a}}es and Pedro C{\'{e}}lestin and Daniel Mac{\^{e}}do Batista and Gena{\'{\i}}na Nunes Rodrigues and Alba Cristina Magalhaes Alves de Melo: A Framework for Adaptive Fault-Tolerant Execution of Workflows in the Grid: Empirical and Theoretical Analysis. In: J. Grid Comput., 12, 2014, 127--151 |
| 2014 | Alexandre Vaz Roriz and Gena{\'{\i}}na Nunes Rodrigues and Luiz A. Laranjeira: Analysis of the Impact of Implied Scenarios on the Reliability of Computational Concurrent Systems. Eighth Brazilian Symposium on Software Components, Architectures and Reuse, {SBCARS} 2014, Macei{\'{o}}, Alagoas, Brazil, September 29-30, 2014. 2014. 105--114 |
| 2014 | Luiz A. Laranjeira and Gena{\'{\i}}na Nunes Rodrigues: Border Effect Analysis for Reliability Assurance and Continuous Connectivity of Wireless Sensor Networks in the Presence of Sensor Failures. In: {IEEE} Trans. Wireless Communications, 13, 2014, 4232--4246 |
| 2014 | Danilo F. Mendon{\c{c}}a and Raian Ali and Gena{\'{\i}}na Nunes Rodrigues: Modelling and analysing contextual failures for dependability requirements. 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, {SEAMS} 2014, Proceedings, Hyderabad, India, June 2-3, 2014. 2014. 55--64 |
| 2013 | Danilo Filgueira Mendon{\c{c}}a and Gena{\'{\i}}na Nunes Rodrigues and Aleteia Favacho and Maristela Holanda: A Systematic Mapping Study on Service Oriented Computing in the Context of Quality of Services. 2013 {VII} Brazilian Symposium on Software Components, Architectures and Reuse, Bras{\'{\i}}lia, DF, Brazil, September 29 - October 4, 2013. 2013. 39--48 |
| 2012 | Jo{\~{a}}o Lemos and Carina Frota Alves and Leticia Duboc and Gena{\'{\i}}na Nunes Rodrigues: A systematic mapping study on creativity in requirements engineering. Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012, Riva, Trento, Italy, March 26-30, 2012. 2012. 1083--1088 |
| 2012 | Luiz A. Laranjeira and Gena{\'{\i}}na Nunes Rodrigues: Extending the Reliability of Wireless Sensor Networks through Informed Periodic Redeployment. Sixth International Conference on Software Security and Reliability, {SERE} 2012, Gaithersburg, Maryland, USA, 20-22 June 2012. 2012. 167--176 |
| 2012 | Vinicius Nunes and Paula Fernandes and Vander Alves and Gena{\'{\i}}na Nunes Rodrigues: Variability Management of Reliability Models in Software Product Lines: An Expressiveness and Scalability Analysis. Sixth Brazilian Symposium on Software Components, {SBCARS} 2012, Architectures and Reuse, Natal, Brazil, September 23-28, 2012. 2012. 51--60 |
| 2011 | Hugo Saldanha and Edward de Oliveira Ribeiro and Maristela Holanda and Aleteia P. F. Araujo and Gena{\'{\i}}na Nunes Rodrigues and Maria Emilia Telles Walter and Jo{\~{a}}o Carlos Setubal and Alberto M. R. D{\'{a}}vila: A Cloud Architecture for Bioinformatics Workflows. {CLOSER} 2011 - Proceedings of the 1st International Conference on Cloud Computing and Services Science, Noordwijkerhout, Netherlands, 7-9 May, 2011. 2011. 477--483 |
| 2011 | Leone Parise Vieira da Silva and Rajiv Geeverghese and Edward de Oliveira Ribeiro and Gena{\'{\i}}na Nunes Rodrigues and C{\'{e}}lia Ghedini Ralha: A Flexible Event-Driven Architecture for Peer-to-Peer Based Applications. Proceedings of the 23rd International Conference on Software Engineering {\&} Knowledge Engineering (SEKE'2011), Eden Roc Renaissance, Miami Beach, USA, July 7-9, 2011. 2011. 764--769 |
| 2011 | Euler Horta Marinho and Alysson A. Mendonca and Gena{\'{\i}}na Nunes Rodrigues and Vander Alves and Rodrigo Bonif{\'{a}}cio: Exploring Architecture-Based Reliability Analysis of Current Multi-layered Web Applications. Fifth Brazilian Symposium on Software Components, Architectures and Reuse, {SBCARS} 2011, Sao Paulo, Brazil, September 26-27, 2011. 2011. 51--60 |
| 2010 | Gena{\'{\i}}na Nunes Rodrigues and Vander Alves and Renato Franklin and Luiz A. Laranjeira: Dependability Analysis in the Ambient Assisted Living Domain: An Exploratory Case Study. Fourth Brazilian Symposium on Software Components, Architectures and Reuse, {SBCARS} 2010, Salvador, Bahia, Brazil, September 27 - October 1, 2010. 2010. 150--159 |
| 2007 | Gena{\'{\i}}na Nunes Rodrigues and David S. Rosenblum and Jonas Wolf: Reliability Analysis of Concurrent Systems Using {LTSA}. 29th International Conference on Software Engineering {(ICSE} 2007), Minneapolis, MN, USA, May 20-26, 2007, Companion Volume. 2007. 63--64 |
| 2005 | Gena{\'{\i}}na Nunes Rodrigues and David S. Rosenblum and Sebasti{\'{a}}n Uchitel: Reliability Prediction in Model-Driven Development. Model Driven Engineering Languages and Systems, 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings. 2005. 339--354 |
| 2005 | Gena{\'{\i}}na Nunes Rodrigues and David S. Rosenblum and Sebasti{\'{a}}n Uchitel: Sensitivity analysis for a scenario-based reliability prediction model. In: {ACM} {SIGSOFT} Software Engineering Notes, 30, 2005, 1--5 |
| 2005 | Gena{\'{\i}}na Nunes Rodrigues and David S. Rosenblum and Sebasti{\'{a}}n Uchitel: Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems. Fundamental Approaches to Software Engineering, 8th International Conference, {FASE} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings. 2005. 111--126 |
| 2004 | Gena{\'{\i}}na Nunes Rodrigues: A Model Driven Approach for Software Systems Reliability. 26th International Conference on Software Engineering {(ICSE} 2004), 23-28 May 2004, Edinburgh, United Kingdom. 2004. 30--32 |
| 2003 | Gena{\'{\i}}na Nunes Rodrigues and Graham Roberts and Wolfgang Emmerich: Reliability Support for the Model Driven Architecture. Architecting Dependable Systems {II} - [the book is a result of the {ICSE} 2003 Workshop on Software Architectures for Dependable Systems]. 2003. 79--98 |