{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T07:07:40Z","timestamp":1765609660349,"version":"3.28.0"},"reference-count":35,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.1109\/sysose.2015.7151961","type":"proceedings-article","created":{"date-parts":[[2015,7,17]],"date-time":"2015-07-17T20:18:46Z","timestamp":1437164326000},"page":"328-333","source":"Crossref","is-referenced-by-count":24,"title":["Simulating SysML models: Overview and challenges"],"prefix":"10.1109","author":[{"given":"Mara","family":"Nikolaidou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George-Dimitrios","family":"Kapos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anargyros","family":"Tsadimas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vassilios","family":"Dalakas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimosthenis","family":"Anagnostopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1057\/jos.2011.3"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-005-0205-x"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/NOTERE.2011.5957992"},{"key":"ref30","first-page":"125","article-title":"UPPAAL 4.0, in: Quantitative Evaluation of Systems","author":"behrmann","year":"2006","journal-title":"2006 QEST 2006 Third International Conference on"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/SysCon.2014.6819307"},{"journal-title":"Introduction to DEVS Modeling and Simulation with JAVA","year":"2003","author":"zeigler","key":"ref34"},{"journal-title":"ATLAS transformation language","year":"0","key":"ref10"},{"journal-title":"OMG MOF 2 0 Query\/View\/Transformation Language ver 1 1","year":"2011","key":"ref11"},{"journal-title":"OMG Model Driven Architecture","year":"0","key":"ref12"},{"key":"ref13","first-page":"75","article-title":"Virtual verification of system designs against system requirements","author":"schamai","year":"2011","journal-title":"MODELS'10 Proceedings of the 2010 International Conference on Models in Software Engineering"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2014.6892500"},{"key":"ref15","article-title":"Combining SysML and formal methods for safety requirements verification","author":"petin","year":"2010","journal-title":"22nd International Conference on Software & Systems Engineering and their Applications"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2011.5747539"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1057\/jos.2011.17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2009.5429169"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2009.5429164"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2011.5966571"},{"key":"ref4","first-page":"563","author":"izukura","year":"2011","journal-title":"Applying a model-based approach to IT systems development using SysML extension in MoDELS Vol 6981 of Lecture Notes in Computer Science"},{"key":"ref27","article-title":"Executable Models and Verification from MARTE and SysML: a Comparative Study of Code Generation Capabilities","author":"mura","year":"2008","journal-title":"workshop MARTE"},{"key":"ref3","article-title":"MADES: A Mixed SysML\/MARTE methodology for real-time and embedded avionics systems","author":"quadri","year":"2012","journal-title":"ERTS Conf 2012"},{"journal-title":"IBM Rational Software Modeler","year":"0","key":"ref6"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1921532.1921556","article-title":"TEPE: A sysml language for time-constrained property modeling and formal verification","volume":"36","author":"knorreck","year":"2011","journal-title":"SIGSOFT Softw Eng Notes"},{"journal-title":"NoMagic SysML Plugin for Magic Draw","year":"0","key":"ref5"},{"journal-title":"OMG SysML-Modelica Transformation (SyM)","year":"2012","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2012.6465139"},{"journal-title":"INCOSE Systems Engineering Handbook version 3 2 2 Edition International Council on Systems Engineering","year":"2012","key":"ref2"},{"key":"ref9","first-page":"717","volume":"90","author":"kapos","year":"2014","journal-title":"An integrated framework for automated simulation of SysML models using DEVS Simulation"},{"journal-title":"OMG Systems Modeling Language (SYSML) Specification Version 1 3","year":"2012","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2013.04.003"},{"key":"ref22","article-title":"Modelica Modeling Language (ModelicaML): A UML Profile for Modelica","author":"schamai","year":"2009","journal-title":"Tech Rep"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/SYSoSE.2012.6384172"},{"journal-title":"UML Profile for MARTE Modeling and Analysis of Real-Time Embedded Systems Specification Version 1 0","year":"2009","key":"ref24"},{"journal-title":"Netcentric System of Systems Engineering with DEVS Unified Process","year":"2013","author":"mittal","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2014.6945504"},{"key":"ref25","first-page":"98","article-title":"Challenges in combining SysML and MARTE for model-based design of embedded systems","author":"espinoza","year":"2009","journal-title":"ECMDA-FA Vol 5562 of Lecture Notes in Computer Science"}],"event":{"name":"2015 10th System of Systems Engineering Conference (SoSE)","start":{"date-parts":[[2015,5,17]]},"location":"San Antonio, TX, USA","end":{"date-parts":[[2015,5,20]]}},"container-title":["2015 10th System of Systems Engineering Conference (SoSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7131933\/7151900\/07151961.pdf?arnumber=7151961","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T15:46:38Z","timestamp":1602690398000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7151961"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/sysose.2015.7151961","relation":{},"subject":[],"published":{"date-parts":[[2015,5]]}}}