| 2018 | SAC | A low cost VSLAM prototype using webcams and a smartphone for outdoor application. | Eduardo A. Speroni, Simone Regina Ceolin, Osmar Marchi dos Santos, Andrei Piccinini Legg |
| 2011 | DATE | Fast and accurate transaction-level model of a wormhole network-on-chip with priority preemptive virtual channel arbitration. | Leandro Soares Indrusiak, Osmar Marchi dos Santos |
| 2011 | ICECCS | Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. | Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige |
| 2010 | MODELS | Untitled record | Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige, Osmar Marchi dos Santos |
| 2008 | RTCSA | Run Time Detection of Blocking Time Violations in Real-Time Systems. | Osmar Marchi dos Santos, Andy J. Wellings |
| 2007 | ISORC | Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java. | Andy J. Wellings, Alan Burns, Osmar Marchi dos Santos, Benjamin M. Brosgol |
| 2005 | RTSS | Cost Monitoring and Enforcement in the Real-Time Specification for Java - A Formal Evaluation. | Osmar Marchi dos Santos, Andy J. Wellings |
| 2005 | WiOpt | Modular Analytical Performance Models for Ad Hoc Wireless Networks. | Fernando Lus Dotti, Paulo Fernandes, Afonso Sales, Osmar Marchi dos Santos |