{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:46:58Z","timestamp":1725626818301},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642249327"},{"type":"electronic","value":"9783642249334"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24933-4_10","type":"book-chapter","created":{"date-parts":[[2011,10,29]],"date-time":"2011-10-29T08:11:49Z","timestamp":1319875909000},"page":"207-222","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Methodology for Compositional Cross-Layer Optimization"],"prefix":"10.1007","author":[{"given":"Minyoung","family":"Kim","sequence":"first","affiliation":[]},{"given":"Mark-Oliver","family":"Stehr","sequence":"additional","affiliation":[]},{"given":"Carolyn","family":"Talcott","sequence":"additional","affiliation":[]},{"given":"Nikil","family":"Dutt","sequence":"additional","affiliation":[]},{"given":"Nalini","family":"Venkatasubramanian","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Agha, G., Meseguer, J., Sen, K.: PMaude: Rewrite-based specification language for probabilistic object systems. In: 3rd Workshop on Quantitative Aspects of Programming Languages, QAPL 2005 (2005)"},{"key":"10_CR2","unstructured":"Forge Project, http:\/\/forge.ics.uci.edu"},{"key":"10_CR3","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. How to Specify, Program and Verify Systems in Rewriting Logic. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Hua, S., Qu, G., Bhattacharyya, S.S.: Energy reduction techniques for multimedia applications with tolerance to deadline misses. In: Proceedings of the 40th Conference on Design Automation (DAC 2003), pp. 131\u2013136 (2003)","DOI":"10.1145\/775832.775868"},{"key":"10_CR5","unstructured":"Kim, M., Dutt, N., Venkatasubramanian, N.: Policy construction and validation for energy minimization in cross layered systems: A formal method approach. In: IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006) Work-in-Progress Session (2006)"},{"key":"10_CR6","unstructured":"Kim, M., Massaguer, D., Dutt, N., Mehrotra, S., Ren, M.-O.S.S., Talcott, C., Venkatasubramanian, N.: A semantic framework for reconfiguration of instrumented cyber physical spaces. In: Workshop on Event-based Semantics (WEBS 2008), CPS Week (2008)"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Kim, M., Stehr, M.-O., Talcott, C.: A distributed logic for networked cyber-physical systems. In: IPM Int. Conf. Fundamentals of Software Engineering, FSEN 2011 (2011)","DOI":"10.1007\/978-3-642-29320-7_13"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Kim, M., Stehr, M.-O., Kim, J., Ha, S.: An application framework for loosely-coupled networked cyber-physical systems. In: 8th IEEE\/IFIP Int. Conf. Embedded and Ubiquitous Computing, EUC 2010 (2010)","DOI":"10.1109\/EUC.2010.30"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Kim, M.-Y., Stehr, M.-O., Talcott, C., Dutt, N., Venkatasubramanian, N.: Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters. In: Raskin, J.-F., Thiagarajan, P.S. (eds.) FORMATS 2007. LNCS, vol.\u00a04763, pp. 257\u2013273. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-75454-1_19"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Kim, M.-Y., Stehr, M.-O., Talcott, C., Dutt, N., Venkatasubramanian, N.: A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol.\u00a04468, pp. 285\u2013300. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-72952-5_18"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Kim, M., Stehr, M.-O., Talcott, C., Dutt, N., Venkatasubramanian, N.: Constraint refinement for online verifiable cross-layer system adaptation. In: Design, Automation and Test in Europe Conference and Exposition, DATE 2008 (2008)","DOI":"10.1109\/DATE.2008.4484750"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Kirkpatrick, S., Gelatt, C.D., Vecchi, M.P.: Optimization by simulated annealing. Science\u00a0(4598), 671\u2013680 (1983)","DOI":"10.1126\/science.220.4598.671"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Mohapatra, S., Cornea, R., Oh, H., Lee, K., Kim, M., Dutt, N.D., Gupta, R., Nicolau, A., Shukla, S.K., Venkatasubramanian, N.: A cross-layer approach for power-performance optimization in distributed mobile systems. In: IEEE 19th International Parallel and Distributed Processing Symposium, IPDPS 2005 (2005)","DOI":"10.1109\/IPDPS.2005.13"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Mohapatra, S., Dutt, N., Nicolau, A., Venkatasubramanian, N.: Dynamo: A cross-layer framework for end-to-end QoS and energy optimization in mobile handheld devices. IEEE Journal on Selected Areas in Communications\u00a025(4), 722\u2013737 (2007)","DOI":"10.1109\/JSAC.2007.070509"},{"key":"10_CR15","unstructured":"IFIP 10.4 Working\u00a0Group on\u00a0Dependable\u00a0Computing and Fault Tolerance, http:\/\/www.dependability.org\/wg10.4\/"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Sen, K., Viswanathan, M., Agha, G.: Statistical Model Checking of Black-Box Probabilistic Systems. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.\u00a03114, pp. 202\u2013215. Springer, Heidelberg (2004)","DOI":"10.1007\/978-3-540-27813-9_16"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Stehr, M.-O., Kim, M., Talcott, C.: Toward Distributed Declarative Control of Networked Cyber-Physical Systems. In: Yu, Z., Liscano, R., Chen, G., Zhang, D., Zhou, X. (eds.) UIC 2010. LNCS, vol.\u00a06406, pp. 397\u2013413. Springer, Heidelberg (2010)","DOI":"10.1007\/978-3-642-16355-5_32"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Stehr, M.-O., Talcott, C., Rushby, J., Lincoln, P., Kim, M., Cheung, S., Poggio, A.: Fractionated software for networked cyber-physical systems: Research directions and long-term vision. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Festschrift to the Honor of Carolyn Talcott. LNCS, vol.\u00a07000, pp. 111\u2013144. Springer, Heidelberg (2011)","DOI":"10.1007\/978-3-642-24933-4_7"},{"key":"10_CR19","unstructured":"xTune Framework, http:\/\/xtune.ics.uci.edu"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Younes, H.: Ymer: A statistical model checker. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 429\u2013433. Springer, Heidelberg (2005), http:\/\/www.tempastic.org\/ymer","DOI":"10.1007\/11513988_43"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Yuan, W., Nahrstedt, K.: Energy-efficient soft real-time CPU scheduling for mobile multimedia systems. In: 9th ACM Symposium on Operating Systems Principles (SOSP 2003), pp. 149\u2013163. ACM Press (2003)","DOI":"10.1145\/945445.945460"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Yuan, W., Nahrstedt, K., Adve, S.V., Jones, D.L., Kravets, R.H.: Grace-1: Cross-layer adaptation for multimedia quality and battery energy. IEEE Transactions on Mobile Computing\u00a05(7), 799\u2013815 (2006)","DOI":"10.1109\/TMC.2006.98"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling: Actors, Open Systems, Biological Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24933-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,18]],"date-time":"2019-06-18T19:59:02Z","timestamp":1560887942000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24933-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642249327","9783642249334"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24933-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}