Program

Invited Speaker - Flávio Junqueira, Yahoo! Research, Distributed Coordination.(CP2-B1)

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.

Hélder Coelho, António Costa and Paulo Trigo: Decision Taking for Agent Moral Conducts.

Barrett R. Bryant: Grammar Inference Technology Applications in Software Engineering (Invited Talk).(CP2-B1)

João Alveirinho, João Leitão, João Paiva and Luís Rodrigues: Curiata - Uma arquitectura P2P auto-organizável para uma localização flexível e eficiente de recursos.

João Paulino, Paulo Ferreira and Luís Veiga: Exploring Fault-tolerance and Reliability in a Peer-to-Peer Cycle-sharing Infrastructure.

Miguel Costa and Mário Silva: A Search Log Analysis of a Portuguese Web Search Engine.

Cláudio Diniz, Nuno Mamede and João Pereira: RuDriCo2 - a faster disambiguator and segmentation modifier.

Coffee break

Rui Marinho, José Machado and António Abelha: Processo Clínico Electrónico Visual

Luís Alexandre and Salvador Abreu: Development of an Adaptive Interface for the Electronic School Notebook.

Luís Machado, Davide Carneiro, César Analide and Paulo Novais: Jogos de Papeis e Emoções em Ambientes Assistidos.

João Tiago Antunes Ferreira, António Abelha, José Machado and José Neves: O Processo ETL em Sistemas Data Warehouse.

António José Morais, António Abelha, José Machado and José Neves: Sistema de Pesquisa de Eventos em Enfermagem.

Luís Garcia-Forte and Casiano Rodriguez-Leon: Solving Difficult LR Parsing Conflicts by Postponing Them Bastian Cramer.

Jan Wolter and Uwe Kastens: Animation of Tile-Based Games Automatically Derived from Simulation Specifications.

Miguel Monteiro, João Cardoso and Simona Posea: Identification and Characterization of Crosscutting Concerns in MATLAB Systems.

Ines C(eh, Matej C)repinšek, Tomaž Kosar and Marjan Mernik: Using ontology in the development of domain-specific languages.

Nuno Oliveira, Nuno Rodrigues and Pedro Rangel Henriques: Domain-Specific Language for Coordination Patterns.

Mário Ferreira, João Leitão and Luís Rodrigues: Thicket - Construção e Manutenção de Múltiplas Árvores numa Rede entre Pares.

Raoul Felix, Paulo Ferreira and Luís Veiga: Scalable and Efficient Discovery of Resources, Services, and Applications in P2P Grids.

Ricardo Filipe and João Barreto: Towards full on-line deduplication of the Web

Paula Prata, Gilberto Melfe, Ricardo Pesqueira and João Muranho: Impacto da Organização dos Dados em Operações com Matrizes Esparsas na GPU.

Miguel Araújo and José Pereira: Evaluating Data Freshness in Large Scale Replicated Databases.

Daniel Santos, Nuno Mamede and Jorge Baptista: Extraction of Family Relations between Entities

Hugo Gonçalo Oliveira, Hernâni Costa and Paulo Gomes: Extracção de conhecimento léxico-semântico a partir de resumos da Wikipédia.

João Laranjinho and Irene Rodrigues: O impacto de diferentes fontes de conhecimento na marcação de Nomes Próprios em Português.

Business Meeting (CP2.B1)

Pedro Ferreira, Ricardo Martinho and Dulce Domingos: IoT-aware business processes for logistics - limitations of current approaches.

Duarte Vieira and Francisco Martins: Simulação de Workflows com Integração de Simulação de Redes de Sensores.

Miguel Raposo and José Delgado: Bridging the Browser and the Server.

Sérgio Areias, Daniela da Cruz, Jorge Sousa Pinto and Pedro Rangel Henriques: GammaPolarSlicer - A Contract-based Tool to help on Reuse.

Paulo André and Salvador Abreu: Producing EAM code from the WAM.

Bruno Teixeira, João Lourenço and Diogo Sousa: A Static Approach for Detecting Concurrency Anomalies in Transactional Memory.

André Almeida, Nelma Moreira and Rogério Reis: GUItar and FAgoo: Graphical interface for automata visualization, edition, and interaction.

Jorge Carvalho Gomes, Maria Beatriz Carmo and Ana Paula Claúdio: Construção Interactiva de Exposições Virtuais.

Joao Bispo and Joao M. P. Cardoso: Using the MegaBlock to Partition Programs for Embedded Systems at Runtime.

Joaquim Rosa, João Craveiro and José Rufino: Exploiting AIR Composability towards Spacecraft Onboard Software Update.

Joel Gonçalves and Luis Lino Ferreira: A Framework for QoS-Aware Service-based Mobile Systems (short paper).

Coffee break

Pedro Crispim, Antónia Lopes and Vasco T. Vasconcelos: Monitorização da Correcção de Classes Genéricas.

