Parallel model checking for multiprocessor architecture. (Model Checking sur Architecture Multiprocesseur). - Rodrigo Saad (2011)

Log-based approach for performance requirements elicitation and prioritization. - Odorico Machado Mendizabal; Martin Spier; Rodrigo Saad (RE, 2012)