Publications

Reports

• Formal Methods for Specifications and Architectures - EVOLVE Final Report. 2011.

Papers

• Ana Garis, Alcino Cunha, and Daniel Riesco, Translating Alloy Specifications to UML Class Diagrams Annotated with OCL. Accepted to SEFM'11.

• Alejandro Sanchez, Luis S. Barbosa, and Daniel Riesco. A language for behavioural modelling of architectural patterns. In Proceedings of the Third Workshop on Behavioural Modelling, pages 17–24, 2011.

• Alejandro Sanchez, Luis S. Barbosa, and Daniel Riesco. Bigraphical modelling of architectural patterns. In Post-proceedings of the 8th International Symposium on Formal Aspects of Component Software. Springer, 2011.

• João Martins, José Miguel Faria, and Jorge Sousa Pinto. An approach to model checking Ada programs. In proceedings of the 3rd INForum, pages 800-811. 2011.

• André de Matos Pedro, Maria João Frade, Ana Paula Martins e Simão Melo de Sousa. Aprendizagem de processos semi-Markovianos generalizados: dos sistemas de eventos discretos estocásticos aos testes e à verificação. In proceedings of the 3rd INForum. 2011.

Theses

• Ana Garis, High-Assurance Model-Driven Software Development with Alloy, PhD. Due in 2013.
• Alejandro Sanchez, A Calculus of Architectural Patterns, PhD. Due in 2013.
• André Carvalho, Extração Automática de Modelos de Sistemas de Tempo Real, MSc. 2011.
• André Pedro, Learning and testing stochastic discrete event systems, MSc. 2011.
• Daniel Cadete, From natural language requirements to formal descriptions in Alloy through boilerplates, MSc. April 2012.
• João Martins, Formal Verification of Ada Programs: An Approach based on Model Checking, MSc. 2011.