{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,25]],"date-time":"2026-09-25T21:13:48Z","timestamp":1790370828935,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,1,27]],"date-time":"2011-01-27T00:00:00Z","timestamp":1296086400000},"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":[[2011,1,27]]},"DOI":"10.1145\/1944892.1944904","type":"proceedings-article","created":{"date-parts":[[2011,3,2]],"date-time":"2011-03-02T02:39:19Z","timestamp":1299033559000},"page":"97-103","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Using constraint programming to verify DOPLER variability models"],"prefix":"10.1145","author":[{"given":"Raul","family":"Mazo","sequence":"first","affiliation":[{"name":"Panth\u00e9on Sorbonne University, Paris, France and University of Antioquia, Medell\u00edn, Colombia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paul","family":"Gr\u00fcnbacher","sequence":"additional","affiliation":[{"name":"Johannes Kepler University, Linz, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wolfgang","family":"Heider","sequence":"additional","affiliation":[{"name":"Johannes Kepler University, Linz, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rick","family":"Rabiser","sequence":"additional","affiliation":[{"name":"Johannes Kepler University, Linz, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Camille","family":"Salinesi","sequence":"additional","affiliation":[{"name":"Panth\u00e9on Sorbonne University, Paris, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniel","family":"Diaz","sequence":"additional","affiliation":[{"name":"Panth\u00e9on Sorbonne University, Paris, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2011,1,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11431855_34"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1574-6526(06)80007-6"},{"key":"e_1_3_2_1_4_1","volume-title":"Introduction To Synthesis. INTRO_SYNTHESIS_PROCESS-90019-N","author":"Campbell G. H.","year":"1990","unstructured":"G. H. Campbell , Jr., S. R. Faulk , D. M. Weiss . Introduction To Synthesis. INTRO_SYNTHESIS_PROCESS-90019-N , Software Productivity Consortium , Herndon, VA, USA , 1990 . G. H. Campbell, Jr., S. R. Faulk, D. M. Weiss. Introduction To Synthesis. INTRO_SYNTHESIS_PROCESS-90019-N, Software Productivity Consortium, Herndon, VA, USA, 1990."},{"key":"e_1_3_2_1_5_1","volume-title":"Generative Programming: Methods, Techniques, and Applications","author":"Czarnecki K.","year":"2000","unstructured":"K. Czarnecki , U. W. Eisenecker . Generative Programming: Methods, Techniques, and Applications . Addison-Wesley , 2000 . K. Czarnecki, U. W. Eisenecker. Generative Programming: Methods, Techniques, and Applications. Addison-Wesley, 2000."},{"issue":"6","key":"e_1_3_2_1_6_1","article-title":"Design and implementation of the GNU Prolog System","volume":"2001","author":"Diaz D.","year":"2001","unstructured":"D. Diaz , C. Philippe . Design and implementation of the GNU Prolog System . Journal of Functional and Logic Programming , 2001 ( 6 ), 2001 . http:\/\/www.gprolog.org. D. Diaz, C. Philippe. Design and implementation of the GNU Prolog System. Journal of Functional and Logic Programming, 2001(6), 2001. http:\/\/www.gprolog.org.","journal-title":"Journal of Functional and Logic Programming"},{"key":"e_1_3_2_1_7_1","first-page":"29","volume-title":"A Formal Semantics for Decision-oriented Variability Modeling with DOPLER, \"Proc. of the 4th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS","author":"Dhungana D.","year":"2010","unstructured":"D. Dhungana , P. Heymans , and R. Rabiser , \" A Formal Semantics for Decision-oriented Variability Modeling with DOPLER, \"Proc. of the 4th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2010 ), Linz, Austria , ICB-Research Report No. 37, University of Duisburg Essen , 2010, pp. 29 -- 35 . D. Dhungana, P. Heymans, and R. Rabiser, \"A Formal Semantics for Decision-oriented Variability Modeling with DOPLER, \"Proc. of the 4th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2010), Linz, Austria, ICB-Research Report No. 37, University of Duisburg Essen, 2010, pp. 29--35."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321730"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-010-0076-6"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/983234"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.11"},{"key":"e_1_3_2_1_13_1","volume-title":"CP00 Post Conference Workshop on Techniques for Implementing Constraint programming Systems (TRICS)","author":"Laburthe F.","year":"2000","unstructured":"F. Laburthe . Choco : implementing a cp kernel . In CP00 Post Conference Workshop on Techniques for Implementing Constraint programming Systems (TRICS) , Singapour , September 2000 . F. Laburthe. Choco: implementing a cp kernel. In CP00 Post Conference Workshop on Techniques for Implementing Constraint programming Systems (TRICS), Singapour, September 2000."},{"key":"e_1_3_2_1_14_1","unstructured":"R. Mazo C. Salinesi D. Diaz. VariaMos Eclipse plug-in. https:\/\/sites.google.com\/site\/raulmazo\/.  R. Mazo C. Salinesi D. Diaz. VariaMos Eclipse plug-in. https:\/\/sites.google.com\/site\/raulmazo\/."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2009.12.004"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1095605"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2010.36"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2003.04.002"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1452044.1452046"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2007.10.030"},{"key":"e_1_3_2_1_21_1","first-page":"29","volume-title":"Proc. of the Third International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2009","author":"van den Broek P.","year":"2009","unstructured":"P. van den Broek , I. Galv\u00e3o , \"Analysis of Feature Models using Generalised Feature Trees,\" Proc. of the Third International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2009 ), Sevilla, Spain, University Duisburg-Essen, ICB-Research Report No. 29 , 2009 , pp. 29 -- 36 . P. van den Broek, I. Galv\u00e3o, \"Analysis of Feature Models using Generalised Feature Trees,\" Proc. of the Third International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2009), Sevilla, Spain, University Duisburg-Essen, ICB-Research Report No. 29, 2009, pp. 29--36."},{"key":"e_1_3_2_1_22_1","volume-title":"Constraint Satisfaction in Logic Programming","author":"Van Hentenryck P.","year":"1989","unstructured":"P. Van Hentenryck . Constraint Satisfaction in Logic Programming . The MIT Press , 1989 . P. Van Hentenryck. Constraint Satisfaction in Logic Programming. The MIT Press, 1989."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859009"},{"key":"e_1_3_2_1_24_1","unstructured":"T. von der Ma\u00dfen and H. Lichter \"Deficiencies in Feature Models \"Proc. of the Workshop on Software Variability Management for Product Derivation - Towards Tool Support held in conjunction with SPLC 2004 - 3rd Software Product Line Conference Boston MA USA 2004 pp. 14.  T. von der Ma\u00dfen and H. Lichter \"Deficiencies in Feature Models \"Proc. of the Workshop on Software Variability Management for Product Derivation - Towards Tool Support held in conjunction with SPLC 2004 - 3rd Software Product Line Conference Boston MA USA 2004 pp. 14."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04211-9_7"},{"key":"e_1_3_2_1_26_1","first-page":"115","volume-title":"Proc. of the 6th International Conference on Formal Engineering Methods (ICFEM)","author":"Zhang W.","year":"2004","unstructured":"W. Zhang , H. Zhao , H. Mei , \" A propositional Logic-based Method for Verification of Feature Models ,\" Proc. of the 6th International Conference on Formal Engineering Methods (ICFEM) , Seattle, WA, USA, Springer , 2004 , pp. 115 -- 130 . W. Zhang, H. Zhao, H. Mei, \"A propositional Logic-based Method for Verification of Feature Models,\" Proc. of the 6th International Conference on Formal Engineering Methods (ICFEM), Seattle, WA, USA, Springer, 2004, pp. 115--130."}],"event":{"name":"VaMoS '11: 2011 Variability Modeling of Software-intensive Systems","location":"Namur Belgium","acronym":"VaMoS '11"},"container-title":["Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1944892.1944904","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1944892.1944904","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:59:31Z","timestamp":1750244371000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1944892.1944904"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1,27]]},"references-count":25,"alternative-id":["10.1145\/1944892.1944904","10.1145\/1944892"],"URL":"https:\/\/doi.org\/10.1145\/1944892.1944904","relation":{},"subject":[],"published":{"date-parts":[[2011,1,27]]},"assertion":[{"value":"2011-01-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}