PUBLICAÇÕES
- Título: Serviço da Web do Sistema Integrado de Gestão Acadêmica da UFRJ (SIGA)
Data: 01/12/2021
Local: YouTube
Autores: Juliana Carpes Imperial, Marcelo Duarte da Silva e Maria Da Graça Maia Avelar
Descrição: Resumo aceito na sessão de Comunicações Orais do IX Seminário de Integração dos Servidores Técnico-administrativos em
Educação (SINTAE 2021) e presente no caderno de resumos do mesmo em meio digital.
Link da apresentação
Download:
- Título: Serviço da Web do Sistema de Pessoal da UFRJ (SIRHu) para Recuperar Dados de Servidores
Data: 26/11/2020
Local: YouTube
Autores: Juliana Carpes Imperial e Hércules Sant'Ana da Silva José
Descrição: Resumo aceito na sessão de Comunicações Orais do VIII Seminário de Integração dos Servidores Técnico-administrativos em
Educação (SINTAE 2020) e presente no caderno de resumos do mesmo em meio digital.
Link da apresentação
Download:
- Título: PINC - Sistema do Programa de Iniciação Científica da Faculdade de Medicina da UFRJ
Data: 12/11/2019
Local: CCMN, UFRJ, Rio de Janeiro, RJ, Brasil
Autores: Juliana Carpes Imperial, Mariana Bruno de Faria, Marcello Fabiano Malta de Oliveira Allevato Musco e Thiago Vieira de Aguiar
Descrição: Resumo aceito na sessão de Comunicações Orais do VII Seminário de Integração dos Servidores Técnico-administrativos em
Educação (SINTAE 2019) e presente no caderno de resumos do mesmo em meio digital.
Download:
- Título: Litebase: A Database System for Mobile Devices
Data: 08/10/2014
Local: Hotel Pestana, Curitiba, Paraná, Brasil
Autores: Juliana Carpes Imperial, Sérgio Lifschitz, Guilherme Campos Hazan e Bruno Azevedo Muniz
Descrição: Artigo aceito na sessão de demos do XXIX Simpósio Brasileiro de Banco de
Dados (SBBD 2014) e presente no Proceedings da mesma em meio digital.
Resumo:
Litebase is a database system developed to run on TotalCross, a
mobile development platform for smartphones. This paper describes the
database system features, currently work, and future enhancements so that it
is reliable, fast in all operations, and has an efficient memory management,
and storage space usage. The first requirement is challenging because
applications might be killed by the device system anytime, and the last three
requirements are necessary since even the modern and powerful nowadays
devices are not as powerful as computers.
Download:
- Título: Confiança em Agentes Inteligentes
Data: 06/05/2011
Local: Universidade Estácio de Sá, Rio de Janeiro, Brasil
Autora: Juliana Carpes Imperial
Descrição: Artigo aceito na Escola Regional de Informática (ERI 2011) e presente no Proceedings da mesma
em meio digital.
Resumo:
Confiança é um aspecto fundamental em sistemas distribuídos abertos de larga-escala. Ela está no núcleo de todas as interações entre as
entidades que precisam operar em ambientes com muita incerteza e que se modificam constantemente. Dada essa complexidade, esses
componentes, e o sistema resultante, são cada vez mais contextualizados, projetados e construídos usando técnicas baseadas em agentes.
Portanto, confiança é fundamental em um sistema multi-agentes (MAS) aberto. Logo, este trabalho investiga como se ter um modelo de
confiança explicitamente em um agente inteligente, que possui crenças (Beliefs), desejos (Desires) e intenções
(Intentions), chamado de agente BDI. Ou seja, o agente passa a ter um quarto componente chamado confiança (Trust).
Download:
- Título: Lógica Modal para Sistemas Multi-Agentes Abertos
Data: 14/04/2010
Local: UFRJ, Rio de Janeiro, Rio de Janeiro, Brasil
Autores: Juliana Carpes Imperial e Edward Hermann Haeusler
Descrição: Artigo aceito na Escola Regional de Informática (ERI 2010) e presente no Proceedings da mesma
em meio digital.
Resumo:
Hoje em dia muitos são os sistemas distribuídos abertos de larga-escala que precisam operar em
ambientes com muita incerteza e que se modificam constantemente. Dada essa complexidade, esses
componentes, e o sistema resultante, são cada vez mais contextualizados, desenhados e
construídos u-sando técnicas baseadas em agentes. Portanto, é interessante haver uma lógica
modal para modelar o fato de um sistema multi-agentes ser aberto, onde os mundos possíveis que
modelam um sistema multi-agentes representam quais agentes estão presentes em um dado instante
de tempo.
Download:
- Título: Proof-Carrying Code Usando Cálculo de Hoare
Data: 14/04/2010
Local: UFRJ, Rio de Janeiro, Rio de Janeiro, Brasil
Autores: Juliana Carpes Imperial e Edward Hermann Haeusler
Descrição: Artigo aceito na Escola Regional de Informática (ERI 2010) e presente no Proceedings da mesma
em meio digital.
Resumo:
Como muitas vezes a procedência de programas é desconhecida, é preciso se certificar de que o código se comporta como o esperado.
A solução ideal seria verificar o código contra uma especificação de políticas de segurança, contudo, isso pode consumir muito tempo.
Outra alternativa é fazer com que o próprio código prove ser seguro. O conceito de “proof-carrying code” (PCC) é baseado nessa idéia:
um programa carrega consigo uma prova de sua conformidade com certas políticas de segurança. Portanto, os mesmos métodos formais usados
para a verificação de programas podem ser utilizados para esta tecnologia. Considerando este fato, neste trabalho é estudado como o cálculo
de Hoare pode ser útil à técnica de PCC.
Download:
- Título: Generating Multistep Methods for Special Ordinary Differential Equations of Higher-Order
Data: 22/10/2009
Local: Petrópolis, Rio de Janeiro, Rio de Janeiro, Brasil
Autora: Juliana Carpes Imperial
Descrição: Resumo aceito no Encontro Regional de Matemática Computacional (ERMAC) 2009 e presente no Proceedings da mesma.
Resumo:
Neste artigo é apresentado um método para a geração de métodos de passo múltiplo para resolver numericamente equações diferenciais ordinárias especiais de alta ordem.
Download:
- Título: Proof-Carrying Code Usando Cálculo de Hoare
Data: 09/10/2009
Local: Parque Nacional do Itaipu, Foz do Iguaçu, Paraná, Brasil
Autora: Juliana Carpes Imperial
Descrição: Artigo aceito no IV Congresso Tri-Nacional de Ciências (C3N) 2009 e presente no Proceedings da mesma
em meio digital.
Resumo:
Como muitas vezes a procedência de programas é desconhecida, é preciso se certificar de que o código se comporta como o esperado.
A solução ideal seria verificar o código contra uma especificação de políticas de segurança, contudo, isso pode consumir muito tempo.
Outra alternativa é fazer com que o próprio código prove ser seguro. O conceito de “proof-carrying code” (PCC) é baseado nessa idéia:
um programa carrega consigo uma prova de sua conformidade com certas políticas de segurança. Portanto, os mesmos métodos formais usados
para a verificação de programas podem ser utilizados para esta tecnologia. Considerando este fato, neste trabalho é estudado como o cálculo
de Hoare pode ser útil à técnica de PCC.
Download:
- Título: Análise de Métodos Numéricos para Resolver Equações Diferenciais.
Data: 06/11/2008
Local: PUC-RS Uruguaiana, Uruguaiana, RS
Autora: Juliana Carpes Imperial
Descrição: Resumo do funcionamento e da implementação de um analisador de métodos numéricos linerares de passo múltiplo para
resolver equações diferenciais ordinárias, cujo resumo está presente no Proceedings da mesma.
Resumo aceito na revista:
Documento em pdf
Download:
Resumo submetido para a mostra de software em pdf (zipado)
- Título: Correção de Programas
Data: 06/11/2008
Local: PUC-RS Uruguaiana, Uruguaiana, RS
Autora: Juliana Carpes Imperial
Descrição: Resumo do funcionamento e da implementação de um corretor de programas
aceito na Mostra de Software Acadêmico do SIMS 2008, cujo resumo está presente no Proceedings da mesma.
Resumo aceito na revista:
Documento em pdf
Download:
Resumo submetido para a mostra de software em pdf (zipado)
- Título: Confiança em Agentes Inteligentes
Data: 09/11/2007
Local: Escola de Guerra Naval, Rio de Janeiro, Brasil
Autores: Juliana Carpes Imperial e Edward Hermann Haeusler
Descrição: Artigo aceito no SPOLM 2007 e presente no Proceedings da mesma
em meio digital.
Resumo:
Confiança é um aspecto fundamental em sistemas distribuídos abertos de larga-escala. Ela está no núcleo de todas as interações entre as
entidades que precisam operar em ambientes com muita incerteza e que se modificam constantemente. Dada essa complexidade, esses
componentes, e o sistema resultante, são cada vez mais contextualizados, projetados e construídos usando técnicas baseadas em agentes.
Portanto, confiança é fundamental em um sistema multi-agentes (MAS) aberto. Logo, este trabalho investiga como se ter um modelo de
confiança explicitamente em um agente inteligente, que possui crenças (Beliefs), desejos (Desires) e intenções
(Intentions), chamado de agente BDI. Ou seja, o agente passa a ter um quarto componente chamado confiança (Trust).
Download:
- Título: Lógica modal para sistemas multi-agentes abertos
Data: 16/10/2007
Local: Instituto de Filosofia e Ciências Sociais da UFRJ, Rio de Janeiro, Brasil
Autores: Juliana Carpes Imperial e Edward Hermann Haeusler
Descrição: Artigo aceito no I Seminário dos Alunos do Programa de Pós-graduação em Lógica e Metafísica da UFRJ.
Resumo:
Hoje em dia muitos são os sistemas distribuídos abertos de larga-escala que precisam operar em
ambientes com muita incerteza e que se modificam constantemente. Dada essa complexidade, esses
componentes, e o sistema resultante, são cada vez mais contextualizados, desenhados e
construídos usando técnicas baseadas em agentes. Portanto, é interessante haver uma lógica
modal para modelar o fato de um sistema multi-agentes ser aberto, onde os mundos possíveis que
modelam um sistema multi-agentes representam quais agentes estão presentes em um dado instante
de tempo.
Download: Artigo no formato pdf (zipado)
- Título: A Logic for Expressing Trust in Intelligent Agents
Data: 12/09/2007
Local: LNCC, Petrópolis, RJ
Autores: Juliana Carpes Imperial e Edward Hermann Haeusler
Descrição: Artigo aceito no LAACS'07 e presente no Proceedings da mesma
em meio digital.
Resumo:
Confiança é um aspecto fundamental em sistemas distribuídos abertos de larga-escala. Ela
está no núcleo de todas as interações entre as entidades que precisam operar em ambientes com
muita incerteza e que se modificam constantemente. Dada a complexidade das interações, esses
componentes, e o sistema resultante, são cada vez mais contextualizados, projetados e
construídos usando técnicas baseadas em agentes. Portanto, confiança é fundamental em um
multi-agentes (MAS) aberto. Logo, este trabalho investiga como se ter um modelo de
confiança explicitamente em um agente inteligente, que possui crenças (Beliefs), desejos
(Desires) e intenções (Intentions), chamado de agente BDI. Ou seja, o agente passa
a ter um quarto componente chamado confiança (Trust). Dessa forma, é interessante haver
uma lógica para englobar o conceito de confiança em um MAS BDI aberto, para que os diferentes
aspectos de um modelo de confiança sejam expressos de forma precisa e formal. Isso é feito
usando uma lógica multi-modal indexada, onde os mundos possíveis que modelam um sistema
multi-agentes representam quais agentes estão presentes em um dado instante de tempo. E, para
cada uma das três componentes originais de um agente BDI, há também uma representação de mundos
possíveis, pois as mesmas são tratadas como modalidades. Já a confiança é modelada como um
predicado, e não uma modalidade.
Download:
- Título: Confiança em Agentes Inteligentes
Data: 10/09/2007
Local: PUC-Rio, Rio de Janeiro, Brasil
Autora: Juliana Carpes Imperial
Descrição: Tese de Doutorado
Resumo:
Confiança é um aspecto fundamental em sistemas distribuídos abertos de larga-escala. Ela
está no núcleo de todas as interações entre as entidades que precisam operar em ambientes com
muita incerteza e que se modificam constantemente. Dada a complexidade das interações, esses
componentes, e o sistema resultante, são cada vez mais contextualizados, projetados e
construídos usando técnicas baseadas em agentes. Portanto, confiança é fundamental em um
multi-agentes (MAS) aberto. Logo, este trabalho investiga como se ter um modelo de
confiança explicitamente em um agente inteligente, que possui crenças (Beliefs), desejos
(Desires) e intenções (Intentions), chamado de agente BDI. Ou seja, o agente passa
a ter um quarto componente chamado confiança (Trust). Dessa forma, é interessante haver
uma lógica para englobar o conceito de confiança em um MAS BDI aberto, para que os diferentes
aspectos de um modelo de confiança sejam expressos de forma precisa e formal. Isso é feito
usando uma lógica multi-modal indexada, onde os mundos possíveis que modelam um sistema
multi-agentes representam quais agentes estão presentes em um dado instante de tempo. E, para
cada uma das três componentes originais de um agente BDI, há também uma representação de mundos
possíveis, pois as mesmas são tratadas como modalidades. Já a confiança é modelada como um
predicado, e não uma modalidade.
Download:
- Título: Monitores no Minix 2.0
Data: 09/11/2006
Local: PUC-RS Uruguaiana, Uruguaiana, RS
Autora: Juliana Carpes Imperial
Descrição: Resumo do funcionamento e da implementação de uma extensão ao sistema
operacional MINIX 2.0 aceito na Mostra de Software Acadêmico do SIMS 2006, cujo resumo está
presente no Proceedings da mesma
Resumo:
Implementação do mecanismo de concorrência de monitores no sistema operacional MINIX 2.0.
Download:
- Título: Analysing Methods to Solve Ordinary Differential Equations
Data: 20/09/2006
Local: Unicamp, Campinas, SP
Autora: Juliana Carpes Imperial
Descrição: Resumo aceito no XXIX CNMAC, presente no caderno de resumos da mesma
Resumo:
Neste artigo é apresentado um programa para analisar a consistência e a estabilidade de métodos
de passo múltiplo para resolver numericamente equações diferenciais ordinárias especiais de
alta ordem.
Download:
- Título: Generating Multistep Methods for Special Ordinary Differential Equations of
Higher-Order
Data: 20/09/2006
Local: Unicamp, Campinas, SP
Autora: Juliana Carpes Imperial
Descrição: Resumo aceito no XXIX CNMAC, presente no caderno de resumos da mesma
Resumo:
Neste artigo é apresentado um método para a geração de métodos de passo múltiplo para resolver
numericamente equações diferenciais ordinárias especiais de alta ordem.
Download:
- Título: Some Strategies for the Semi-Automatic Use of Hoare Logic
Data: 27/04/2006
Local: Hotel Simon, Itatiaia
Autores: Juliana Carpes Imperial e Edward Hermann Haeusler
Descrição: Resumo aceito no XIV EBL, presente no caderno de resumos da mesma
Resumo:
Neste artigo são apresentadas estratégias para tornar a prova de correção de programas utilizando cálculo de Hoare o mais automática possível.
Download:
- Título: Some Strategies for the Semi-Automatic Use of Hoare Logic
Data: 27/04/2006
Local: Hotel Simon, Itatiaia
Autores: Juliana Carpes Imperial e Edward Hermann Haeusler
Descrição: Resumo aceito no XIV EBL, presente no caderno de resumos da mesma
Resumo:
Neste artigo são apresentadas estratégias para tornar a prova de correção de programas utilizando cálculo de Hoare o mais automática possível.
Download:
- Título: Simulador de Máquina de Turing
Data: 20/10/2005
Local: PUC-RS Uruguaiana, Uruguaiana, RS
Autora: Juliana Carpes Imperial
Descrição: Resumo do funcionamento do programa aceito na Mostra de Software Acadêmico
do SIMS 2005, cujo resumo está presente no Proceedings da mesma
Resumo:
Ver sessão Máquina de Turing
deste site.
Download:
- Título: Proof-Carrying Code Usando Cálculo de Hoare
Data: 10/12/2004
Local: Marinha, Niterói, Rio de Janeiro, Brasil
Autores: Juliana Carpes Imperial e Edward Hermann Haeusler
Descrição: Artigo aceito no INFORMAR'04, em 10/12/04, conferência da Marinha,
cujo resumo está presente no Proceedings da mesma
Resumo:
Atualmente, a maioria dos programas para computadores é obtida
através da WEB. Como muitas vezes a procedência são fontes
desconhecidas, é preciso se certificar de que o código se comporta
como o esperado. A solução ideal seria verificar o código contra
uma especificação de políticas de segurança, contudo, isso pode
consumir muito tempo. Uma outra alternativa é fazer com que o
próprio código prove ser seguro. O conceito de proof-carrying code
(PCC) é baseado nessa idéia: um programa carrega consigo uma prova
de sua conformidade com certas políticas de segurança. Ou seja, ele
carrega uma prova a respeito de propriedades do próprio código.
Portanto, os mesmos métodos formais usados para a verificação de
programas podem ser utilizados para esta tecnologia. Considerando
este fato, neste trabalho é estudado como o cálculo de Hoare, um
método formal para realizar a verificação de programas, aplicado a
códigos-fonte escritos em uma linguagem de programação imperativa,
pode ser útil à técnica de PCC.
Download:
- Título: Especificação e Prova de Correção de MKSEC em BAN
Data: 10/12/2004
Local: Marinha, Niterói, Rio de Janeiro, Brasil
Autores: Juliana Carpes Imperial, Edward Hermann Haeusler e Markus Endler
Descrição: Artigo aceito no INFORMAR'04, em 10/12/04, conferência da Marinha,
cujo resumo está presente no Proceedings da mesma
Resumo:
Apresentar uma especificação formal e a prova de correção do
protocolo de comunicação Multicast MKSEC em BAN.
Download:
- Título: Some Strategies for the Automatic Use of Hoare Logic
Data: 07/06/2004
Local: UCC, Cork, Irlanda
Autores: Juliana Carpes Imperial e Edward Hermann Haeusler
Descrição: Artigo (resumo estendido) aceito no STRATEGIES'04, em 04/07/04, conferência
do IJCAR 2004, e presente no Proceedings da mesma
Resumo:
Neste artigo são apresentadas estratégias para tornar a prova de correção de programas
utilizando cálculo de Hoare o mais automática possível.
Download:
- Título: Técnicas para o Uso do Cálculo de Hoare em PCC
Data: 14/07/2003
Local: PUC-Rio, Rio de Janeiro, Brasil
Autora: Juliana Carpes Imperial
Descrição: Dissertação de Mestrado
Resumo:
Atualmente, a maioria dos programas para computadores é obtida através da WEB. Como muitas
vezes a procedência são fontes desconhecidas, é preciso se certificar de que o código se
comporta como o esperado. A solução ideal seria verificar o código contra uma especificação de
políticas de segurança, contudo, isso pode consumir muito tempo. Uma outra alternativa é fazer
com que o próprio código prove ser seguro. O conceito de proof-carrying code (PCC) é
baseado nessa idéia: um programa carrega consigo uma prova de sua conformidade com certas
políticas de segurança. Ou seja, ele carrega uma prova a respeito de propriedades do próprio
código. Portanto, os mesmos métodos formais usados para a verificação de programas podem ser
utilizados para esta tecnologia. Considerando este fato, neste trabalho é estudado como o
cálculo de Hoare, um método formal para realizar a verificação de programas, aplicado a
códigos-fonte escritos em uma linguagem de programação imperativa, pode ser útil à técnica de
PCC. Conseqüentemente, são pesquisados métodos para a geração de provas de correção de
rogramas utilizando o método citado, para tornar possível a geração de provas de segurança
para PCC utilizando o cálculo de Hoare.
Download:
Última atualização: 28 de janeiro de 2022