ISSN Aprendizado de máquinas industriais utilizando realidade virtual (Redin - Revista Educacional Interdisciplinar)

doi ISSN Augmented reality with tracking based on linear equation (CONCILIUM (ENGLISH LANGUAGE EDITION))

doi ISSN Correlac-a-o de alertas em um Internet Early Warning System (OBSERVATORIO DE LA ECONOMÍA LATINOAMERICANA)

doi ISSN CONTROLE E MONITORAMENTO REMOTO DA CLIMATIZAÃ?Ã?O PARA SALAS DE TELECOMUNICAÃ?Ã?ES (CONTEMPORÂNEA - REVISTA DE ÉTICA E FILOSOFIA POLÍTICA)

doi ISSN Development of augmented reality applications using iOS for aerospace training (CONCILIUM (ENGLISH LANGUAGE EDITION))

doi ISSN Fast Simulation of Networks-on-Chip with Priority-Preemptive Arbitration (ACM Transactions on Design Automation of Electronic Systems)

doi ISSN Engineering model transformations with transML (Software and Systems Modeling (Print))

doi ISSN Correct transformation: From object-based graph grammars to PROMELA (Science of Computer Programming (Print))

doi ISSN Measuring and policing blocking times in real-time systems (ACM Transactions on Embedded Computing Systems)

doi ISSN Cost enforcement in the real-time specification for Java (Real-Time Systems)

doi ISSN Verifying Object-based Graph Grammars (Software and Systems Modeling (Print))

An environment for the development of concurrent object-based applications (Eletronic Notes In Theoretical Computer Science)

Verifying object-based graph grammars (Eletronic Notes In Theoretical Computer Science)

Análise de verificadores de modelos para sistemas distribuídos (Hífen)

Run time detection of timing errors in real-time systems

Integrating priority inheritance algorithms in the real-time specification for java

Towards the formal analysis of the real-time specification for java using model checking

A case study: verifying a mutual exclusion protocol with process creation using graph transformation systems

Verificação formal de sistemas distribuídos modelados na gramática de grafos baseada em objetos

An approach for verifying distributed systems modeled with object-based graph grammars

Estudo sobre ferramentas de verificação formal baseadas na verificação de modelos

Verificação formal de sistemas distribuídos baseados em objetos

Verificação formal, baseada na verificação de modelos, de sistemas distribuídos baseados em objetos

A low cost VSLAM prototype using webcams and a smartphone for outdoor application (33rd ACM/SIGAPP Symposium On Applied Computing)

doi Color-Based and Recursive Fiducial Marker for Augmented Reality (2017 30th SIBGRAPI Conference on Graphics, Patterns and Images (SIBGRAPI))

doi Heuristics for Mapping Real-Time Applications to NoC-Based Architectures Using Genetic Algorithms (2014 Brazilian Symposium on Computing Systems Engineering (SBESC))

Análise do comportamento temporal de fluxos de comunicação em sistemas com escalonamento semi-particionado (III Simpósio Brasileiro de Engenharia de Sistemas Computacionais)

Correlação de alertas utilizando CBR em um Internet Early Warning System (11a Escola Regional de Redes de Computadores)

Modelo de Dados de uma Base de Conhecimento para Monitorar Ataques em Redes de Computadores (Simpósio Brasileiro de Segurança da Informação e Sistemas Computacionais)

Optimization of Wireless Sensor Network Using Network Coding Algorithm (Twelfth International Conference on Networks (ICN))

A Framework based on Security Patterns for Transformations (XI Simpósio Brasileiro de Qualidade de Software)

Modelagem de uma Base de Conhecimento para o Monitoramento de Ataques (Escola Regional de Redes de Computadores)

Monitorando Ataques com a Ferramenta Prelude (Encontro Anual de Tecnologia da Informação)

Fast and accurate Transaction-Level Model of a wormhole Network-On-Chip with priority preemptive virtual channel arbitration (Design, Automation and Test in Europe Conference and Exhibition 2011 (DATE))

Using model transformation to generate graphical counter-examples for the analysis of xUML models (16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS))

Automated Verification of Executable UML Models (9th International Symposium Formal Methods for Components and Objects)

transML: a family of languages to model model transformations (13th International Conference on Model Driven Engineering Languages and Systems)

The use of model transformation in the INESS project (8th International Symposium on Formal Methods for Components and Objects)

