Specification and Runtime Verification of Java Card Programs. - Umberto Souza da Costa; Anamaria Martins Moreira; Martin A. Musicante; Plácido A. Souza Neto (SBMF, 2008)

Handling contract violations in Java card using explict exception channels. - Juliana Araujo; Rafael Souza; Nélio Cacho; Anamaria Martins Moreira; Plácido A. Souza Neto (WEH@ICSE, 2012)

JCML: A specification language for the runtime verification of Java Card programs. - Umberto Souza da Costa; Anamaria Martins Moreira; Martin A. Musicante; Plácido A. Souza Neto (Sci. Comput. Program., 2012)

Supporting Non-functional Requirements in Services Software Development Process: An MDD Approach. - Valeria de Castro; Martin A. Musicante; Umberto Souza da Costa; Plácido A. Souza Neto; Genoveva Vargas-Solar (SOFSEM, 2014)

Reliable Web Services Composition: An MDD Approach. - Genoveva Vargas-Solar; Valeria de Castro; Plácido A. Souza Neto; Javier-Alfonso Espinosa-Oviedo; Esperanza Marcos; Martin A. Musicante; José-Luis Zechinelli-Martini; Christine Collet (Polibits, 2014)

Can Data Integration Quality Be Enhanced on Multi-cloud Using SLA? - Daniel A. S. Carvalho; Plácido A. Souza Neto; Genoveva Vargas-Solar; Nadia Bennani; Chirine Ghedira (DEXA (2), 2015)

Rhone: A Quality-Based Query Rewriting Algorithm for Data Integration. - Daniel A. S. Carvalho; Plácido A. Souza Neto; Chirine Ghedira Guégan; Nadia Bennani; Genoveva Vargas-Solar (ADBIS (Short Papers and Workshops), 2016)

Designing service-based applications in the presence of non-functional properties: A mapping study. - Plácido A. Souza Neto; Genoveva Vargas-Solar; Umberto Souza da Costa; Martin A. Musicante (Inf. Softw. Technol., 2016)

GeoGuide: An Interactive Guidance Approach for Spatial Data. - Behrooz Omidvar-Tehrani; Plácido A. Souza Neto; Felipe M. Freire Pontes; Francisco Bento da Silva Júnior (iThings/GreenCom/CPSCom/SmartData, 2017)

πSOD-M: building SOC applications in the presence of non-functional requirements. - Khalid Belhajjame; Valeria de Castro; Javier-Alfonso Espinosa-Oviedo; Martin A. Musicante; Umberto Souza da Costa; Plácido A. Souza Neto; Genoveva Vargas-Solar; José-Luis Zechinelli-Martini (Int. J. Web Grid Serv., 2018)

Exploration of Interesting Dense Regions on Spatial Data. - Behrooz Omidvar-Tehrani; Plácido A. Souza Neto; Francisco B. Silva Júnior; Felipe M. Freire Pontes (EDBT/ICDT Workshops, 2020)

Predictive Query-based Pipeline for Graph Data. - Plácido A. Souza Neto (CoRR, 2024)