乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T12:36:36Z","timestamp":1723034196310},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["SFB 1053"],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,2,9]]},"DOI":"10.1145\/3442391.3442409","type":"proceedings-article","created":{"date-parts":[[2021,2,9]],"date-time":"2021-02-09T15:53:50Z","timestamp":1612886030000},"update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications"],"prefix":"10.1145","author":[{"given":"Hendrik","family":"G\u00f6ttmann","sequence":"first","affiliation":[{"name":"Technical University Darmstadt, Germany"}]},{"given":"Isabelle","family":"Bacher","sequence":"additional","affiliation":[{"name":"Technical University Darmstadt, Germany"}]},{"given":"Nicolas","family":"Gottwald","sequence":"additional","affiliation":[{"name":"University of Siegen, Germany"}]},{"given":"Malte","family":"Lochau","sequence":"additional","affiliation":[{"name":"University of Siegen, Germany"}]}],"member":"320","published-online":{"date-parts":[[2021,2,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Model-Checking in Dense Real-Time. Information and computation 104, 1","author":"Alur Rajeev","year":"1993","unstructured":"Rajeev Alur , Costas Courcoubetis , and David Dill . 1993. Model-Checking in Dense Real-Time. Information and computation 104, 1 ( 1993 ), 2\u201334. Rajeev Alur, Costas Courcoubetis, and David Dill. 1993. Model-Checking in Dense Real-Time. Information and computation 104, 1 (1993), 2\u201334."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0032042"},{"key":"#cr-split#-e_1_3_2_1_3_1.1","doi-asserted-by":"crossref","unstructured":"Rajeev Alur Thomas\u00a0A. Henzinger and Moshe\u00a0Y. Vardi. 1993. Parametric Real-time Reasoning. In STOC'93. ACM 592-601. https:\/\/doi.org\/10.1145\/167088.167242 10.1145\/167088.167242","DOI":"10.1145\/167088.167242"},{"key":"#cr-split#-e_1_3_2_1_3_1.2","doi-asserted-by":"crossref","unstructured":"Rajeev Alur Thomas\u00a0A. Henzinger and Moshe\u00a0Y. Vardi. 1993. Parametric Real-time Reasoning. In STOC'93. ACM 592-601. https:\/\/doi.org\/10.1145\/167088.167242","DOI":"10.1145\/167088.167242"},{"key":"e_1_3_2_1_4_1","volume-title":"Feature-Oriented Software Product Lines","author":"Apel Sven","unstructured":"Sven Apel , Don Batory , Christian K\u00e4stner , and Gunter Saake . 2016. Feature-Oriented Software Product Lines . Springer . Sven Apel, Don Batory, Christian K\u00e4stner, and Gunter Saake. 2016. Feature-Oriented Software Product Lines. Springer."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_6_1","unstructured":"Gerd Behrmann Alexandre David Kim\u00a0Guldstrand Larsen John H\u00e5kansson Paul Pettersson Wang Yi and Martijn Hendriks. 2006. Uppaal 4.0. (2006). Gerd Behrmann Alexandre David Kim\u00a0Guldstrand Larsen John H\u00e5kansson Paul Pettersson Wang Yi and Martijn Hendriks. 2006. Uppaal 4.0. (2006)."},{"key":"e_1_3_2_1_7_1","volume-title":"Efficient On-the-Fly Algorithms for the Analysis of Timed Games. In CONCUR 2005 \u2013 Concurrency Theory, Mart\u00edn Abadi and Luca de\u00a0Alfaro (Eds.). Springer Berlin Heidelberg","author":"Cassez Franck","year":"2005","unstructured":"Franck Cassez , Alexandre David , Emmanuel Fleury , Kim\u00a0 G. Larsen , and Didier Lime . 2005 . Efficient On-the-Fly Algorithms for the Analysis of Timed Games. In CONCUR 2005 \u2013 Concurrency Theory, Mart\u00edn Abadi and Luca de\u00a0Alfaro (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg, 66\u201380. Franck Cassez, Alexandre David, Emmanuel Fleury, Kim\u00a0G. Larsen, and Didier Lime. 2005. Efficient On-the-Fly Algorithms for the Analysis of Timed Games. In CONCUR 2005 \u2013 Concurrency Theory, Mart\u00edn Abadi and Luca de\u00a0Alfaro (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 66\u201380."},{"key":"e_1_3_2_1_8_1","volume-title":"Application-Layer Overlay Networks for Communication-Based Train Control Systems. In 2018 IEEE Wireless Communications and Networking Conference (WCNC). IEEE, 1\u20136.","author":"Chan Mei\u00a0Ya","year":"2018","unstructured":"Mei\u00a0Ya Chan , Sami Baroudi , Joseph Siu , and J\u00f6rg Liebeherr . 2018 . Application-Layer Overlay Networks for Communication-Based Train Control Systems. In 2018 IEEE Wireless Communications and Networking Conference (WCNC). IEEE, 1\u20136. Mei\u00a0Ya Chan, Sami Baroudi, Joseph Siu, and J\u00f6rg Liebeherr. 2018. Application-Layer Overlay Networks for Communication-Based Train Control Systems. In 2018 IEEE Wireless Communications and Networking Conference (WCNC). IEEE, 1\u20136."},{"key":"e_1_3_2_1_9_1","volume-title":"Model Checking Adaptive Software with Featured Transition Systems","author":"Cordy Maxime","unstructured":"Maxime Cordy , Andreas Classen , Patrick Heymans , Axel Legay , and Pierre-Yves Schobbens . 2013. Model Checking Adaptive Software with Featured Transition Systems . Springer Berlin Heidelberg , Berlin, Heidelberg , 1\u201329. https:\/\/doi.org\/10.1007\/978-3-642-36249-1_1 10.1007\/978-3-642-36249-1_1 Maxime Cordy, Andreas Classen, Patrick Heymans, Axel Legay, and Pierre-Yves Schobbens. 2013. Model Checking Adaptive Software with Featured Transition Systems. Springer Berlin Heidelberg, Berlin, Heidelberg, 1\u201329. https:\/\/doi.org\/10.1007\/978-3-642-36249-1_1"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/FormaliSE.2013.6612279"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362549"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0361-y"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3382025.3414945"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2008.123"},{"key":"e_1_3_2_1_16_1","volume-title":"Automated Technology for Verification and Analysis","author":"Legay Axel","unstructured":"Axel Legay and Louis-Marie Traonouez . 2013. PyEcdar: Towards Open Source Implementation for Timed Systems . In Automated Technology for Verification and Analysis . Springer , 460\u2013463. Axel Legay and Louis-Marie Traonouez. 2013. PyEcdar: Towards Open Source Implementation for Timed Systems. In Automated Technology for Verification and Analysis. Springer, 460\u2013463."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-015-0470-4"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106195.3106204"},{"key":"e_1_3_2_1_19_1","unstructured":"Martin Pfannem\u00fcller. 2017. A Dynamic Software Product Line Approach for Planning and Execution of Reconfigurations in Self-Adaptive Systems. Master\u2019s thesis. Martin Pfannem\u00fcller. 2017. A Dynamic Software Product Line Approach for Planning and Execution of Reconfigurations in Self-Adaptive Systems. Master\u2019s thesis."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAC.2017.18"},{"key":"e_1_3_2_1_21_1","volume-title":"The Temporal Logic of Programs. In 18th Annual Symposium on Foundations of Computer Science (sfcs","author":"Pnueli Amir","year":"1977","unstructured":"Amir Pnueli . 1977 . The Temporal Logic of Programs. In 18th Annual Symposium on Foundations of Computer Science (sfcs 1977). IEEE, 46\u201357. Amir Pnueli. 1977. The Temporal Logic of Programs. In 18th Annual Symposium on Foundations of Computer Science (sfcs 1977). IEEE, 46\u201357."},{"key":"e_1_3_2_1_22_1","volume-title":"Software Product Line Engineering: Foundations, Principles and Techniques","author":"Pohl Klaus","unstructured":"Klaus Pohl , G\u00fcnter B\u00f6ckle , and Frank\u00a0 J van Der\u00a0Linden . 2005. Software Product Line Engineering: Foundations, Principles and Techniques . Springer Science & Business Media . Klaus Pohl, G\u00fcnter B\u00f6ckle, and Frank\u00a0J van Der\u00a0Linden. 2005. Software Product Line Engineering: Foundations, Principles and Techniques. Springer Science & Business Media."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-011-9152-9"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2017.6"},{"key":"e_1_3_2_1_25_1","series-title":"SIAM journal on computing 1, 2","volume-title":"Depth-first search and linear graph algorithms","author":"Tarjan Robert","year":"1972","unstructured":"Robert Tarjan . 1972. Depth-first search and linear graph algorithms . SIAM journal on computing 1, 2 ( 1972 ), 146\u2013160. Robert Tarjan. 1972. Depth-first search and linear graph algorithms. SIAM journal on computing 1, 2 (1972), 146\u2013160."},{"key":"e_1_3_2_1_26_1","volume-title":"A framework for quantitative modeling and analysis of highly (re) configurable systems","author":"Ter\u00a0Beek Maurice","year":"2018","unstructured":"Maurice Ter\u00a0Beek , Axel Legay , Alberto\u00a0Lluch Lafuente , and Andrea Vandin . 2018. A framework for quantitative modeling and analysis of highly (re) configurable systems . IEEE Transactions on Software Engineering( 2018 ). Maurice Ter\u00a0Beek, Axel Legay, Alberto\u00a0Lluch Lafuente, and Andrea Vandin. 2018. A framework for quantitative modeling and analysis of highly (re) configurable systems. IEEE Transactions on Software Engineering(2018)."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.06.002"}],"event":{"name":"VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems","location":"Krems Austria","acronym":"VaMoS'21"},"container-title":["Proceedings of the 15th International Working Conference on Variability Modelling of Software-Intensive Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3442391.3442409","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,18]],"date-time":"2023-01-18T18:08:55Z","timestamp":1674065335000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3442391.3442409"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,9]]},"references-count":27,"alternative-id":["10.1145\/3442391.3442409","10.1145\/3442391"],"URL":"https:\/\/doi.org\/10.1145\/3442391.3442409","relation":{},"subject":[],"published":{"date-parts":[[2021,2,9]]},"assertion":[{"value":"2021-02-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}