Ph.D. in Computer Science (2009), Centro de Informática, Universidade Federal de Pernambuco (UFPE)
Associate Professor
Member of REDIS group and MODCS team
If you are looking for DENTES or AMALGHMA tool, please click here.
If you are looking for Measurement Server, please click here.
Research Interests (but are not limited to):
Formal Methods
(Power-Aware) Real-Time Systems
Safety-Critical Systems
Performance and Dependability Evaluation
Business Process Modeling
Contact Information:
E-mail: eagt at cin (dot) ufpe (dot) com
Address: Universidade Federal de Pernambuco - Centro de Informática
Av. Jornalista Anibal Fernandes, s/n, Cidade Universitária,
Recife-PE Brazil, 50740-560
Telephone: +55 81 2126-8430
Fax: +55 81 2126-8438