Nestor Catano, Joao Pestana and Ricardo Rodrigues: JFly: A JML-Based Strategy for Incorporating Formal Specifications into the Software Development Process.

Pedro Henriques, André Rocha, André Santos, Rocha Daniel, Hélder Silva, Jorge Mendes, Mário Coelho, Miguel Regedor, José Freitas and Daniela Cruz: AGile, a structured editor, analyzer, metric evaluator, and transformer for Attribute Grammars (short paper).

Flavio 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, Pedro Henriques and Daniela da 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).

Gonçalo Fontes and Salvador Abreu: WAACT - Widget Augmentative and Alternative Communication Toolkit.

Ricardo Marques and Luis Santos: Instant Global Illumination on the GPU using OptiX.

Vasco Santos and Frutuoso Silva: Projecções Interactivas na Sala de Aulas.

Eric Vial and Mário Calha: Resilient Middleware in Multi-Robot Team.

Nuno Gaspar, Rogério Reis and Simão Melo de Sousa: Timing Analysis - From Predictions to Certificates.

Luís Marques and António Casimiro: Dependable Perception in Wireless Sensor Networks (short paper).

André Silva: Reasoning about time-critical reactive systems - A case-study (short paper).

Lunch

Invited Speaker - José Nuno Oliveira, Universidade do Minho, Hands on a verification challenge: proving a journaled file system correct.(CP2-B1)

Matheus Almeida and João Sobral: Separation of Concerns in Parallel Applications with Class Refinement.

Paulo Mariano, Nuno Preguiça and João Soares: Replicated Software Components for Improved Performance (short paper).

Miguel Domingues and João Seco: LiveWeb - Core Language for Web Applications (short paper).

Ricardo Guerreiro, André Rosa, Vasco Amaral and Nuno Correia: UbiLang: Towards a Domain Specific Modeling Language for Specification of Ubiquitous Games.

João de Sousa Saraiva and Alberto Silva: Web-Application Modeling With the CMS-ML Language.

Miguel Henriques, José Tribolet and Jan Hoogervorst: Enterprise Governance and DEMO - Guiding enterprise design and operation by addressing DEMO's competence, authority and responsibility notions (short paper).

Heitor Ferreira, Sérgio Duarte and Nuno Preguiça: 4Sensing - Decentralized Processing for Participatory Sensing Data.

João Matos and Hugo Miranda: Ad Hoc Routing Under Inappropriately Chosen Propagation Models.

Miguel Almeida, Helena Rodrigues and Rui José: Bluetooth Interaction Management in Smart Spaces (short paper).

Joaquim Tojal, José Faria, Carlos Carloto and Simão Sousa: Towards a Formally Verified Kernel Module.

Eduardo Brito: A (Very) Short Introduction to SPARK: Language, Toolset, Projects, Formal Methods & Certification.

Eva Maia, Nelma Moreira and Rogério Reis: Inferência de tipos em Python (short paper).

Coffee break

Tiago Santos: Lightweight Type-Like Hoare-Separation Specs for Java.

Ricardo Dias, Joao Costa Seco and João Lourenço: Snapshot Isolation Anomalies Detection in Software Transactional Memory.

Vasco Pedro and Salvador Abreu: Distributed Work Stealing for Constraint Solving.

Ângelo Sarmento and Margarida Mamede: Uma Estrutura de Dados Métrica Genérica, Dinâmica, em Memória Secundária.

Pedro Salgueiro and Salvador Abreu: On using Constraints for Network Intrusion Detection.

Bruno Quaresma, Alysson Bessani and Paulo Sousa: Melhorando a Disponibilidade e Confidencialidade das Clouds de Armazenamento.

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.

Ricardo Mascarenhas and Hugo Miranda: Um Sistema Publicador/subscritor com Subscrições Geograficamente Distribuídas para RSSFs.

Abel Soares, Pedro Santos and Rui José: Displaybook - Bringing online identity to situated displays.

André F. Coelho, Hugo Ribeiro, Mário Silva and Rui J. José: A system for coarse-grained location-based synchronisation.

António Coelho and Leonel Dias: Novos Serviços Turísticos para Mobile Advertising.

Paulo Pombinho, Ana Paula Afonso and Maria Beatriz Carmo: Indoor Positioning Using a Mobile Phone with an Integrated Accelerometer and Digital Compass (short paper).

Hélder Silva (Edisoft): RTEMS CENTRE - RTEMS Improvement.

Nuno Silva, Ricardo Barbosa, Rui Lopes (CSW): Planning and Building Qualifiable Embedded Systems - Safety and Risk Properties Assessment for a Large and Complex System with Embedded Subsystems.

Daniel Silveira, Tobias Schoofs, Ana Isabel Rodríguez Rodríguez, Elena Alanã Salazar and Marie-Odile Devic (GMV/Skysoft): MODSARE-V - Validation of Dependability and Safety Critical Software Components with Model Based Requirements.