Vinicius Nunes

According to our database, Vinicius Nunes authored at least 3 papers between 2010 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Modeling and Verification for Probabilistic Properties in Software Product Lines.

Genaína Nunes Rodrigues, Vander Alves, Vinicius Nunes, André Lanna, Maxime Cordy, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Axel Legay

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

2012

Variability Management of Reliability Models in Software Product Lines: An Expressiveness and Scalability Analysis.

Vinicius Nunes, Paula Fernandes, Vander Alves, Genaína Nunes Rodrigues

Proceedings of the Sixth Brazilian Symposium on Software Components, 2012

2010

Orquestração de Serviços por Meio de Agentes de Software no Domínio de Vida Ambiente-Assistida.

Vinicius Nunes, Vander Alves

Proceedings of the 6th Brazilian Symposium on Information Systems, 2010