Osmar Marchi dos Santos

Statistics

Publications

Citations

H-Index

Active since

2005

Affiliations

Pontifícia Universidade Católica do Rio Grande do Sul(Current)

University of York

Universidade Federal do Rio Grande do Sul

Osmar Marchi dos Santos is an author at Pontifícia Universidade Católica do Rio Grande do Sul specializing in programming languages, formal methods, and systems modeling.

ORCID

Publications per year

2005–2011

Publications

Engineering model transformations with transML

Esther Guerra, Juan de Lara, Dimitrios S. Kolovos et al. · Software & Systems Modeling · 2011 · 67 citations · Full text

Engineering, Systems Engineering, Model-based Systems Engineering +11

An Environment for the Development of Concurrent Object-Based Applications

Fernando Luís Dotti, Lúcio Mauro Duarte, Luciana Foss et al. · Electronic Notes in Theoretical Computer Science · 2005 · 12 citations · Full text

Computing, Computer Science, Systems Engineering +13

Verifying Object-based Graph Grammars

Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos et al. · Software & Systems Modeling · 2006 · 11 citations

Computing, Computer Science, Formal Methods +11

1–3 of 3