Programa

Program at a glance

 Nota: Informações mais detalhadas sobre a localização dos eventos em Informação local.

ADVANCE PROGRAM

September 10

09:00-10:00  Registration

Átrio Edifício C3

10:00-12:00  Work in Progress                                   

Anfiteatro 3.2.15

10h00-11h00 Apresentações resumidas dos artigos e posters

11h00-12h00 Sessão de posters

Chair: Henrique Domingos, FCT/UNL

• Why is Important the Knowledge of Inaccessibility for Supporting Real-Time Communication in IEEE 802.15.4. Jeferson Souza and José Rufino. [pdf]
• Real-Time Data Dissemination for Wireless Sensor Networks using XMPP. Joel Gonçalves, Luis Lino Ferreira and Jianchin Chen. [pdf]
• Design and Development of a COTS-Based Real-Time Executive for Safety-Critical Vehicular Applications. Luis Marques and António Casimiro. [pdf] 
• Contextos e Visualização Adaptativa em Ambientes Móveis. Paulo Pombinho, Ana Paula Afonso and Maria Beatriz Carmo. [pdf]
• DomoVest - Integração entre Domótica e Vestuário Tecnológico. Pedro Araújo and Rita Salvado. [pdf]
• Context-Aware Multi-Factor Authentication. Luis Miranda and Henrique Domingos. [pdf]
• Bolt: Instant Personal Working Set Backup and Synchronization. Francisco Maia, Francisco Cruz, João Paulo, José Pereira and Rui Oliveira. [pdf]
• GraAL - A Grammar Analyzer. Daniela Cruz, Nuno Oliveira and Pedro Henriques. [pdf]

12:00-13:00  Registration

Átrio Edifício C3

13:00-13:30  Welcome

Anfiteatro 3.2.14

13:30-14:30  Invited Speaker

Anfiteatro 3.2.14

Prof. Paulo Veríssimo, LaSIGE, Faculdade de Ciências da Univ. Lisboa, Portugal

Riscos de Segurança das Infraestruturas de Informação Crítica ou porque Bang! é diferente de Crash

14:30-15:00  Break

15:00-17:30  Session 1A: CORTA I

Anfiteatro 3.2.13

• Corta Invited Speaker: Bastian Cramer, Universitaet Paderborn
• An Exception Aware Behavioral Type System for Object-Oriented Programs. Filipe Militao and Luis Caires.
• JaSPEx: Speculative Parallel Execution of Java Applications. Ivo Anjo and João Cachopo.
• Domain-Specific Languages: A Theoretical Survey. Nuno Oliveira, Maria Pereira, Pedro Henriques and Daniela Cruz.

15:00-17:00  Session 1B: Embedded & Real‐Time Systems

Anfiteatro 3.2.15

Chair: José Rufino, FCUL

• Flexible Operating System Integration in Partitioned Aerospace Systems. João Craveiro, José Rufino, Tobias Schoofs and James Windsor.
• Verificação de Modelos em Programas HTL. Joel Silva Carvalho and Simão Melo de Sousa.
• A Fast Convergence Coordination Protocol for Cooperative Open Real-Time Environments. Luis Nogueira and Luis Miguel Pinho.
• RTEMS Improvement - Space Qualification of RTEMS Executive. Helder Silva, José Sousa, Daniel Freitas, Sérgio Faustino, Alexandre Constantino and Manuel Coutinho.

15:00-17:00 Session 1C: Computer and Communications Security

Anfiteatro 3.2.16

Chair: André Zúquete, U. Aveiro

• Building an Automata towards Reverse Protocol Engineering. João Antunes and Nuno Neves.
• Efficient State Transfer for Recovery-Based Byzantine-Fault-Tolerant State Machine Replication. Rogério Correia and Paulo Sousa.
• Construção Observável de um Sistema de Quorum de Nós Não-Sybil na Vizinhança Rádio de uma Rede Ad Hoc Sem Fios. Diogo Mónica, João Leitão, Luis Rodrigues and Carlos Ribeiro.
• Uma arquitectura para um serviço de encaminhamento seguro em redes de sensores sem fios. Pedro Amaral and Henrique Domigos.

17:30 - 18:30  Business meeting

Sala 3.1.05

20:00  Dinner

September 11

08:30-09:00  Registration

09:00-10:00  Invited Speaker

Anfiteatro 3.2.14

Prof. António Câmara, YDreams

Challenges in Digital Media

10:00-10:30  Break

10:30-12:30  Session 2A: CORTA II

Anfiteatro 3.2.13

Chair: Pedro Rangel Henriques, U. Minho

• VisualLISA: A Domain Specific Visual Language for Attribute Grammars. Nuno Oliveira, Maria João Varanda Pereira, Pedro Henriques, Daniela da Cruz and Bastian Cramer.
• ATOM: Automatic Transaction-Oriented Memoization. Hugo Rito and João Cachopo.
• Comparison of XAML and C# Forms using Cognitive Dimension Framework. Marjan Mernik, Tomaz Kosar, Matej Crepinsek, Pedro Rangel Henriques, Daniela da Cruz, Maria Joao Varanda Pereira and Nuno Oliveira.
• Iterators, Recursors and Interaction Nets. Ian Mackie, Jorge Sousa Pinto and Miguel Vilaça. (Short Paper)
• On Structuring Contextual Logic Programming. Salvador Abreu, Vitor Nogueira and Daniel Diaz. (Short Paper)

10:30-12:30  Session 2B: Mobile and Ubiquitous Computing I

Anfiteatro 3.2.15

Chair: Paulo Ferreira, IST/INESC-ID

