Programa

Program at a glance

CPDLA: Computação Paralela, Distribuída e de Larga Escala
SETR: Sistemas Embebidos e de Tempo-Real
SOFTPT: Ciência e Engenharia de Software
SSCC: Segurança de Sistemas de Computadores e Comunicações
GDC: Gestão de Dados e Conhecimento
CMU: Computação Móvel e Ubíqua
IoTS: Internet das Coisas e Serviços

Oradores Convidados

• Reasoning with MAD distributed systems, Lorenzo Alvisi, UT Austin
• An Interface Theory for Service-oriented Computing, José Luiz Fiadeiro, Royal Holloway, University of London:

Sessão Turing

A edição deste ano do INFORUM associa-se à Celebração do Centenário da vida e obra de Alan Turing e vai contar com uma sessão especial com os seguintes oradores convidados:

• Alan Turing and Bletchley Park, José Manuel Valença, Universidade do Minho
• Turing: From Virtual to Real Machines and Back, Luís Caires, Universidade Nova de Lisboa,

Programa detalhado(pdf)

Introdução das atas do 4.º Simpósio de Informática

Ciência e Engenharia do Software

• ARMY: a Deductive Verification Platform for ARM Programs Using Why3-Mário Pereira, Jean-Christophe Filliâtre, Simão Melo de Sousa
• Paralelização de Código Puro numa Linguagem Imperativa-Diogo G. Sousa, João C. Martins, João Costa Seco
• A study on the usage of third party libraries in Java applications-Marta Teixeira, João Cachopo

• Locality-Awareness and Continuous Consistency for Collaborative Software Development-Miguel Mateus, Paulo Ferreira, Luís Veiga
• Localização de Código por Demonstração-André Santos
• A UML Profile for Modeling IT Infrastructures-Fernando Brito e Abreu, Victor Moreira, Luís Ferreira Da Silva

• Binary code obfuscation through C⁺⁺ template metaprogramming-Samuel Neves, Filipe Araújo
• Segurança de Dados em Aplicações Centradas em Dados por Análise de Fluxo de Informação-Luísa Lourenço, Luís Caires
• ACode: Web-based System for Automatic Evaluation of Java Code- Marcos Pinto, António Lopes

Computação Móvel e Ubíqua

• Comparação de Mecanismos de Cancelamento de Difusão-Rui Lima, Carlos Baquero, Hugo Miranda
• Filtros de precedência: agregação anónima de dados de trânsito bluetooth-Nelson Gonçalves, Carlos Baquero, Rui José, Miguel Borges
• Geo Ties -- Localização em Conversas Móveis-Tiago Antunes, Luís Duarte, Luis Carriço
• Puzzles: Explorando Designs Multimodais-Jaime Carvalho, Luís Duarte, Diogo Marques, Luis Carriço

• Avaliação de um Sistema de Reputação e Incentivo-Nuno Cruz, Hugo Miranda
• Idroid -- interest aware augmented reality-Ricardo Brilhante, Luis Veiga, Paulo Ferreira
• MobUser: Uma plataforma para partilha de informação centrada no utilizador para dispositivos móveis-Mauro Silva, João Leitão, Carlos Ribeiro
• FACMOVEL: Aplicação para Digitalização, Detecção e Classificação Automática de Recibos em Dispositivos Móveis-Miguel Batista, Pedro Morais, Rui Jesus, Pedro Jorge

Computação Paralela, Distribuída e de Larga Escala

• C2FS: um Sistema de Ficheiros Seguro e Fiável para Cloud-of-clouds - Ricardo Mendes, Tiago Oliveira, Alysson Bessani, Marcelo Pasin
• Benchmarking the EDGI Infrastructure-Serhiy Boychenko, Filipe Araújo
• Aplicação do Fecho de Programas na Deteção de Anomalias de Concorrência-Diogo G. Sousa, João Lourenço, Eitan Farchi, Itai Segall
• RATS -- Resource Aware Thread Scheduling for JVM-level Clustering - Navaneeth Rameshan, Luís Veiga

