Antónia Lopes

Available identifiers

Publication	Date of Publication	Type
A time-model invariant fragment of metric temporal logic	2019-07-24	Paper
Logics for actor networks: a two-stage constrained-hybridisation approach	2019-06-20	Paper
Dynamic networks of heterogeneous timed machines	2018-05-17	Paper
Logics for actor networks: a case study in constrained hybridization	2018-04-12	Paper
Heterogeneous and asynchronous networks of timed systems	2017-01-23	Paper
Heterogeneous timed machines	2015-01-13	Paper
An interface theory for service-oriented design	2014-09-02	Paper
Superposition: composition vs refinement of non-deterministic, action-based systems	2013-08-19	Paper
A Graph-Based Design Framework for Services	2012-10-02	Paper
A formal model for service-oriented interactions	2012-07-20	Paper
Revisiting the categorical approach to systems	2011-05-06	Paper
Generic Programming	2010-03-09	Paper
An algebraic semantics of event-based architectures	2007-12-12	Paper
A model-driven approach to variability management in product-line engineering	2007-02-20	Paper
Adding mobility to software architectures	2006-06-30	Paper
Context adaptation of the communication stack	2006-04-19	Paper
Recent Trends in Algebraic Development Techniques	2005-11-11	Paper
Formal Methods for Components and Objects	2005-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4673419	2005-04-29	Paper
Superposition: Composition vs refinement of non-deterministic, action-based systems	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4471720	2004-07-30	Paper

This page was built for person: Antónia Lopes