CITI - Member - Antónia Lopes

CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013

Home \ Members \ Member Page

Antónia Lopes
Software Systems Country: Portugal Position: Associate Professor Email: mal(at)di.fc.ul.pt Phone: 351 21 7500604 Personal Web Page	Research Projects (3) Publications (22) Seminars (2) Graduation Activities (5)

{ Publications }

Antónia Lopes publications in BibTeX format

( articles )

Adding Mobility to Software Architectures
@ Science of Computer Programming - 2006
Modelling the GSM Handover Protocol in CommUnity
@ Electronic Notes in Theoretical Computer Science - 2005
Adding Mobility to Software Architectures _
@ Electronic Notes in Theoretical Computer Science - 2004
Superposition: Composition vs Refinement of Non-deterministic, Action-Based Systems
@ Formal Aspects of Computing - 2004
Higher-order Connectors
@ ACM Transactions on Software Engineering and Methodology - 2003

( book chapters )

Architectural Techniques for Evolving Control Systems
@ Formal Methods for Railway Operation and Control Systems - 2003

( editorial activities )

FASE 2007: Proceedings of the 10th Fundamental Approaches to Software Engineering
Springer-Verlag - 2007

( in proceedings )

Specifying and Composing Interaction Protocols for Service-Oriented System Modelling
@ FORTE 2007: IFIP International Conference on Formal Methods for Networked and Distributed Systems - 2007
Algebraic Semantics of Service Component Modules
@ Recent Trends in Algebraic Development Techniques – 18th International Workshop – Selected Papers - 2007
Checking the Conformance of Java Classes Against Algebraic Specifications
@ ICFEM'06 - 2006
Policy-driven adaptation of Protocol Stacks
@ Proc. IEEE International Conference on Autonomic and Autonomous Systems ICAS'06 - 2006
A Formal Approach to Event-Based Architectures
@ Fundamental Approaches to Software Engineering (FASE'06) - 2006
A Formal Approach to Service Component Architecture
@ 3rd International Workshop onWeb Services and Formal Methods (WS-FM'06) - 2006
Context-Awareness in Software Architectures
@ 2nd European Workshop on Software Architectures, Languages, Styles, Models, Tools and Applications - 2005
An architectural approach to mobility - the handover case study
@ Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture - 2004
Design Primitives for Context-awareness
@ Recent Trends in Algebraic Development Techniques – 17th International Workshop – Selected Papers - 2004
ommUnity on the move: Architecture for Distribution and Mobility
@ Second International Symposium on Formal Methods for Components and Objects, Leiden, The Netherlands, November 2003, Revised Lectures - 2004
New Insights on Architectural Connectors
@ 3rd IFIP International Conference on Theoretical Computer Science IFIP TCS 2004 - 2004
On how Distribution and Mobility Interfere with Coordination
@ Recent Trends in Algebraic Development Techniques – 16th International Workshop – Selected Papers - 2003
A Mathematical Semantics for Architectural Connectors
@ Generic Programming: Advanced Lectures - 2003
AGILE: Software Architecture for Mobility
@ Recent Trends in Algebraic Development Techniques – 16th International Workshop – Selected Papers - 2003

( technical reports )

Testing Implementations of Algebraic Specifications with Design-By-Contract Tools
Faculdade de Ciências da Universidade de Lisboa - 2005