• SwiftCloud: replicação sem coordenação-Valter Balegas, Nuno Preguiça
• PEC: Protocolo Epidémico para Centros de dados-Miguel Branco, João Leitão, Luís Rodrigues
• Reprodução Probabilística de Execuções na JVM em Multi-processadores-João Silva, Luís Veiga
• Desenho e Implementação de uma Biblioteca de Padrões Algorítmicos para GPGPU-Ricardo Marques, Hervé Paulino, Pedro Medeiros

• ChainReaction: uma Variante de Replicação em Cadeia com Coerência Causal+ - Sérgio Almeida, João Leitão, Luís Rodrigues
• Gestão de Estado Eficiente no Serviço de Coordenação DDS-João Félix, Alysson Bessani, Miguel Correia
• FaceID-Cloud -- Face Identification Leveraging Utility and Cloud Computing - Ricardo Caldeira, Luís Veiga

• Uma Infraestrutura para Suporte de Memória Transacional Distribuída-Tiago Vale, Ricardo Dias, João Lourenço
• VFC-RTS: Vector-Field Consistency for Real-Time-Strategy Multiplayer Games-Manuel Cajada, Paulo Ferreira, Luís Veiga
• Cloud Agnostic Virtual Machine Image Service-João Pereira, Paula Prata
• Sobre um Mecanismo de Sincronização baseado em Grupos de Recursos-Nuno Delgado, Hervé Paulino

Gestão de Dados e Conhecimento

• Semantic Enrichment of Places for the Portuguese Language-Jorge Oliveira Santos, Ana Oliveira Alves, Francisco Câmara Pereira, Pedro Henriques Abreu
• Extração de Relações em Títulos de Notícias Desportivas-António Paulo Santos, Carlos Ramos, Nuno C. Marques
• Natural Language Understanding as a classification process: report of initial experiments and results-Pedro Mota, Luísa Coheur
• Medicine.Ask: An intelligent search system for medicine information-Helena Galhardas, Vasco Mendes, Luísa Coheur

• What'sUp: A mobile application for searching ongoing cultural events-João Silva, Paulo Urbano, João Balsa
• Um Sistema de Pergunta-Resposta para Ontologias OWL-Dora Melo, Irene Rodrigues, Vitor Nogueira
• On Combining Relaxation and Argumentation in Ontology Matching Negotiation-Paulo Maio, Nuno Silva
• Debugging Multi-Property Correspondences in Ontology Alignment Scenarios-Alexandre Gouveia, João Rocha, Paulo Martins, Nuno Silva
• Exploring Interface Paradigms for Information Models Mapping-António Painha, Hugo Manguinhas, José Borbinha

• Dados socioeconómicos são bons preditores de resultados eleitorais para a Assembleia da República?-Diamantino Azevedo, Graça Gaspar, Luis Correia
• Merging Temporally-Related Clinical Data from Patients with Amyotrophic Lateral Sclerosis using Constraint-Based Hierarchical Clustering-Pedro M. T. Amaral, Susana Pinto, Mamede De Carvalho, Pedro Tomás, Sara C. Madeira
• Implementação Eficiente do Shared Nearest Neighbour em Dados Espaciais-Bruno Filipe Faustino, João Moura-Pires, Maribel Yasmina Santos
• Agrupamento de memórias utilizando generalização de conceitos-Nuno Datia, João Moura-Pires
• Visualização Cartográfica Assistida num Ambiente SOLAP-Manuel Santos, Ricardo Silva, João Moura Pires

Internet das Coisas e Serviços

• Internet das Coisas nos processos de negócio-Carlos Cândido, Dulce Domingos, Francisco Martins
• Reconfiguração Dinâmica Estruturada de Workflows de Serviços Web-Filipe Araújo, Cecília Gomes, Hervé Paulino
• An Adaptive Model for Exposing WSN as a Service platform-Thanh-Dien Tran, David Nunes, André Gomes, Jorge Sá Silva
• RFID and Arduino: Managing RFID Events on a Real World Prototype-Nuno Correia, Miguel L. Pardal, Mário Romano, José A. Marques

