{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:38:28Z","timestamp":1725791908926},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319064093"},{"type":"electronic","value":"9783319064109"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06410-9_26","type":"book-chapter","created":{"date-parts":[[2014,4,18]],"date-time":"2014-04-18T21:03:01Z","timestamp":1397854981000},"page":"367-381","source":"Crossref","is-referenced-by-count":1,"title":["Revisiting Compatibility of Input-Output Modal Transition Systems"],"prefix":"10.1007","author":[{"given":"Ivo","family":"Krka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicol\u00e1s","family":"D\u2019Ippolito","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nenad","family":"Medvidovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebasti\u00e1n","family":"Uchitel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC\/FSE (2001)","DOI":"10.1145\/503225.503226"},{"key":"26_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-642-12002-2_15","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S.S. Bauer","year":"2010","unstructured":"Bauer, S.S., Mayer, P., Schroeder, A., Hennicker, R.: On weak modal compatibility, refinement, and the MIO workbench. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol.\u00a06015, pp. 175\u2013189. Springer, Heidelberg (2010)"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"Classen, A., Cordy, M., Schobbens, P., Heymans, P., Legay, A., Raskin, J.: Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking 39(8) (2012)","DOI":"10.1109\/TSE.2012.86"},{"key":"26_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-642-32759-9_15","volume-title":"FM 2012: Formal Methods","author":"N. D\u2019Ippolito","year":"2012","unstructured":"D\u2019Ippolito, N., Braberman, V., Piterman, N., Uchitel, S.: The modal transition system control problem. In: Giannakopoulou, D., M\u00e9ry, D. (eds.) FM 2012. LNCS, vol.\u00a07436, pp. 155\u2013170. Springer, Heidelberg (2012)"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"Fischbein, D., D\u2019Ippolito, N., Brunet, G., Chechik, M., Uchitel, S.: Weak Alphabet Merging of Partial Behaviour Models. ACM TOSEM\u00a021(2) (2012)","DOI":"10.1145\/2089116.2089119"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"Fischbein, D., Uchitel, S.: On correct and complete strong merging of partial behaviour models. In: FSE (2008)","DOI":"10.1145\/1453101.1453144"},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Sci. of Comp. Prog. (1987)","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Keller, R.M.: Formal verification of parallel programs. Com. of the ACM (1976)","DOI":"10.1145\/360248.360251"},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"Krka, I., Brun, Y., Edwards, G., Medvidovic, N.: Synthesizing Partial Component-level Behavior Models from System Specifications. In: ESEC\/FSE (2009)","DOI":"10.1145\/1595696.1595756"},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"Krka, I., Medvidovic, N.: Revisiting modal interface automata. In: FORMSERA (2012)","DOI":"10.1109\/FormSERA.2012.6229786"},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"Krka, I., Medvidovic, N.: Distributing refinements of a system-level partial behavior model. In: RE (2013)","DOI":"10.1109\/RE.2013.6636707"},{"key":"26_CR12","unstructured":"Krka, I., Medvidovic, N.: Component-aware triggered scenarios. In: WICSA (Submitted)"},{"key":"26_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-71316-6_6","volume-title":"Programming Languages and Systems","author":"K.G. Larsen","year":"2007","unstructured":"Larsen, K.G., Nyman, U., W\u0105sowski, A.: Modal I\/O automata for interface and product line theories. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 64\u201379. Springer, Heidelberg (2007)"},{"key":"26_CR14","unstructured":"Larsen, K.G., Thomsen, B.: A Modal Process Logic. In: LICS (1988)"},{"key":"26_CR15","unstructured":"Larsen, K.G., Xinxin, L.: Equation solving using modal transition systems. In: LICS (1990)"},{"key":"26_CR16","doi-asserted-by":"crossref","unstructured":"Lynch, N.A., Tuttle, M.R.: Hierarchical correctness proofs for distributed algorithms. In: PODC 1987 (1987)","DOI":"10.1145\/41840.41852"},{"key":"26_CR17","unstructured":"Magee, J., Kramer, J.: Concurrency: State Models & Java Programs (2006)"},{"key":"26_CR18","doi-asserted-by":"crossref","unstructured":"Raclet, J.B., Badouel, E., Benveniste, A., Caillaud, B., Legay, A., Passerone, R.: Modal interfaces: unifying interface automata and modal specifications. In: EMSOFT (2009)","DOI":"10.1145\/1629335.1629348"},{"key":"26_CR19","doi-asserted-by":"crossref","unstructured":"Sibay, G.E., Braberman, V.A., Uchitel, S., Kramer, J.: Synthesising modal transition systems from triggered scenarios. IEEE TSE (2013)","DOI":"10.1109\/TSE.2012.62"},{"key":"26_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/978-3-642-32759-9_33","volume-title":"FM 2012: Formal Methods","author":"G.E. Sibay","year":"2012","unstructured":"Sibay, G.E., Uchitel, S., Braberman, V., Kramer, J.: Distribution of modal transition systems. In: Giannakopoulou, D., M\u00e9ry, D. (eds.) FM 2012. LNCS, vol.\u00a07436, pp. 403\u2013417. Springer, Heidelberg (2012)"},{"key":"26_CR21","doi-asserted-by":"crossref","unstructured":"Uchitel, S., Brunet, G., Chechik, M.: Synthesis of Partial Behavior Models from Properties and Scenarios. IEEE TSE\u00a035(3) (2009)","DOI":"10.1109\/TSE.2008.107"}],"container-title":["Lecture Notes in Computer Science","FM 2014: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06410-9_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T16:48:41Z","timestamp":1558889321000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06410-9_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319064093","9783319064109"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06410-9_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}