Sabine Broda's Annual Report
Year:
2015
Brief description of the research activities:
- With A. Machiavelo, N. Moreira and R. Reis extension of the partial derivative automaton to the shuffle operation and study the average state complexity within the framework of analytic combinatorics.
- With S. Alves and J. Sá: visualization and verification of security policies.
- With S. Alves and M. Férnandez: a typed language for events.
- With R. Bastos, A. Machiavelo, N. Moreira and R. Reis extension of derivative based methods to intersection.
- With S. Alves and J. Martins, Formula-Tree Method Tool.
Talks / Seminars / Courses :
Communications in international conferences
Organization of scientific meetings:
Role:
Organizing committee
Name of the event:
NCMA 2015 6th Non-Classical Models of Automata and Applications
start and end date:
August 31, 2015 to September 1, 2015
Host institution:
University of Porto
Country:
Portugal
Location / City:
Porto