{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,23]],"date-time":"2025-05-23T04:16:04Z","timestamp":1747973764200,"version":"3.41.0"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319175805"},{"type":"electronic","value":"9783319175812"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-17581-2_3","type":"book-chapter","created":{"date-parts":[[2015,4,15]],"date-time":"2015-04-15T12:22:36Z","timestamp":1429100556000},"page":"32-46","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Formal Verification of Distributed Task Migration for Thermal Management in On-Chip Multi-core Systems Using nuXmv"],"prefix":"10.1007","author":[{"given":"Syed Ali Asadullah","family":"Bukhari","sequence":"first","affiliation":[]},{"given":"Faiq Khalid","family":"Lodhi","sequence":"additional","affiliation":[]},{"given":"Osman","family":"Hasan","sequence":"additional","affiliation":[]},{"given":"Muhammad","family":"Shafique","sequence":"additional","affiliation":[]},{"given":"J\u00f6rg","family":"Henkel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,4,16]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Brooks, D., Martonosi, M.: Dynamic thermal management for high-performance microprocessors. In: High-Performance Computer Architecture, pp. 171\u2013182. IEEE (2001)","DOI":"10.1109\/HPCA.2001.903261"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Bukhari, S.A.A., Lodhi, F.K.: Formal verification of distributed task migration for thermal management in on-chip multi-core systems using nuXmv, National University of Sciences and Technology (2014). http:\/\/save.seecs.nust.edu.pk\/projects\/fdDTM\/fdDTM.html","DOI":"10.1007\/978-3-319-17581-2_3"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/978-3-319-08867-9_22","volume-title":"Computer Aided Verification","author":"R Cavada","year":"2014","unstructured":"Cavada, R., Cimatti, A., Dorigatti, M., Griggio, A., Mariotti, A., Micheli, A., Mover, S., Roveri, M., Tonetta, S.: The nuXmv Symbolic model checker. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 334\u2013342. Springer, Heidelberg (2014)"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Chen, F., Cao, Y., Ren, W.: Distributed computation of the average of multiple time-varying reference signals. In: American Control Conference, pp. 1650\u20131655 (2011)","DOI":"10.1109\/ACC.2011.5990966"},{"issue":"12","key":"3_CR5","doi-asserted-by":"publisher","first-page":"3169","DOI":"10.1109\/TAC.2012.2199176","volume":"57","author":"F Chen","year":"2012","unstructured":"Chen, F., Cao, Y., Ren, W.: Distributed average tracking of multiple time-varying reference signals with bounded derivatives. IEEE Trans. Autom. Control 57(12), 3169\u20133174 (2012)","journal-title":"IEEE Trans. Autom. Control"},{"key":"3_CR6","volume-title":"Model Checking","author":"EM Clarke Jr","year":"1999","unstructured":"Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Donald, J., Martonosi, M.: Techniques for multicore thermal management: classification and new exploration. In: Computer Architecture, pp. 78\u201388 (2006)","DOI":"10.1145\/1150019.1136493"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Donald, J., Martonosi, M.: Techniques for multicore thermal management: Classification and new exploration. In: ACM SIGARCH Computer Architecture News. vol. 34, pp. 78\u201388. IEEE Computer Society (2006)","DOI":"10.1145\/1150019.1136493"},{"key":"3_CR9","series-title":"Falk Symposium Series","doi-asserted-by":"publisher","DOI":"10.1007\/b105236","volume-title":"Advanced Formal Verification","author":"R Drechsler","year":"2004","unstructured":"Drechsler, R.: Advanced Formal Verification. Falk Symposium Series. Springer, Boston (2004)"},{"key":"3_CR10","unstructured":"Dunn, D.: Intel delays Montecito in roadmap shakeup. EE Times, Manufacturing\/Packaging, October 2005"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Ebi, T., Faruque, M., Henkel, J.: Tape: thermal-aware agent-based power econom multi\/many-core architectures. In: Computer-Aided Design. pp. 302\u2013309 (2009)","DOI":"10.1145\/1687399.1687457"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Ebi, T., Kramer, D., Karl, W., Henkel, J.: Economic learning for thermal-aware power budgeting in many-core architectures. In: Hardware\/Software Codesign and System Synthesis.pp. 189\u2013196, ACM (2011)","DOI":"10.1145\/2039370.2039401"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Ge, Y., Malani, P., Qiu, Q.: Distributed task migration for thermal management in many-core systems. In: Design Automation Conference, pp. 579\u2013584. ACM (2010)","DOI":"10.1145\/1837274.1837417"},{"key":"3_CR14","doi-asserted-by":"publisher","first-page":"219","DOI":"10.5194\/ars-11-219-2013","volume":"11","author":"E Glocker","year":"2013","unstructured":"Glocker, E., Schmitt-Landsiedel, D.: Modeling of temperature scenarios in a multicore processor system. Adv. Radio Sci. 11, 219\u2013225 (2013)","journal-title":"Adv. Radio Sci."},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Henkel, J., Ebi, T., Amrouch, H., Khdr, H.: Thermal management for dependable on-chip systems. In: Asia and South Pacific Design Automation Conference, pp. 113\u2013118 (2013)","DOI":"10.1109\/ASPDAC.2013.6509582"},{"issue":"5","key":"3_CR16","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"GJ Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker SPIN. IEEE Trans. softw. eng. 23(5), 279\u2013295 (1997)","journal-title":"IEEE Trans. softw. eng."},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Ismail, M., Hasan, O., Ebi, T., Shafique, M., Henkel, J.: Formal verification of distributed dynamic thermal management. In: Computer-Aided Design, pp. 248\u2013255. IEEE (2013)","DOI":"10.1109\/ICCAD.2013.6691126"},{"key":"3_CR18","unstructured":"ITRS: (2014). http:\/\/www.itrs.net\/Links\/2013ITRS\/2013Chapters\/2013Overview.pdf"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Kadin, M., Reda, S., Uht, A.: Central vs. distributed dynamic thermal management for multi-core processors: which one is better? In: Great Lakes Symposium on VLSI, pp. 137\u2013140. ACM (2009)","DOI":"10.1145\/1531542.1531577"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Khdr, H., Ebi, T., Shafique, M., Amrouch, H., Henkel, J.: mDTM: multi-objective dynamic thermal management for on-chip systems. In: Design, Automation Test in Europe, p. 330 (2014)","DOI":"10.7873\/DATE.2014.343"},{"issue":"3","key":"3_CR21","doi-asserted-by":"publisher","first-page":"13:1","DOI":"10.1145\/2187671.2187675","volume":"44","author":"J Kong","year":"2012","unstructured":"Kong, J., Chung, S.W., Skadron, K.: Recent thermal management techniques for microprocessors. ACM Comput. Surv. 44(3), 13:1\u201313:42 (2012)","journal-title":"ACM Comput. Surv."},{"issue":"7","key":"3_CR22","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Liu, Z., Huang, X., Tan, S.D., Wang, H., Tang, H.: Distributed task migration for thermal hot spot reduction in many-core microprocessors. In: ASIC, pp. 1\u20134 (2013)","DOI":"10.1109\/ASICON.2013.6811821"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Liu, Z., Xu, T., Tan, S.D., Wang, H.: Dynamic thermal management for multi-core microprocessors considering transient thermal effects. In: Design Automation Conference, pp. 473\u2013478 (2013)","DOI":"10.1109\/ASPDAC.2013.6509641"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Lungu, A., Bose, P., Sorin, D.J., German, S., Janssen, G.: Multicore power management: Ensuring robustness via early-stage formal verification. In: Formal Methods and Models for Codesign, pp. 78\u201387. IEEE (2009)","DOI":"10.1109\/MEMCOD.2009.5185383"},{"key":"3_CR26","unstructured":"MathSAT 5: (2014). http:\/\/mathsat.fbk.eu\/"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Mukherjee, R., Memik, S.O.: Physical aware frequency selection for dynamic thermal management in multi-core systems. In: Computer-aided Design, pp. 547\u2013552. ACM (2006)","DOI":"10.1109\/ICCAD.2006.320172"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Nath, R., Carmean, D., Rosing, T.S.: Power modeling and thermal management techniques for manycores. In: Computers and Communications. pp. 740\u2013746. IEEE (2013)","DOI":"10.1109\/ISCC.2013.6755037"},{"key":"3_CR29","first-page":"202","volume":"17","author":"G Norman","year":"2003","unstructured":"Norman, G., Parker, D., Kwiatkowska, M., Shukla, E., Gupta, R.: Using probabilistic model checking for dynamic power management. Formal Aspects Comput. 17, 202\u2013215 (2003)","journal-title":"Formal Aspects Comput."},{"key":"3_CR30","unstructured":"nuSMV: (2014). http:\/\/nusmv.fbk.eu\/"},{"key":"3_CR31","unstructured":"nuXmv: (2014). https:\/\/nuxmv.fbk.eu\/"},{"key":"3_CR32","doi-asserted-by":"crossref","unstructured":"Salami, B., Baharani, M., Noori, H.: An adaptive temperature threshold schema for dynamic thermal management of multi-core processors. In: Computer Architecture and Digital Systems, pp. 119\u2013120 (2013)","DOI":"10.1109\/CADS.2013.6714247"},{"key":"3_CR33","unstructured":"Schauer, B.: Multicore processors-a necessity. In: ProQuest discovery guides, pp. 1\u201314 (2008)"},{"key":"3_CR34","doi-asserted-by":"crossref","unstructured":"Shafique, M., Henkel, J.: Agent-based distributed power management for kilo-core processors. In: Computer-Aided Design, pp. 153\u2013160. IEEE (2013)","DOI":"10.1109\/ICCAD.2013.6691112"},{"key":"3_CR35","doi-asserted-by":"crossref","unstructured":"Shukla, S., Gupta, R.: A model checking approach to evaluating system level dynamic power management policies for embedded systems. In: High-Level Design Validation and Test Workshop, pp. 53\u201357. IEEE (2001)","DOI":"10.1109\/HLDVT.2001.972807"},{"key":"3_CR36","doi-asserted-by":"crossref","unstructured":"Singh, A., Shafique, M., Kumar, A., Henkel, J.: Mapping on multi\/many-core systems: Survey of current and emerging trends. In: Design Automation Conference (DAC), ACM\/EDAC\/IEEE.pp. 1\u201310 (2013)","DOI":"10.1145\/2463209.2488734"},{"key":"3_CR37","volume-title":"Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence","author":"G Weiss","year":"1999","unstructured":"Weiss, G.: Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence. MIT Press, Cambridge (1999)"},{"key":"3_CR38","unstructured":"Wolfram: (2014). http:\/\/functions.wolfram.com\/ComplexComponents\/Sign\/21\/01\/01\/"},{"key":"3_CR39","doi-asserted-by":"crossref","unstructured":"Wyngaard, J., Inggs, M., Collins, J., Farrimond, B.: Towards a many-core architecture for HPC. In: Field Programmable Logic and Applications, pp. 1\u20134 (2013)","DOI":"10.1109\/FPL.2013.6645595"},{"key":"3_CR40","doi-asserted-by":"crossref","unstructured":"Yang, J., Zhou, X., Chrobak, M., Zhang, Y., Jin, L.: Dynamic thermal management through task scheduling. In: Performance Analysis of Systems and software, pp. 191\u2013201 (2008)","DOI":"10.1109\/ISPASS.2008.4510751"},{"key":"3_CR41","doi-asserted-by":"crossref","unstructured":"Yun, B., Shin, K.G., Wang, S.: Predicting thermal behavior for temperature management in time-critical multicore systems. In: IEEE Real-Time and Embedded Technology and Applications Symposium, pp. 185\u2013194 (2013)","DOI":"10.1109\/RTAS.2013.6531091"}],"container-title":["Communications in Computer and Information Science","Formal Techniques for Safety-Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-17581-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T15:36:37Z","timestamp":1747928197000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-17581-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319175805","9783319175812"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-17581-2_3","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"16 April 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}