{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T16:11:00Z","timestamp":1746115860427,"version":"3.40.4"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319030760"},{"type":"electronic","value":"9783319030777"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-03077-7_23","type":"book-chapter","created":{"date-parts":[[2013,10,28]],"date-time":"2013-10-28T01:40:21Z","timestamp":1382924421000},"page":"344-358","source":"Crossref","is-referenced-by-count":0,"title":["Performance Evaluation of Process Partitioning Using Probabilistic Model Checking"],"prefix":"10.1007","author":[{"given":"Saddek","family":"Bensalem","sequence":"first","affiliation":[]},{"given":"Borzoo","family":"Bonakdarpour","sequence":"additional","affiliation":[]},{"given":"Marius","family":"Bozga","sequence":"additional","affiliation":[]},{"given":"Doron","family":"Peled","sequence":"additional","affiliation":[]},{"given":"Jean","family":"Quilbeuf","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"23_CR1","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1016\/j.tcs.2005.11.018","volume":"354","author":"Y. Abdedda\u00efm","year":"2006","unstructured":"Abdedda\u00efm, Y., Asarin, E., Maler, O.: Scheduling with timed automata. Theoretical Computer Science\u00a0354(2), 272\u2013300 (2006)","journal-title":"Theoretical Computer Science"},{"key":"23_CR2","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1109\/49.840210","volume":"18","author":"G. Bianchi","year":"2000","unstructured":"Bianchi, G.: Performance analysis of the IEEE 802.11 distributed coordination function. IEEE Journal on Selected Areas in Communications\u00a018, 535\u2013547 (2000)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Bonakdarpour, B., Bozga, M., Jaber, M., Quilbeuf, J., Sifakis, J.: Automated conflict-free distributed implementation of component-based models. In: IEEE Symposium on Industrial Embedded Systems (SIES), pp. 108\u2013117 (2010)","DOI":"10.1109\/SIES.2010.5551377"},{"issue":"1","key":"23_CR4","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/s00446-012-0168-6","volume":"25","author":"B. Bonakdarpour","year":"2012","unstructured":"Bonakdarpour, B., Bozga, M., Jaber, M., Quilbeuf, J., Sifakis, J.: A framework for automated distributed implementation of component-based models. Journal on Distributed Computing (DC)\u00a025(1), 383\u2013409 (2012)","journal-title":"Journal on Distributed Computing (DC)"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Bonakdarpour, B., Bozga, M., Quilbeuf, J.: Automated distributed implementation of component-based models with priorities. In: ACM International Conference on Embedded Software (EMSOFT), pp. 59\u201368 (2011)","DOI":"10.1145\/2038642.2038654"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Cao, M., Ma, W., Zhang, Q., Wang, X., Zhu, W.: Modelling and performance analysis of the distributed scheduler in IEEE 802.16 mesh mode. In: ACM International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc), pp. 78\u201389 (2005)","DOI":"10.1145\/1062689.1062701"},{"key":"23_CR7","unstructured":"Olsder, G.J., Bacelli, F., Cohen, G., Quadrat, J.P.: Synchronization and Linearity. Wiley (1992)"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Ferscha, A.: Concurrent execution of timed Petri nets. In: Winter Simulation Conference, pp. 229\u2013236 (1994)","DOI":"10.1109\/WSC.1994.717133"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Gaubert, S.: Methods and applications of (max,+) linear algebra. Technical Report 3088, INRIA (January 1997)","DOI":"10.1007\/BFb0023465"},{"key":"23_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M. Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: Verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 585\u2013591. Springer, Heidelberg (2011)"},{"key":"23_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1007\/3-540-36190-1","volume-title":"Application and Theory of Petri Nets 2002","author":"J. Cortadella","year":"2002","unstructured":"Cortadella, J., Kondratyev, A., Lavagno, L., Passerone, C., Watanabe, Y.: Quasi-static scheduling of independent tasksfor reactive systems. In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol.\u00a02360, pp. 208\u2013227. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software: Verification and Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-03077-7_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T18:28:51Z","timestamp":1746037731000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-03077-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319030760","9783319030777"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-03077-7_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}