Följ
Genaína Nunes Rodrigues
Genaína Nunes Rodrigues
Associate Professor of Computer Science, University of Brasilia
Verifierad e-postadress på unb.br - Startsida
Titel
Citeras av
Citeras av
År
Using scenarios to predict the reliability of concurrent component-based software systems
G Rodrigues, D Rosenblum, S Uchitel
International Conference on Fundamental Approaches to Software Engineering …, 2005
1372005
A systematic mapping study on creativity in requirements engineering
J Lemos, C Alves, L Duboc, GN Rodrigues
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1083-1088, 2012
822012
Dependability analysis in the ambient assisted living domain: An exploratory case study
GN Rodrigues, V Alves, R Silveira, LA Laranjeira
Journal of Systems and Software 85 (1), 112-131, 2012
652012
Reliability prediction in model-driven development
GN Rodrigues, DS Rosenblum, S Uchitel
Model Driven Engineering Languages and Systems: 8th International Conference …, 2005
612005
A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive Systems
A Rodrigues, RD Caldas, GN Rodrigues, T Vogel, P Pelliccione
SEAMS'18: 13th International Symposium on Software Engineering for Adaptive …, 2018
572018
GODA: A goal-oriented requirements engineering framework for runtime dependability analysis
DF Mendonça, GN Rodrigues, R Ali, V Alves, L Baresi
Information and Software Technology 80, 245-264, 2016
562016
Modeling and verification for probabilistic properties in software product lines
GN Rodrigues, V Alves, V Nunes, A Lanna, M Cordy, PY Schobbens, ...
2015 IEEE 16th International Symposium on High Assurance Systems Engineering …, 2015
562015
Border effect analysis for reliability assurance and continuous connectivity of wireless sensor networks in the presence of sensor failures
LA Laranjeira, GN Rodrigues
IEEE Transactions on Wireless Communications 13 (8), 4232-4246, 2014
452014
Reliability support for the model driven architecture
GN Rodrigues, G Roberts, W Emmerich
Architecting Dependable Systems II, 79-98, 2004
432004
Statistical analysis of Amazon EC2 cloud pricing models
G Portella, GN Rodrigues, E Nakano, ACMA Melo
Concurrency and Computation: Practice and Experience 31 (18), e4451, 2019
382019
Building reliable and maintainable dynamic software product lines: An investigation in the body sensor network domain
L Pessoa, P Fernandes, T Castro, V Alves, GN Rodrigues, H Carvalho
Information and Software Technology 86, 54-70, 2017
342017
Automating resource selection and configuration in inter-clouds through a software product line method
AF Leite, V Alves, GN Rodrigues, C Tadonki, C Eisenbeis, ACMA de Melo
2015 IEEE 8th International Conference on Cloud Computing, 726-733, 2015
332015
A model driven approach for software systems reliability
GN Rodrigues, D Rosenblum, W Emmerich
Proceedings. 26th International Conference on Software Engineering, 30-32, 2004
332004
A hybrid approach combining control theory and AI for engineering self-adaptive systems
RD Caldas, A Rodrigues, EB Gil, GN Rodrigues, T Vogel, P Pelliccione
Proceedings of the IEEE/ACM 15th International Symposium on Software …, 2020
272020
Modelling and analysing contextual failures for dependability requirements
DF Mendonça, R Ali, GN Rodrigues
Proceedings of the 9th International Symposium on Software Engineering for …, 2014
262014
Taming uncertainty in the assurance process of self-adaptive systems: a goal-oriented approach
GF Solano, RD Caldas, GN Rodrigues, T Vogel, P Pelliccione
2019 IEEE/ACM 14th International Symposium on Software Engineering for …, 2019
232019
Sensitivity analysis for a scenario-based reliability prediction model
GN Rodrigues, DS Rosenblum, S Uchitel
Proceedings of the 2005 workshop on Architecting dependable systems, 1-5, 2005
222005
Feature-family-based reliability analysis of software product lines
A Lanna, T Castro, V Alves, G Rodrigues, PY Schobbens, S Apel
Information and Software Technology 94, 59-81, 2018
212018
A data analysis of player in world of warcraft using game data mining
ES Siqueira, CD Castanho, GN Rodrigues, RP Jacobi
2017 16th Brazilian Symposium on Computer Games and Digital Entertainment …, 2017
212017
A property specification pattern catalog for real-time system verification with UPPAAL
T Vogel, M Carwehl, GN Rodrigues, L Grunske
Information and Software Technology 154, 107100, 2023
202023
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20