{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T15:19:13Z","timestamp":1772032753195,"version":"3.50.1"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2012,7,4]],"date-time":"2012-07-04T00:00:00Z","timestamp":1341360000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1007\/s10703-012-0162-4","type":"journal-article","created":{"date-parts":[[2012,7,3]],"date-time":"2012-07-03T16:38:17Z","timestamp":1341333497000},"page":"211-231","source":"Crossref","is-referenced-by-count":10,"title":["Probabilistic contracts for component-based design"],"prefix":"10.1007","volume":"41","author":[{"given":"Gregor","family":"G\u00f6ssler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dana N.","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alain","family":"Girault","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,7,4]]},"reference":[{"key":"162_CR1","volume-title":"Compilers\u2014principles, techniques, and tools","author":"AV Aho","year":"1986","unstructured":"Aho AV, Sethi R, Ullman JD (1986) Compilers\u2014principles, techniques, and tools. Addison-Wesley, Reading"},{"key":"162_CR2","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1109\/QEST.2010.23","volume-title":"International conference on the quantitative evaluation of systems, QEST\u201910","author":"B Caillaud","year":"2010","unstructured":"Caillaud B, Delahaye B, Larsen KG, Legay A, Pedersen ML, Wasowski A (2010) Compositional design methodology with constraint Markov chains. In: International conference on the quantitative evaluation of systems, QEST\u201910, pp 123\u2013132"},{"key":"162_CR3","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/3-540-44685-0_24","volume-title":"Proc CONCUR 2001\u2014concurrency theory, 12th international conference","author":"L Alfaro de","year":"2001","unstructured":"de Alfaro L, Henzinger TA, Jhala R (2001) Compositional methods for probabilistic systems. In: Larsen KG, Nielsen M (eds) Proc CONCUR 2001\u2014concurrency theory, 12th international conference. LNCS, vol 2154. Springer, Berlin, pp 351\u2013365"},{"issue":"1","key":"162_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10703-010-0107-8","volume":"38","author":"B Delahaye","year":"2011","unstructured":"Delahaye B, Caillaud B, Legay A (2011) Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and\/or non-deterministic aspects. Form Methods Syst Des 38(1):1\u201332","journal-title":"Form Methods Syst Des"},{"key":"162_CR5","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1145\/1450058.1450070","volume-title":"International conference on embedded software, EMSOFT\u201908","author":"L Doyen","year":"2008","unstructured":"Doyen L, Petrov T, Henzinger TA, Jobstmann B (2008) Interface theories with component reuse. In: International conference on embedded software, EMSOFT\u201908. ACM, New York, pp 79\u201388"},{"key":"162_CR6","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/11691617_5","volume-title":"International workshop on model checking software, SPIN\u201906","author":"H Fecher","year":"2006","unstructured":"Fecher H, Leucker M, Wolf V (2006) Don\u2019t know in probabilistic systems. In: International workshop on model checking software, SPIN\u201906. LNCS, vol 3925. Springer, Berlin, pp 71\u201388"},{"key":"162_CR7","first-page":"295","volume-title":"International conference on software engineering and formal methods, SEFM\u201909","author":"G G\u00f6ssler","year":"2009","unstructured":"G\u00f6ssler G, Raclet J-B (2009) Modal contracts for component-based design. In: International conference on software engineering and formal methods, SEFM\u201909. IEEE, New York, pp 295\u2013303"},{"issue":"1\u20133","key":"162_CR8","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/j.scico.2004.05.014","volume":"55","author":"G G\u00f6ssler","year":"2005","unstructured":"G\u00f6ssler G, Sifakis J (2005) Composition for component-based modeling. Sci Comput Program 55(1\u20133):161\u2013183","journal-title":"Sci Comput Program"},{"key":"162_CR9","doi-asserted-by":"crossref","unstructured":"G\u00f6ssler G, Xu DN, Girault A (2012) Probabilistic contracts for component-based design. Research report\u00a07328, INRIA","DOI":"10.1007\/s10703-012-0162-4"},{"key":"162_CR10","series-title":"LNCS","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45804-2","volume-title":"Interactive Markov chains: the quest for quantified quality","author":"H Hermanns","year":"2002","unstructured":"Hermanns H (2002) Interactive Markov chains: the quest for quantified quality. LNCS, vol 2428. Springer, Berlin"},{"key":"162_CR11","first-page":"266","volume-title":"Symposium on logic in computer science, LICS\u201991","author":"B Jonsson","year":"1991","unstructured":"Jonsson B, Larsen KG (1991) Specification and refinement of probabilistic processes. In: Symposium on logic in computer science, LICS\u201991. IEEE Computer Society, Los Alamitos, pp 266\u2013277"},{"key":"162_CR12","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/978-3-642-04368-0_16","volume-title":"International conference on formal modeling and analysis of timed systems, FORMATS\u201909","author":"J-P Katoen","year":"2009","unstructured":"Katoen J-P, Klink D, Neuh\u00e4u\u00dfer MR (2009) Compositional abstraction for stochastic systems. In: International conference on formal modeling and analysis of timed systems, FORMATS\u201909. LNCS, vol\u00a05813. Springer, Berlin, pp 195\u2013211"},{"key":"162_CR13","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-3-642-12002-2_3","volume-title":"International conference on tools and algorithms for the construction and analysis of systems, TACAS\u201910","author":"MZ Kwiatkowska","year":"2010","unstructured":"Kwiatkowska MZ, Norman G, Parker D, Qu H (2010) Assume-guarantee verification for probabilistic systems. In: International conference on tools and algorithms for the construction and analysis of systems, TACAS\u201910. LNCS, vol 6015. Springer, Berlin, pp 23\u201337"},{"key":"162_CR14","first-page":"1","volume-title":"Advances in object-oriented software engineering","author":"B Meyer","year":"1991","unstructured":"Meyer B (1991) Design by contract. In: Advances in object-oriented software engineering. Prentice Hall, New York, pp 1\u201350"},{"issue":"3","key":"162_CR15","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1145\/229542.229547","volume":"18","author":"C Morgan","year":"1996","unstructured":"Morgan C, McIver A, Seidel K (1996) Probabilistic predicate transformers. ACM Trans Program Lang Syst 18(3):325\u2013353","journal-title":"ACM Trans Program Lang Syst"},{"key":"162_CR16","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1109\/ACSD.2009.22","volume-title":"International conference on application of concurrency to system design, ACSD\u201909","author":"J-B Raclet","year":"2009","unstructured":"Raclet J-B, Badouel E, Benveniste A, Caillaud B, Passerone R (2009) Why modalities are good for interface theories? In: International conference on application of concurrency to system design, ACSD\u201909. IEEE, New York, pp 119\u2013127"},{"key":"162_CR17","series-title":"LNCS","first-page":"325","volume-title":"International symposium on automated technology for verification and analysis, ATVA\u201910","author":"DN Xu","year":"2010","unstructured":"Xu DN, G\u00f6ssler G, Girault A (2010) Probabilistic contracts for component-based design. In: International symposium on automated technology for verification and analysis, ATVA\u201910. LNCS, vol 6252. Springer, Berlin, pp 325\u2013340"},{"key":"162_CR18","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"680","DOI":"10.1007\/3-540-58468-4_190","volume-title":"Third international symposium on formal techniques in real-time and fault-tolerant systems, FTRTFT\u201994","author":"W Yi","year":"1994","unstructured":"Yi W (1994) Algebraic reasoning for real-time probabilistic processes with uncertain information. In: Third international symposium on formal techniques in real-time and fault-tolerant systems, FTRTFT\u201994. LNCS, vol 863. Springer, Berlin, pp 680\u2013693"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-012-0162-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-012-0162-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-012-0162-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,20]],"date-time":"2022-01-20T03:37:04Z","timestamp":1642649824000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-012-0162-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,4]]},"references-count":18,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2012,10]]}},"alternative-id":["162"],"URL":"https:\/\/doi.org\/10.1007\/s10703-012-0162-4","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,7,4]]}}}