Specification and Analysis of Fault Behaviours Using Graph Grammars. - Fernando Luís Dotti; Leila Ribeiro 001; Osmar Marchi dos Santos (AGTIVE, 2003)

Verification of Distributed Object-Based Systems. - Fernando Luís Dotti; Luciana Foss; Leila Ribeiro 001; Osmar Marchi dos Santos (FMOODS, 2003)

On the Use of Formal Specifications to Analyze Fault Behaviors of Distributed Systems. - Fernando Luís Dotti; Osmar Marchi dos Santos; Eduardo T. Rödel (LADC, 2003)

Especificação e Verificação Formal de Sistemas Distribuídos. - Fernando Luís Dotti; Luciana Foss; Leila Ribeiro 001; Osmar Marchi dos Santos (SBES, 2003)

Uma Metodologia para a Verificação de Sistemas Parciais Modelados na Gramática de Grafos Baseada em Objetos. - Fernando Luís Dotti; Fábio Pasini; Osmar Marchi dos Santos (SBES, 2004)

An Environment for the Development of Concurrent Object-Based Applications. - Fernando Luís Dotti; Lucio Mauro Duarte; Luciana Foss; Leila Ribeiro 001; Daniela Russi; Osmar Marchi dos Santos (GraBaTs, 2004)

Verifying Object-Based Graph Grammars. - Osmar Marchi dos Santos; Fernando Luís Dotti; Leila Ribeiro 001 (GT-VMT@ETAPS, 2004)

Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars. - Fernando Luís Dotti; Odorico Machado Mendizabal; Osmar Marchi dos Santos (LADC, 2005)

Cost Monitoring and Enforcement in the Real-Time Specification for Java - A Formal Evaluation. - Osmar Marchi dos Santos; Andy J. Wellings (RTSS, 2005)

Modular Analytical Performance Models for Ad Hoc Wireless Networks. - Fernando Luís Dotti; Paulo Fernandes 001; Afonso Sales; Osmar Marchi dos Santos (WiOpt, 2005)

Formal analysis of aperiodic and sporadic real-time threads in the RTSJ. - Osmar Marchi dos Santos; Andy J. Wellings (JTRES, 2006)

Verifying Object-based Graph Grammars. - Fernando Luís Dotti; Leila Ribeiro 001; Osmar Marchi dos Santos; Fábio Pasini (Softw. Syst. Model., 2006)

Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java. - Andy J. Wellings; Alan Burns 001; Osmar Marchi dos Santos; Benjamin M. Brosgol (ISORC, 2007)

Cost enforcement in the real-time specification for Java. - Osmar Marchi dos Santos; Andy J. Wellings (Real Time Syst., 2007)

Blocking time monitoring in the real-time specification for Java. - Osmar Marchi dos Santos; Andy J. Wellings (JTRES, 2008)

Run Time Detection of Blocking Time Violations in Real-Time Systems. - Osmar Marchi dos Santos; Andy J. Wellings (RTCSA, 2008)

Run time detection of timing errors in real-time systems. - Osmar Marchi dos Santos (2008)

The Use of Model Transformation in the INESS Project. - Osmar Marchi dos Santos; Jim Woodcock 001; Richard F. Paige; Steve King 001 (FMCO, 2009)

Automated Verification of Executable UML Models. - Helle Hvid Hansen; Jeroen Ketema; Bas Luttik; Mohammad Reza Mousavi 001; Jaco van de Pol; Osmar Marchi dos Santos (FMCO, 2010)

transML: A Family of Languages to Model Model Transformations. - Esther Guerra; Juan de Lara; Dimitrios S. Kolovos; Richard F. Paige; Osmar Marchi dos Santos (MoDELS (1), 2010)

Measuring and policing blocking times in real-time systems. - Osmar Marchi dos Santos; Andy J. Wellings (ACM Trans. Embed. Comput. Syst., 2010)

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 (DATE, 2011)

Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. - Osmar Marchi dos Santos; Jim Woodcock 001; Richard F. Paige (ICECCS, 2011)

A Framework based on Security Patterns for Transformations. - Fábio Sarturi Prass; Lisandra Manzoni Fontoura; Osmar Marchi dos Santos (SBQS, 2012)

Correct transformation: From object-based graph grammars to PROMELA. - Leila Ribeiro 001; Osmar Marchi dos Santos; Fernando Luís Dotti; Luciana Foss (Sci. Comput. Program., 2012)

Engineering model transformations with transML. - Esther Guerra; Juan de Lara; Dimitrios S. Kolovos; Richard F. Paige; Osmar Marchi dos Santos (Softw. Syst. Model., 2013)

Heuristics for Mapping Real-Time Applications to NoC-Based Architectures Using Genetic Algorithms. - Iaê Santos Bonilha; Osmar Marchi dos Santos; Leandro Soares Indrusiak (SBESC, 2014)

Fast Simulation of Networks-on-Chip with Priority-Preemptive Arbitration. - Leandro Soares Indrusiak; James Harbin; Osmar Marchi dos Santos (ACM Trans. Design Autom. Electr. Syst., 2015)

Color-Based and Recursive Fiducial Marker for Augmented Reality. - Douglas Tybusch; Gilseone Rosa De Moraes; Osmar Marchi dos Santos; Andrei Piccinini Legg; Simone Regina Ceolin (SIBGRAPI, 2017)

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 (SAC, 2018)