{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:14:10Z","timestamp":1750306450971,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,7,20]],"date-time":"2015-07-20T00:00:00Z","timestamp":1437350400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,7,20]]},"DOI":"10.1145\/2791060.2791118","type":"proceedings-article","created":{"date-parts":[[2015,8,24]],"date-time":"2015-08-24T14:09:20Z","timestamp":1440425360000},"page":"432-439","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Using FMC for family-based analysis of software product lines"],"prefix":"10.1145","author":[{"given":"Maurice H.","family":"ter Beek","sequence":"first","affiliation":[{"name":"ISTI--CNR, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[{"name":"DSI, Universit\u00e0 di Firenze and ISTI--CNR, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[{"name":"ISTI--CNR, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franco","family":"Mazzanti","sequence":"additional","affiliation":[{"name":"ISTI--CNR, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,7,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100075"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486852"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"J. C. M.\n       \n      Baeten T.\n       \n      Basten and \n      \n      \n      M. A.\n       \n      Reniers\n      \n  \n  . \n  Process Algebra: Equational Theories of Communicating Processes volume \n  50\n   of \n  Cambridge Tracts in Theoretical Computer Science\n  . \n  Cambridge University Press 2010\n  .   J. C. M. Baeten T. Basten and M. A. Reniers. Process Algebra: Equational Theories of Communicating Processes volume 50 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press 2010.","DOI":"10.1017\/CBO9781139195003"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"J. C. M.\n       \n      Baeten\n     and \n      \n      \n      W. P.\n       \n      Weijland\n      \n  \n  . \n  Process Algebra volume \n  18\n   of \n  Cambridge Tracts in Theoretical Computer Science\n  . \n  Cambridge University Press 1990\n  .   J. C. M. Baeten and W. P. Weijland. Process Algebra volume 18 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press 1990.","DOI":"10.1017\/CBO9780511624193"},{"volume-title":"The MIT Press","year":"2008","author":"Baier C.","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"volume-title":"LNCS. Springer","year":"2015","author":"Beek M. H.","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2647908.2655970"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45234-9_26"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593489.2593493"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.07.002"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"M. H. ter Beek A. Fantechi S. Gnesi and F. Mazzanti. Modelling and Analysing the Variability in Product Families: Model Checking of Modal Transition Systems 2015.  M. H. ter Beek A. Fantechi S. Gnesi and F. Mazzanti. Modelling and Analysing the Variability in Product Families: Model Checking of Modal Transition Systems 2015.","DOI":"10.1016\/j.jlamp.2015.11.006"},{"key":"e_1_3_2_1_13_1","series-title":"LNCS","first-page":"312","volume-title":"Software, Services and Systems","author":"M.","year":"2015"},{"key":"e_1_3_2_1_14_1","first-page":"56","volume-title":"SPLC workshop FMSPLE","volume":"182","author":"Beek M. H.","year":"2015"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2791060.2791087"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499777.2500722"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2647908.2655969"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1529282.1529751"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"M.\n     H.\n      \n  \n   \n  ter Beek F. Mazzanti and A. Sulova. VMC: A Tool for Product Variability Analysis. In D. Giannakopoulou and D. M\u00e9ry editors FM volume \n  7436\n   of \n  LNCS pages \n  450\n  --\n  454\n  . \n  Springer 2012\n  .  M. H. ter Beek F. Mazzanti and A. Sulova. VMC: A Tool for Product Variability Analysis. In D. Giannakopoulou and D. M\u00e9ry editors FM volume 7436 of LNCS pages 450--454. Springer 2012.","DOI":"10.1007\/978-3-642-32759-9_36"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"J. C.\n       \n      Bradfield\n     and \n      \n      \n      C.\n       \n      Stirling\n      \n  \n  . \n  Modal μ-calculi. In P. Blackburn J. F. A. K. van Benthem and F. Wolter editors Handbook of Modal Logic volume \n  3\n   of \n  Studies in Logic and Practical Reasoning pages \n  721\n  --\n  756\n  . \n  Elsevier 2007\n  .  J. C. Bradfield and C. Stirling. Modal μ-calculi. In P. Blackburn J. F. A. K. van Benthem and F. Wolter editors Handbook of Modal Logic volume 3 of Studies in Logic and Practical Reasoning pages 721--756. Elsevier 2007.","DOI":"10.1016\/S1570-2464(07)80015-2"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"volume-title":"The MIT Press","year":"1999","author":"Clarke E. M.","key":"e_1_3_2_1_22_1"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0234-1"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.86"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499777.2499781"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_15"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"R.\n       \n      De Nicola A.\n       \n      Fantechi S.\n       \n      Gnesi and \n      \n      \n      G.\n       \n      Ristori\n      \n  \n  . \n  An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. In K. G. Larsen and A. Skou editors CAV volume \n  575\n   of \n  LNCS pages \n  37\n  --\n  47\n  . \n  Springer 1991\n  .   R. De Nicola A. Fantechi S. Gnesi and G. Ristori. An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. In K. G. Larsen and A. Skou editors CAV volume 575 of LNCS pages 37--47. Springer 1991.","DOI":"10.1007\/3-540-55179-4_5"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"R.\n       \n      De Nicola\n     and \n      \n      \n      F. W.\n       \n      Vaandrager\n      \n  \n  . \n  Action versus State based Logics for Transition Systems. In I. Guessarian editor Semantics of Systems of Concurrent Processes volume \n  469\n   of \n  LNCS pages \n  407\n  --\n  419\n  . \n  Springer 1990\n  .   R. De Nicola and F. W. Vaandrager. Action versus State based Logics for Transition Systems. In I. Guessarian editor Semantics of Systems of Concurrent Processes volume 469 of LNCS pages 407--419. Springer 1990.","DOI":"10.1007\/3-540-53479-2_17"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2211616.2211619"},{"key":"e_1_3_2_1_32_1","first-page":"1040","volume-title":"PDPTA","author":"Gnesi S.","year":"1999"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"S.\n       \n      Gnesi\n     and \n      \n      \n      F.\n       \n      Mazzanti\n      \n  \n  . \n  An Abstract on the Fly Framework for the Verification of Service-Oriented Systems. In M. Wirsing and M. M. H\u00f6lzl editors Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing volume \n  6582\n   of \n  LNCS pages \n  390\n  --\n  407\n  . \n  Springer 2011\n  .   S. Gnesi and F. Mazzanti. An Abstract on the Fly Framework for the Verification of Service-Oriented Systems. In M. Wirsing and M. M. H\u00f6lzl editors Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing volume 6582 of LNCS pages 390--407. Springer 2011.","DOI":"10.1007\/978-3-642-20401-2_18"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364412.2364424"},{"volume-title":"The MIT Press","year":"2014","author":"Groote J. F.","key":"e_1_3_2_1_35_1"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(82)90125-6"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.16"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2007.10.023"},{"key":"e_1_3_2_1_39_1","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall 1989.   R. Milner. Communication and Concurrency. Prentice Hall 1989."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.45"},{"volume-title":"Prentice Hall","year":"1997","author":"Roscoe A. W.","key":"e_1_3_2_1_41_1"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2006.23"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2580950"}],"event":{"name":"SPLC '15: 2015 International Conference on Software Product Lines","sponsor":["Vanderbilt University Vanderbilt University","Biglever BigLever Software, Inc."],"location":"Nashville Tennessee","acronym":"SPLC '15"},"container-title":["Proceedings of the 19th International Conference on Software Product Line"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2791060.2791118","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2791060.2791118","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:43:09Z","timestamp":1750225389000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2791060.2791118"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,20]]},"references-count":42,"alternative-id":["10.1145\/2791060.2791118","10.1145\/2791060"],"URL":"https:\/\/doi.org\/10.1145\/2791060.2791118","relation":{},"subject":[],"published":{"date-parts":[[2015,7,20]]},"assertion":[{"value":"2015-07-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}