Osmar Marchi dos Santos

Publication Activity (10 Years)

Years Active: 2003-2018
Publications (10 Years): 3

Top Venues

SAC

ACM Trans. Design Autom. Electr. Syst.

SIBGRAPI

SBESC

University of York, UK (PHD)

Education History

University of York, UK

PHD

Publications

Eduardo A. Speroni, Simone Regina Ceolin, Osmar Marchi dos Santos, Andrei Piccinini Legg
A low cost VSLAM prototype using webcams and a smartphone for outdoor application. SAC (2018)
Douglas Tybusch, Gilseone Rosa De Moraes, Osmar Marchi dos Santos, Andrei Piccinini Legg, Simone Regina Ceolin
Color-Based and Recursive Fiducial Marker for Augmented Reality. SIBGRAPI (2017)
Leandro Soares Indrusiak, James Harbin, Osmar Marchi dos Santos
Fast Simulation of Networks-on-Chip with Priority-Preemptive Arbitration. ACM Trans. Design Autom. Electr. Syst. 20 (4) (2015)
Iaê Santos Bonilha, Osmar Marchi dos Santos, Leandro Soares Indrusiak
Heuristics for Mapping Real-Time Applications to NoC-Based Architectures Using Genetic Algorithms. SBESC (2014)
Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige, Osmar Marchi dos Santos
Engineering model transformations with transML. Softw. Syst. Model. 12 (3) (2013)
Fábio Sarturi Prass, Lisandra Manzoni Fontoura, Osmar Marchi dos Santos
A Framework based on Security Patterns for Transformations. SBQS (2012)
Leila Ribeiro, Osmar Marchi dos Santos, Fernando Luís Dotti, Luciana Foss
Correct transformation: From object-based graph grammars to PROMELA. Sci. Comput. Program. 77 (3) (2012)
Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige
Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. ICECCS (2011)
Leandro Soares Indrusiak, Osmar Marchi dos Santos
Fast and accurate transaction-level model of a wormhole network-on-chip with priority preemptive virtual channel arbitration. DATE (2011)
Osmar Marchi dos Santos, Andy J. Wellings
Measuring and policing blocking times in real-time systems. ACM Trans. Embed. Comput. Syst. 10 (1) (2010)
Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol, Osmar Marchi dos Santos
Automated Verification of Executable UML Models. FMCO (2010)
Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige, Osmar Marchi dos Santos
ML: A Family of Languages to Model Model Transformations. MoDELS (1) (2010)
Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige, Steve King
The Use of Model Transformation in the INESS Project. FMCO (2009)
Osmar Marchi dos Santos, Andy J. Wellings
Run Time Detection of Blocking Time Violations in Real-Time Systems. RTCSA (2008)
Osmar Marchi dos Santos, Andy J. Wellings
Blocking time monitoring in the real-time specification for Java. JTRES (2008)
Andy J. Wellings, Alan Burns, Osmar Marchi dos Santos, Benjamin M. Brosgol
Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java. ISORC (2007)
Osmar Marchi dos Santos, Andy J. Wellings
Cost enforcement in the real-time specification for Java. Real Time Syst. 37 (2) (2007)
Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos, Fábio Pasini
Verifying Object-based Graph Grammars. Softw. Syst. Model. 5 (3) (2006)
Osmar Marchi dos Santos, Andy J. Wellings
Formal analysis of aperiodic and sporadic real-time threads in the RTSJ. JTRES (2006)
Fernando Luís Dotti, Odorico Machado Mendizabal, Osmar Marchi dos Santos
Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars. LADC (2005)
Osmar Marchi dos Santos, Andy J. Wellings
Cost Monitoring and Enforcement in the Real-Time Specification for Java - A Formal Evaluation. RTSS (2005)
Fernando Luís Dotti, Lucio Mauro Duarte, Luciana Foss, Leila Ribeiro, Daniela Russi, Osmar Marchi dos Santos
An Environment for the Development of Concurrent Object-Based Applications. Electron. Notes Theor. Comput. Sci. 127 (1) (2005)
Fernando Luís Dotti, Paulo Fernandes, Afonso Sales, Osmar Marchi dos Santos
Modular Analytical Performance Models for Ad Hoc Wireless Networks. WiOpt (2005)
Osmar Marchi dos Santos, Fernando Luís Dotti, Leila Ribeiro
Verifying Object-Based Graph Grammars. Electron. Notes Theor. Comput. Sci. 109 (2004)
Fernando Luís Dotti, Fábio Pasini, Osmar Marchi dos Santos
Uma Metodologia para a Verificação de Sistemas Parciais Modelados na Gramática de Grafos Baseada em Objetos. SBES (2004)
Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos
Specification and Analysis of Fault Behaviours Using Graph Grammars. AGTIVE (2003)
Fernando Luís Dotti, Osmar Marchi dos Santos, Eduardo T. Rödel
On the Use of Formal Specifications to Analyze Fault Behaviors of Distributed Systems. LADC (2003)
Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos
Verification of Distributed Object-Based Systems. FMOODS (2003)
Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos
Especificação e Verificação Formal de Sistemas Distribuídos. SBES (2003)

Osmar Marchi dos Santos.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Osmar Marchi dos Santos