2nd MONDRIAN Workshop: 9 10 May, 2011 This 2nd Research Workshop intends to bring together researchers in mathematical foundations for specification and verification ...
Motivation Getting large, heterogeneous, dynamic service oriented systems right is very difficult, because of their inherent complexity which challenges our current ...
11 August 11 Paper accepted at FACS'11: A. Sanchez, L. S. Barbosa and D. Riesco. Bigraphical Modelling of Architectural Patterns 8 August 11 Paper accepted at ...
Project Summary The problem Continuous evolution towards very large, heterogeneous, highly dynamic computing systems requires innovative approaches to master their ...
Project Publications Journal papers CH11 Maria Manuel Clementino and Dirk Hofmann, On the completion monad via the Yoneda embedding in quasi uniform spaces ...
Foundations for architectural design: Service certification, dynamic reconfiguration and self adaptability This project aims at developing new calculi and techniques ...
Research/MONDRIAN Web Preferences The following settings are web preferences of the Research/MONDRIAN web. These preferences overwrite the site level preferences ...