| Home \ Publications | Login |
[ Publications - book chapters ]
List of publications produced by CITI members as part of their research activities including work done in collaboration with external researchers. Select one of the publication types from the list below.
The list MAY NOT BE complete, refer to activity reports for official information.
| [ List All Publications ] | |||
| [ Articles ] | [ Book Chapters ] | [ Editorial Activities ] | [ Technical Reports ] |
| [ Books ] | [ Dissertations ] | [ In Proceedings ] | [ Other Publications ] |
| page 2 of 7 - listing book chapters 11 to 20 of a total of 68 |
Advanced Mechanisms for Service Combination and Transactions@ Rigorous Software Engineering for Service-Oriented Systems - 2011
Carla Ferreira, Ivan Lanese, António Ravara, Hugo Torres Vieira, Gianluigi Zavattaro
Tools and Verification@ Rigorous Software Engineering for Service-Oriented Systems - 2011
Massimo Bartoletti, Luis Caires, Ivan Lanese, Franco Mazzanti, Davide Sangiorgi, Hugo Torres Vieira, Roberto Zunino
Behavioural Theory for Session-oriented Calculi@ Rigorous Software Engineering for Service-Oriented Systems - 2011
Ivan Lanese, António Ravara, Hugo Torres Vieira
Static Analysis Techniques for Session-Oriented Calculi@ Rigorous Software Engineering for Service-Oriented Systems - 2011
Lucia Acciai, Chiara Bodei, Michele Boreale, Roberto Bruni, Hugo Torres Vieira
The Need for Early Aspects@ Generative and Transformational Techniques in Software Engineering: III - International Summer School, GTTSE - 2011
Ana Moreira, João Araújo
Aspect-Oriented Refactoring of Java Programs@ Java in Academia and Research - 2011
Miguel Pessoa Monteiro, João Miguel Lobo Fernandes
SmART: An Application Reconfiguration Framework@ Complex Systems Design & Management - Proceedings of the First International Conference on Complex Systems Design & Management CSDM 2010 - October, 2010
Hervé Paulino, João André Branqueiro Barata Martins, João Lourenço, Nuno Duro
Model-Driven Requirements Specification for Software Product Lines@ Model-Driven Domain Analysis and Software Development: Architectures and Functions - October, 2010
Mauricio Alférez, Ana Moreira, Vasco Amaral, João Araújo
Toward automatic performance tuning for numerical simulations in the SILC matrix computation framework@ Software Automatic Tuning: From Concepts to the State-of-the-Art Results - 2010
Tamito Kajiyama, Akira Nukada, Reiji Suda, Hidehiko Hasegawa, Akira Nishida
Core Calculi for Service Oriented Computing@ Rigorous Software Engineering for Service-Oriented Systems - 2010
Luis Caires, Rocco de Nicola, Gianluigi Zavattaro, Rosario Pugliese, Vasco T. Vasconcelos