Actas/Proceedings

Ciência e Engenharia de Software

• Vasco Pedro and Salvador Abreu: Distributed Work Stealing for Constraint Solving.
• Nestor Catano, João Pestana and Ricardo Rodrigues: JFly: A JML-Based Strategy for Incorporating Formal Specications into the SoftwareDevelopment Process.
• Ricardo J. Dias, João Costa Seco and João M. Lourenço: Snapshot Isolation Anomalies Detection in Software Transactional Memory.
• Tiago Santos: Lightweight Type-Like Hoare-Separation Specs for Java.
• Pedro Crispim, Antónia Lopes and Vasco T. Vasconcelos: Monitorização da Correcção de Classes Genéricas.
• Matheus Almeida and João Sobral: Separation of Concerns in Parallel Applications with Class Refinement.
• Ângelo Sarmento and Margarida Mamede: Uma Estrutura de Dados Métrica Genérica, Dinâmica, em Memória Secundária.
• Miguel Domingues and João Seco: LiveWeb - Core Language for Web Applications (short paper).
• Paulo Mariano, Nuno Preguiça and João Soares: Replicated Software Components for Improved Performance (short paper).

Compiladores e Linguagens de Programação

• Bruno Teixeira, João Lourenço and Diogo Sousa: A Static Approach for Detecting Concurrency Anomalies in Transactional Memory.
• Bastian Cramer, Jan Wolter and Uwe Kastens: Animation of Tile-Based Games Automatically Derived from Simulation Specifications.
• Nuno Oliveira, Nuno Rodrigues and Pedro Rangel Henriques: Domain -Specific Language for Coordination Patterns.
• Sérgio Areias, Daniela Cruz, P. R. Henriques and J. S. Pinto: GammaPolarSlicer: A Contract-based Tool to help on Reuse.
• Miguel Monteiro, João Cardoso and Simona Posea: Identification and Characterization of Crosscutting Concerns in MATLAB Systems.
• Paulo André and Salvador Abreu: Producing EAM code from the WAM.
• Luis Garcia-Forte and Casiano Rodriguez-Leon: Solving Difficult LR Parsing Conflicts by Postponing Them.
• Ines Čeh, Matej Črepinšek, Tomaž Kosar and Marjan Mernik: Using ontology in the development of domain-specific languages.
• André Rocha et al: AGile, a structured editor, analyzer, metric evaluator, and transformer for Attribute Grammars (short paper).
• Flávio Cruz and Ricardo Rocha: Efficient Retrieval of Subsumed Subgoals in Tabled Logic Programs (short paper).
• Miguel Areias and Ricardo Rocha: Mixed- Strategies for Linear Tabling in Prolog (short paper).
• Hugo Areias, Alberto Simões, P. R. Henriques and Daniela Cruz: Parser Generation in Perl: an Overview and Available Tools (short paper).
• João Saraiva and Eric van Wyk: Realizing Bidirectional Transformations in Attribute Grammars (short paper).

Computação Distribuída e de Larga Escala

• João Alverinho, João Leitão, João Paiva and Luis Rodrigues: Curiata: Uma arquitectura P2P auto-organizável para uma localização flexível e eficiente de recursos.
• Miguel Araújo and José Pereira: Evaluating Data Freshness in Large Scale Replicated Databases.
• João Paulino, Paulo Ferreira and Luís Veiga: Exploring Fault-tolerance and Reliability in a Peer-to-peer Cycle-sharing Infrastructure.
• Paula Prata, Gilberto Melfe, Ricardo Pesqueira and João Muranho: Impacto da Organização dos Dados em Operações com Matrizes Esparsas na GPU.
• Raoul Felix, Paulo Ferreira and Luís Veiga: Scalable and Efficient Discovery of Resources, Applications, and Services in P2P Grids.
• Mário Ferreira, João Leitão and Luis Rodrigues: Thicket: Construção e Manutenção de Múltiplas Árvores numa Rede entre Pares.
• Ricardo Filipe and João Barreto: Towards full on-line deduplication of the Web.

Computação Gráfica

• Jorge C. Gomes, Maria Beatriz Carmo and Ana P. Cláudio: Construção Interactiva de Exposições Virtuais.
• André Almeida, Nelma Moreira and Rogério Reis: GUItar and FAgoo: Graphical interface for automata visualization, editing, and interaction.
• Ricardo Marques and Luís Paulo Santos: Instant Global Illumination on the GPU using OptiX.
• Vasco M. A. Santos and Frutuoso G. M. Silva: Projecções Interactivas na Sala de Aulas.
• Gonçalo Fontes and Salvador Abreu: WAACT - Widget Augmentative and Alternative Communication Toolkit.

Computação Móvel e Ubíqua

