{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:12:42Z","timestamp":1750219962727,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T00:00:00Z","timestamp":1666483200000},"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":[[2022,10,23]]},"DOI":"10.1145\/3550356.3561594","type":"proceedings-article","created":{"date-parts":[[2022,11,9]],"date-time":"2022-11-09T18:13:20Z","timestamp":1668017600000},"page":"612-616","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Qualitative models for the supervision of CPS simulations"],"prefix":"10.1145","author":[{"given":"Baptiste","family":"Gueuziec","sequence":"first","affiliation":[{"name":"Universit\u00e9 Paris-Saclay, France"}]},{"given":"Jean-Pierre","family":"Gallois","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris-Saclay, France"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Boulanger","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris-Saclay, France"}]}],"member":"320","published-online":{"date-parts":[[2022,11,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Dynamics of the Brusselator. Math 715 Projects (Autumn 2002) 2","author":"Ault Shaun","year":"2003","unstructured":"Shaun Ault and Erik Holmgreen . 2003. Dynamics of the Brusselator. Math 715 Projects (Autumn 2002) 2 ( 2003 ). Shaun Ault and Erik Holmgreen. 2003. Dynamics of the Brusselator. Math 715 Projects (Autumn 2002) 2 (2003)."},{"key":"e_1_3_2_1_2_1","volume-title":"Computing flowpipe of nonlinear hybrid systems with numerical methods. arXiv preprint arXiv:1306.2305","author":"Bouissou Olivier","year":"2013","unstructured":"Olivier Bouissou , Alexandre Chapoutot , and Samuel Mimram . 2013. Computing flowpipe of nonlinear hybrid systems with numerical methods. arXiv preprint arXiv:1306.2305 ( 2013 ). Olivier Bouissou, Alexandre Chapoutot, and Samuel Mimram. 2013. Computing flowpipe of nonlinear hybrid systems with numerical methods. arXiv preprint arXiv:1306.2305 (2013)."},{"key":"e_1_3_2_1_3_1","unstructured":"Allen L Brown. 1974. Qualitative knowledge causal reasoning and the localization of failures. MIT Artificial Intelligence Laboratory.  Allen L Brown. 1974. Qualitative knowledge causal reasoning and the localization of failures. MIT Artificial Intelligence Laboratory."},{"key":"e_1_3_2_1_4_1","unstructured":"J. De Kleer. 197"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA465743"},{"key":"e_1_3_2_1_6_1","volume-title":"8th European Congress on Embedded Real Time Software and Systems (ERTS","author":"Gallois Jean-Pierre","year":"2016","unstructured":"Jean-Pierre Gallois and Jean-Yves Pierron . 2016 . Qualitative simulation and validation of complex hybrid systems . In 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016). Jean-Pierre Gallois and Jean-Yves Pierron. 2016. Qualitative simulation and validation of complex hybrid systems. In 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016)."},{"key":"e_1_3_2_1_7_1","unstructured":"Patrick J Hayes. 197"},{"key":"e_1_3_2_1_8_1","unstructured":"Patrick J Hayes. 198"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59615-5_13"},{"key":"e_1_3_2_1_10_1","volume-title":"Qualitative simulation. Artificial intelligence 29, 3","author":"Kuipers Benjamin","year":"1986","unstructured":"Benjamin Kuipers . 1986. Qualitative simulation. Artificial intelligence 29, 3 ( 1986 ), 289--338. Benjamin Kuipers. 1986. Qualitative simulation. Artificial intelligence 29, 3 (1986), 289--338."},{"key":"e_1_3_2_1_11_1","unstructured":"Philippe Dague Louise Trav\u00e9-Massuy\u00e8s. 2003. Mod\u00e8les et raisonnements qualitatifs. Hermes.  Philippe Dague Louise Trav\u00e9-Massuy\u00e8s. 2003. Mod\u00e8les et raisonnements qualitatifs. Hermes."},{"key":"e_1_3_2_1_12_1","unstructured":"Slim Medimegh. 2018. Analyse formelle de sp\u00e9cifications hybrides \u00e0 partir de mod\u00e8les SysML pour la validation fonctionnelle des syst\u00e8mes embarqu\u00e9s. Ph. D. Dissertation. Universit\u00e9 Paris Saclay (COmUE).  Slim Medimegh. 2018. Analyse formelle de sp\u00e9cifications hybrides \u00e0 partir de mod\u00e8les SysML pour la validation fonctionnelle des syst\u00e8mes embarqu\u00e9s. Ph. D. Dissertation. Universit\u00e9 Paris Saclay (COmUE)."},{"key":"e_1_3_2_1_13_1","volume-title":"La physique na\u00efve: un essai d'ontologie. Intellectica 17, 2","author":"Smith Barry","year":"1993","unstructured":"Barry Smith and Roberto Casati . 1993. La physique na\u00efve: un essai d'ontologie. Intellectica 17, 2 ( 1993 ). Barry Smith and Roberto Casati. 1993. La physique na\u00efve: un essai d'ontologie. Intellectica 17, 2 (1993)."},{"volume-title":"M\u00e9thodes num\u00e9riques de r\u00e9solution d'\u00e9quations diff\u00e9rentielles","author":"Stout Brian","key":"e_1_3_2_1_14_1","unstructured":"Brian Stout . 2007. M\u00e9thodes num\u00e9riques de r\u00e9solution d'\u00e9quations diff\u00e9rentielles . Marseille, France : Universite de Provence (2007) . Brian Stout. 2007. M\u00e9thodes num\u00e9riques de r\u00e9solution d'\u00e9quations diff\u00e9rentielles. Marseille, France: Universite de Provence (2007)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45873-5_36"},{"key":"e_1_3_2_1_16_1","unstructured":"Hadi Zaatiti. 2018. Mod\u00e9lisation et simulation qualitative de systemes hybrides. Ph. D. Dissertation. Universit\u00e9 Paris-Saclay (ComUE).  Hadi Zaatiti. 2018. Mod\u00e9lisation et simulation qualitative de systemes hybrides. Ph. D. Dissertation. Universit\u00e9 Paris-Saclay (ComUE)."}],"event":{"name":"MODELS '22: ACM\/IEEE 25th International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","Univ. of Montreal University of Montreal","IEEE CS"],"location":"Montreal Quebec Canada","acronym":"MODELS '22"},"container-title":["Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550356.3561594","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3550356.3561594","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:11Z","timestamp":1750182551000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550356.3561594"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,23]]},"references-count":16,"alternative-id":["10.1145\/3550356.3561594","10.1145\/3550356"],"URL":"https:\/\/doi.org\/10.1145\/3550356.3561594","relation":{},"subject":[],"published":{"date-parts":[[2022,10,23]]},"assertion":[{"value":"2022-11-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}