| |
Publications
Reports
- Formal Methods for Specifications and Architectures - EVOLVE Final Report. 2011.
Papers
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.
|
|
 Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
|
|
| |