Diretório de grupos de pesquisa

Osmar Marchi dos Santos

Possui graduação em Sistemas de Informação pelo Centro Universitário Franciscano (2001), mestrado em Ciência da Computação pela Pontifícia Universidade Católica do Rio Grande do Sul (2004) e doutorado em Ciência da Computação - University of York (2008). Tem experiência na área de Ciência da Computação, com ênfase em Sistemas de Tempo Real.
(Texto informado pelo autor)

Última atualização do currículo em 19/08/2011
Endereço para acessar este CV:
http://lattes.cnpq.br/3867718775277531
Dados pessoais
NomeOsmar Marchi dos Santos
Nome em citações bibliográficasSANTOS, O. M.
SexoMasculino
Endereço profissionalUniversidade Federal de Santa Maria, Centro de Tecnologia - Departamento de Eletrônica e Computação.
Av. Roraima
Camobi
97105-900 - Santa Maria, RS - Brasil
URL da Homepage: http://www.inf.ufsm.br/~osmar

Formação acadêmica/Titulação
2004 - 2008Doutorado em Ciência da Computação .
University of York, YORK, Inglaterra.
Título: Run time detection of timing errors in real-time systems, Ano de Obtenção: 2009.
Orientador: Andy Wellings.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior ,CAPES ,Brasil .
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
2002 - 2004Mestrado em Ciência da Computação .
Pontifícia Universidade Católica do Rio Grande do Sul, PUCRS, Brasil.
Título: Verificação formal de sistemas distribuídos modelados na gramática de grafos baseada em objetos, Ano de Obtenção: 2004.
Orientador: Fernando Luís Dotti.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil .
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
1998 - 2001Graduação em Sistemas de Informação .
Centro Universitário Franciscano, UNIFRA, Brasil.
Título: Estudo e implementação de mecanismos de tolerância a falhas em sistemas de detecção de intrusão.
Orientador: Rafael Saldanha Campello.

