{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:22:21Z","timestamp":1759332141244,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T00:00:00Z","timestamp":1523232000000},"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":[[2018,4,9]]},"DOI":"10.1145\/3167132.3167354","type":"proceedings-article","created":{"date-parts":[[2018,7,3]],"date-time":"2018-07-03T13:54:10Z","timestamp":1530626050000},"page":"2066-2075","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Assessing the functional feasibility of variability-intensive data flow-oriented systems"],"prefix":"10.1145","author":[{"given":"Sami","family":"Lazreg","sequence":"first","affiliation":[{"name":"Visteon Electronics and Universit\u00e9, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Collet","sequence":"additional","affiliation":[{"name":"Universit\u00e9 C\u00f4te d'Azur, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00e9bastien","family":"Mosser","sequence":"additional","affiliation":[{"name":"Universit\u00e9 C\u00f4te d'Azur, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,4,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2011.34"},{"volume-title":"Hardware-software co-design of embedded systems: the POLIS approach","author":"Balarin Felice","key":"e_1_3_2_1_2_1","unstructured":"Felice Balarin . 1997. Hardware-software co-design of embedded systems: the POLIS approach . Springer Science & Business Media . Felice Balarin. 1997. Hardware-software co-design of embedded systems: the POLIS approach. Springer Science & Business Media."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_4_1","volume-title":"UPPAAL-a tool suite for automatic verification of real-time systems. Hybrid Systems III","author":"Bengtsson Johan","year":"1996","unstructured":"Johan Bengtsson , Kim Larsen , Fredrik Larsson , Paul Pettersson , and Wang Yi. 1996. UPPAAL-a tool suite for automatic verification of real-time systems. Hybrid Systems III ( 1996 ), 232--243. Johan Bengtsson, Kim Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. 1996. UPPAAL-a tool suite for automatic verification of real-time systems. Hybrid Systems III (1996), 232--243."},{"volume-title":"Model checking","author":"Clarke Edmund M","key":"e_1_3_2_1_5_1","unstructured":"Edmund M Clarke , Orna Grumberg , and Doron Peled . 1999. Model checking . MIT press . Edmund M Clarke, Orna Grumberg, and Doron Peled. 1999. Model checking. MIT press."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.10.005"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0234-1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985838"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499777.2499781"},{"key":"e_1_3_2_1_11_1","volume-title":"Martin Toft, Ren\u00e9 Rydhof Hansen, and Kim Guldstrand Larsen.","author":"Dalsgaard Andreas E","year":"2010","unstructured":"Andreas E Dalsgaard , Mads Chr Olesen , Martin Toft, Ren\u00e9 Rydhof Hansen, and Kim Guldstrand Larsen. 2010 . Metamoc : Modular execution time analysis using model checking. In OASIcs-OpenAccess Series in Informatics, Vol. 15 . Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik . Andreas E Dalsgaard, Mads Chr Olesen, Martin Toft, Ren\u00e9 Rydhof Hansen, and Kim Guldstrand Larsen. 2010. Metamoc: Modular execution time analysis using model checking. In OASIcs-OpenAccess Series in Informatics, Vol. 15. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik."},{"key":"e_1_3_2_1_12_1","volume-title":"Automation and Test in Europe Conference and Exhibition (DATE)","author":"Graf Sebastian","year":"2014","unstructured":"Sebastian Graf , Michael Gla\u00df , Jurgen Teich , and Christoph Lauer . 2014 . Multi-variant-based design space exploration for automotive embedded systems. In Design , Automation and Test in Europe Conference and Exhibition (DATE) , 2014. IEEE, 1--6. Sebastian Graf, Michael Gla\u00df, Jurgen Teich, and Christoph Lauer. 2014. Multi-variant-based design space exploration for automotive embedded systems. In Design, Automation and Test in Europe Conference and Exhibition (DATE), 2014. IEEE, 1--6."},{"key":"e_1_3_2_1_13_1","volume-title":"2013 International Conference on. IEEE, 1--10","author":"Graf Sebastian","year":"2013","unstructured":"Sebastian Graf , Michael Gla\u00df , Dominic Wintermann , Jurgen Teich , and Christoph Lauer . 2013 . IVaM: Implicit variant modeling and management for automotive embedded systems. In Hardware\/Software Codesign and System Synthesis (CODES+ ISSS) , 2013 International Conference on. IEEE, 1--10 . Sebastian Graf, Michael Gla\u00df, Dominic Wintermann, Jurgen Teich, and Christoph Lauer. 2013. IVaM: Implicit variant modeling and management for automotive embedded systems. In Hardware\/Software Codesign and System Synthesis (CODES+ ISSS), 2013 International Conference on. IEEE, 1--10."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2747941"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2004.06.001"},{"key":"e_1_3_2_1_16_1","volume-title":"Architectures and Processors, 1997. Proceedings., IEEE International Conference on. IEEE, 338--349","author":"Kienhuis Bart","year":"1997","unstructured":"Bart Kienhuis , Ed Deprettere , Kees Vissers , and Pieter Van Der Wolf . 1997 . An approach for quantitative analysis of application-specific dataflow architectures. In Application-Specific Systems , Architectures and Processors, 1997. Proceedings., IEEE International Conference on. IEEE, 338--349 . Bart Kienhuis, Ed Deprettere, Kees Vissers, and Pieter Van Der Wolf. 1997. An approach for quantitative analysis of application-specific dataflow architectures. In Application-Specific Systems, Architectures and Processors, 1997. Proceedings., IEEE International Conference on. IEEE, 338--349."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1753235.1753267"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ESTMED.2008.4696986"},{"key":"e_1_3_2_1_19_1","volume-title":"Design Automation Conference, ASP-DAC. Asia and South Pacific. IEEE, 323--328","author":"Palermo Gianluca","year":"2009","unstructured":"Gianluca Palermo , Cristina Silvano , and Vittorio Zaccaria . 2009 . Variability-aware robust design sspace exploration of chip multiprocessor architectures . In Design Automation Conference, ASP-DAC. Asia and South Pacific. IEEE, 323--328 . Gianluca Palermo, Cristina Silvano, and Vittorio Zaccaria. 2009. Variability-aware robust design sspace exploration of chip multiprocessor architectures. In Design Automation Conference, ASP-DAC. Asia and South Pacific. IEEE, 323--328."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380403.2380422"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2009.5161199"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2009.5161220"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488734"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2015.11.006"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2010.5647727"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/FPT.2011.6132693"}],"event":{"name":"SAC 2018: Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Pau France","acronym":"SAC 2018"},"container-title":["Proceedings of the 33rd Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167132.3167354","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3167132.3167354","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:27:01Z","timestamp":1750213621000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167132.3167354"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,9]]},"references-count":26,"alternative-id":["10.1145\/3167132.3167354","10.1145\/3167132"],"URL":"https:\/\/doi.org\/10.1145\/3167132.3167354","relation":{},"subject":[],"published":{"date-parts":[[2018,4,9]]},"assertion":[{"value":"2018-04-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}