A theory of timed automata. Theoretical computer science, pp.183-235, 1994. ,
A tutorial on uppaal. In Formal methods for the design of real-time systems, pp.200-236, 2004. ,
DOI : 10.1007/978-3-540-30080-9_7
User-defined schedulers for real-time concurrent objects, Innovations in Systems and Software Engineering, vol.60, issue.61, pp.29-43, 2013. ,
DOI : 10.1016/j.jlap.2004.03.009
Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements, pp.203-206, 2010. ,
DOI : 10.1007/978-3-642-15585-7_22
Analysis of executable software models Advanced Lectures, SFM 2014, pp.1-25, 2014. ,
SLA Decomposition: Translating Service Level Objectives to System Level Thresholds, Fourth International Conference on Autonomic Computing (ICAC'07), pp.3-3, 2007. ,
DOI : 10.1109/ICAC.2007.36
URL : http://www.cs.mcgill.ca/~xueliu/publications/2007_ICAC.pdf
Cost-sensitive concurrent planning under duration uncertainty for service-level agreements, ICAPS, 2011. ,
Establishing and Monitoring SLAs in Complex Service Based Systems, 2009 IEEE International Conference on Web Services, pp.783-790, 2009. ,
DOI : 10.1109/ICWS.2009.47
URL : http://www.soi.city.ac.uk/~gespan/icws09.pdf
Task automata: Schedulability, decidability and undecidability. Information and Computation, pp.1149-1172, 2007. ,
DOI : 10.1016/j.ic.2007.01.009
URL : https://doi.org/10.1016/j.ic.2007.01.009
Non-functional properties in the model-driven development of service-oriented systems, Software & Systems Modeling, vol.68, issue.3, pp.287-311, 2011. ,
DOI : 10.1016/j.scico.2007.05.004
Mutant Apples: A Critical Examination of Cloud SLA Availability Definitions, 2013 IEEE 5th International Conference on Cloud Computing Technology and Science, pp.379-386, 2013. ,
DOI : 10.1109/CloudCom.2013.56
Generic event-based monitoring and adaptation methodology for heterogeneous distributed systems, Software: Practice and Experience, vol.17, issue.1, 2014. ,
DOI : 10.1109/MIC.2013.19
Time at your service: schedulability analysis of real-time and distributed services, 2010. ,
Composing Real-Time Concurrent Objects Refinement, Compatibility and Schedulability, Fundamentals of Software Engineering, pp.96-111, 2012. ,
DOI : 10.1007/978-3-642-29320-7_7
ABS: A Core Language for Abstract Behavioral Specification, Formal Methods for Components and Objects, pp.142-164, 2012. ,
DOI : 10.2498/cit.2002.01.01
URL : http://www.ifi.uio.no/%7Eeinarj/Papers/johnsen10fmco.pdf
Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS, Formal Methods and Software Engineering, pp.71-86, 2012. ,
DOI : 10.1007/978-3-642-34281-3_8
SLA★: An abstract syntax for Service Level Agreements, 2010 11th IEEE/ACM International Conference on Grid Computing, pp.217-224, 2010. ,
DOI : 10.1109/GRID.2010.5697973
The WSLA framework: Specifying and monitoring service level agreements for web services, Journal of Network and Systems Management, vol.11, issue.1, pp.57-81, 2003. ,
DOI : 10.1023/A:1022445108617
Efficient verification of realtime systems: compact data structure and state-space reduction, Real-Time Systems Symposium, 1997. Proceedings., The 18th IEEE, pp.14-24, 1997. ,
Run-time Monitoring of Distributed Applications, Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing, Middleware '98, pp.459-474, 1998. ,
DOI : 10.1007/978-1-4471-1283-9_28
Translation of SLAs into Monitoring Specifications, Service Level Agreements for Cloud Computing, pp.79-101, 2011. ,
DOI : 10.1007/978-1-4614-1614-2_6
The Future of a Missed Deadline, Coordination Models and Languages, pp.181-195, 2013. ,
DOI : 10.1007/978-3-642-38493-6_13
URL : https://hal.archives-ouvertes.fr/hal-01486026
Programming and deployment of active objects with application-level scheduling, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, pp.1883-1888, 2012. ,
DOI : 10.1145/2245276.2232086
Efficient online monitoring of webservice SLAs, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, pp.170-180, 2008. ,
Testing abstract behavioral specifications, International Journal on Software Tools for Technology Transfer, vol.14, issue.5, pp.107-119, 2015. ,
DOI : 10.1007/s10009-012-0250-1