Universidade Federal do Rio de Janeiro COPPE

Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia

Instituto de Matemática

 
Visualizar Meses
Visualizar Meses
Visualizar Flat
Visualizar Flat
Visualizar Semanas
Visualizar Semanas
Visualizar Dias
Visualizar Dias
Categorias
Categorias
Procurar
Procurar

Evento: 'Seminário: Giulio Iacobelli (Univ. of Southampton) '

Eventos PESC (Palestras, Seminários, etc.)
Palestras, Seminários, etc. do PESC/COPPE/UFRJ.
Data: Friday, March 28, 2014 At 12:00
Duração: 2 Horas

O pesquisador Giulio Iacobelli que atualmente trabalha como postdoc na University of Southampton (Inglaterra) está nos visitando este mês.
Seu foco de pesquisa está relacionado a modelagem de matemática aplicada a fenômenos em redes e desempenho de sistemas.
Ele irá proferir uma palestra sobre seus recentes trabalhos em modelagem de sistemas via álgebra de processos dia 28/3 (sexta), às 12h, na sala H-324B (ver detalhes abaixo).

---

Title: Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction

Abstract:
Process Algebras are rigorous languages, with a given syntax and semantics, used to describe and verify properties of concurrent communicating systems. They can be thought of as models of processes that act and interact with one another. The building blocks of a Process Algebra are: a set of action's name representing communication channels, a set of basic processes and a set of operators. The operators are the grounds for forming new processes from existing one. Behavioural equivalences are used to abstract away from unwanted details and to identify those processes that behave "similarly".

In this talk, I will first introduce the Process Algebra we used in our investigation and briefly discuss some classic notions of behavioural equivalence such as isomorphism and bisimulation. I will then get to the crux of our work and introduce a notion of behavioural equivalence that takes a coarse-grained view of a model (process) based on partitioning (and, thus, abstracting) the set of actions it can exhibit. We call this dimmed bisimulation to highlight that, based on the action partition, the modeller is able to reason about the original system at different levels of detail and thus with different levels of accuracy. With a few examples, we show how these abstractions may considerably reduce the state-space size offering a way to tackle the infamous state-space explosion problem which typically arises when modelling large-scale concurrent systems.

Short Bio:
Giulio Iacobelli received a Bachelor and Master degrees cum laude in Engineering at the University of Rome ''Tor Vergata" (Italy), in 2004 and 2006, respectively. From March to June 2007, he did a research period at the University of Rouen (France), where he was visiting Prof. Roberto Fernandez, In January 2008, he moved to The Netherlands for his doctoral studies.
In February 2012, he received a PhD in Mathematics from the University of Groningen (The Netherlands) under the supervision of Aernout van Enter. In 2012 / 2013, he worked as a post-doctoral researcher at the Department of Informatics of the Ludwig Maximilians University of Munich (Germany) in the group of Software Engineering. In September 2013, he joined the Electronic and Computer Science Department at the University of Southampton (UK), where he is currently working as a Senior Research Assistant. His research interests are: Statistical Mechanics, Probability, Process Algebras, Concurrent Systems.


Procurar no Calendário

Powered by ExtCalendar 2

© 2017 PESC/COPPE - Programa de Engenharia de Sistemas e Computação

Cidade Universitária, Centro de Tecnologia, Bloco H, Sala 319
Caixa Postal: 68511 CEP: 21941-972 Fones: +55 21 3938-8672 / +55 21 3938-8673 Fax: +55 21 3938-8676
Rio de Janeiro - RJ - Brasil
Horário de atendimento da Secretaria: 2a. a 6a. de 7:00 às 16:00 horas (exceto feriados escolares)