Atuação profissional
University of York, YORK, Inglaterra.
Vínculo institucional
2009 - 2010 Vínculo: Pesquisador, Enquadramento Funcional: Pesquisador Associado Engenharia de Software, Carga horária: 37, Regime: Dedicação exclusiva.
Vínculo institucional
2004 - 2009 Vínculo: Estudante de doutorado, Enquadramento Funcional: Doutorando, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações Professor orientador: Andy Wellings
Atividades
02/2009 - 10/2010Pesquisa e desenvolvimento , Department Of Computer Science, High Integrity Systems Engineering Group.
Linhas de pesquisa
Análise formal de sistemas de software
2009 - 2010Atividades de Participação em Projeto, Department Of Computer Science, .
Projetos de pesquisa
INtegrated European Signalling System
10/2004 - 01/2009Pesquisa e desenvolvimento , Department Of Computer Science, Real Time Systems Group.
Linhas de pesquisa
Sistemas de Tempo Real - Análise de Sistemas Concorrentes
12/2008 - 12/2008Estágios , Department Of Computer Science, .
Estágio realizado
Assistente de aulas práticas (demonstrator) da disciplina Concurrent and Real-Time Programming.
10/2007 - 12/2007Estágios , Department Of Computer Science, .
Estágio realizado
Assistente de aulas práticas (demonstrator) da disciplina Concurrent and Real-Time Programming.
10/2006 - 12/2006Estágios , Department Of Computer Science, .
Estágio realizado
Assistente de aulas práticas (demonstrator) da disciplina Concurrent and Real-Time Programming.
10/2005 - 12/2005Estágios , Department Of Computer Science, .
Estágio realizado
Assistente de aulas práticas (demonstrator) da disciplina Concurrent and Real-Time Programming.
10/2005 - 12/2005Estágios , Department Of Computer Science, .
Estágio realizado
Assistente de aulas práticas (demonstrator) da disciplina Protocol Design and Validation.
10/2004 - 12/2004Estágios , Department Of Computer Science, .
Estágio realizado
Assistente de aulas práticas (demonstrator) da disciplina Concurrent and Real-Time Programming.
Pontifícia Universidade Católica do Rio Grande do Sul, PUCRS, Brasil.
Vínculo institucional
2004 - 2004 Vínculo: Pesquisador Associado, Enquadramento Funcional: Administrador de Projetos I, Carga horária: 44, Regime: Dedicação exclusiva.
Outras informações Atuando no projeto de pesquisa CASCO (Centro de Análise de Sistemas COncorrentes), nas áreas de métodos formais e sistemas distribuídos.
Vínculo institucional
2002 - 2004 Vínculo: Estudante de mestrado, Enquadramento Funcional: Bolsista de mestrado, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações Instituição de fomento: CNPq (Conselho Nacional de Desenvolvimento Científico e Tecnológico) - Professor orientador: Fernando Luís Dotti.
Atividades
7/2003 - 7/2004Atividades de Participação em Projeto, Faculdade de Informática, Programa de Pós Graduação Em Ciência da Computação.
Projetos de pesquisa
CASCO (Centro de Análise de Sistemas COncorrentes)
3/2002 - 7/2004Pesquisa e desenvolvimento , Faculdade de Informática, Programa de Pós Graduação Em Ciência da Computação.
Linhas de pesquisa
Especificação e Análise de Sistemas Distribuídos
03/2002 - 07/2004Atividades de Participação em Projeto, Faculdade de Informática, Programa de Pós Graduação Em Ciência da Computação.
Projetos de pesquisa
IQ-Mobile (Improving the Quality of open Systems with Code Mobility through Rigorous Development)
3/2002 - 7/2003Atividades de Participação em Projeto, Faculdade de Informática, Programa de Pós Graduação Em Ciência da Computação.
Projetos de pesquisa
ForMOS (Métodos Formais para Código Móvel em Sistemas Abertos)
7/2002 - 12/2002Estágios , Faculdade de Informática, Departamento de Computação Aplicada.
Estágio realizado
Estágio de docência na disciplina de Sistemas Operacionais Distribuídos..
Escola Municipal de Ensino Fundamental Prof Edy Maya Bertoia, ESCOLA ABERTA, Brasil.
Vínculo institucional
2001 - 2001 Vínculo: Serviço voluntário, Enquadramento Funcional: Instrutor de informática, Carga horária: 4
Atividades
8/2001 - 11/2001Treinamentos ministrados .
Treinamentos ministrados
Introdução a Informática
Universidade Federal de Santa Maria, UFSM, Brasil.
Vínculo institucional
2010 - Atual Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto I, Carga horária: 40, Regime: Dedicação exclusiva.
Vínculo institucional
2000 - 2001 Vínculo: Pesquisador, Enquadramento Funcional: Bolsista de iniciação científica, Carga horária: 20
Outras informações Instituição de fomento: FAPERGS (Fundação de Amparo à Pesquisa do Rio Grande do Sul) - Professor orientador: Rogério José Baierle
Atividades
08/2011 - AtualEnsino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Estrutura de dados
08/2011 - AtualEnsino, Engenharia Elétrica, Nível: Graduação.
Disciplinas ministradas
Algoritmo e Programação
08/2011 - AtualEnsino, Programa de Pós-Graduação em Informática, Nível: Pós-Graduação.
Disciplinas ministradas
Tópicos em Computação Aplicada
2011 - AtualAtividades de Participação em Projeto, Centro de Tecnologia - Departamento de Eletrônica e Computação, .
Projetos de pesquisa
Mecanismos para Detecção de Erros Temporais e Confinamento de Danos durante Tempo de Execução em Sistemas de Tempo Real
03/2011 - 07/2011Ensino, Engenharia Sanitária e Ambiental, Nível: Graduação.
Disciplinas ministradas
Algoritmo e Programação
03/2011 - 07/2011Ensino, Engenharia da Computação, Nível: Graduação.
Disciplinas ministradas
Estrutura de Dados
09/2010 - 12/2010Ensino, Administração, Nível: Graduação.
Disciplinas ministradas
Introdução à Informática
09/2010 - 12/2010Ensino, Engenharia Mecânica, Nível: Graduação.
Disciplinas ministradas
Introdução à Computação
09/2010 - 12/2010Ensino, Engenharia Florestal, Nível: Graduação.
Disciplinas ministradas
Introdução à Computação
09/2010 - 12/2010Ensino, Engenharia de Produção, Nível: Graduação.
Disciplinas ministradas
Algoritmo e Programação
8/2000 - 2/2001Outras atividades técnico-científicas .
Atividade realizada
Desenvolvimento de Algoritmos Computacionais para o Cálculo de Estrutura Eletrônica de Semicondutores.
Centro Universitário Franciscano, UNIFRA, Brasil.
Vínculo institucional
2001 - 2001 Vínculo: Estudante de graduação, Enquadramento Funcional: Bolsista de Iniciação Científica, Carga horária: 20
Outras informações Instituição de fomento: UNIFRA (Centro Universitário Franciscano) - Professor orientador: Andre Zanki Cordenonsi
Vínculo institucional
2000 - 2000 Vínculo: Estudante de graduação, Enquadramento Funcional: Bolsista de iniciação científica, Carga horária: 20
Outras informações Instituição de fomento: UNIFRA (Centro Universitário Franciscano) - Professor orientador: Maurício Aronne Pillon
Vínculo institucional
1999 - 1999 Vínculo: Estudante de graduação, Enquadramento Funcional: Bolsista de iniciação científica, Carga horária: 20
Outras informações Instituição de fomento: UNIFRA (Centro Universitário Franciscano) - Professor orientador: Rafael Saldanha Campello
Atividades
4/2001 - 12/2001Outras atividades técnico-científicas .
Atividade realizada
Estudo sobre o Sistema de Gerência de Memória do Kernel do Linux.
4/2000 - 12/2000Outras atividades técnico-científicas .
Atividade realizada
Segurança na Internet: um estudo sobre os Sistemas Operacionais Linux e Windows NT.
4/1999 - 12/1999Outras atividades técnico-científicas .
Atividade realizada
Experiências com uma Rede Digital de Serviços Integrados.

