Osmar Marchi dos Santos

According to our database, Osmar Marchi dos Santos authored at least 30 papers between 2003 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

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

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

2017

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

Proceedings of the 30th SIBGRAPI Conference on Graphics, Patterns and Images, 2017

2015

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

2014

Heuristics for Mapping Real-Time Applications to NoC-Based Architectures Using Genetic Algorithms.

Iaê Santos Bonilha, Osmar Marchi dos Santos, Leandro Soares Indrusiak

Proceedings of the 2014 Brazilian Symposium on Computing Systems Engineering, 2014

2013

Engineering model transformations with transML.

Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige, Osmar Marchi dos Santos

Softw. Syst. Model., 2013

2012

Correct transformation: From object-based graph grammars to PROMELA.

Leila Ribeiro, Osmar Marchi dos Santos, Fernando Luís Dotti, Luciana Foss

Sci. Comput. Program., 2012

A Framework based on Security Patterns for Transformations.

Fábio Sarturi Prass, Lisandra Manzoni Fontoura, Osmar Marchi dos Santos

Proceedings of the 11th Brazilian Symposium on Software Quality, 2012

2011

Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models.

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

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

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

Proceedings of the Design, Automation and Test in Europe, 2011

2010

Measuring and policing blocking times in real-time systems.

Osmar Marchi dos Santos, Andy J. Wellings

ACM Trans. Embed. Comput. Syst., 2010

<i>trans</i>ML: A Family of Languages to Model Model Transformations.

Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige, Osmar Marchi dos Santos

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Automated Verification of Executable UML Models.

Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol, Osmar Marchi dos Santos

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2009

The Use of Model Transformation in the INESS Project.

Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige, Steve King

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

2008

Run time detection of timing errors in real-time systems.

Osmar Marchi dos Santos

PhD thesis, 2008

Run Time Detection of Blocking Time Violations in Real-Time Systems.

Osmar Marchi dos Santos, Andy J. Wellings

Proceedings of the Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, 2008

Blocking time monitoring in the real-time specification for Java.

Osmar Marchi dos Santos, Andy J. Wellings

Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, 2008

2007

Cost enforcement in the real-time specification for Java.

Osmar Marchi dos Santos, Andy J. Wellings

Real Time Syst., 2007

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

Andy J. Wellings, Alan Burns, Osmar Marchi dos Santos, Benjamin M. Brosgol

Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

2006

Verifying Object-based Graph Grammars.

Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos, Fábio Pasini

Softw. Syst. Model., 2006

Formal analysis of aperiodic and sporadic real-time threads in the RTSJ.

Osmar Marchi dos Santos, Andy J. Wellings

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, 2006

2005

Modular Analytical Performance Models for Ad Hoc Wireless Networks.

Fernando Luís Dotti, Paulo Fernandes, Afonso Sales, Osmar Marchi dos Santos

Proceedings of the 3rd International Symposium on Modeling and Optimization in Mobile, 2005

Cost Monitoring and Enforcement in the Real-Time Specification for Java - A Formal Evaluation.

Osmar Marchi dos Santos, Andy J. Wellings

Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars.

Fernando Luís Dotti, Odorico Machado Mendizabal, Osmar Marchi dos Santos

Proceedings of the Dependable Computing, Second Latin-American Symposium, 2005

2004

Verifying Object-Based Graph Grammars.

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

Proceedings of the 2004 Workshop on Graph Transformation and Visual Modelling Techniques, 2004

An Environment for the Development of Concurrent Object-Based Applications.

Fernando Luís Dotti, Lucio Mauro Duarte, Luciana Foss, Leila Ribeiro, Daniela Russi, Osmar Marchi dos Santos

Proceedings of the 2nd International Workshop on Graph-Based Tools, 2004

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

Proceedings of the 18th Brazilian Symposium on Software Engineering, 2004

2003

Especificação e Verificação Formal de Sistemas Distribuídos.

Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos

Proceedings of the 17th Brazilian Symposium on Software Engineering, 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

Proceedings of the Dependable Computing, First Latin-American Symposium, 2003

Verification of Distributed Object-Based Systems.

Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

Specification and Analysis of Fault Behaviours Using Graph Grammars.

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

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003