Segurança de Sistemas de Computadores e Comunicações

• DIVERSYS: DIVErse Rejuvenation SYStem-Miguel Garcia, Nuno Neves, Alysson Bessani
• O vigia dos vigias: um serviço RADIUS resiliente-Oleksandr Malichevskyy, Diego Kreutz, Marcelo Pasin, Alysson Bessani
• Trusted Civitas: Client Trust in CIVITAS Electronic Voting Protocol-Pedro Adão, João Mendes
• Minimização de Perda de Pacotes em Sistemas de Deteção de Intrusões-Tiago Picado, Paolo Romano, Carlos Ribeiro
• Gestão e Pesquisa de Dados Privados em Nuvens de Armazenamento-Bernardo Ferreira, Henrique Domingos

Sistemas Embebidos e de Tempo Real

• Real-Time Scheduling of Parallel Tasks in the Linux Kernel-José Carlos Fonseca, Luis Nogueira, Cláudio Maia, Luis Miguel Pinho
• Scheduling Analysis Principles and Tool for Time- and Space-Partitioned Systems-João Pedro Craveiro, Jeferson L. R. Souza, José Rufino, Vincent Gaudel, Laurent Lemarchand, Alain Plantec, Stephane Rubini, Frank Singhoff
• Xenomai Lab -- A Platform for Digital Real-Time Control-Jorge Azevedo, Alexandre Mota, Paulo Pedreiras

• Characterizing Inaccessibility in IEEE 802.15.4 Through Theoretical Models and Simulation Tools-Jeferson Luiz Rodrigues Souza, André Guerreiro, José Rufino
• Message Oriented Middleware with QoS Support for Smart Grids-Abdel Rahman Alkhawaja, Luis Lino Ferreira, Michele Albano
• Powering 802.15.4/Zigbee Nodes on Harvested Energy-Jose Pedro Amaro, Rui Cortesão, Fernando Ferreira, Jorge Landek

Posters

• Modeling and developing oilfield application system based on multi-processor multi-core HPC cluster systems-Bazargul Matkerim, Darhan Akmed-Zaki, Manuel Barata
• ConGu/Flasji - Uma ferramenta para localização de faltas em implementações Java de especificações algébricas-Filipe Luís, Isabel Nunes
• BrainMap - Preliminary studies for a navigation support system to explore graphs of document correlations-Luis Teixeira, Rita A. Ribeiro, Gabriel P. Lopes, António Falcão, Ricardo Raminhos
• Verification of snapshot isolation anomalies in transactional memory Java programs-Ricardo Dias, Dino Distefano, João Costa Seco, João Lourenço
• TribuSTM - Efficient support for in-place metadata in DeuceSTM-Ricardo Dias, Tiago Vale, João Lourenço
• Reducing memory footprint using object inlining in TribuSTM-Helder Martins, Ricardo Dias, João Lourenço
• Monitorização da dor-Pedro Araujo, Nuno Pombo
• SolGlobal - Gestão de organizações sem fins lucrativos-Ana Ramos, Maria Silveira, Cristina Pinheiro
• Experimental validation of temporal isolation among dynamic communication channels-Pedro Silva, Ricardo Marau, Luís Almeida
• The Ceph distributed storage system-João Luís
• Bluetooth security analysis for mobile phones-Joao Alfaiate, José Fonseca
• Data deduplication in Web prefetching systems-Pedro Neves, João Barreto, Paulo Ferreira
• ReactOR-Francisco Sousa, Pedro Ferreira, Diogo Telmo Neves
• Distributed heterogeneous computing with dOpenCL-Tiago Ribeiro, Mário Afonso, José Rufino, Albano Alves