2ª Feira 29/09

SESSÃO 1 - 11:00 - 12:30 (Auditório 1)

Parameterisation of Three-Valued Abstractions
Nils Timm and Stefan Gruner

A Probabilistic Model Checking Analysis of a Realistic Vehicular Networks Mobility Model
Bruno Ferreira, Fernando Braz and Sérgio Campos
 
Towards completeness in Bounded Model Checking through Automatic Recursion Depth Detection
Grigory Fedyukovich and Natasha Sharygina

 

SESSÃO 2 - 14:30 - 16:00 (Auditório 1)
 
Completeness and decidability results for hybrid(ised) logics
Renato Neves, Manuel A. Martins and Luis Barbosa
 
A coinductive animation of Turing Machines
Alberto Ciaffaglione
 
Mechanised Semantics of BSP Routines with Subgroup Synchronisation
Frédéric Gava and Jean Fortin

3ª Feira 30/09

SESSÃO 3 - 11:00 - 12:30 (Auditório 1)
 
Formalization of Z-Syntax to reason about Molecular Pathways in HOL4
Sohaib Ahmad, Osman Hasan, Umair Siddique and Sofiene Tahar
 
Test Case Selection Criteria for Symbolic Models of Real-Time Systems
Diego Almeida, Alan Moraes, Wilkerson Andrade and Patricia Machado
 
Use Case Analysis based on Formal Methods: An Empirical Study
Marcos Antonio de Oliveira Junior, Leila Ribeiro, Erika Cota, Lucio Mauro Duarte, Ingrid Nunes and Filipe Reis

 

SESSÃO 4 - 14:30 - 16:00 (Auditório 1)
 
A dynamic logic for every season
Alexandre Madeira, Renato Neves, Manuel A. Martins and Luis Barbosa
 
Model-Driven Engineering in the Heterogeneous Tool Set
Daniel Calegari, Till Mossakowski and Nora Szasz
 
A Proposal for Integrating Formal Methods into a Lightweight UML-driven Development Process
Thiago C. de Sousa and Paulo Sérgio Muniz Silva

4ª Feira 01/10

SESSÃO 5 - 11:00 - 11:30 (Sala Siriguela)
 
Including Running System Implementations in the Simulation of System of Systems Models
Kenneth Lausdahl, Claus Ballegaard Nielsen and Klaus Kristensen

CONTATOS

 
Perguntas específicas de cada evento, por favor contatar os respectivos coordenadores.
 
Hospedagem e Passagens:
O endereço de e-mail address está sendo protegido de spambots. Você precisa ativar o JavaScript enabled para vê-lo.
O endereço de e-mail address está sendo protegido de spambots. Você precisa ativar o JavaScript enabled para vê-lo.
 
Outras informações:
O endereço de e-mail address está sendo protegido de spambots. Você precisa ativar o JavaScript enabled para vê-lo.
 
Reportar bugs ou erros:
O endereço de e-mail address está sendo protegido de spambots. Você precisa ativar o JavaScript enabled para vê-lo.

Twitter

REALIZAÇÃO


PATROCINADORES DIAMANTE


Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Conselho Nacional de Desenvolvi-mento Científico e Tecnológico (CNPq)

 

PATROCINADOR OURO


INES logo

PATROCINADOR PRATA


 

APOIO


Springer logo

PROMOÇÃO


SBC logo

ORGANIZAÇÃO



AGÊNCIA OFICIAL