{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:48:09Z","timestamp":1725551289154},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540000129"},{"type":"electronic","value":"9783540360803"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36080-8_14","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:55:19Z","timestamp":1269899719000},"page":"121-139","source":"Crossref","is-referenced-by-count":6,"title":["Towards Dependability Modeling of FT-CORBA Architectures"],"prefix":"10.1007","author":[{"given":"Istv\u00e1n","family":"Majzik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G\u00e1bor","family":"Huszerl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,11,8]]},"reference":[{"key":"14_CR1","unstructured":"Object Management Group: Fault tolerant CORBA. CORBA 2.6, Chapter 25 formal\/01-12-63, OMG Technical Committee, \n                    http:\/\/www.omg.org\n                    \n                   (2001)"},{"key":"14_CR2","unstructured":"Eternal Systems Inc.: Eternal embedded edition. Product description, \n                    http:\/\/www.eternal-systems.com\/products\n                    \n                   (2001)"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Bondavalli, A., Majzik, I., Mura, I.: Automated dependability analysis of UML designs. In: Proc. 2nd IEEE Int. Symposium on Object-Oriented Real-Time Distributed Computing (ISORC\u201999), Saint Malo, France (1999) 139\u2013144.","DOI":"10.1109\/ISORC.1999.776367"},{"key":"14_CR4","unstructured":"Popstojanova, K.G., Trivedi, K.S.: Architecture based software reliability. In: Proc. Int. Conf. on Appplied Stochastic System Modeling, Kyoto, Japan. (2000)"},{"key":"14_CR5","unstructured":"Nelli, M., Bondavalli, A., Simoncini, L.: Dependability modelling and analysis of complex control systems: An application to railway interlocking. In: Proc. EDCC-2, Springer Verlag (1996) 93\u2013110."},{"key":"14_CR6","unstructured":"Betous-Almeida, C., Kanoun, K.: Dependability evaluation-From functional to structural modeling. In: Proc. SAFECOMP 2001, Springer Verlag (2001) 239\u2013249."},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Rabah, M., Kanoun, K.: Dependability evaluation of a distributed shared memory multiprocessor system. In: Proc. EDCC-3, Springer Verlag (1999) 42\u201359.","DOI":"10.1007\/3-540-48254-7_4"},{"key":"14_CR8","first-page":"265","volume":"16","author":"A. Bondavalli","year":"2001","unstructured":"Bondavalli, A., Dal Cin, M., Latella, D., Majzik, I., Pataricza, A., Savoia, G.: Dependability analysis in the early phases of UML based system design. International Journal of Computer Systems-Science & Engineering 16 (2001) 265\u2013275.","journal-title":"International Journal of Computer Systems-Science & Engineering"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Bondavalli, A., Majzik, I., Mura, I.: Automatic dependability analysis for supporting design decisions in UML. In: Proc. Fourth IEEE Int. Symposium on High Assurance Systems Engineering (HASE\u201999). (1999) 64\u201371.","DOI":"10.1109\/HASE.1999.809476"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Huszerl, G., Majzik, I.: Modeling and analysis of redundancy management in distributed object-oriented systems by using UML statecharts. In: Proc. Workshop on Software Process and Product Improvement, the 27th EUROMICRO Conference, Warsaw, Poland. (2001) 200\u2013207.","DOI":"10.1109\/EURMIC.2001.952455"},{"key":"14_CR11","first-page":"9","volume":"1","author":"J.K. Muppala","year":"1994","unstructured":"Muppala, J.K., Ciardo, G., Trivedi, K.S.: Stochastic reward nets for reliability prediction. Comm. in Reliability, Maintainability and Serviceability 1 (1994) 9\u201320.","journal-title":"Comm. in Reliability, Maintainability and Serviceability"},{"key":"14_CR12","unstructured":"Ciardo, G., Muppala, J., Trivedi, K.S.: SPNP-stochastic Petri net package. In: Proc. IEEE 3rd Int. Workshop on Petri Nets and Performance Models (PNPM\u201989), Kyoto, Japan (1989) 142\u2013151."},{"key":"14_CR13","unstructured":"Allmaier, S., Dalibor, S.: Panda-Petri net ANalysis and Design Assistant. In: Tools Descriptions, 9th Int. Conf. on Modeling Techniques and Tools for Computer Performance Evaluation (Tools\u201997), St. Malo, France (1997)"},{"key":"14_CR14","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1109\/24.406578","volume":"44","author":"M. Malhotra","year":"1995","unstructured":"Malhotra, M., Trivedi, K.S.: Dependability modeling using Petri-nets. IEEE Transactions on Reliability 44 (1995) 428\u2013440.","journal-title":"IEEE Transactions on Reliability"},{"key":"14_CR15","unstructured":"Huszerl, G., Majzik, I.: Quantitative analysis of dependability critical systems based on UML statechart models. In: Proc. Fifth IEEE Int. Symposium on High Assurance Systems Engineering (HASE\u20192000). (2000) 83\u201392."}],"container-title":["Lecture Notes in Computer Science","Dependable Computing EDCC-4"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36080-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T13:05:50Z","timestamp":1550322350000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36080-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000129","9783540360803"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-36080-8_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}