NASONI

Heterogeneous software coordination: Foundations, methods, tools.

Login|Register|Print

Overview

Team

Results

Research » NASONI » WebHome » Description » Team » Jobs » Publications

Alexandre Madeira, Renato Neves, Manuel A. Martins, and Luís S. Barbosa. When even the interface evolves... TASE 2013 - Proceedings of 7th Internl Symp. on Theoretical Aspects of Software Engineering, In Hai Wang & Richard Banach (eds), IEEE Press, pages 79–82, 2013. BibTeX

Renato Neves, Alexandre Madeira, Manuel A. Martins, Luis S. Barbosa. Hybridisation at work. CALCO’13 – volume 8089 of Lecture Notes in Computer Science, Reiko Heckel & Stefan Milius (eds), Springer, pages 340–345, 2013. BibTeX

Renato Neves, Luis S. Barbosa, Alexandre Madeira, Manuel A. Martins. Giving Alloy a family. IRI–FMI’13 – Proceedings of 14th IEEE International conference on information reuse and integration, Chengcui Zhang & James Joshi & Elisa Bertino & Bhavani Thuraisingham (eds), IEEE press, pages 512-519, 2013. BibTeX

Alexandre Madeira, Manuel A. Martins, Luís S. Barbosa. Boilerplates for Reconfigurable Systems: A Language and Its Semantics. SBLP'13 - volume 8129 of Lecture Notes in Computer Science, André Rauber Du Bois & Phil Trinder (eds), Springer, pages 75-89, 2013. BibTex

Alexandre Madeira, Manuel A. Martins, Luís S. Barbosa. Bisimilarity and refinement for hybrid(ised) logics. Refine'13 - Proceedings 16th International Workshop Refine, John Derrick, Eerke A. Boiten & Steve Reeves (eds), EPTCS, pages 84-98, 2013 BibTex

Renato Neves. Proof support for hybridised logics. Master's thesis, Dep. Informatica, Universidade do Minho, 2013. BibTeX

r4 - 07 Aug 2014 - 13:42:52 - RenatoNeves

Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.

Syndicate this site RSS ATOM