• André Coelho, Hugo Ribeiro, Mário Silva and Rui José: A system for coarse-grained location-based synchronisation.
• João Matos and Hugo Miranda: Ad Hoc Routing Under Randomised Propagation Models.
• Heitor Ferreira, Sérgio Duarte and Nuno Preguiça: Decentralized Processing of Participatory Sensing Data.
• Abel Soares, Pedro Santos and Rui José: Displaybook - Bringing online identity to situated displays.
• Leonel Dias and António Coelho: Novos Serviços Turísticos para Mobile Advertising.
• Ricardo Mascarenhas and Hugo Miranda: Um Sistema Publicador/subscritor com Subscrições Geograficamente Distribuídas para RSSFs.
• Miguel M. Almeida, Helena Rodrigues and and Rui José: Bluetooth Hotspots for Smart Spaces Interaction (short paper).
• Paulo Pombinho, Ana Paula Afonso and Maria Beatriz Carmo: Indoor Positioning Using a Mobile Phone with an Integrated Accelerometer and Digital Compass (short paper).

Engenharia Conduzida por Modelos

• Ricardo Guerreiro et al: UbiLang: Towards a Domain Specific Modeling Language for Specification of Ubiquitous Games.
• João de Sousa Saraiva and Alberto Rodrigues da Silva: Web- Application Modeling With the CMS-ML Language.
• Miguel Henriques, José Tribolet and Jan Hoogervorst: Enterprise Governance and DEMO (short paper): Guiding enterprise design and operation by addressing DEMO competence, authority and responsibility notions.

Especificação, Verificação e Teste de Sistemas Críticos

• Eduardo Brito: A (Very) Short Introduction to SPARK: Language, Toolset, Projects, Formal Methods & Certification.
• Nuno Gaspar, Simão Melo de Sousa and Rogério Reis: Timing Analysis - From Predictions to Certificates.
• Joaquim Tojal, Carlos Carloto, José Faria and Simão Sousa: Towards a Formally Verified Kernel Module.
• Eva Maia, Nelma Moreira and Rogério Reis: Inferência de tipos em Python (short paper).
• André M. Rodrigues da Silva: Reasoning about time-critical reactive systems: A case-study (short paper).

Gestão e Tratamento de Informação

• Miguel Costa and Mário J. Silva: A Search Log Analysis of a Portuguese Web Search Engine.
• Hugo Gonçalo Oliveira, Hernani Costa and Paulo Gomes: Extração de conhecimento léxico-semântico a partir de resumos da Wikipédia.
• Daniel Santos, Nuno Mamede and Jorge Baptista: Extraction of Family Relations between Entities.
• João Tomé da Silva Laranjinho and Irene Pimenta Rodrigues: O impacto de diferentes fontes de conhecimento na marcação de Nomes Próprios em Português.
• Cláudio Diniz, Nuno Mamede and João D. Pereira: RuDriCo2 - a faster disambiguator and segmentation modifier.

Internet das Coisas e Serviços

• Miguel Raposo and José Delgado: Bridging the Browser and the Server.
• Duarte Vieira and Francisco Martins: Execução de Fluxos de Trabalho com Simulação de Redes de Sensores.
• Pedro Ferreira, Ricardo Martinho and Dulce Domingos: IoT-aware business processes for logistics: limitations of current approaches.

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

• Bruno Quaresma, Alysson Bessani and Paulo Sousa: Melhorando a Fiabilidade e Segurança do Armazenamento em Clouds.
• Pedro Salgueiro and Salvador Abreu: On using Constraints for Network Intrusion Detection.
• João Sousa, Alysson Bessani and Paulo Sousa: TYPHON: Um Serviço de Autenticação e Autorização Tolerante a Intrusões.
• Sérgio Nunes and Miguel Correia: Web Application Risk Awareness with High Interaction Honeypots.

Sistemas Embebidos e de Tempo-Real

• Joaquim Rosa, João Craveiro and and José Rufino: Exploiting AIR Composability towards Spacecraft Onboard Software Update.
• Eric Vial and Mário Calha: Resilient Middleware for a Multi-Robot Team.
• João Bispo and João M. P. Cardoso: Using the MegaBlock to Partition and Optimize Programs for Embedded Systems at Runtime.
• Joel Gonçalves and Luis Lino Ferreira: A Framework for QoS-Aware Service-based Mobile Systems (short paper).
• Luís Marques (short paper) and António Casimiro: Dependable Perception in Wireless Sensor Networks.

Sistemas Inteligentes

• Helder Coelho, António Carlos da Rocha Costa and Paulo Trigo: Decision Making for Agent Moral Conducts.
• Luís Alexandre and Salvador Abreu: Development of an Adaptive Interface for the Electronic School Notebook.
• Luis Machado, Davide Carneiro, Cesar Analide and Paulo Novais: Jogos de Papéis e Emoções em Ambientes Assistidos.
• João Ferreira, Miguel Miranda, António Abelha and José Machado: O Processo ETL em Sistemas Data Warehouse.
• Rui Marinho, José Machado and António Abelha: Processo Clínico Electrónico Visual.
• Ana Café, Davide Carneiro, Paulo Novais and Francisco Andrade: Sistema de Resolução Online de Conflito para Partilhas de bens - Divórcios e Heranças.
• António Morais, José Machado, António Abelha and José Neves: Sistema Inteligente de Pesquisa de Eventos em Enfermagem.