Verification of a Dynamic Management Protocol for Cloud Applications, Proc. of ATVA'13, pp.178-192, 2013. ,
DOI : 10.1007/978-3-319-02444-8_14
URL : https://hal.archives-ouvertes.fr/hal-00863262
A Logical Basis for the Specification of Reconfigurable Component-Based Systems, Proc. of FASE'03, FASE'03, pp.37-51, 2003. ,
DOI : 10.1007/3-540-36578-8_4
Specifying and analyzing dynamic software architectures, Proc. of FASE'98, pp.21-37, 1998. ,
DOI : 10.1007/BFb0053581
URL : http://repository.cmu.edu/cgi/viewcontent.cgi?article=1704&context=compsci
Specifying and analyzing dynamic software architectures, Proc. of FASE'98, pp.21-37, 1998. ,
DOI : 10.1007/BFb0053581
URL : http://repository.cmu.edu/cgi/viewcontent.cgi?article=1704&context=compsci
Formalizing architectural connection, Proceedings of 16th International Conference on Software Engineering, pp.71-80, 1994. ,
DOI : 10.1109/ICSE.1994.296767
URL : http://repository.cmu.edu/cgi/viewcontent.cgi?article=1724&context=compsci
The IWIM model for coordination of concurrent activities, Proc. of COORDINATION '96, COORDINATION '96, pp.34-56, 1996. ,
DOI : 10.1007/3-540-61052-9_38
What Do You Mean, Coordination? In Bulletin of the Dutch Association for Theoretical Computer Science (NVTI), pp.11-22, 1998. ,
Reo: a channel-based coordination model for component composition, Mathematical Structures in Computer Science, vol.14, issue.3, pp.329-366, 2004. ,
DOI : 10.1017/S0960129504004153
An Overview of Manifold and its Implementation. Concurrency: Practice and Experience, pp.23-70, 1993. ,
Event-Based Approach to Modelling Dynamic Architecture: Application to Mobile Ad-Hoc Network, Proc. of ISoLA' 08, pp.769-781, 2008. ,
DOI : 10.1007/11415787_2
Principles of Model Checking, p.30, 2008. ,
Collaborative applications over peer-to-peer systems???challenges and solutions, Peer-to-Peer Networking and Applications, vol.38, issue.4, 2012. ,
DOI : 10.1145/1402946.1402999
Automatic verification of interactions in asynchronous systems with unbounded buffers, Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, ASE '14, pp.743-754, 2014. ,
DOI : 10.1145/2642937.2643016
A Tutorial on Uppaal, Proc. of SFM'04, pp.200-236, 2004. ,
DOI : 10.1007/978-3-540-30080-9_7
Process algebra for synchronous communication, Information and Control, vol.60, issue.1-3, pp.109-137, 1984. ,
DOI : 10.1016/S0019-9958(84)80025-X
URL : https://doi.org/10.1016/s0019-9958(84)80025-x
Implementation and performance evaluation of an adaptable failure detector, Proceedings International Conference on Dependable Systems and Networks, pp.354-363, 2002. ,
DOI : 10.1109/DSN.2002.1028920
URL : https://hal.archives-ouvertes.fr/hal-01544787
Adding high availability and autonomic behavior to Web services, Proceedings. 26th International Conference on Software Engineering, pp.17-26, 2004. ,
DOI : 10.1109/ICSE.2004.1317410
An Analysis of Problems and Research in DAI, Distributed Artificial Intelligence, p.24, 1988. ,
Robust reconfigurations of component assemblies, 2013 35th International Conference on Software Engineering (ICSE), pp.13-22, 2013. ,
DOI : 10.1109/ICSE.2013.6606547
URL : https://hal.archives-ouvertes.fr/hal-00966078
Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS??NT and CADP, Proc. of FM'11, pp.103-117, 2011. ,
DOI : 10.1016/S0167-6423(02)00094-1
URL : https://hal.archives-ouvertes.fr/hal-00648909
On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, pp.323-342, 1983. ,
DOI : 10.1145/322374.322380
Towards Self-Manageable Cloud Services, 2009 33rd Annual IEEE International Computer Software and Applications Conference, pp.128-133, 1922. ,
DOI : 10.1109/COMPSAC.2009.126
Comparative analysis of the expressiveness of shared dataspace coordination1 1Work partially supported by Italian Ministry of University - MURST 40% - Progetto TOSCA., Electronic Notes in Theoretical Computer Science, vol.62, pp.102-115, 2001. ,
DOI : 10.1016/S1571-0661(04)00322-6
The concurrent language, Shared Prolog, ACM Transactions on Programming Languages and Systems, vol.13, issue.1, pp.99-123, 1991. ,
DOI : 10.1145/114005.102807
A Theory of Communicating Sequential Processes, Journal of the ACM, vol.31, issue.3, pp.560-599, 1928. ,
DOI : 10.1145/828.833
SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model, Fourth International Conference on Software Engineering Research, Management and Applications (SERA'06), pp.40-48, 2006. ,
DOI : 10.1109/SERA.2006.62
Autonomic Cloud computing: Open challenges and architectural elements, 2012 Third International Conference on Emerging Applications of Information Technology, pp.3-10, 2012. ,
DOI : 10.1109/EAIT.2012.6407847
Market-Oriented Cloud Computing: Vision, Hype, and Reality for Delivering IT Services as Computing Utilities, 2008 10th IEEE International Conference on High Performance Computing and Communications, pp.5-13, 2009. ,
DOI : 10.1109/HPCC.2008.172
An operational semantics for occam, International Journal of Parallel Programming, vol.18, issue.5, pp.365-400, 1989. ,
DOI : 10.1007/BF01379186
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation, Electronic Notes in Theoretical Computer Science, vol.263, pp.95-110, 2010. ,
DOI : 10.1016/j.entcs.2010.05.006
Dynamic configuration management in a graph-oriented Distributed Programming Environment, Science of Computer Programming, vol.48, issue.1, pp.43-65, 2003. ,
DOI : 10.1016/S0167-6423(02)00168-5
Formal Methods for the Validation of Automotive Product Configuration Data, Artificial Intelligence for Engineering Design Analysis and Manufacturing, vol.17, issue.21, 2003. ,
Introduction to Discrete Event Systems, p.63, 2006. ,
Aeolus: Mastering the Complexity of Cloud Application Deployment, Proc. of ES- OCC'13, pp.1-3, 2013. ,
DOI : 10.1007/978-3-642-40651-5_1
URL : https://hal.archives-ouvertes.fr/hal-00909298
Reference Manual of the LO- TOS NT to LOTOS Translator (Version 6, p.32, 2015. ,
Reference Manual of the LOTOS NT to LO- TOS Translator (Version 5.4) INRIA/VASY, p.93, 2011. ,
Opus: A Coordination Language for Multidisciplinary Applications, Scientific Programming, vol.6, issue.4, pp.345-362, 1997. ,
DOI : 10.1155/1997/632908
Software Architecture Definition for On-demand Cloud Provisioning, Proc. of HPDC'10, pp.61-72, 2010. ,
Elastic service definition in computational clouds, 2010 IEEE/IFIP Network Operations and Management Symposium Workshops, pp.327-334, 2010. ,
DOI : 10.1109/NOMSW.2010.5486555
Analysing the need for autonomic behaviour in grid computing, 2010 The 2nd International Conference on Computer and Automation Engineering (ICCAE), pp.535-539, 1921. ,
DOI : 10.1109/ICCAE.2010.5451880
PoliS: a programming model for multiple tuple spaces, Proceedings of the Sixth International Workshop on Software Specification and Design, pp.44-51, 1991. ,
DOI : 10.1109/IWSSD.1991.213078
Model Checking and the State Explosion Problem, Tools for Practical Software Verification, p.143, 2012. ,
DOI : 10.2140/pjm.1955.5.285
The 4 Primary Cloud Deployment Models, p.18, 2012. ,
Distributed Systems: Concepts and Design, p.12, 2011. ,
The ASTRE?? Analyzer, Proc. of ESOP' 05, pp.21-30, 2005. ,
DOI : 10.1007/978-3-540-31987-0_3
Autonomic Multi-agent Management of Power and Performance in Data Centers International Foundation for Autonomous Agents and Multiagent Systems, Proc. of AAMAS '08, pp.107-114, 2008. ,
Modular coordination of multiple autonomic managers, Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering, CBSE '14, pp.3-12, 2014. ,
DOI : 10.1145/2602458.2602465
URL : https://hal.archives-ouvertes.fr/hal-01006106
Contracts for Modular Discrete Controller Synthesis, Proc. of LCTES'10, pp.57-66, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00476910
Firm Fires Shots at Legacy Systems, Computing Canada, vol.19, issue.2, pp.17-29, 1993. ,
A Comparative Study of Industrial Static Analysis Tools, Electronic Notes in Theoretical Computer Science, vol.217, pp.5-21, 1926. ,
DOI : 10.1016/j.entcs.2008.06.039
Leveraging Legacy System Dollars for E-Business. IT Professional, pp.17-23, 2000. ,
Self-Configuration of Distributed Applications in the Cloud, 2011 IEEE 4th International Conference on Cloud Computing, pp.668-675, 2011. ,
DOI : 10.1109/CLOUD.2011.65
URL : https://hal.archives-ouvertes.fr/hal-00941398
Automated Configuration of Legacy Applications in the Cloud, 2011 Fourth IEEE International Conference on Utility and Cloud Computing, pp.170-177, 2011. ,
DOI : 10.1109/UCC.2011.32
URL : https://hal.archives-ouvertes.fr/hal-00665592
Reliable self-deployment of cloud applications, Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC '14, pp.1331-1338, 2014. ,
DOI : 10.1145/2554850.2554951
URL : https://hal.archives-ouvertes.fr/hal-00934042
Engage: A Deployment Management System, Proc. of PLDI'12, pp.263-274 ,
Compositional Verification of Asynchronous Concurrent Systems using CADP (extended version) Research Report RR-8708, 1928. ,
CADP 2011: a toolbox for the construction and analysis of distributed processes, International Journal on Software Tools for Technology Transfer, vol.1, issue.1/2, pp.89-107, 2013. ,
DOI : 10.1007/s100090050009
URL : https://hal.archives-ouvertes.fr/hal-00715056
Twenty One Experts Define Cloud Computing. Virtualization , Electronic Magazine, p.14, 2008. ,
Generative communication in Linda, ACM Transactions on Programming Languages and Systems, vol.7, issue.1, pp.80-112, 1925. ,
DOI : 10.1145/2363.2433
Coordination Languages and Their Significance, ACM Computing Surveys, vol.35, issue.2, pp.97-107, 1924. ,
DOI : 10.1145/129630.376083
Behaviour Analysis of Distributed Systems Using the Tracta Approach, Automated Software Engineering, vol.6, issue.1, pp.7-35, 1999. ,
DOI : 10.1023/A:1008645800955
The SmartFrog configuration management framework, ACM SIGOPS Operating Systems Review, vol.43, issue.1, pp.16-25, 2009. ,
DOI : 10.1145/1496909.1496915
Software reconfiguration patterns for dynamic evolution of software architectures, Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004), pp.79-88, 2004. ,
DOI : 10.1109/WICSA.2004.1310692
What Is Cloud Computing?, p.15, 2015. ,
Proof Theory for ??CRL: A Language for Processes with Data., Semantics of Specification Languages (SoSL), Workshops in Computing, pp.232-251, 1994. ,
DOI : 10.1007/978-1-4471-3229-5_13
Coordinating multiple administration loops using discrete control, ACM SIGOPS Operating Systems Review, vol.47, issue.3, pp.18-25, 2013. ,
DOI : 10.1145/2553070.2553074
URL : https://hal.archives-ouvertes.fr/hal-00949555
Discrete Control for the Coordination of Administration Loops, 2012 IEEE Fifth International Conference on Utility and Cloud Computing, pp.353-358 ,
DOI : 10.1109/UCC.2012.57
Autonomic Computing Paradigm to Support System's Development, 2009 Second International Conference on Developments in eSystems Engineering, pp.273-278, 1921. ,
DOI : 10.1109/DeSE.2009.22
Formal Methods for Specifying, Validating, and Verifying Requirements. jucs, pp.607-618, 1925. ,
The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, pp.279-295, 1927. ,
DOI : 10.1109/32.588521
Introduction to Automata Theory, Languages and Computation, p.114, 1979. ,
DOI : 10.1145/568438.568455
LOTOS ? A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, International Organization for Standardization ? Information Processing Systems ? Open Systems Interconnection, p.94, 1989. ,
Distributed On-the-Fly Equivalence Checking, Electronic Notes in Theoretical Computer Science, vol.128, issue.3, pp.47-62, 2005. ,
DOI : 10.1016/j.entcs.2004.10.018
NASA Formal Methods Specification and Verification Guidebook for Software and Computer Systems, Volume I: Planning and Technology Insertion. NASA Office of Safety and Mission Assurance, p.25, 1995. ,
Fault Management in QoS-Enabled Distributed Systems, Proc. of DAIS'99, pp.3-16, 1999. ,
DOI : 10.1007/978-0-387-35565-8_1
Research Challenges of Autonomic Computing, Proc. of ICSE'05, pp.15-22, 2005. ,
The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003. ,
DOI : 10.1109/MC.2003.1160055
Designing a coordination model for open systems, Proc. of Coordination'96, pp.267-284, 1996. ,
DOI : 10.1007/3-540-61052-9_51
On Autonomic Computing Architectures, p.22, 2003. ,
Analysing dynamic change in distributed software architectures, IEE Proceedings - Software, vol.145, issue.5, pp.146-154, 1998. ,
DOI : 10.1049/ip-sen:19982297
Reconfigurable Component Connectors, Institute for Programming research and Algorithmics (IPA), p.56, 2011. ,
Modeling dynamic reconfigurations in Reo using high-level replacement systems, Science of Computer Programming, vol.76, issue.1, pp.23-36, 2011. ,
DOI : 10.1016/j.scico.2009.10.006
Automatic Component Deployment in the Presence of Circular Dependencies, Proc. of FACS'13, pp.254-272, 2013. ,
DOI : 10.1007/978-3-319-07602-7_16
URL : https://hal.archives-ouvertes.fr/hal-00909300
A Planning Tool Supporting the Deployment of Cloud Applications, 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, pp.213-220, 2013. ,
DOI : 10.1109/ICTAI.2013.41
URL : https://hal.archives-ouvertes.fr/hal-00843925
A Component-Based Programming Model for Autonomic Applications, Proc. of ICAC '04, pp.10-17, 1957. ,
Operating Guidelines for Finite-State Services, Proc. of ICATPN' 07, pp.321-341, 2007. ,
DOI : 10.1007/978-3-540-73094-1_20
Model Checking, p.30, 1999. ,
NYSE Technologies Launches Capital Markets Cloud Community Platform ,
Dynamic Structure in Software Architectures, Proc. of SIGSOFT FSE'96, pp.3-14, 1996. ,
Concurrency : State Models and Java Programs, p.49, 2006. ,
Behaviour Analysis of Software Architectures, Proc. of WICSA'99 IFIP Conference Proceedings, pp.35-49, 1999. ,
DOI : 10.1007/978-0-387-35563-4_3
The interdisciplinary study of coordination, ACM Computing Surveys, vol.26, issue.1, pp.87-119, 1994. ,
DOI : 10.1145/174666.174668
Synthesis of Discrete-Event Controllers based on the Signal Environment. Discrete Event Dynamic Systems, pp.325-346, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00546147
A Model Checking Language for Concurrent Value-Passing Systems, Proc. of FM'08, pp.148-164, 2008. ,
DOI : 10.1007/978-3-540-68237-0_12
URL : https://hal.archives-ouvertes.fr/inria-00315312
Revealing the MAPE loop for the autonomic management of Cloud infrastructures, 2011 IEEE Symposium on Computers and Communications (ISCC), pp.147-152, 2011. ,
DOI : 10.1109/ISCC.2011.5984008
Symbolic Model Checking, p.27, 1993. ,
ADLs and dynamic architecture changes, Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops -, pp.24-27, 1996. ,
DOI : 10.1145/243327.243340
URL : http://www.ics.uci.edu/pub/arch/papers/ADL-ISAW96.pdf
The NIST Definition of Cloud Computing. National Institute of Standards and Technology, pp.16-18, 2009. ,
A Calculus of Communicating Systems, LNCS, vol.92, p.28, 1980. ,
DOI : 10.1007/3-540-10235-3
Dadl : Distributed application description language, USC Information Sciences Institute and Infosys Corporation, p.38, 2010. ,
A Framework for the Coordination of Multiple Autonomic Managers in Cloud Environments, 2013 IEEE 7th International Conference on Self-Adaptive and Self-Organizing Systems, pp.179-188, 2013. ,
DOI : 10.1109/SASO.2013.27
URL : https://hal.archives-ouvertes.fr/hal-00839090
Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing, Proc. of COORDINATION '12, pp.29-43 ,
DOI : 10.1007/978-3-642-30829-1_3
URL : https://hal.archives-ouvertes.fr/hal-00682914
Self-Protection in a Clustered Distributed System, IEEE Transactions on Parallel and Distributed Systems, vol.23, issue.2, pp.330-336, 2012. ,
DOI : 10.1109/TPDS.2011.161
URL : https://hal.archives-ouvertes.fr/hal-00941373
Applying formal specifications to real-world software development, IEEE Software, vol.18, issue.6, pp.89-97, 1926. ,
DOI : 10.1109/52.965810
Roboconf: A Hybrid Cloud Orchestrator to Deploy Complex Applications, 2015 IEEE 8th International Conference on Cloud Computing, pp.365-372, 2015. ,
DOI : 10.1109/CLOUD.2015.56
URL : https://hal.archives-ouvertes.fr/hal-01228353
A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic, J. UCS, vol.12, issue.12, pp.1741-1782, 2006. ,
Service Configurator: A Pattern for Dynamic Configuration of Services, Proc. of COOTS'97, pp.209-220, 1997. ,
Communication and Concurrency, p.28, 1989. ,
The control of discrete event systems, Proc of the IEEE, pp.81-98, 1989. ,
DOI : 10.1109/5.21072
New Study Shows a Staggering 4.7 Million Servers Globally Are Doing Nothing Useful, Wasting $25bn a Year, p.12, 2009. ,
The Reservoir model and architecture for open federated cloud computing, IBM Journal of Research and Development, vol.53, issue.4, pp.535-545, 2009. ,
DOI : 10.1147/JRD.2009.5429058
Determining the Availability of Distributed Applications Integrated Network Management V, The International Federation for Information Processing, pp.207-218, 1997. ,
Formal Methods and their Role in the Certification of Critical Systems, 1925. ,
DOI : 10.1007/978-1-4471-0921-1_1
Generation of Service Wrapper Protocols from Choreography Specifications, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods, pp.313-322, 2008. ,
DOI : 10.1109/SEFM.2008.42
An experience report on the verification of autonomic protocols in the cloud, Innovations in Systems and Software Engineering, vol.76, issue.1, pp.105-117, 2013. ,
DOI : 10.1016/j.scico.2009.10.006
Verification of a Self-configuration Protocol for Distributed Applications in the Cloud, Proc. of SAC'12, pp.1278-1283, 2012. ,
A Decentralized Supervisory Control Approach for Distributed Adaptive Systems, Workshop. of VECoS'10, VECoS'10, pp.13-23, 2010. ,
An approach for the synthesis of decentralised supervisors for distributed adaptive systems, International Journal of Critical Computer-Based Systems, vol.2, issue.3/4, pp.246-265, 2011. ,
DOI : 10.1504/IJCCBS.2011.042328
URL : https://hal.archives-ouvertes.fr/hal-00784991
A break in the clouds, ACM SIGCOMM Computer Communication Review, vol.39, issue.1, pp.50-55, 2008. ,
DOI : 10.1145/1496091.1496100
Utility functions in autonomic systems, International Conference on Autonomic Computing, 2004. Proceedings., pp.70-77, 1959. ,
DOI : 10.1109/ICAC.2004.1301349
Cloud Computing: a Perspective Study, New Generation Computing, vol.51, issue.1, pp.137-146, 2010. ,
DOI : 10.1007/s00354-008-0081-5
Research and design of autonomic computing system model in cloud computing environment, 2011 International Conference on Multimedia Technology, pp.5025-5028, 1921. ,
DOI : 10.1109/ICMT.2011.6002266
A Graph Based Architectural (Re)configuration Language, Proc. of ESEC / SIGSOFT FSE'01, pp.21-32, 2001. ,
Decentralised Autonomic Computing: Analysing Self-Organising Emergent Behaviour using Advanced Numerical Methods, Second International Conference on Autonomic Computing (ICAC'05), pp.52-63, 1921. ,
DOI : 10.1109/ICAC.2005.20
Supervisory Control of Discrete-Event Systems, p.63, 2015. ,
Modular supervisory control of discrete-event systems, Mathematics of Control, Signals, and Systems, vol.25, issue.1, pp.13-30, 1988. ,
DOI : 10.1007/BF02551233
On the Supremal Controllable Sublanguage of a Given Language, SIAM Journal on Control and Optimization, vol.25, issue.3, pp.637-659, 1987. ,
DOI : 10.1137/0325036
Formal methods, ACM Computing Surveys, vol.41, issue.4, pp.1-1936, 1925. ,
DOI : 10.1145/1592434.1592436
T Spaces, IBM Systems Journal, vol.37, issue.3, pp.454-474, 1998. ,
DOI : 10.1147/sj.373.0454
An approach of creative application evolution on cloud computing platform, Proceedings of the 2011 ACM Symposium on Applied Computing, SAC '11, pp.54-58, 2011. ,
DOI : 10.1145/1982185.1982199