Linhas de Pesquisa
1. Especificação e Análise de Sistemas Distribuídos
Objetivos: Desenvolver e utilizar métodos para a análise formal de sistemas distribuídos..
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
2. Sistemas de Tempo Real - Análise de Sistemas Concorrentes
Objetivos: Pesquisar mecanismos de tolerância a falhas que possam ser utilizados para garantir a execução correta de sistemas de tempo real. Buscar formas de analisar formalmente sistemas concorrentes (como modelos de sistemas de sinais para controle de trens) modelados em Executable UML (xUML)..
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
3. Análise formal de sistemas de software

Projetos de Pesquisa
2011 - AtualMecanismos para Detecção de Erros Temporais e Confinamento de Danos durante Tempo de Execução em Sistemas de Tempo Real
Descrição: Investigar diferentes métodos de detecçãao de erros temporais, assim como possíveis métodos para o confinamento de danos provenientes de tais erros, no contexto de arquiteturas com vários núcleos de processamento (multi-core). Tais mecanismos de detecção e confinamento são implementados ao nível de Sistema Operacional de Tempo Real (RTOS, Real-Time Operating System) -- aprovado para início em Outubro de 2011..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 1) .
Integrantes: Osmar Marchi dos Santos - Coordenador.
Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro..
2009 - 2010INtegrated European Signalling System
Descrição: The INESS project will define and develop specifications for a new generation of interlocking systems, and will thus extend and enhance the standardisation process. It will further lead to industry being more directly involved with Infrastructure Managers in developing innovative solutions for the future based on an enhanced and common understanding of the operational requirements needing to be delivered into the railway transportation system..
Situação: Concluído; Natureza: Pesquisa.
Integrantes: Jim Woodcock - Coordenador / Richard F. Paige - Integrante / Steve King - Integrante / Osmar Marchi dos Santos - Integrante.
.
2003 - 2004CASCO (Centro de Análise de Sistemas COncorrentes)
Descrição: Pesquisar e desenvolver métodos para a análise e desenvolvimento de sistemas concorrentes e distribuídos, com o uso de métodos formais..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Lucio Mauro Duarte - Integrante / Fernando Luís Dotti - Coordenador / Fábio Pasini - Integrante / Odorico Mendizabal - Integrante / Paulo Fernandes - Integrante / Afonso Sales - Integrante / Leonardo Brenner - Integrante / Osmar Marchi dos Santos - Integrante.
Financiador(es): Hp Brasil - Cooperação..
2002 - 2004IQ-Mobile (Improving the Quality of open Systems with Code Mobility through Rigorous Development)
Descrição: Improve the quality of software for open environments, in special mobile and distributed applications, through the use of formal methods..
Situação: Concluído; Natureza: Pesquisa.
Integrantes: Leila Ribeiro - Coordenador / Flávio Morais Assis Silva - Integrante / Laira Vieira Toscani - Integrante / Raimundo José de Araújo Macêdo - Integrante / Aline Maria Santos Andrade - Integrante / Fernando Luis Dotti - Integrante / Tiarajú Asmuz Diverio - Integrante / Alfio Ricardo Martini - Integrante / Andrea Corradini - Integrante / Fabio Gadducci - Integrante / Ugo Montanari - Integrante / Stefania Gnesi - Integrante / Osmar Marchi dos Santos - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação / Consiglio Nazionale delle Ricerche - Cooperação..
2002 - 2003ForMOS (Métodos Formais para Código Móvel em Sistemas Abertos)
Descrição: Melhorar a qualidade de software, em especial aplicações móveis e algoritmos/protocolos distribuídos, para ambientes abertos através do uso de métodos formais (para especificação, verificação, análise e geração de código correto).
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Lucio Mauro Duarte - Integrante / Eduardo Tavares Rödel - Integrante / Fernando Luís Dotti - Coordenador / Leila Ribeiro - Integrante / Luciana Foss - Integrante / Flávio Morais Assis Silva - Integrante / Laira Vieira Toscani - Integrante / Ana Paula Lüdtke Ferreira - Integrante / Avelino Francisco Zorzo - Integrante / Raimundo José de Araújo Macêdo - Integrante / Aline Maria Santos Andrade - Integrante / Osmar Marchi dos Santos - Integrante.
Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro..

