{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:49:55Z","timestamp":1750308595868,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,5,15]],"date-time":"2016-05-15T00:00:00Z","timestamp":1463270400000},"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":[[2016,5,15]]},"DOI":"10.1145\/2901378.2901388","type":"proceedings-article","created":{"date-parts":[[2016,5,13]],"date-time":"2016-05-13T18:21:10Z","timestamp":1463163670000},"page":"245-253","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Using DEv-PROMELA for Modelling and Verification of Software"],"prefix":"10.1145","author":[{"given":"Aznam","family":"Yacoub","sequence":"first","affiliation":[{"name":"Universit\u00e9 de Toulon, Marseille, France"}]},{"given":"Ma\u00e2mar el-amine","family":"Hamri","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Toulon, Marseille, France"}]},{"given":"Claudia","family":"Frydman","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Toulon, Marseille, France"}]}],"member":"320","published-online":{"date-parts":[[2016,5,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57318-6_30"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855591.1855595"},{"key":"e_1_3_2_1_4_1","first-page":"75","volume-title":"Proceedings of the 3rd International Workshop on Formal Methods for Industrial Critical Systems FMICS'98","author":"Bosnacki D.","year":"1998","unstructured":"D. Bosnacki . Toward modeling of hybrid systems in promela and spin . In Proceedings of the 3rd International Workshop on Formal Methods for Industrial Critical Systems FMICS'98 , pages 75 -- 96 , 1998 . D. Bosnacki. Toward modeling of hybrid systems in promela and spin. In Proceedings of the 3rd International Workshop on Formal Methods for Industrial Critical Systems FMICS'98, pages 75--96, 1998."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/646845.706806"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/646216.681834"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69850-0_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1505"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/788018.788803"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/11691372_29"},{"key":"e_1_3_2_1_11_1","volume-title":"Spin Model Checker, the: Primer and Reference Manual","author":"Holzmann G.","year":"2003","unstructured":"G. Holzmann . Spin Model Checker, the: Primer and Reference Manual . Addison-Wesley Professional , first edition, 2003 . G. Holzmann. Spin Model Checker, the: Primer and Reference Manual. Addison-Wesley Professional, first edition, 2003."},{"key":"e_1_3_2_1_12_1","volume-title":"USA","author":"Holzmann G. J.","year":"1991","unstructured":"G. J. Holzmann . Design and Validation of Computer Protocols. Prentice-Hall, Inc., Upper Saddle River, NJ , USA , 1991 . G. J. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1991."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_1_14_1","volume-title":"7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007","author":"Kwiatkowska M.","year":"2007","unstructured":"M. Kwiatkowska , G. Norman , and D. Parker . Formal Methods for Performance Evaluation : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007 , Bertinoro, Italy, May 28- June 2, 2007 , Advanced Lectures, chapter Stochastic Model Checking, pages 220--270. Springer Berlin Heidelberg, Berlin, Heidelberg, 2007. M. Kwiatkowska, G. Norman, and D. Parker. Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures, chapter Stochastic Model Checking, pages 220--270. Springer Berlin Heidelberg, Berlin, Heidelberg, 2007."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939399.1939412"},{"key":"e_1_3_2_1_16_1","volume-title":"Jan.","author":"Nabialek W.","year":"2008","unstructured":"W. Nabialek , A. Janowska , and P. Janowski . Translation of timed promela to timed automata with discrete data. Fundam. Inf., 85(1--4):409--424 , Jan. 2008 . W. Nabialek, A. Janowska, and P. Janowski. Translation of timed promela to timed automata with discrete data. Fundam. Inf., 85(1--4):409--424, Jan. 2008."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2528521.1508256"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.4108\/icst.valuetools.2013.254377"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.10.011"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/646480.693791"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/DS-RT.2014.27"},{"key":"e_1_3_2_1_22_1","first-page":"340","volume-title":"Proceedings of the 27th European Modelling and Simulation Symposium (EMSS 2015","author":"Yacoub A.","year":"2015","unstructured":"A. Yacoub , M. Hamri , C. Frydman , C. Seo , and B. Zeigler . Towards an extension of promela for the modeling, simulation and verification of discrete-event systems . In Proceedings of the 27th European Modelling and Simulation Symposium (EMSS 2015 ), pages 340 -- 348 , September 2015 . A. Yacoub, M. Hamri, C. Frydman, C. Seo, and B. Zeigler. Towards an extension of promela for the modeling, simulation and verification of discrete-event systems. In Proceedings of the 27th European Modelling and Simulation Symposium (EMSS 2015), pages 340--348, September 2015."},{"key":"e_1_3_2_1_23_1","first-page":"350","volume-title":"Proceedings of the 26th European Modeling and Simulation Symposium","author":"Zeigler B. P.","year":"2014","unstructured":"B. P. Zeigler and J. J. Nutaro . Combining devs and model-checking: Using systems morphisms for integrating simulation and analysis in model engineering . In Proceedings of the 26th European Modeling and Simulation Symposium , pages 350 -- 356 , 2014 . B. P. Zeigler and J. J. Nutaro. Combining devs and model-checking: Using systems morphisms for integrating simulation and analysis in model engineering. In Proceedings of the 26th European Modeling and Simulation Symposium, pages 350--356, 2014."}],"event":{"name":"SIGSIM-PADS '16: SIGSIM Principles of Advanced Discrete Simulation","sponsor":["SIGSIM ACM Special Interest Group on Simulation and Modeling"],"location":"Banff Alberta Canada","acronym":"SIGSIM-PADS '16"},"container-title":["Proceedings of the 2016 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2901378.2901388","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2901378.2901388","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:05:31Z","timestamp":1750273531000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2901378.2901388"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,15]]},"references-count":23,"alternative-id":["10.1145\/2901378.2901388","10.1145\/2901378"],"URL":"https:\/\/doi.org\/10.1145\/2901378.2901388","relation":{},"subject":[],"published":{"date-parts":[[2016,5,15]]},"assertion":[{"value":"2016-05-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}