{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,13]],"date-time":"2026-05-13T19:03:43Z","timestamp":1778699023038,"version":"3.51.4"},"reference-count":76,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2023,3,29]],"date-time":"2023-03-29T00:00:00Z","timestamp":1680048000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"European Research Council (ERC) under the European Union\u2019s Horizon 2020 research and innovation programme","award":["694277"],"award-info":[{"award-number":["694277"]}]},{"name":"NSERC of Canada under the Discovery and CRC programs"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2023,4,30]]},"abstract":"<jats:p>Estimating worst-case execution time (WCET) is an important activity at early design stages of real-time systems. Based on WCET estimates, engineers make design and implementation decisions to ensure that task executions always complete before their specified deadlines. However, in practice, engineers often cannot provide precise point WCET estimates and prefer to provide plausible WCET ranges. Given a set of real-time tasks with such ranges, we provide an automated technique to determine for what WCET values the system is likely to meet its deadlines and, hence, operate safely with a probabilistic guarantee. Our approach combines a search algorithm for generating worst-case scheduling scenarios with polynomial logistic regression for inferring probabilistic safe WCET ranges. We evaluated our approach by applying it to three industrial systems from different domains and several synthetic systems. Our approach efficiently and accurately estimates probabilistic safe WCET ranges within which deadlines are likely to be satisfied with a high degree of confidence.<\/jats:p>","DOI":"10.1145\/3546941","type":"journal-article","created":{"date-parts":[[2022,7,9]],"date-time":"2022-07-09T13:17:39Z","timestamp":1657372659000},"page":"1-33","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages"],"prefix":"10.1145","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5222-1820","authenticated-orcid":false,"given":"Jaekwon","family":"Lee","sequence":"first","affiliation":[{"name":"University of Luxembourg, Luxembourg and University of Ottawa, Ottawa, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9025-7173","authenticated-orcid":false,"given":"Seung Yeob","family":"Shin","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0281-8231","authenticated-orcid":false,"given":"Shiva","family":"Nejati","sequence":"additional","affiliation":[{"name":"University of Ottawa, Canada and University of Luxembourg, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1393-1010","authenticated-orcid":false,"given":"Lionel","family":"Briand","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg and University of Ottawa, Ottawa, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2873-3076","authenticated-orcid":false,"given":"Yago Isasi","family":"Parache","sequence":"additional","affiliation":[{"name":"LuxSpace, Betzdorf, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,3,29]]},"reference":[{"key":"e_1_3_2_2_2","first-page":"764","volume-title":"Proceedings of the 5th IEEE International Conference on Software Testing, Verification and Validation (ICST\u201912)","author":"Alesio Stefano Di","year":"2012","unstructured":"Stefano Di Alesio, Arnaud Gotlieb, Shiva Nejati, and Lionel C. Briand. 2012. Testing deadline misses for real-time systems using constraint optimization techniques. In Proceedings of the 5th IEEE International Conference on Software Testing, Verification and Validation (ICST\u201912). IEEE, Montreal, QC, Canada, 764\u2013769."},{"key":"e_1_3_2_3_2","volume-title":"Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering (ISSRE\u201913)","author":"Alesio Stefano Di","year":"2013","unstructured":"Stefano Di Alesio, Shiva Nejati, Lionel C. Briand, and Arnaud Gotlieb. 2013. Stress testing of task deadlines: A constraint programming approach. In Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering (ISSRE\u201913). IEEE, Pasadena, CA, USA, 158\u2013167."},{"key":"e_1_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-016-9250-7"},{"key":"e_1_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32505-3_7"},{"key":"e_1_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2011.28"},{"key":"e_1_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1486"},{"key":"e_1_3_2_8_2","volume-title":"Operating Systems: Three Easy Pieces (1.00 ed.)","author":"Arpaci-Dusseau Remzi H.","year":"2018","unstructured":"Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau. 2018. Operating Systems: Three Easy Pieces (1.00 ed.). Arpaci-Dusseau Books."},{"key":"e_1_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(00)00165-4"},{"key":"e_1_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2005.12"},{"key":"e_1_3_2_11_2","volume-title":"IEEE 32nd Real-Time Systems Symposium","author":"Baruah S. K.","year":"2011","unstructured":"S. K. Baruah, A. Burns, and R. I. Davis. 2011. Response-time analysis for mixed criticality systems. In IEEE 32nd Real-Time Systems Symposium. IEEE, Vienna, Austria, 34\u201343."},{"key":"e_1_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/1007730.1007735"},{"key":"e_1_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1109\/12.919277"},{"key":"e_1_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2002.1181582"},{"key":"e_1_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-006-9010-1"},{"key":"e_1_3_2_16_2","volume-title":"Proceedings of the 17th International Workshop on Worst-Case Execution Time Analysis (WCET\u201917)","author":"Bonenfant Armelle","year":"2017","unstructured":"Armelle Bonenfant, Denis Claraz, Marianne De Michiel, and Pascal Sotin. 2017. Early WCET prediction using machine learning. In Proceedings of the 17th International Workshop on Worst-Case Execution Time Analysis (WCET\u201917). Vol. 57. Schloss Dagstuhl, Dagstuhl, Germany, Article 5, 9 pages."},{"key":"e_1_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010933404324"},{"key":"e_1_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/1068009.1068183"},{"key":"e_1_3_2_19_2","volume-title":"Real-Time Systems and Programming Languages - Ada, Real-Time Java and C \/ Real-Time POSIX (4th ed.)","author":"Burns Alan","year":"2009","unstructured":"Alan Burns and Andrew J. Wellings. 2009. Real-Time Systems and Programming Languages - Ada, Real-Time Java and C \/ Real-Time POSIX (4th ed.). Addison-Wesley. 738 pages."},{"key":"e_1_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1109\/FAMCAD.2007.35"},{"key":"e_1_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2008.36"},{"key":"e_1_3_2_22_2","doi-asserted-by":"crossref","unstructured":"Edmund M. Clarke William Klieber Milo\u0161 Nov\u00e1\u010dek and Paolo Zuliani. 2012. Tools for Practical Software Verification. Vol. 7682. Springer Chapter Model Checking and the State Explosion Problem 1\u201330.","DOI":"10.1007\/978-3-642-35746-6_1"},{"key":"e_1_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1002\/0470856343"},{"key":"e_1_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-010-9106-5"},{"issue":"4","key":"e_1_3_2_25_2","article-title":"A survey of hard real-time scheduling for multiprocessor systems","volume":"43","author":"Davis Robert I.","year":"2011","unstructured":"Robert I. Davis and Alan Burns. 2011. A survey of hard real-time scheduling for multiprocessor systems. ACM Computing Surveys 43, 4, Article 35 (2011), 44 pages.","journal-title":"ACM Computing Surveys"},{"key":"e_1_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.66"},{"issue":"1","key":"e_1_3_2_27_2","first-page":"4:1\u20134:37","article-title":"Combining genetic algorithms and constraint programming to support stress testing of task deadlines","volume":"25","author":"Alesio Stefano Di","year":"2015","unstructured":"Stefano Di Alesio, Lionel C. Briand, Shiva Nejati, and Arnaud Gotlieb. 2015. Combining genetic algorithms and constraint programming to support stress testing of task deadlines. ACM Transactions on Software Engineering and Methodology 25, 1, Article 4 (2015), 4:1\u20134:37.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"2","key":"e_1_3_2_28_2","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1007\/s10270-017-0585-x","article-title":"Using UML\/MARTE to support performance tuning and stress testing in real-time systems","volume":"17","author":"Alesio Stefano Di","year":"2018","unstructured":"Stefano Di Alesio and Sagar Sen. 2018. Using UML\/MARTE to support performance tuning and stress testing in real-time systems. Software and Systems Modeling 17, 2 (2018), 479\u2013508.","journal-title":"Software and Systems Modeling"},{"key":"e_1_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.1145\/3358181"},{"key":"e_1_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.5555\/2208101"},{"key":"e_1_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486849"},{"key":"e_1_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.5555\/1941310"},{"key":"e_1_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-017-9282-7"},{"key":"e_1_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10265-3_28"},{"key":"e_1_3_2_35_2","first-page":"1","volume-title":"Proceedings of the 9th International Workshop on Worst-Case Execution Time Analysis (WCET\u201909)","author":"Hansen Jeffery P.","year":"2009","unstructured":"Jeffery P. Hansen, Scott A. Hissam, and Gabriel A. Moreno. 2009. Statistical-based WCET estimation and validation. In Proceedings of the 9th International Workshop on Worst-Case Execution Time Analysis (WCET\u201909). 1\u201311."},{"key":"e_1_3_2_36_2","doi-asserted-by":"publisher","DOI":"10.5555\/2971808.2971829"},{"issue":"1","key":"e_1_3_2_37_2","first-page":"11:1\u201311:61","article-title":"Search-based software engineering: Trends, techniques and applications","volume":"45","author":"Harman Mark","year":"2012","unstructured":"Mark Harman, S. Afshin Mansouri, and Yuanyuan Zhang. 2012. Search-based software engineering: Trends, techniques and applications. ACM Computing Survey 45, 1, Article 11 (2012), 11:1\u201311:61.","journal-title":"ACM Computing Survey"},{"key":"e_1_3_2_38_2","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-84858-7","volume-title":"The Elements of Statistical Learning: Data Mining, Inference, and Prediction (2nd ed.)","author":"Hastie Trevor","year":"2009","unstructured":"Trevor Hastie, Robert Tibshirani, and Jerome H. Friedman. 2009. The Elements of Statistical Learning: Data Mining, Inference, and Prediction (2nd ed.). Springer. 745 pages."},{"key":"e_1_3_2_39_2","doi-asserted-by":"publisher","DOI":"10.5555\/319798"},{"key":"e_1_3_2_40_2","doi-asserted-by":"crossref","unstructured":"Kawakubo Hideko and Yoshida Hiroaki. 2012. Rapid feature selection based on random forests for high-dimensional data. Expert Systems with Applications 40 1 (2012) 6241\u20136252.","DOI":"10.1016\/j.eswa.2013.05.051"},{"key":"e_1_3_2_41_2","doi-asserted-by":"crossref","unstructured":"David W. Hosmer Jr. Stanley Lemeshow and Rodney X. Sturdivant. 2013. Applied Logistic Regression (3rd ed.). John Wiley & Sons Inc. 528 pages.","DOI":"10.1002\/9781118548387"},{"key":"e_1_3_2_42_2","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032352"},{"key":"e_1_3_2_43_2","unstructured":"Jaekwon Lee Seung Yeob Shin Shiva Nejati Lionel C. Briand and Yago Isasi Parache. 2022. [Case Study Data] Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages. Retrieved July 21 2022 from https:\/\/figshare.com\/s\/d63d32c8ee726912e3f0."},{"key":"e_1_3_2_44_2","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"e_1_3_2_45_2","volume-title":"Real-Time Systems (1st ed.)","author":"Liu Jane W. S.","year":"2000","unstructured":"Jane W. S. Liu. 2000. Real-Time Systems (1st ed.). Prentice Hall."},{"key":"e_1_3_2_46_2","volume-title":"Generic Avionics Software Specification","author":"Locke Douglas","year":"1990","unstructured":"Douglas Locke, Lee Lucas, and John Goodenough. 1990. Generic Avionics Software Specification. Technical Report CMU\/SEI-90-TR-008. Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA."},{"key":"e_1_3_2_47_2","volume-title":"Essentials of Metaheuristics (2nd ed.)","author":"Luke Sean","year":"2013","unstructured":"Sean Luke. 2013. Essentials of Metaheuristics (2nd ed.). Lulu. Retrieved July 21, 2022 from http:\/\/cs.gmu.edu\/~sean\/book\/metaheuristics\/."},{"key":"e_1_3_2_48_2","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177730491"},{"key":"e_1_3_2_49_2","doi-asserted-by":"publisher","DOI":"10.1145\/1027794.1027797"},{"key":"e_1_3_2_50_2","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1109\/RTSS.2013.30","volume-title":"Proceedings of the IEEE 34th Real-Time Systems Symposium (RTSS\u201913)","author":"Maxim Dorin","year":"2013","unstructured":"Dorin Maxim and Liliana Cucu-Grosjean. 2013. Response time analysis for fixed-priority tasks with multiple probabilistic parameters. In Proceedings of the IEEE 34th Real-Time Systems Symposium (RTSS\u201913). IEEE, Vancouver, BC, Canada, 224\u2013235."},{"issue":"6","key":"e_1_3_2_51_2","doi-asserted-by":"crossref","first-page":"1076","DOI":"10.1093\/sysbio\/syw026","article-title":"How well can we detect lineage-specific diversification-rate shifts? A simulation study of sequential AIC methods","volume":"65","author":"May Michael R.","year":"2016","unstructured":"Michael R. May and Brian R. Moore. 2016. How well can we detect lineage-specific diversification-rate shifts? A simulation study of sequential AIC methods. Systematic Biology 65, 6 (2016), 1076\u20131084.","journal-title":"Systematic Biology"},{"key":"e_1_3_2_52_2","first-page":"396","volume-title":"Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE\u201904)","author":"Mikucionis Marius","year":"2004","unstructured":"Marius Mikucionis, Kim Guldstrand Larsen, and Brian Nielsen. 2004. T-UPPAAL: Online model-based testing of real-time systems. In Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE\u201904). IEEE, Linz, Austria, 396\u2013397."},{"key":"e_1_3_2_53_2","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/978-3-642-16561-0_21","volume-title":"Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA\u201910)","author":"Miku\u010dionis Marius","year":"2010","unstructured":"Marius Miku\u010dionis, Kim Guldstrand Larsen, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, and Poul Hougaard. 2010. Schedulability analysis using UPPAAL: Herschel-Planck case study. In Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA\u201910). Springer, Berlin, Heidelberg, 175\u2013190."},{"key":"e_1_3_2_54_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2008.11.004"},{"key":"e_1_3_2_55_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-006-0759-0"},{"key":"e_1_3_2_56_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_48"},{"key":"e_1_3_2_57_2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/7.4.308"},{"key":"e_1_3_2_58_2","doi-asserted-by":"publisher","DOI":"10.1155\/2015\/471371"},{"issue":"1","key":"e_1_3_2_59_2","first-page":"3:1\u20133:26","article-title":"Generalized weakly hard schedulability analysis for real-time periodic tasks","volume":"20","author":"Pazzaglia Paolo","year":"2021","unstructured":"Paolo Pazzaglia, Youcheng Sun, and Marco Di Natale. 2021. Generalized weakly hard schedulability analysis for real-time periodic tasks. ACM Transactions on Embedded Computing Systems 20, 1, Article 3 (2021), 3:1\u20133:26.","journal-title":"ACM Transactions on Embedded Computing Systems"},{"key":"e_1_3_2_60_2","unstructured":"Marie-Agn\u00e8s Peraldi-Frati and Yves Sorel. 2008. From high-level modelling of time in MARTE to real-time scheduling analysis. In Proceedings of the MODELS\u201908 Workshop on Model Based Architecting and Construction of Embedded Systems (ACESMB) . CEUR-WS Toulouse France 129\u2013144."},{"key":"e_1_3_2_61_2","volume-title":"Artificial Intelligence - A Modern Approach (3rd ed.)","author":"Russell Stuart J.","year":"2010","unstructured":"Stuart J. Russell and Peter Norvig. 2010. Artificial Intelligence - A Modern Approach (3rd ed.). Pearson Education. 1132."},{"key":"e_1_3_2_62_2","doi-asserted-by":"publisher","DOI":"10.5555\/552538"},{"key":"e_1_3_2_63_2","volume-title":"Proceedings of the 2nd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS\u201913)","volume":"419","author":"Sun Youcheng","year":"2013","unstructured":"Youcheng Sun, Romain Soulat, Giuseppe Lipari, \u00c9tienne Andr\u00e9, and Laurent Fribourg. 2013. Parametric schedulability analysis of fixed priority real-time distributed systems. In Proceedings of the 2nd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS\u201913), Vol. 419. Springer, Cham, 212\u2013228."},{"key":"e_1_3_2_64_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICAS.2006.53"},{"issue":"2","key":"e_1_3_2_65_2","first-page":"101","article-title":"A critique and improvement of the CL common language effect size statistics of McGraw and Wong","volume":"25","author":"Vargha Andr\u00e1s","year":"2000","unstructured":"Andr\u00e1s Vargha and Harold D. Delaney. 2000. A critique and improvement of the CL common language effect size statistics of McGraw and Wong. Journal of Educational and Behavioral Statistics 25, 2 (2000), 101\u2013132.","journal-title":"Journal of Educational and Behavioral Statistics"},{"key":"e_1_3_2_66_2","doi-asserted-by":"publisher","DOI":"10.1109\/HPCSim.2014.6903792"},{"key":"e_1_3_2_67_2","volume-title":"Proceedings of the 30th Euromicro Conference on Real-Time Systems (ECRTS\u201918)","volume":"106","author":"Br\u00fcggen Georg von der","year":"2018","unstructured":"Georg von der Br\u00fcggen, Nico Piatkowski, Kuan-Hsun Chen, Jian-Jia Chen, and Katharina Morik. 2018. Efficiently approximating the probability of deadline misses in real-time systems. In Proceedings of the 30th Euromicro Conference on Real-Time Systems (ECRTS\u201918), Vol. 106. Schloss Dagstuhl, Dagstuhl, Germany, Article 6, 22 pages."},{"key":"e_1_3_2_68_2","series-title":"30th Euromicro Conference on Real-Time Systems (ECRTS\u201918)","first-page":"6:1\u20136:22","volume":"106","author":"Br\u00fcggen Georg von der","year":"2018","unstructured":"Georg von der Br\u00fcggen, Nico Piatkowski, Kuan-Hsun Chen, Jian-Jia Chen, and Katharina Morik. 2018. Efficiently approximating the probability of deadline misses in real-time systems. In 30th Euromicro Conference on Real-Time Systems (ECRTS\u201918)Leibniz International Proceedings in Informatics (LIPIcs), Vol. 106, Sebastian Altmeyer (Ed.). Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 6:1\u20136:22."},{"key":"e_1_3_2_69_2","volume-title":"Data Mining: Practical Machine Learning Tools and Techniques (3rd ed.)","author":"Witten Ian H.","year":"2011","unstructured":"Ian H. Witten, Eibe Frank, and Mark A. Hall. 2011. Data Mining: Practical Machine Learning Tools and Techniques (3rd ed.). Morgan Kaufmann Publishers Inc. 665 pages."},{"key":"e_1_3_2_70_2","volume-title":"Proceedings of the 44th ACM\/IEEE Design Automation Conference (DAC\u201907)","author":"Xian Changjiu","year":"2007","unstructured":"Changjiu Xian, Yung-Hsiang Lu, and Zhiyuan Li. 2007. Energy-aware scheduling for real-time multiprocessor systems with uncertain task execution time. In Proceedings of the 44th ACM\/IEEE Design Automation Conference (DAC\u201907). IEEE, San Diego, CA, USA, 664\u2013669."},{"key":"e_1_3_2_71_2","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2015.29"},{"key":"e_1_3_2_72_2","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8715111"},{"key":"e_1_3_2_73_2","doi-asserted-by":"publisher","DOI":"10.1080\/03610920701215639"},{"key":"e_1_3_2_74_2","volume-title":"Proceedings of the 2nd International Conference on Information Science and Engineering (ICISE\u201910)","author":"Yu Fei","year":"2010","unstructured":"Fei Yu, Guoqiang Li, and Naixue Xiong. 2010. Schedulability analysis of multi-processor real-time systems using UPPAAL. In Proceedings of the 2nd International Conference on Information Science and Engineering (ICISE\u201910). IEEE, Hangzhou, China, 1\u20136."},{"key":"e_1_3_2_75_2","volume-title":"Model-based Testing of Real-Time Embedded Systems in the Automotive Domain","author":"Zander Justyna","year":"2008","unstructured":"Justyna Zander. 2008. Model-based Testing of Real-Time Embedded Systems in the Automotive Domain. Ph.D. Dissertation. Fraunhofer FOKUS."},{"key":"e_1_3_2_76_2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2009.58"},{"issue":"7","key":"e_1_3_2_77_2","first-page":"1","article-title":"Variable selection with stepwise and best subset approaches","volume":"4","author":"Zhang Zhongheng","year":"2016","unstructured":"Zhongheng Zhang. 2016. Variable selection with stepwise and best subset approaches. Annals of Translational Medicine 4, 7 (2016), 1\u20136.","journal-title":"Annals of Translational Medicine"}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3546941","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3546941","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:00:42Z","timestamp":1750186842000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3546941"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,29]]},"references-count":76,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2023,4,30]]}},"alternative-id":["10.1145\/3546941"],"URL":"https:\/\/doi.org\/10.1145\/3546941","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"value":"1049-331X","type":"print"},{"value":"1557-7392","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,3,29]]},"assertion":[{"value":"2020-09-09","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-06-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-03-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}