Revisor de periódico
2009 - 2009 Periódico: Journal of Systems Architecture
2010 - 2010 Periódico: Formal Aspects of Computing

Áreas de atuação
1. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Sistemas de Tempo Real.
2. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Especificação e Análise (Formal) de Sistemas.
3. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Tolerância a Falhas.
4. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Sistemas Distribuídos.

Idiomas
Inglês Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Prêmios e títulos
2010ACM SIGSOFT Distinguished Paper Award, 13th International Conference on Model Driven Engineering Languages and Systems.
20101o. Lugar em Concurso Público para Professor Adjunto I, Ciência da Computação, DELC - Universidade Federal de Santa Maria.
2005Best Paper Award, 26th IEEE Real-Time Systems Symposium.


Produção em C,T & A
Produção bibliográfica
Artigos completos publicados em periódicos
1.   SANTOS, O. M. ; WELLINGS, A. . Measuring and policing blocking times in real-time systems. ACM Transactions on Embedded Computing Systems, v. 10, p. 1-29, 2010.
2.   SANTOS, O. M. ; WELLINGS, A. . Cost enforcement in the real-time specification for java. Real-Time Systems, v. 37, p. 139-179, 2007.
3. DOTTI, F. L. ; RIBEIRO, L. ; SANTOS, O. M. ; PASINI, F. . Verifying object-based graph grammars: an assume-guarantee approach. Software and Systems Modeling, v. 5, p. 289-311, 2006.
4. DOTTI, F. L. ; DUARTE, L. M. ; FOSS, L. ; RIBEIRO, L. ; RUSSI, D. ; SANTOS, O. M. . An environment for the development of concurrent object-based applications. Eletronic Notes In Theoretical Computer Science, v. 127, n. 1, p. 3-13, 2005.
5.   SANTOS, O. M. ; DOTTI, F. L. ; RIBEIRO, L. . Verifying object-based graph grammars. Eletronic Notes In Theoretical Computer Science, v. 109, n. 1, p. 125-136, 2004.
6. SANTOS, O. M. ; DOTTI, F. L. . Análise de verificadores de modelos para sistemas distribuídos. Hífen, Brasil, v. 27, n. 52, p. 141-146, 2003.
Trabalhos completos publicados em anais de congressos
1. INDRUSIAK, L. S. ; SANTOS, O. M. . Fast and accurate Transaction-Level Model of a wormhole Network-On-Chip with priority preemptive virtual channel arbitration. In: Design Automation and Test in Europe 2011, 2011, Grenoble. Design Automation and Test in Europe 2011. Nova Iorque : IEEE Computer Society Press, 2011. p. 1089-1094.
2. SANTOS, O. M. ; WOODCOCK, J. ; PAIGE, R. F. . Using model transformation to generate graphical counter-examples for the analysis of xUML models. In: 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011, Las Vegas. 16th IEEE International Conference on Engineering of Complex Computer Systems. Nova Iorque : IEEE Computer Society Press, 2011.
3. GUERRA, E. ; LARA, J. ; KOLOVOS, D. S. ; PAIGE, R. F. ; SANTOS, O. M. . transML: a family of languages to model model transformations. In: 13th International Conference on Model Driven Engineering Languages and Systems, 2010, Oslo. 13th International Conference on Model Driven Engineering Languages and Systems. Berlim : Springer-Verlag, Lecture Notes in Computer Science, 2010. v. 6394. p. 106-120.
4. SANTOS, O. M. ; WOODCOCK, J. ; PAIGE, R. F. ; KING, S. . The use of model transformation in the INESS project. In: 8th International Symposium on Formal Methods for Components and Objects, 2009, Eindhoven. 8th International Symposium on Formal Methods for Components and Objects. Berlim : Springer-Verlag, Lecture Notes in Computer Science, 2009. v. 6286.
5. SANTOS, O. M. ; WELLINGS, A. . Run time detection of blocking time violations in real-time systems. In: 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2008, Kaohsiung. 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. Nova Iorque : IEEE Computer Society Press, 2008. p. 347-356.
6. SANTOS, O. M. ; WELLINGS, A. . Blocking time monitoring in the real-time specification for java. In: 6th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2008, Santa Clara. 6th International Workshop on Java Technologies for Real-Time and Embedded Systems. Nova Iorque : ACM Press, 2008. p. 135-143.
7. WELLINGS, A. ; BURNS, A. ; SANTOS, O. M. ; BROSGOL, B. M. . Integrating priority inheritance algorithms in the real-time specification for java. In: 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, 2007, Santorini. 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing. Nova Iorque : IEEE Computer Society Press, 2007. p. 115-123.
8. SANTOS, O. M. ; WELLINGS, A. . Formal analysis of aperiodic and sporadic realtime threads in the RTSJ. In: 4th International Workshop on Java Technologies for Real-time and Embedded Systems, 2006, Paris. 4th International Workshop on Java Technologies for Real-time and Embedded Systems. Nova Iorque : ACM Press, 2006. p. 10-19.
9. DOTTI, F. L. ; FERNANDES, P. ; SALES, A. ; SANTOS, O. M. . Modular analytical performance models for ad hoc wireless networks. In: 3rd International Symposium on Modeling and Optimization in Mobile, Ad-Hoc and Wireless Networks, 2005, Trentino. 3rd International Symposium on Modeling and Optimization in Mobile, Ad-Hoc and Wireless Networks. Nova Iorque : IEEE Computer Society Press, 2005. p. 164-173.
10. DOTTI, F. L. ; MENDIZABAL, O. ; SANTOS, O. M. . Verifying fault-tolerant distributed systems using object-based graph grammars. In: 2nd Latin-American Symposium on Dependable Computing, 2005, Salvador. 2nd Latin-American Symposium on Dependable Computing. Berlim : Springer-Verlag, Lecture Notes in Computer Science, 2005. v. 3747. p. 80-100.
11.   SANTOS, O. M. ; WELLINGS, A. . Cost monitoring and enforcement in the real-time specification for java - a formal evaluation. In: 26th IEEE Real-Time Systems Symposium, 2005, Miami. 26th IEEE Real-Time Systems Symposium. Nova Iorque : IEEE Computer Society Press, 2005. p. 177-186.
12. SANTOS, O. M. ; DOTTI, F. L. ; RIBEIRO, L. . Verifying object-based graph grammars. In: International Workshop on Graph Transformation and Visual Modeling Techniques, 2004, Barcelona. International Workshop on Graph Transformation and Visual Modeling Techniques, 2004. p. 1-12.
13. DOTTI, F. L. ; DUARTE, L. M. ; FOSS, L. ; RIBEIRO, L. ; RUSSI, D. ; SANTOS, O. M. . An environment for the development of concurrent object-based applications. In: Graph Based Transformation Systems, 2004, Roma. Graph Based Transformation Systems, 2004. p. 1-10.
14. DOTTI, F. L. ; PASINI, F. ; SANTOS, O. M. . Uma metodologia para a verificação de sistemas parciais modelados na gramática de grafos baseada em objetos. In: 18o. Simpósio Brasileiro de Engenharia de Software, 2004. 19o. Simpósio Brasileiro de Engenharia de Software. Brasília : DCC - UNB, 2004. p. 1-16.
15. SANTOS, O. M. ; DOTTI, F. L. . Proposta de uma abordagem para a verificação formal de sistemas distribuídos baseados em objetos. In: IV Workshop de Testes e Tolerância a Falhas, 2003, Natal. IV Workshop de Testes e Tolerância a Falhas. Natal : DIMAP - UFRN, 2003. p. 61-68.
16.   DOTTI, F. L. ; SANTOS, O. M. ; RÖDEL, E. T. . On the use of formal specifications to analyse fault behaviors of distributed systems. In: 1st Latin-American Symposium on Dependable Computing, 2003, São Paulo. 1st Latin-American Symposium on Dependable Computing. Berlin : Springer-Verlag, Lecture Notes in Computer Science, 2003. v. 2847. p. 341-360.
17. DOTTI, F. L. ; FOSS, L. ; RIBEIRO, L. ; SANTOS, O. M. . Especificação e verificação formal de sistemas distribuídos. In: 17o. Simpósio Brasileiro de Engenharia de Software, 2003, Manaus. 17o. Simpósio Brasileiro de Engenharia de Software. Manaus : DCC - UFAM, 2003. p. 225-240.
18. DOTTI, F. L. ; RIBEIRO, L. ; SANTOS, O. M. . Specification and analysis of fault behaviours using graph grammars. In: 2nd Applications of Graph Transformations with Industrial Relevance, 2003, Charlottesville. 2nd Applications of Graph Transformations with Industrial Relevance. Berlin : Springer-Verlag, Lecture Notes in Computer Science, 2004. v. 3062. p. 120-133.
19. DOTTI, F. L. ; FOSS, L. ; RIBEIRO, L. ; SANTOS, O. M. . Verification of distributed object-based systems. In: 6th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, 2003, Paris. 6th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems. Berlim : Springer-Verlag, Lecture Notes in Computer Science, 2003. v. 2884. p. 261-275.
20. SANTOS, O. M. ; DOTTI, F. L. . Formal specification of object-based distributed systems. In: II Simpósio de Informática da Região Centro/RS, 2003, Santa Maria. II Simpósio de Informática da Região Centro/RS. Santa Maria : UNIFRA, 2003.
21. SANTOS, O. M. . Towards an approach for verifying distributed object-based systems. In: II Workshop de Teses e Dissertações em Computação Tolerante a Falhas, 2003, São Paulo. II Workshop de Teses e Dissertações em Computação Tolerante a Falhas. São Paulo : EPUSP, 2003. p. 7-12.
22. SANTOS, O. M. ; CAMPELLO, R. S. . Uma arquitetura de interação entre sistemas de detecção de intrusão utilizando a extensão fault-tolerant CORBA. In: II Workshop em Segurança de Sistemas Computacionais, 2002, Búzios. II Workshop em Segurança de Sistemas Computacionais. Rio de Janeiro : NCE - UFRJ, 2002. p. 17-24.
23. RÖDEL, E. T. ; DUARTE, L. M. ; SANTOS, O. M. ; DOTTI, F. L. . Simulation of mobile applications in open environments. In: IV Workshop de Comunicação Sem Fio e Computação Móvel, 2002, São Paulo. IV Workshop de Comunicação sem Fio e Computação Móvel. São Paulo : IME - USP, 2002. p. 246-256.
Resumos publicados em anais de congressos
1. SANTOS, O. M. ; CORDENONSI, A. Z. . Estudo sobre a gerência de memória do sistema operacional linux. In: V Simpósio de Ensino Pesquisa e Extensão, 2001, Santa Maria. V Simpósio de Ensino Pesquisa e Extensão. Santa Maria : UNIFRA, 2001.
2. SANTOS, O. M. ; CAMPELLO, R. S. . Estudo e implementação de mecanismos de tolerância a falhas em sistemas de detecção de intrusão. In: V Simpósio de Ensino Pesquisa e Extensão, 2001, Santa Maria. V Simpósio de Ensino Pesquisa e Extensão. Santa Maria : UNIFRA, 2001.
3. SANTOS, O. M. ; CORDENONSI, A. Z. . Segurança na internet: um estudo sobre os sistemas operacionais linux e windows NT. In: IV Simpósio de Ensino Pesquisa e Extensão, 2000, Santa Maria. IV Simpósio de Ensino Pesquisa e Extensão. Santa Maria : UNIFRA, 2000.
4. SANTOS, O. M. ; BAIERLE, R. J. . Algoritmos computacionais para o cálculo de estrutura eletrônica de semicondutores. In: IV Simpósio de Ensino Pesquisa e Extensão, 2000, Santa Maria. IV Simpósio de Ensino Pesquisa e Extensão. Santa Maria : UNIFRA, 2000.
5. SANTOS, O. M. ; CAMPELLO, R. S. . Experiências com uma rede digital de serviços integrados. In: III Simpósio de Ensino Pesquisa e Extensão, 1999, Santa Maria. III Simpósio de Ensino Pesquisa e Extensão. Santa Maria : UNIFRA, 1999.
Artigos aceitos para publicação
1. RIBEIRO, L. ; SANTOS, O. M. ; DOTTI, F. L. ; FOSS, L. . Correct transformation: from Object-Based Graph Grammars to PROMELA. Science of Computer Programming (Print), 2011.
2. GUERRA, E. ; LARA, J. ; KOLOVOS, D. S. ; PAIGE, R. F. ; SANTOS, O. M. . Engineering Model Transformations with transML. Software and Systems Modeling (Print), 2011.
Demais tipos de produção bibliográfica
1. SANTOS, O. M. . Run time detection of timing errors in real-time systems. York: Department of Computer Science - University of York, 2008 (Tese de doutorado).
2. WELLINGS, A. ; BURNS, A. ; SANTOS, O. M. ; BROSGOL, B. M. . Integrating priority inheritance algorithms in the real-time specification for java. York: Computer Science Department - University of York, 2007 (Relatório Técnico No. YCS 412).
3. SANTOS, O. M. . Towards the formal analysis of the real-time specification for java using model checking. York: Department of Computer Science - University of York, 2005 (Dissertação de qualificação de doutorado).
4. SANTOS, O. M. . Verificação formal de sistemas distribuídos modelados na gramática de grafos baseada em objetos. Porto Alegre: Faculdade de Informática - PUCRS, 2004 (Dissertação de mestrado).
5. DOTTI, F. L. ; KONIG, B. ; SANTOS, O. M. ; RIBEIRO, L. . A case study: verifying a mutual exclusion protocol with process creation using graph transformation systems. Stuttgart: Faculty of Computer Science - University of Stuttgart, 2004 (Relatório Técnico No. 2004/08).
6. SANTOS, O. M. ; DOTTI, F. L. . An approach for verifying distributed systems modeled with object-based graph grammars. Porto Alegre: Faculdade de Informática - PUCRS, 2003 (Seminário de andamento de mestrado).
7. SANTOS, O. M. ; DOTTI, F. L. . Estudo sobre ferramentas de verificação formal baseadas na verificação de modelos. Porto Alegre: Faculdade de Informática - PUCRS, 2002 (Trabalho individual de mestrado).
8. SANTOS, O. M. ; DOTTI, F. L. . Verificação formal, baseada na verificação de modelos, de sistemas distribuídos baseados em objetos. Porto Alegre: Faculdade de Informática - PUCRS, 2002 (Trabalho individual de mestrado).
9. SANTOS, O. M. ; DOTTI, F. L. . Verificação formal de sistemas distribuídos baseados em objetos. Porto Alegre: Faculdade de Informática - PUCRS, 2002 (Plano de estudo e pesquisa de mestrado).
Produção técnica
Softwares sem registro de patente
1. SANTOS, O. M. . jRate on top of MaRTE OS. 2008.
2. DUARTE, L. M. ; SANTOS, O. M. ; DOTTI, F. L. ; RIBEIRO, L. . OBGG Environment. 2004.

