Web server QoS management by adaptive content delivery, 1999 Seventh International Workshop on Quality of Service. IWQoS'99. (Cat. No.98EX354), 1999. ,
DOI : 10.1109/IWQOS.1999.766497
Performance guarantees for Web server endsystems: a control-theoretical approach, IEEE Transactions on Parallel and Distributed Systems, vol.13, issue.1, 2002. ,
Interface automata, In: ACM SIGSOFT Software Engineering Notes. vol, vol.26, 2001. ,
StarMX: A framework for developing self-managing Java-based systems, 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009. ,
DOI : 10.1109/SEAMS.2009.5069074
A Control Approach for Performance of Big Data Systems, Proceeding of the 2014 IFAC World Congress, 2014. ,
DOI : 10.3182/20140824-6-ZA-1003.01319
URL : https://hal.archives-ouvertes.fr/hal-00980372
Making components contract aware, Computer, vol.32, issue.7, 1999. ,
DOI : 10.1109/2.774917
No Silver Bullet Essence and Accidents of Software Engineering, Computer, vol.20, issue.4, 1987. ,
DOI : 10.1109/MC.1987.1663532
Robustness Evaluation of the Rainbow Framework for Self-Adaptation, Proceedings of the 29th Annual ACM Symposium on Applied Computing, 2014. ,
Leveraging software architectures to guide and verify the development of sense/compute/control applications, Proceeding of the 33rd international conference on Software engineering, ICSE '11, 2011. ,
DOI : 10.1145/1985793.1985852
URL : https://hal.archives-ouvertes.fr/inria-00537789
Fine-grained Contract Negotiation for Hierarchical Software Components, 31st EUROMICRO Conference on Software Engineering and Advanced Applications, 2005. ,
DOI : 10.1109/EUROMICRO.2005.27
Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems, p.5525, 2008. ,
DOI : 10.1007/978-3-642-02161-9
Evaluating the effectiveness of the Rainbow self-adaptive system, 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009. ,
DOI : 10.1109/SEAMS.2009.5069082
Enforcing Different Contracts in Hierarchical Component-Based Systems, 5th International Symposium on Software Composition, 2006. ,
DOI : 10.1007/11821946_4
URL : https://hal.archives-ouvertes.fr/hal-01351678
Composite Contract Enforcement in Hierarchical Component Systems, 6th International Symposium on Software Composition, 2007. ,
DOI : 10.1007/978-3-540-77351-1_3
URL : https://hal.archives-ouvertes.fr/hal-01334910
Xbase, Proceedings of the 11th International Conference on Generative Programming and Component Engineering, GPCE '12, 2012. ,
DOI : 10.1145/2371401.2371419
Taming heterogeneity - the Ptolemy approach, Proceedings of the IEEE, vol.91, issue.1, 2003. ,
DOI : 10.1109/JPROC.2002.805829
Automated design of self-adaptive software with control-theoretical formal guarantees, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, 2014. ,
DOI : 10.1145/2568225.2568272
Rainbow: architecture-based self-adaptation with reusable infrastructure, Computer, vol.37, issue.10, 2004. ,
DOI : 10.1109/MC.2004.175
Making control loops explicit when architecting self-adaptive systems, Proceeding of the second international workshop on Self-organizing architectures, SOAR '10, 2010. ,
DOI : 10.1145/1809036.1809042
Feedback control of computing systems, 2004. ,
DOI : 10.1002/047166880X
Engineering autonomic systems, Proceedings of the 6th international conference on Autonomic computing, ICAC '09, 2009. ,
DOI : 10.1145/1555228.1555254
Viewing control structures as patterns of passing messages, Artificial Intelligence, vol.8, issue.3, 1977. ,
DOI : 10.1016/0004-3702(77)90033-9
The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, 2003. ,
DOI : 10.1109/32.588521
Domain-Specific Modeling Language for Self-Adaptive Software System Architectures, 2013. ,
ACTRESS, Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC '14, 2014. ,
DOI : 10.1145/2554850.2555020
Design by Contract to Improve Software Vigilance, IEEE Transactions on Software Engineering, vol.32, issue.8, 2006. ,
DOI : 10.1109/TSE.2006.79
URL : https://hal.archives-ouvertes.fr/inria-00542784
An adaptive control framework for QoS guarantees and its application to differentiated caching, 10th International Workshop on Quality of Service, 2002. ,
Hierarchical correctness proofs for distributed algorithms, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing , PODC '87, 1987. ,
DOI : 10.1145/41840.41852
Applying 'design by contract', Computer, vol.25, issue.10, 1992. ,
DOI : 10.1109/2.161279
Object-oriented Software Construction, 1997. ,
Toward More Expressive Contracts, Journal on Object Oriented Programming, vol.13, issue.4, 2000. ,
Model-Based Development of Embedded Systems: The SysWeaver Approach, 12th IEEE Real-Time and Embedded Technology and Applications Symposium, 2006. ,
Contracts for Scala, Runtime Verification, vol.6418, 2010. ,
DOI : 10.1007/978-3-642-16612-9_5
On the Role of Connectors in Modeling and Implementing Software Architectures, 1998. ,
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker, 2006 30th Annual IEEE/NASA Software Engineering Workshop, 2006. ,
DOI : 10.1109/SEW.2006.23
Behavior protocols for software components, IEEE Transactions on Software Engineering, vol.28, issue.11, 2002. ,
DOI : 10.1109/TSE.2002.1049404
The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), 1977. ,
DOI : 10.1109/SFCS.1977.32
Design patterns for developing dynamically adaptive systems, Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS '10, 2010. ,
DOI : 10.1145/1808984.1808990
MUSIC: Middleware Support for Self-Adaptation in Ubiquitous and Service-Oriented Environments, MobMid '08: Proceedings of the 1st workshop on Mobile middleware, 2008. ,
DOI : 10.1007/978-3-540-76778-7_1
Self-adaptive software, ACM Transactions on Autonomous and Adaptive Systems, vol.4, issue.2, 2009. ,
DOI : 10.1145/1516533.1516538
Model transformation: The heart and soul of modeldriven software development. Software, IEEE, vol.20, 2003. ,
Temporal Assertions using AspectJ, Electronic Notes in Theoretical Computer Science, vol.144, issue.4, 2006. ,
DOI : 10.1016/j.entcs.2006.02.007
URL : http://doi.org/10.1016/j.entcs.2006.02.007
A framework for evaluating quality-driven self-adaptive software systems, Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems, SEAMS '11, 2011. ,
DOI : 10.1145/1988008.1988020
URL : https://hal.archives-ouvertes.fr/inria-00578337
A Model of Computation with Push and Pull Processing, 2003. ,