{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,30]],"date-time":"2026-09-30T10:44:13Z","timestamp":1790765053902,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":14,"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.3167199","type":"proceedings-article","created":{"date-parts":[[2018,7,3]],"date-time":"2018-07-03T13:54:10Z","timestamp":1530626050000},"page":"609-615","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["A brute-force schedulability analysis for formal model under logical execution time assumption"],"prefix":"10.1145","author":[{"given":"Pierre-Emmanuel","family":"Hladik","sequence":"first","affiliation":[{"name":"Universit\u00e9 de Toulouse, Toulouse, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,4,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1879021.1879052"},{"key":"e_1_3_2_1_2_1","volume-title":"Proc. of the Embedded Real Time Software (ERTS).","author":"Berthomieu Bernard","year":"2008","unstructured":"Bernard Berthomieu , Jean-Paul Bodeveix , Patrick Farail , Mamoun Filali , Hubert Garavel , Pierre Gaufillet , Frederic Lang , and Fran\u00e7ois Vernadat . 2008 . Fiacre: an Intermediate Language for Model Verification in the Topcased Environment . In Proc. of the Embedded Real Time Software (ERTS). Bernard Berthomieu, Jean-Paul Bodeveix, Patrick Farail, Mamoun Filali, Hubert Garavel, Pierre Gaufillet, Frederic Lang, and Fran\u00e7ois Vernadat. 2008. Fiacre: an Intermediate Language for Model Verification in the Topcased Environment. In Proc. of the Embedded Real Time Software (ERTS)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207540412331312688"},{"key":"e_1_3_2_1_4_1","volume-title":"Embedded Real-Time Systems - A Specification and Design Methodology","author":"Calvez Jean-Paul","unstructured":"Jean-Paul Calvez . 1993. Embedded Real-Time Systems - A Specification and Design Methodology . Wiley . Jean-Paul Calvez. 1993. Embedded Real-Time Systems - A Specification and Design Methodology. Wiley."},{"key":"e_1_3_2_1_5_1","volume-title":"Proc. of the 5th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS).","author":"Ch\u00e9ramy Maxime","year":"2014","unstructured":"Maxime Ch\u00e9ramy , Pierre-Emmanuel Hladik , and Anne-Marie D\u00e9planche . 2014 . SimSo: A Simulation Tool to Evaluate Real-Time Multiprocessor Scheduling Algorithms . In Proc. of the 5th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS). Maxime Ch\u00e9ramy, Pierre-Emmanuel Hladik, and Anne-Marie D\u00e9planche. 2014. SimSo: A Simulation Tool to Evaluate Real-Time Multiprocessor Scheduling Algorithms. In Proc. of the 5th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS)."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1982185.1982345"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-016-9256-1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805825"},{"key":"e_1_3_2_1_9_1","volume-title":"Olivier Pasquier, S\u00e9bastien Pillement, and Bernard Berthomieu.","author":"Hladik Pierre-Emmanuel","year":"2016","unstructured":"Pierre-Emmanuel Hladik , Silvano Dal Zilio , Olivier Pasquier, S\u00e9bastien Pillement, and Bernard Berthomieu. 2016 . Outillage pour la mod\u00e9lisation, la v\u00e9rification et la g\u00e9n\u00e9ration d'applications temporis\u00e9es et embarqu\u00e9es. In 15\u00e8mes journ\u00e9es Approches Formelles dans l'Assistance au D\u00e9veloppement de Logiciels (AFADL) . Pierre-Emmanuel Hladik, Silvano Dal Zilio, Olivier Pasquier, S\u00e9bastien Pillement, and Bernard Berthomieu. 2016. Outillage pour la mod\u00e9lisation, la v\u00e9rification et la g\u00e9n\u00e9ration d'applications temporis\u00e9es et embarqu\u00e9es. In 15\u00e8mes journ\u00e9es Approches Formelles dans l'Assistance au D\u00e9veloppement de Logiciels (AFADL)."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/647368.723750"},{"key":"e_1_3_2_1_11_1","volume-title":"International Journal on Advances in Systems and Measurements 7","author":"Lelionnais C\u00e9drick","year":"2014","unstructured":"C\u00e9drick Lelionnais , J\u00e9r\u00f4me Delatour , Matthias Brun , Olivier H. Roux , and Charlotte Seidner . 2014. Formal Synthesis of Real-Time System Models in a MDE Approach . International Journal on Advances in Systems and Measurements 7 ( 2014 ). C\u00e9drick Lelionnais, J\u00e9r\u00f4me Delatour, Matthias Brun, Olivier H. Roux, and Charlotte Seidner. 2014. Formal Synthesis of Real-Time System Models in a MDE Approach. International Journal on Advances in Systems and Measurements 7 (2014)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-008-9059-0"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/2227482.2227487"}],"event":{"name":"SAC 2018: Symposium on Applied Computing","location":"Pau France","acronym":"SAC 2018","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 33rd Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167132.3167199","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3167132.3167199","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:13:29Z","timestamp":1750212809000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167132.3167199"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,9]]},"references-count":14,"alternative-id":["10.1145\/3167132.3167199","10.1145\/3167132"],"URL":"https:\/\/doi.org\/10.1145\/3167132.3167199","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"}}]}}