Bancas
Participação em bancas de comissões julgadoras
Concurso público
1. PASIN, M.; VIZZOTTO, J. K.; SANTOS, O. M.. Professor Substituto do Departamento de Eletrônica e Computação. 2011. Universidade Federal de Santa Maria.
2. SANTOS, O. M.; VIZZOTTO, J. K.; Simonetto, E.. Professor Adjunto no Colégio Técnico Industrial de Santa Maria. 2011. Universidade Federal de Santa Maria.

Eventos
Participação em eventos
1. Software Techologies Concertaion on Formal Methods for Components and Objects (FMCO) 2010.Towards the analysis of xUML models using an SMT solver. 2010. (Encontro).
2. 16th International Symposium on Formal Methods. 2009. (Simpósio).
3. Software Techologies Concertaion on Formal Methods for Components and Objects (FMCO) 2009.Use of Model Transformation in the INESS Project. 2009. (Encontro).
4. 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.Blocking time monitoring in the real-time specification for java. 2008. (Congresso).
5. 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing.Integrating priority inheritance algorithms in the real-time specification for java. 2007. (Simpósio).
6. 4th International Workshop on Java Technologies for Real-time and Embedded Systems.Formal analysis of aperiodic and sporadic realtime threads in the RTSJ. 2006. (Outra).
7. 26th IEEE Real-Time Systems Symposium.Cost monitoring and enforcement in the real-time specification for java - a formal evaluation. 2005. (Simpósio).
8. 25th IEEE Real-Time Systems Symposium. 2005. (Simpósio).
9. 6th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems. 2003. (Congresso).
10. 1st Latin-American Symposium on Dependable Computing. 2003. (Simpósio).
11. II Simpósio de Informática da Região Centro/RS.Formal specification of object-based distributed systems. 2003. (Simpósio).
12. II Workshop de Teses e Dissertações em Computação Tolerante a Falhas.Towards an approach for verifying distributed object-based systems. 2003. (Outra).
13. I Escola Regional de Redes de Computadores. 2003. (Outra).
14. 19o Simpósio Brasileiro de Redes de Computadores. 2001. (Simpósio).
15. V Simpósio de Ensino Pesquisa e Extensão. 2001. (Simpósio).
16. 2o. Fórum de Software Livre. 2001. (Outra).
17. IV Simpósio de Ensino Pesquisa e Extensão. 2000. (Simpósio).
18. 1o. Fórum de Software Livre. 2000. (Outra).
19. III Simpósio de Ensino Pesquisa e Extensão. 1999. (Simpósio).
20. 7a. Escola Regional de Informática. 1999. (Outra).
Organização de eventos
1. SANTOS, O. M. . Membro do comitê de programa - Simpósio de Informática da Região Centro do RS. 2010. (Congresso).
2. SANTOS, O. M. . Membro do comitê de programa - Junior Researcher Workshop on Real-Time Computing. 2010. (Congresso).
3. SANTOS, O. M. . Membro do comitê de programa - Escola Regional de Redes de Computadores. 2010. (Congresso).
4. SANTOS, O. M. . Membro do comitê de programa - Simpósio de Informática da Região Centro do RS. 2009. (Congresso).
5. SANTOS, O. M. . Membro do comitê de programa - Simpósio de Informática da Região Centro do RS. 2008. (Congresso).
6. SANTOS, O. M. . Membro do comitê de programa - Simpósio de Informática da Região Centro do RS. 2007. (Congresso).
7. SANTOS, O. M. . Membro do comitê de programa - Simpósio de Informática da Região Centro do RS. 2006. (Congresso).
8. SANTOS, O. M. . Membro do comitê de programa - Conferência Ibero-Americana IADIS WWW/Internet. 2006. (Congresso).
9. SANTOS, O. M. . Membro do comitê de programa - Simpósio de Informática da Região Centro do RS. 2005. (Congresso).

Orientações
Orientações em andamento
Dissertação de mestrado
1. Fábio Sarturi Prass. Sem título. Início: 2011. Dissertação (Mestrado em Programa de Pós-Graduação em Informática) - Universidade Federal de Santa Maria. (Co-orientador).
2. Marco Antonio Copetti. Sem título. Início: 2011. Dissertação (Mestrado em Programa de Pós-Graduação em Informática) - Universidade Federal de Santa Maria, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Co-orientador).
Trabalho de conclusão de curso de graduação
1. Iaê Bonilha. Alocação de tarefas para aplicações de tempo real em arquiteturas multi-core. Início: 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Maria. (Orientador).
Página gerada pelo Sistema Currículo Lattes em 12/02/2012 às 5:11:54