Extended Message Sequence Charts with Time-Interval Semantics. - Paulo Sérgio Muniz Silva (TIME, 1998)

Early Verification of Software Behavior in a Time Interval Framework. - Paulo Sérgio Muniz Silva (SBES, 2003)

As Características do Desenvolvimento Distribuído de Software. - Fábio Levy Siqueira; Paulo Sérgio Muniz Silva (SBSI, 2004)

Automatic Verification of Safety Rules for a Subway Control Software. - Nelson Guimarães Ferreira; Paulo Sérgio Muniz Silva (SBMF, 2004)

Early Verification of Computer Systems Temporal Properties. - Paulo Sérgio Muniz Silva (SBMF, 2004)

Functional and Non-Functional Application Software Requirements: Early Conflict Detection. - Paulo Sérgio Muniz Silva; Leonardo Chwif (ICEIS (3), 2005)

Mapeamento da NBR ISO/IEC 12207 em Papéis da Gerência de Projetos de Software. - Fábio Levy Siqueira; Paulo Sérgio Muniz Silva (SBQS, 2005)

Recomendações para a Gerência de Projetos no Desenvolvimento Distribuído de Software. - Fábio Levy Siqueira; Paulo Sérgio Muniz Silva (SBQS, 2006)

A prescriptive technique for V&V of simulation models when no real-life data are available. - Leonardo Chwif; Paulo Sérgio Muniz Silva; Lúcio Mitio Shimada (WSC, 2006)

A case study on modeling persistence with MDA tools. - Giuliano Luz Pigatti Caliari; Paulo Sérgio Muniz Silva (JISBD, 2007)

A prescriptive technique for V&V of simulation models when no real-life data are available: results from a real-life project. - Leonardo Chwif; Paulo Sérgio Muniz Silva; Lúcio Mitio Shimada (J. Simulation, 2008)

An Essential Textual Use Case Meta-model Based on an Analysis of Existing Proposals. - Fábio Levy Siqueira; Paulo Sérgio Muniz Silva (CIbSE, 2011)

Mapping the WRSPM Model to Model-Driven Architecture Models. - Fábio Levy Siqueira; Paulo Sérgio Muniz Silva (ITNG, 2011)

Transforming an enterprise model into a use case model using existing heuristics. - Fábio Levy Siqueira; Paulo Sérgio Muniz Silva (MoDRE, 2011)

A proposal for extending UML-B to support a conceptual model. - Thiago C. de Sousa; Colin F. Snook; Paulo Sérgio Muniz Silva (Innov. Syst. Softw. Eng., 2011)

A Practical Event-B Refinement Method Based on a UML-Driven Development Process. - Thiago C. de Sousa; Paulo Sérgio Muniz Silva; Colin F. Snook (ABZ, 2012)

Analyzing the Use of an Enterprise Model as a Stakeholder Requirements Model: An Experiment. - Fábio Levy Siqueira; Paulo Sérgio Muniz Silva (CIbSE, 2013)

Applying MTBE Manually: a Method and an Example. - Fábio Levy Siqueira; Paulo Sérgio Muniz Silva (MDEBE@MoDELS, 2013)

Transformação de um Modelo de Empresa em Requisitos de Software. - Fábio Levy Siqueira; Paulo Sérgio Muniz Silva (ER@BR, 2013)

Transforming an enterprise model into a use case model in business process systems. - Fábio Levy Siqueira; Paulo Sérgio Muniz Silva (J. Syst. Softw., 2014)

Using BDD and SBVR to Refine Business Goals into an Event-B Model: A Research Idea. - Fábio Levy Siqueira; Thiago C. de Sousa; Paulo Sérgio Muniz Silva (FormaliSE@ICSE, 2017)