Osmar Marchi Dos Santos

Produção Bibliográfica

    2015 (Total: 1)
  • doi ISSN Fast Simulation of Networks-on-Chip with Priority-Preemptive Arbitration (ACM Transactions on Design Automation of Electronic Systems)
    2013 (Total: 1)
  • doi ISSN Engineering model transformations with transML (Software and Systems Modeling (Print))
    2012 (Total: 1)
  • doi ISSN Correct transformation: From object-based graph grammars to PROMELA (Science of Computer Programming (Print))
    2010 (Total: 1)
  • doi ISSN Measuring and policing blocking times in real-time systems (ACM Transactions on Embedded Computing Systems)
    2007 (Total: 1)
  • doi ISSN Cost enforcement in the real-time specification for Java (Real-Time Systems)
    2006 (Total: 1)
  • doi ISSN Verifying Object-based Graph Grammars (Software and Systems Modeling (Print))
    2005 (Total: 1)
  • An environment for the development of concurrent object-based applications (Eletronic Notes In Theoretical Computer Science)
    2004 (Total: 1)
  • Verifying object-based graph grammars (Eletronic Notes In Theoretical Computer Science)
    2003 (Total: 1)
  • Análise de verificadores de modelos para sistemas distribuídos (Hífen)
    2008 (Total: 1)
  • Run time detection of timing errors in real-time systems
    2007 (Total: 1)
  • Integrating priority inheritance algorithms in the real-time specification for java
    2005 (Total: 1)
  • Towards the formal analysis of the real-time specification for java using model checking
    2004 (Total: 2)
  • 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
    2003 (Total: 1)
  • An approach for verifying distributed systems modeled with object-based graph grammars
    2002 (Total: 3)
  • 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
    2018 (Total: 1)
  • A low cost VSLAM prototype using webcams and a smartphone for outdoor application (33rd ACM/SIGAPP Symposium On Applied Computing)
    2017 (Total: 1)
  • doi Color-Based and Recursive Fiducial Marker for Augmented Reality (2017 30th SIBGRAPI Conference on Graphics, Patterns and Images (SIBGRAPI))
    2014 (Total: 1)
  • doi Heuristics for Mapping Real-Time Applications to NoC-Based Architectures Using Genetic Algorithms (2014 Brazilian Symposium on Computing Systems Engineering (SBESC))
    2013 (Total: 4)
  • 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))
    2012 (Total: 3)
  • 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)
    2011 (Total: 2)
  • 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))
    2010 (Total: 2)
  • 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)
    2009 (Total: 1)
  • The use of model transformation in the INESS project (8th International Symposium on Formal Methods for Components and Objects)
    2008 (Total: 2)
  • 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)
    2007 (Total: 1)
  • Integrating priority inheritance algorithms in the real-time specification for java (10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing)
    2006 (Total: 1)
  • Formal analysis of aperiodic and sporadic realtime threads in the RTSJ (4th International Workshop on Java Technologies for Real-time and Embedded Systems)
    2005 (Total: 3)
  • 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)
    2004 (Total: 3)
  • 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)
    2003 (Total: 7)
  • 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)
    2002 (Total: 2)
  • 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)
    2001 (Total: 2)
  • 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)
    2000 (Total: 2)
  • 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)
    1999 (Total: 1)
  • Experiências com uma rede digital de serviços integrados (III Simpósio de Ensino Pesquisa e Extensão)

Produção Técnica

    2010 (Total: 3)
  • 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
    2009 (Total: 1)
  • Membro do comitê de programa - Simpósio de Informática da Região Centro do RS
    2008 (Total: 1)
  • Membro do comitê de programa - Simpósio de Informática da Região Centro do RS
    2007 (Total: 1)
  • Membro do comitê de programa - Simpósio de Informática da Região Centro do RS
    2006 (Total: 2)
  • 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
    2005 (Total: 1)
  • Membro do comitê de programa - Simpósio de Informática da Região Centro do RS
    2011 (Total: 1)
  • Papyrus for xUML Verification
    2008 (Total: 1)
  • jRate on top of MaRTE OS
    2004 (Total: 1)
  • OBGG Environment
    2010 (Total: 1)
  • Revisor de periódico 'Formal Aspects of Computing'
    2009 (Total: 1)
  • Revisor de periódico 'Journal of Systems Architecture'

Produção Artística

Não informado

Orientações Concluídas

    2016 (Total: 1)
  • Esquema para a Tradução de Aplicações entre as Linguagens CIRCUS e Safety Critical Java
    2015 (Total: 1)
  • Tradução da Especificação SCJ para a Linguagem de Programação C++
    2014 (Total: 2)
  • 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
    2012 (Total: 1)
  • Um Framework baseado em Padrões de Segurança para Transformações de Modelos
    2015 (Total: 2)
  • Aproximação Linear para o Rastreamento do Olhar na Tela
  • Desenvolvimento de um Software na Plataforma iOS para Video QRCode
    2011 (Total: 1)
  • Alocação de tarefas para aplicações de tempo real em arquiteturas multi-core