Osmar Marchi dos Santos

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