{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:34:09Z","timestamp":1761489249778,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/somet.2013.6645657","type":"proceedings-article","created":{"date-parts":[[2013,10,30]],"date-time":"2013-10-30T20:12:38Z","timestamp":1383163958000},"page":"165-170","source":"Crossref","is-referenced-by-count":9,"title":["A probabilistic verification framework of SysML activity diagrams"],"prefix":"10.1109","author":[{"given":"Samir","family":"Ouchani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Otmane Ait","family":"Mohamed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mourad","family":"Debbabi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/PST.2011.5971976"},{"journal-title":"A1ea Jacta Est Verification of Probabilistic Realtimeand Parametric Systems","year":"2002","author":"stoelinga","key":"22"},{"journal-title":"Specification Object Management Group September 2007 OMG Available Specification","article-title":"Omg systems modeling language (omg sysml)","year":"0","key":"17"},{"journal-title":"OMG Unified Modeling Language Superstructure 2 1 2","year":"2007","key":"18"},{"key":"15","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/978-3-540-45221-8_7","article-title":"A qos-oriented extension of uml statecharts","volume":"2863","author":"jansen","year":"2003","journal-title":"Lecture Notesin Computer Science"},{"key":"16","first-page":"585","article-title":"Prism 4. 0: Verificationof probabilistic real-time systems","author":"kwiatkowska","year":"2011","journal-title":"CAV Ser LNCS"},{"journal-title":"SysML '\/1 1' Systems Engineering","year":"2007","author":"holt","key":"13"},{"key":"14","first-page":"76","article-title":"A probabilistic extensionof uml statecharts-specification and verification","author":"jansen","year":"2002","journal-title":"Tn FormalTechniques in Real-Time and Fault-Tolerant Systems (F TRT FT)"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511779183"},{"journal-title":"Communicating Sequential Processes","year":"2004","author":"hoare","key":"12"},{"key":"21","first-page":"201","article-title":"Verification andvalidation of activity diagrams using graph transformation","volume":"1","author":"rafe","year":"2009","journal-title":"ComputerTechnology and Development 2009 ICCTD '09 InternationalConference on"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459815"},{"key":"20","first-page":"108","article-title":"A probabilistic verificationframework for sysml activity diagrams","author":"ouchani","year":"2012","journal-title":"Some"},{"key":"2","first-page":"266","article-title":"A methodology formapping sysml activity diagram to time petri net for requirementvalidation of embedded real-time systems with energy constraints","author":"andrade","year":"2009","journal-title":"TCDS '09 Proc Ol' the 2009 Third Tnt Conj On Dig Soc Washington DC USA"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2010.08.005"},{"key":"10","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/978-3-642-21455-4_3","article-title":"Automated verificationtechniques for probabilistic systems","author":"forejt","year":"2011","journal-title":"Formal Methods f j\/'Eternal Networked Software Systems (sfm'Ll)"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15228-3"},{"key":"6","first-page":"199","article-title":"Timing verification of umlactivity diagram based code block level models for real timemultiprocessor system-on-chip applications","author":"das","year":"0","journal-title":"Software engineeringconl'Erence 2006 APSEC 2006 13th Asia Pacific"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ENICS.2008.19"},{"key":"4","first-page":"18","article-title":"Specifying and verifyinguml activity diagrams via graph transformation","volume":"3","author":"baldan","year":"0","journal-title":"Global Computing ser Lecture Notes in Computer Science"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1125808.1125809"},{"key":"8","article-title":"From uml activitydiagrams to csp expressions: A graph transformation approach usingatom3 tool","volume":"8","author":"elmansouri","year":"2011","journal-title":"JJCSI International Journal Uf Computer Science Issues"}],"event":{"name":"2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT)","start":{"date-parts":[[2013,9,22]]},"location":"Budapest, Hungary","end":{"date-parts":[[2013,9,24]]}},"container-title":["2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6636142\/6645635\/06645657.pdf?arnumber=6645657","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T21:07:34Z","timestamp":1498079254000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6645657\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/somet.2013.6645657","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}