Applying an Event-based Approach for Detecting Requirements Interaction. - Edgar Sarmiento; Marcos R. S. Borges; Maria Luiza Machado Campos (ICEIS (3), 2009)

A framework for readapting and running bioinformatics applications in the cloud. - Edgar Sarmiento; Karin K. Breitman; Alberto M. R. Dávila; José Viterbo (RACS, 2012)

An Automated Approach of Test Case Generation for Concurrent Systems from Requirements Descriptions. - Edgar Sarmiento; Julio César Sampaio do Prado Leite; Noemi de La Rocque Rodriguez; Arndt von Staa (ICEIS (2), 2014)

C&L: Generating model based test cases from natural language requirements descriptions. - Edgar Sarmiento; Julio César Sampaio do Prado Leite; Eduardo Almentero (RET, 2014)

Mapping Textual Scenarios to Analyzable Petri-Net Models. - Edgar Sarmiento; Eduardo Almentero; Julio César Sampaio do Prado Leite; Guina Sotomayor Alzamora (ICEIS (2), 2015)

Using correctness, consistency, and completeness patterns for automated scenarios verification. - Edgar Sarmiento; Julio César Sampaio do Prado Leite; Eduardo Almentero (RePa@RE, 2015)

Analysis of Scenarios with Petri-Net Models. - Edgar Sarmiento; Julio César Sampaio do Prado Leite; Eduardo Almentero (SBES, 2015)

Test Scenario Generation from Natural Language Requirements Descriptions based on Petri-Nets. - Edgar Sarmiento; Julio César Sampaio do Prado Leite; Eduardo Almentero; Guina Sotomayor Alzamora (CLEI Selected Papers, 2016)