Linguagens Formais e Autômatos

Descrição:

Autômatos com relógios ("timed automata") e autômatos híbridos. Ferramentas para análise de sistemas usando técnicas formais envolvendo autômatos com relógios e autômatos híbridos. Complexidade dos formalismos.

Integrantes:

Arnaldo Vieira Moura

Jorge Stolfi

Tomasz Kowaltowski

Noticias
Defesas
Eventos


Computação Aproximada com Disciplina para Eficiência de Energia: da Linguagem de Programação ao Hardware.
Palestra: On ESL Verification of Memory Consistency for System-on-Chip Multiprocessing.
Palestra Série Seminários 2012: SMOOTH SIGNED DISTANCE SURFACE RECONSTRUCTION AND APPLICATIONS - 17/08/2012
Palestra Extraordinária: DYNAMIC TEMPORAL WORKLOAD in HYBRID DATA CENTERS and ENERGY-AWARE AGGREGATION
Palestra Extraordinária: Quality-aware Dynamic Software Product Lines; the Body Area Network Case
Palestra Extraordinária: Protection for Three-Layer IP/MPLS Over OTN Over DWDM Networks.

INSTITUTO DE COMPUTAÇÃO

.

Linguagens Formais e Autômatos