Blocking time monitoring in the real-time specification for java (6th International Workshop on Java Technologies for Real-Time and Embedded Systems)

Run time detection of blocking time violations in real-time systems (14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications)

Integrating priority inheritance algorithms in the real-time specification for java (10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing)

Formal analysis of aperiodic and sporadic realtime threads in the RTSJ (4th International Workshop on Java Technologies for Real-time and Embedded Systems)

Cost monitoring and enforcement in the real-time specification for java - a formal evaluation (26th IEEE Real-Time Systems Symposium)

Modular analytical performance models for ad hoc wireless networks (3rd International Symposium on Modeling and Optimization in Mobile, Ad-Hoc and Wireless Networks)

Verifying fault-tolerant distributed systems using object-based graph grammars (2nd Latin-American Symposium on Dependable Computing)

An environment for the development of concurrent object-based applications (Graph Based Transformation Systems)

Uma metodologia para a verificação de sistemas parciais modelados na gramática de grafos baseada em objetos (18o. Simpósio Brasileiro de Engenharia de Software)

Verifying object-based graph grammars (International Workshop on Graph Transformation and Visual Modeling Techniques)

Especificação e verificação formal de sistemas distribuídos (17o. Simpósio Brasileiro de Engenharia de Software)

Formal specification of object-based distributed systems (II Simpósio de Informática da Região Centro/RS)

On the use of formal specifications to analyse fault behaviors of distributed systems (1st Latin-American Symposium on Dependable Computing)

Proposta de uma abordagem para a verificação formal de sistemas distribuídos baseados em objetos (IV Workshop de Testes e Tolerância a Falhas)

Specification and analysis of fault behaviours using graph grammars (2nd Applications of Graph Transformations with Industrial Relevance)

Towards an approach for verifying distributed object-based systems (II Workshop de Teses e Dissertações em Computação Tolerante a Falhas)

Verification of distributed object-based systems (6th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems)

Simulation of mobile applications in open environments (IV Workshop de Comunicação Sem Fio e Computação Móvel)

Uma arquitetura de interação entre sistemas de detecção de intrusão utilizando a extensão fault-tolerant CORBA (II Workshop em Segurança de Sistemas Computacionais)

Estudo e implementação de mecanismos de tolerância a falhas em sistemas de detecção de intrusão (V Simpósio de Ensino Pesquisa e Extensão)

Estudo sobre a gerência de memória do sistema operacional linux (V Simpósio de Ensino Pesquisa e Extensão)

Algoritmos computacionais para o cálculo de estrutura eletrônica de semicondutores (IV Simpósio de Ensino Pesquisa e Extensão)

Segurança na internet: um estudo sobre os sistemas operacionais linux e windows NT (IV Simpósio de Ensino Pesquisa e Extensão)

Experiências com uma rede digital de serviços integrados (III Simpósio de Ensino Pesquisa e Extensão)

Membro do comitê de programa - Escola Regional de Redes de Computadores

Membro do comitê de programa - Junior Researcher Workshop on Real-Time Computing

Membro do comitê de programa - Simpósio de Informática da Região Centro do RS

Membro do comitê de programa - Simpósio de Informática da Região Centro do RS

Membro do comitê de programa - Simpósio de Informática da Região Centro do RS

Membro do comitê de programa - Simpósio de Informática da Região Centro do RS

Membro do comitê de programa - Conferência Ibero-Americana IADIS WWW/Internet

Membro do comitê de programa - Simpósio de Informática da Região Centro do RS

Membro do comitê de programa - Simpósio de Informática da Região Centro do RS

Papyrus for xUML Verification

jRate on top of MaRTE OS

OBGG Environment

Revisor de periódico 'Formal Aspects of Computing'

Revisor de periódico 'Journal of Systems Architecture'

CRFM LIB: uma ferramenta para aplicações com realidade aumentada 

Esquema para a Tradução de Aplicações entre as Linguagens CIRCUS e Safety Critical Java

Tradução da Especificação SCJ para a Linguagem de Programação C++

Correlação de alertas em um Internet early warning system

Escalonamento de tarefas e fluxos de comunicação em um modelo de escalonamento semi-particionado

Um Framework baseado em Padrões de Segurança para Transformações de Modelos

Aproximação Linear para o Rastreamento do Olhar na Tela

Desenvolvimento de um Software na Plataforma iOS para Video QRCode

Alocação de tarefas para aplicações de tempo real em arquiteturas multi-core