{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T13:40:02Z","timestamp":1744206002399,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642340314"},{"type":"electronic","value":"9783642340321"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34032-1_13","type":"book-chapter","created":{"date-parts":[[2012,9,26]],"date-time":"2012-09-26T00:44:41Z","timestamp":1348620281000},"page":"96-110","source":"Crossref","is-referenced-by-count":4,"title":["Generalized Weakly-Hard Constraints"],"prefix":"10.1007","author":[{"given":"Sophie","family":"Quinton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Ernst","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"ATESST2 project, http:\/\/www.atesst.org"},{"key":"13_CR2","unstructured":"Bernat, G.: Specification and Analysis of Weakly Hard Real-Time Systems. PhD thesis, Universitat de les Illes Balears (1998)"},{"issue":"4","key":"13_CR3","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1109\/12.919277","volume":"50","author":"G. Bernat","year":"2001","unstructured":"Bernat, G., Burns, A., Llamos\u00ed, A.: Weakly hard real-time systems. IEEE Trans. Computers\u00a050(4), 308\u2013321 (2001)","journal-title":"IEEE Trans. Computers"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Henia, R., Hamann, A., Jersak, M., Racu, R., Richter, K., Ernst, R.: System level performance analysis - the SymTA\/S approach. In: IEE Proceedings Computers and Digital Techniques (2005)","DOI":"10.1049\/ip-cdt:20045088"},{"key":"13_CR5","series-title":"LNICST","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/978-3-642-10625-5_18","volume-title":"Quality of Service in Heterogeneous Networks","author":"M. Ivers","year":"2009","unstructured":"Ivers, M., Ernst, R.: Probabilistic Network Loads with Dependencies and the Effect on Queue Sojourn Times. In: Bartolini, N., Nikoletseas, S., Sinha, P., Cardellini, V., Mahanti, A. (eds.) QShine 2009. LNICST, vol.\u00a022, pp. 280\u2013296. Springer, Heidelberg (2009)"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Jersak, M., Henia, R., Ernst, R.: Context-aware performance analysis for efficient embedded system design. In: Proceedings of DATE 2004, pp. 1046\u20131051. IEEE Computer Society (2004)","DOI":"10.1109\/DATE.2004.1269031"},{"issue":"2","key":"13_CR7","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/s11241-008-9053-6","volume":"40","author":"J.M. L\u00f3pez","year":"2008","unstructured":"L\u00f3pez, J.M., D\u00edaz, J.L., Entrialgo, J., Garc\u00eda, D.F.: Stochastic analysis of real-time systems under preemptive priority-driven scheduling. Real-Time Systems\u00a040(2), 180\u2013207 (2008)","journal-title":"Real-Time Systems"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Quinton, S., Ernst, R., Bertrand, D., Yomsi, P.M.: Challenges and new trends in probabilistic timing analysis. In: Proceedings of DATE 2012 (2012); Hot Topic Special Session","DOI":"10.1109\/DATE.2012.6176605"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Quinton, S., Hanke, M., Ernst, R.: Formal analysis of sporadic overload in real-time systems. In: Proceedings of DATE 2012 (2012)","DOI":"10.1109\/DATE.2012.6176523"},{"key":"13_CR10","unstructured":"TADL: Timing Augmented Description Language \u2013 TIMMO public deliverable D6, http:\/\/timmo-2-use.org\/timmo\/pdf\/D6_TIMMO_TADL_Version_2_v12.pdf"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Thiele, L., Chakraborty, S., Naedele, M.: Real-time calculus for scheduling hard real-time systems. In: Proceedings of ISCAS 2000, vol. 4, pp. 101\u2013104. IEEE Computer Society (2000)","DOI":"10.1109\/ISCAS.2000.858698"},{"key":"13_CR12","unstructured":"TIMMO project, http:\/\/timmo-2-use.org\/timmo\/index.htm"},{"key":"13_CR13","unstructured":"TIMMO-2-USE project, http:\/\/timmo-2-use.org"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34032-1_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T13:15:23Z","timestamp":1744204523000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34032-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340314","9783642340321"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34032-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}