| Statically Checking REST API Consumers. | 0 | 0.34 | 2020 |
| HeadREST - A Specification Language for RESTful APIs. | 0 | 0.34 | 2019 |
| Logics for Actor Networks: A two-stage constrained-hybridisation approach | 0 | 0.34 | 2019 |
| Planning workflow executions when using spot instances in the cloud. | 1 | 0.36 | 2019 |
| Learning non-deterministic impact models for adaptation. | 2 | 0.37 | 2018 |
| Dynamic networks of heterogeneous timed machines. | 0 | 0.34 | 2018 |
| Logics for Actor Networks: A Case Study in Constrained Hybridization - A Case Study in Constrained Hybridization. | 0 | 0.34 | 2017 |
| Automated generation of policies to support elastic scaling in cloud environments. | 1 | 0.36 | 2017 |
| Adaptation impact and environment models for architecture-based self-adaptive systems | 12 | 0.53 | 2016 |
| Heterogeneous Timed Machines. | 1 | 0.35 | 2014 |
| Impact Models for Architecture-Based Self-adaptive Systems. | 12 | 0.48 | 2014 |
| Heterogeneous and Asynchronous Networks of Timed Systems | 1 | 0.37 | 2014 |
| An interface theory for service-oriented design | 10 | 0.51 | 2013 |
| A Timed Component Algebra for Services. | 2 | 0.38 | 2013 |
| A model for dynamic reconfiguration in service-oriented architectures. | 1 | 0.36 | 2013 |
| Specification-Driven unit test generation for java generic classes | 4 | 0.43 | 2012 |
| A formal model for service-oriented interactions | 4 | 0.39 | 2012 |
| A graph-based design framework for services | 0 | 0.34 | 2012 |
| Consistency of service composition | 6 | 0.43 | 2012 |
| An abstract model of service discovery and binding | 13 | 0.55 | 2011 |
| Workshop on assurances for self-adaptive systems (ASAS 2011) | 0 | 0.34 | 2011 |
| Support for user involvement in data cleaning | 4 | 0.52 | 2011 |
| A Design Space for Self-Adaptive Systems. | 21 | 0.93 | 2010 |
| Automating the construction of domain-specific modeling languages for object-oriented frameworks | 4 | 0.49 | 2010 |
| Self-management of Distributed Systems Using High-Level Goal Policies. | 2 | 0.37 | 2010 |
| A Model for Dynamic Reconfiguration in Service-Oriented Architectures | 23 | 0.77 | 2010 |
| Software Engineering for Self-Adaptive Systems: A second Research Roadmap. | 84 | 2.58 | 2010 |
| Runtime Verification for Generic Classes with ConGu 2 | 1 | 0.36 | 2010 |
| From Local Impact Functions to Global Adaptation of Service Compositions | 3 | 0.45 | 2009 |
| Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming | 7 | 0.57 | 2009 |
| Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings | 19 | 1.22 | 2009 |
| Modelling adaptive services for distributed systems | 3 | 0.42 | 2008 |
| Automated Domain-Specific Modeling Languages for Generating Framework-Based Applications | 5 | 0.52 | 2008 |
| A Use-Case Driven Approach to Formal Service-Oriented Modelling | 5 | 0.42 | 2008 |
| Service-Oriented Modelling of Automotive Systems | 12 | 1.28 | 2008 |
| A framework to support multiple reconfiguration strategies | 6 | 0.46 | 2007 |
| Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings | 28 | 2.56 | 2007 |
| One-to-many data transformations through data mappers | 2 | 0.38 | 2007 |
| An algebraic semantics of event-based architectures | 2 | 0.37 | 2007 |
| Specifying and Composing Interaction Protocols for Service-Oriented System Modelling | 21 | 0.90 | 2007 |
| From BPEL to SRML: a formal transformational approach | 12 | 0.71 | 2007 |
| Framework specialization aspects | 13 | 0.88 | 2007 |
| Building adaptive systems with service composition frameworks | 1 | 0.37 | 2007 |
| Modularizing Framework Hot Spots Using Aspects | 1 | 0.37 | 2006 |
| Algebraic Semantics of Service Component Modules | 17 | 0.96 | 2006 |
| A model-driven approach to variability management in product-line engineering | 9 | 0.54 | 2006 |
| Adding mobility to software architectures | 11 | 0.85 | 2006 |
| Checking the conformance of java classes against algebraic specifications | 11 | 0.70 | 2006 |
| A formal approach to event-based architectures | 2 | 0.38 | 2006 |
| A formal approach to service component architecture | 40 | 2.03 | 2006 |
