O. M. Santos

Use of Model Transformation for the Formal Analysis of Railway Interlocking Models

Xiaocheng Ge, T. Xu, O. M. Santos, 2010 .

2 Tool chain xUML model Safety property Instance spec . Translation Formal model Model checking Diagnostic trace Visualisation

O. M. Santos, H. Hansen, J. Ketema, 2011 .

Simulation of Mobile Applications in Open Environments

Eduardo T. Rödel, O. M. Santos, F. Dotti, 2002 .

A Framework based on Security Patterns for Transformations

O. M. Santos, L. Fontoura, Fábio Sarturi Prass, 2012, SBQS.

transML: a family of languages to model model transformations

Juan de Lara, Esther Guerra, Richard F. Paige, 2010, MODELS'10.

Correct transformation: From object-based graph grammars to PROMELA

Fernando Luís Dotti, Osmar Marchi dos Santos, Leila Ribeiro, 2012, Sci. Comput. Program..

Automated Verification of Executable UML Models

Bas Luttik, Osmar Marchi dos Santos, Jaco van de Pol, 2010, FMCO.

The Use of Model Transformation in the INESS Project

Jim Woodcock, Richard F. Paige, Osmar Marchi dos Santos, 2009, FMCO.

Verifying Object-based Graph Grammars

Fernando Luís Dotti, Osmar Marchi dos Santos, Leila Ribeiro, 2004, Software & Systems Modeling.

Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java

Alan Burns, Andy J. Wellings, Osmar Marchi dos Santos, 2007, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07).

Specification and Analysis of Fault Behaviours Using Graph Grammars

Fernando Luís Dotti, Osmar Marchi dos Santos, Leila Ribeiro, 2003, AGTIVE.

Formal Specification of Object-Based Distributed Systems *

Fernando Luís Dotti, Osmar Marchi dos Santos, O. M. Santos, 2003 .