área de pesquisa
- Alessandra Monteiro de Castro Porto
- Modelagem e detecção de falhas no ambiente ForMOS para simulação de sistemas distribuídos envolvendo mobilidade
- Um modelo para especificação formal de apresentações multimidia interativas /
- Use case evolution analysis based on graph transformation with negative application conditions