Heterogeneous and Asynchronous Networks of Timed Systems. Fundamental Approaches to Software Engineering. 79–93.(2014).
Heterogeneous timed machines. Theoretical Aspects of Computing–ICTAC 2014. 115–132.(2014).
Impact Models for Architecture-Based Self-adaptive Systems. Formal Aspects of Component Software. 89–107.(2014).
A design space for self-adaptive systems. Software Engineering for Self-adaptive Systems II. 33–50.(2013).
An interface theory for service-oriented design. Theor. Comput. Sci.. 503, 1–30.(2013).
A model for dynamic reconfiguration in service-oriented architectures. Software & Systems Modeling. 12, 349–367.(2013).
Self-management of adaptable component-based applications. Software Engineering, IEEE Transactions on. 39, 403–421.(2013).
Self-management of Distributed Systems Using High-Level Goal Policies. Software Engineering for Self-Adaptive Systems II. 162–190.(2013).
A timed component algebra for services. Formal Techniques for Distributed Systems. 242–257.(2013).
Avaliação de um Sistema de Reputação e Incentivo. (Lopes, A., & Pereira J. Orlando, Ed.).Atas do 4o Simpósio de Informática (INForum 2012).(2012).
Comparação de Mecanismos de Cancelamento de Difusão. (Lopes, A., & Pereira J. Orlando, Ed.).Atas do 4o Simpósio de Informática (INForum 2012).(2012).
Consistency of service composition. Fundamental Approaches to Software Engineering. 63–77.(2012).
A formal model for service-oriented interactions. Science of Computer Programming. 77, 577–608.(2012).
A graph-based design framework for services. Graph Transformations. 1–19.(2012).
Specification-driven unit test generation for java generic classes. Integrated Formal Methods. 296–311.(2012).
An abstract model of service discovery and binding. Formal Aspects of Computing. 23, 433–463.(2011).
Extending data cleaning graphs for supporting user involvement. Information Systems and Technologies (CISTI), 2011 6th Iberian Conference on. 1–6.(2011).
Formal modelling of service-oriented systems. Model and Data Engineering. 3–3.(2011).
Goal-oriented self-management of in-memory distributed data grid platforms. Cloud Computing Technology and Science (CloudCom), 2011 IEEE Third International Conference on. 587–591.(2011).
An interface theory for service-oriented design. Fundamental Approaches to Software Engineering. 18–33.(2011).
Runtime Verification for Generic Classes with ConGu 2. Formal Methods: Foundations and Applications. 33–48.(2011).
The Sensoria reference modelling language. Rigorous software engineering for service-oriented systems. 61–114.(2011).
Support for user involvement in data cleaning. Data Warehousing and Knowledge Discovery. 136–151.(2011).
Workshop on assurances for self-adaptive systems (ASAS 2011). Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering. 516–517.(2011).