{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T10:38:31Z","timestamp":1725705511450},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642351785"},{"type":"electronic","value":"9783642351792"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35179-2_13","type":"book-chapter","created":{"date-parts":[[2012,11,14]],"date-time":"2012-11-14T02:20:42Z","timestamp":1352859642000},"page":"308-333","source":"Crossref","is-referenced-by-count":5,"title":["A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Marrone","sequence":"first","affiliation":[]},{"given":"Nicola","family":"Mazzocca","sequence":"additional","affiliation":[]},{"given":"Roberto","family":"Nardone","sequence":"additional","affiliation":[]},{"given":"Roberta","family":"Presta","sequence":"additional","affiliation":[]},{"given":"Simon Pietro","family":"Romano","sequence":"additional","affiliation":[]},{"given":"Valeria","family":"Vittorini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Camarillo, G., Garcia-Martin, M.A.: The 3G IP Multimedia Subsystem (IMS): Merging the Internet and the Cellular Worlds, 3rd edn. (September 2008)","DOI":"10.1002\/9780470695135"},{"issue":"1","key":"13_CR2","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/s10270-003-0039-5","volume":"3","author":"V. Vittorini","year":"2004","unstructured":"Vittorini, V., Iacono, M., Mazzocca, N., Franceschinis, G.: The OsMoSys approach to multi-formalism modeling of systems. Software and System Modeling\u00a03(1), 68\u201381 (2004)","journal-title":"Software and System Modeling"},{"issue":"3","key":"13_CR3","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1109\/MCOM.2007.344597","volume":"45","author":"A. Buono","year":"2007","unstructured":"Buono, A., Loreto, S., Miniero, L., Romano, S.P.: A distributed IMS enabled conferencing architecture on top of a standard centralized conferencing framework. IEEE Communications Magazine\u00a045(3), 152\u2013159 (2007)","journal-title":"IEEE Communications Magazine"},{"key":"13_CR4","unstructured":"3GPP. Conferencing using the IP multimedia (IM) core network (CN) subsystem; stage 3. Technical report, 3GPP (March 2006)"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Barnes, M., Boulton, C., Levin, O.: Rfc 5239 - a framework for centralized conferencing. Request for comments, IETF (June 2008)","DOI":"10.17487\/rfc5239"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-540-89054-6_9","volume-title":"Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks","author":"A. Amirante","year":"2008","unstructured":"Amirante, A., Castaldi, T., Miniero, L., Romano, S.P.: Improving the Scalability of an IMS-Compliant Conferencing Framework Part II: Involving Mixing and Floor Control. In: Schulzrinne, H., State, R., Niccolini, S. (eds.) IPTComm 2008. LNCS, vol.\u00a05310, pp. 174\u2013195. Springer, Heidelberg (2008)"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-540-89054-6_9","volume-title":"Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks","author":"A. Amirante","year":"2008","unstructured":"Amirante, A., Castaldi, T., Miniero, L., Romano, S.P.: Improving the Scalability of an IMS-Compliant Conferencing Framework Part II: Involving Mixing and Floor Control. In: Schulzrinne, H., State, R., Niccolini, S. (eds.) IPTComm 2008. LNCS, vol.\u00a05310, pp. 174\u2013195. Springer, Heidelberg (2008)"},{"key":"13_CR8","unstructured":"Truchly, P., Golha, M., Tomas, F., Radoslav, G., Legen, M.: Simulation of IMS using current simulators. In: 50th International Symposium on ELMAR, vol.\u00a02, pp. 545\u2013548 (September 2008)"},{"key":"13_CR9","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1109\/CSF.2007.31","volume-title":"Proceedings of the 20th IEEE Computer Security Foundations Symposium","author":"P. Gupta","year":"2007","unstructured":"Gupta, P., Shmatikov, V.: Security analysis of voice-over-ip protocols. In: Proceedings of the 20th IEEE Computer Security Foundations Symposium, pp. 49\u201363. IEEE Computer Society, Washington, DC (2007)"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/978-3-642-04444-1_24","volume-title":"Computer Security \u2013 ESORICS 2009","author":"R. Shankesi","year":"2009","unstructured":"Shankesi, R., AlTurki, M., Sasse, R., Gunter, C.A., Meseguer, J.: Model-Checking DoS Amplification for VoIP Session Initiation. In: Backes, M., Ning, P. (eds.) ESORICS 2009. LNCS, vol.\u00a05789, pp. 390\u2013405. Springer, Heidelberg (2009)"},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"1336","DOI":"10.1016\/j.comcom.2009.03.003","volume":"32","author":"A. Luo","year":"2009","unstructured":"Luo, A., Lin, C., Wang, K., Lei, L., Liu, C.: Quality of protection analysis and performance modeling in IP multimedia subsystem. Comput. Commun.\u00a032, 1336\u20131345 (2009)","journal-title":"Comput. Commun."},{"key":"13_CR12","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/978-3-642-17878-8_30","volume-title":"Advances in Networks and Communications","author":"A.P. Guimar\u00e3es","year":"2011","unstructured":"Guimar\u00e3es, A.P., Maciel, P.R.M., Matias Jr., R.: Quantitative Analysis of Dependability and Performability in Voice and Data Networks. In: Meghanathan, N., Kaushik, B.K., Nagamalai, D. (eds.) CCSIT 2011, Part II. CCIS, vol.\u00a0132, pp. 302\u2013312. Springer, Heidelberg (2011)"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Huaxu, W., GuiPing, S., Yanlan, D.: SIP Modeling and Simulation, pp. 397\u2013431. CRC Press (2008)","DOI":"10.1201\/9781420066043.ch16"},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"696","DOI":"10.1016\/j.eswa.2011.07.061","volume":"39","author":"C. Bo","year":"2012","unstructured":"Bo, C., Junliang, C., Min, D.: Petri net based formal analysis for multimedia conferencing services orchestration. Expert Systems with Applications\u00a039, 696\u2013705 (2012)","journal-title":"Expert Systems with Applications"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Owezarski, P., Boyer, M.: Modeling of Multimedia Architectures: The Case of Videoconferencing with Guaranteed Quality of Service, pp. 501\u2013525. ISTE (2010)","DOI":"10.1002\/9780470611647.ch17"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Franceschinis, G., Gribaudo, M., Iacono, M., Marrone, S., Moscato, F., Vittorini, V.: Interfaces and binding in component based development of formal models. In: Proceedings of the 4th International ICST Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2009, pp. 44:1\u201344:10. ICST (2009)","DOI":"10.4108\/ICST.VALUETOOLS2009.7677"},{"issue":"1","key":"13_CR17","first-page":"83","volume":"9","author":"F. Moscato","year":"2012","unstructured":"Moscato, F., Vittorini, V., Amato, F., Mazzeo, A., Mazzocca, N.: Solution workflows for model-based analysis of complex systems. IEEE T. Automation Science and Engineering\u00a09(1), 83\u201395 (2012)","journal-title":"IEEE T. Automation Science and Engineering"},{"issue":"50","key":"13_CR18","doi-asserted-by":"publisher","first-page":"1109","DOI":"10.1080\/002075400189059","volume":"38","author":"W.J. Zhang","year":"2000","unstructured":"Zhang, W.J., Li, Q., Bi, Z.M., Zha, X.F.: A generic Petri net model for flexible manufacturing systems and its use for FMS control software testing. International Journal of Production Research\u00a038(50), 1109\u20131131 (2000)","journal-title":"International Journal of Production Research"},{"key":"13_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/978-3-540-87785-1_17","volume-title":"Software Technologies for Embedded and Ubiquitous Systems","author":"A. Bondavalli","year":"2008","unstructured":"Bondavalli, A., Lollini, P., Montecchi, L.: Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults. In: Brinkschulte, U., Givargis, T., Russo, S. (eds.) SEUS 2008. LNCS, vol.\u00a05287, pp. 186\u2013197. Springer, Heidelberg (2008)"},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-642-24270-0_12","volume-title":"Computer Safety, Reliability, and Security","author":"K. Tiassou","year":"2011","unstructured":"Tiassou, K., Kanoun, K., Ka, M., Seguin, C., Papadopoulos, C.: Modeling Aircraft Operational Reliability. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol.\u00a06894, pp. 157\u2013170. Springer, Heidelberg (2011)"},{"issue":"1","key":"13_CR21","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1016\/j.ijcip.2011.03.001","volume":"4","author":"S. Chiaradonna","year":"2011","unstructured":"Chiaradonna, S., Di Giandomenico, F., Lollini, P.: Definition, implementation and application of a model-based framework for analyzing interdependencies in electric power systems. International Journal of Critical Infrastructure Protection\u00a04(1), 24\u201340 (2011)","journal-title":"International Journal of Critical Infrastructure Protection"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"Courtney, T., Gaonkar, S., Keefe, K., Rozier, E., Sanders, W.H.: M\u00f6bius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models. In: DSN, pp. 353\u2013358. IEEE (2009)","DOI":"10.1109\/DSN.2009.5270318"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35179-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T19:47:40Z","timestamp":1687808860000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35179-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642351785","9783642351792"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35179-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}