Uma abordagem para especificação e verificação de sistemas dependentes do tempo. - Murilo S. de Camargo; Jean-Marie Farines (SBES, 1995)

Uma ferramenta para auxílio no processo de verificação de especificações em RT-LOTOS. - Ricardo Ferreira Martins; Murilo Silva de Camargo; Jean-Marie Farines (SBES, 1996)

Validação de Especificações Formais de Sistemas Dependentes de Tempo Através de Simulação. - Roberto Milton Scheffel; Murilo Silva de Camargo (SBES, 1997)

Formal Specification, Verification and Simulation of Time-Dependent Systems: a Timed Process Algebra Approach. - Murilo S. de Camargo; Roberto Milton Scheffel (US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997)

Design of Distributed Multimedia Applications (DAMD). - Wanderley Lopes de Souza; Paulo Nazareno Maia Sampaio; Jean-Marie Farines; Roberto Milton Scheffel; Maria Janilce B. Almeida; Luciano Paschoal Gaspary; Lisandro Zambenedetti Granville; Roberto Willrich; Murilo S. de Camargo; Marcelo Domingos (FM-Trends, 1998)

Processamento de Consultas Espaciais Baseado em Cache Semântico Dependente de Localização. - Heloise Manica; Murilo S. de Camargo; Cristina Dutra de Aguiar Ciferri; Ricardo Rodrigues Ciferri (GEOINFO, 2004)

Referencial Integrity Model for XML Data Integrated from Heterogeneous Databases Systems - Using the Power of XML for Consistent Data Integration. - Mauri Ferrandin; Murilo S. de Camargo (ICEIS (1), 2004)

Caching Strategies for Mobile Databases. - Heloise Manica; Murilo S. de Camargo (ICEIS (1), 2004)

An Architecture for Location-Dependent Semantic Cache Management. - Heloise Manica; Murilo S. de Camargo; Mario A. R. Dantas (ICEIS (1), 2005)