A coalgebraic perspective on logical interpretation

A. Martins, A. Madeira, L. S. Barbosa, in Studia Logica, 101 (4), Special issue on Abstract Algebraic Logic, J. Font, R. Jansana (eds), Springer, 2013.

An institution for Alloy and its translation to second-order logic

A. Madeira, R. Neves, M. A. Martins, L. S. Barbosa, in Thouraya Bouabana-Tebibel and Stuart H. Rubin, eds, Integration of Reusable Systems [extended versions of the best papers of IEEE International Workshop on Formal Methods Integration], Advances in Intelligent Systems and Computing, 263, Springer, pp 45-75, 2013.

Hybridisation at work

R. Neves, A. Madeira, M. A. Martins, L. S. Barbosa, in 5th CALCO, (International Conference on Algebra and Coalgebra in Computer Science), Reiko Heckel and Stefan Milius (eds), Springer Lecture Notes Computer Science (8089), pp 340-345, 2013.

Bisimilarity and refinement for hybrid(ised)logics

A. Madeira, M. A. Martins and L. S. Barbosa, in Proc Proc 16th International Workshop on Refinement, E. Boiten, S. Reeves (eds), EPTCS (Electronic Proceedings in Theoretical Computer Science), 115, 84-98, 2013

Boilerplates for reconfigurable systems: a language and its semantics

A. Madeira, M. A. Martins, L. S. Barbosa, in Proc 17th SBLP (Brazilian Symposium on Programming Languages), André Du Bois, Phil Trinder (eds), Springer Lecture Notes Computer Science (8129), pp 75-89, 2013.

Integrating formal and informal learning through a FLOSS-based innovative approach

S. Fernandes, M. H. Martinho, L. S. Barbosa, A. Cerone, in Proc CRIWG’13 (19th International Conference on Collaboration and Technology), Wellington, New Zealand, 30 Oct - 1 Nov, Gert-Jan de Vreede, Julita Vassileva (eds), Springer Lecture Notes Computer Science (8224), 208-214, 2013.

Giving Alloy a family

R. Neves, L. S. Barbosa, A. Madeira, M. A. Martins, in Proc 14th IEEE International Conference on Information Reuse and Integration (IEEE International Workshop on Formal Methods Integration), Thouraya B. Tebibel (eds), IEEE Computer Society, pp 512-519, 2013.

When even the interface evolves ...

A. Madeira, M. A. Martins, L. S. Barbosa, in Proc 7th TASE (IEEE Symp. on Theoretical Aspects of Software Engineering), Birmingham, 1-3 Jul, HeiWang and Richard Banach (eds), IEEE Computer Society, pp 79-82, 2013.

A pilot project on non-conventional learning

S. Fernandes, A. Cerone, L. S. Barbosa, in Proc 8th ITiCSE 2013 (Annual Conference Innovation and Technology in Computer Science Education Conference), Kent, 1-3 Jul, J. Carter, I. Utting, A. Clear (eds), ACM, 2013.

Exploiting the FLOSS paradigm in collaborative e-learning: application to e-government.

S. Fernandes, A. Cerone, L. S. Barbosa, in Proc 6th ICEGOV 2012 (ACM International Conference on Theory and Practice of Electronic Governance), David Ferriero, Theresa A. Pardo, Haiyan Qian (eds), ACM Press, pp 475-476, 2013.

Verifying bigraphical models of architectural reconfigurations

A. Sanchez, L. S. Barbosa, D. Riesco, in Proc 7th TASE (IEEE Symp. on Theoretical Aspects of Software Engineering), Birmingham, 1-3 Jul, Hei Wang and Richard Banach (eds), IEEE Computer Society, pp 135-138, 2013.

On the reconfiguration of software connectors

N. Oliveira, L. S. Barbosa, in Proc SAC 2013 (28th Annual ACMSymposium on Applied Computing), ACM Press, pp 1885-1892, 2013.

Analysis of FLOSS communities as learning contexts

S. Fernandes, A. Cerone, L. S. Barbosa, in Proc SEFM’13 Collocated Workshops, Madrid, 23-14 Set, Springer Lecture Notes Computer Science (8368), pp 405-416, 2013..