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 |