Sabine Broda's Annual Report

Sabine Broda's Annual Report

Year: 

2014

Brief description of the research activities: 

With A. Machiavelo, N. Moreira and R.Reis:  new algorithms for deciding the equivalence of Kleene algrebra with tests expressions.

With S. Cavadas and N. Moreira: new derivative based algorithms for  deciding equivalence of synchronous Kleene algebras (with tests).

With S. Alves and J. Sá: visualization and verification of security policies.
 

External projects: 

AVIACC:Análise e Verificação de Programas Concorrentes Críticos, FCT PTDC/EIA-CCO/117590/2010. Researcher.

Preprints: 

Proceedings classified as book chapters (peer reviewed): 

Papers accepted for publication in peer reviewed journals: 

Sabine Broda

Talks / Seminars / Courses : 

Student Mentoring: 

Sílvia Cavadas
João Sá
Error | CMUP

Error

The website encountered an unexpected error. Please try again later.