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á