• RFID based Monitoring and Access Control System. Filipe Lourenço and Carlos Almeida.
• PIPE: Uma infra-estrutura genérica de serviços para ambientes de computação ubíqua. Bruno Felix and Nuno Preguiça.
• Unified Cooperative Location System. David Navalho and Nuno Preguiça.
• Towards a Context Aware Multimodal Hand-Held Device. Tiago Reis, Carlos Duarte, Luis Carriço and Romeu Carvalho.

10:30-12:30  Session 2C: Processamento de Dados, Informação e Linguagem

Anfiteatro 3.2.16

Chair: Pável Calado IST/INESC-ID

• Data Access Pattern Analysis based on Bayesian Updating. Stoyan Garbatov, João Cachopo and João Pereira.
• Automated Social Network Epidemic Data Collector. Luis F. Lopes, João M. Zamite, Bruno C. Tavares, Francisco M. Couto, Fabrício Silva and Mário J. Silva.
• ThermInfo: Collecting and presenting thermochemical properties. Ana Teixeira, Rui Santos and Francisco Couto.
• A Comparison of Different Approaches for Assigning Geographic Scopes to Documents. Ivo Anastácio, Bruno Martins and Pável Calado.

12:30-13:30  Lunch

Bar do Edifício C6

13:30-14:30  Invited Speaker

Anfiteatro 3.2.14

Dr. Diogo Vasconcelos

14:30-16:00  Session 3A: XATA I

Anfiteatro 3.2.13

Chair: José Carlos Ramalho, UMinho

• Schema Languages for XML. Hugo Manguinhas.
• schem@Doc: a web-based XML Schema visualizer. José Paulo Leal and Ricardo Queirós.
• GuessXQ, an inference Web-engine for querying XML documents. Daniela da Cruz, Flavio Xavier Ferreira, Pedro Rangel Henriques, Alda Lopes Gancarski and Bruno Defude. (Short paper)
• An importer of virtual 3D City Models datasets into a spatiotemporal database. Wagner Franchin, Alexandre Carvalho, José Moreira, Antonio Augusto de Sousa and Cristina Ribeiro. (Short paper)

14:30-16:00  Session 3B: Distributed and Large-Scale Computing Systems I

Anfiteatro 3.2.15

Chair: Luís Veiga, IST/INESC-ID

• Análise do custo e da viabilidade de um sistema P2P com visibilidade completa. Simão Mata, José Legatheaux Martins, Sérgio Duarte and Margarida Mamede.
• Custo da Comutação Dinâmica de Protocolos de Comunicação. Cristina Fonseca, Liliana Rosa and Luís Rodrigues.
  
• A Distributed Bootstrapping Protocol for Overlay Networks. Miguel Matos, António Sousa, José Pereira and Rui Oliveira.

14:30-16:00  Session 3C: Mobile and Ubiquitous Computing II

Anfiteatro 3.2.16

Chair: Carlos Baquero, UMinho

• Algoritmos de Difusão para Protocolos de Encaminhamento em Redes Ad Hoc sem Fios. João Matos and Hugo Miranda.
• FEW Phone File System. João Soares and Nuno Preguiça.
• Wiinteraction: A study on smart spaces interaction using a wiimote. Hugo Seixas, Nuno Salgado and Rui José.

16:00-16:30  Break

16:30-18:30  Session 4A: XATA II

Anfiteatro 3.2.13

Chair: Alberto Simões, UMinho

• XAGra - An XML dialect for Attribute Grammars. Nuno Oliveira, Pedro Rangel Henriques, Daniela da Cruz and Maria João Varanda Pereira.
• Extending the Learning Object definition to represent Programming Problems. José Paulo Leal and Ricardo Queirós.
• Relational Databases Digital Preservation. Ricardo André Pereira Freitas and José Carlos Ramalho.
  
• Sharing botanical information using geospatial databases. João Silva, Cristina Ribeiro and João Correia Lopes.

16:30-18:30  Session 4B: Distributed and Large-Scale Computing Systems II

Anfiteatro 3.2.15

Chair: João Lourenço, FCT/UNL

• Dependability in Aggregation by Averaging. Paulo Jesus, Carlos Baquero and Paulo Sérgio Almeida.
• D2STM: Memória Transaccional em Software Distribuída e Confiável. Maria Couceiro, Paolo Romano, Nuno Carvalho and Luis Rodrigues.
  
• SEEDS: The Social Internet Feeds Caching and Dissemination Architecture. Ana Nunes, José Orlando Pereira and José Marques.
• FT-OSGi: Extensões à Plataforma OSGi para Tolerância a Faltas. Carlos Torrão, Nuno Carvalho and Luís Rodrigues. (Short paper)
• Capi: Cloud Computing API. Bruno Costa, Miguel Matos and António Sousa. (Short paper)

16:30-18:30  Session 4C: Multi-track

Anfiteatro 3.2.16

Chair: Alberto Silva, IST

• Comunidades Virtuais ao Serviço do Ensino. Vitor Santos and Luís Amaral.
• Use of MS DSL Tools in the development process of a Domain-Specific Language. André Rosa, Vasco Amaral and Bruno Barroca. André Rosa, Vasco Amaral and Bruno Barroca.
• Reverse Engineering of GUI Models. André M. P. Grilo, Ana C. R. Paiva and João Pascoal Faria.
• Information Extraction sub-tasks: a survey. Gonçalo Simões, Helena Galhardas and Luísa Coheur. (Short paper)
• Virtual Health Card System. Tiago Pedrosa, Carlos Costa, Rui Pedro Lopes and José Luís Oliveira. (Short paper)

18:30: Conference ends.