{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:55:00Z","timestamp":1729619700768,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1109\/seaa.2010.60","type":"proceedings-article","created":{"date-parts":[[2010,10,8]],"date-time":"2010-10-08T09:34:33Z","timestamp":1286530473000},"page":"47-54","source":"Crossref","is-referenced-by-count":10,"title":["Ontology-Based Model Driven Engineering for Safety Verification"],"prefix":"10.1109","author":[{"given":"Konstantinos","family":"Mokos","sequence":"first","affiliation":[]},{"given":"George","family":"Meditskos","sequence":"additional","affiliation":[]},{"given":"Panagiotis","family":"Katsaros","sequence":"additional","affiliation":[]},{"given":"Nick","family":"Bassiliades","sequence":"additional","affiliation":[]},{"given":"Vangelis","family":"Vasiliades","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"157","article-title":"Philippe Dhaussy: Vers la generation de modeles de surete de fonctionnement","author":"dumas","year":"0","journal-title":"CAL 2008"},{"key":"ref11","article-title":"Dependability Modeling with the Architecture Analysis & Design Language (AADL)","author":"feiler","year":"2007","journal-title":"Software Engineering Institute (SEI)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92148-6_2"},{"journal-title":"The Object Constraint Language - Precise Modeling with UML","year":"2003","author":"warmer","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/11787044_16"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84800-221-0_26"},{"journal-title":"W3C Semantic Web Activity","year":"0","key":"ref16"},{"journal-title":"OWL Web Ontology Language Overview W3C Recommendation","year":"0","author":"mc guinness","key":"ref17"},{"journal-title":"The Description Logic Handbook Theory Implementation and Applications","year":"2003","author":"baader","key":"ref18"},{"key":"ref19","article-title":"A Semantic Web Primer","author":"antoniou","year":"2004","journal-title":"Cooperative Information Systems"},{"journal-title":"SAE Architecture Analysis & Design Language","year":"0","key":"ref4"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s10270-006-0018-8","article-title":"Definition and Validation of Model Transformations","volume":"5","author":"kuster","year":"2006","journal-title":"Software and Systems Modeling (SoSyM)"},{"journal-title":"Annex Volume 1","year":"0","key":"ref3"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/52.469759"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2005.1563469"},{"journal-title":"18th IFIP World Computer Congress Topical Day on New Methods for Avionics Certification","article-title":"Safety assessment with AltaRica - Lessons learnt Based on Two Aircraft System Studies","year":"2004","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36080-8_3"},{"key":"ref7","article-title":"Integration of formal fault analysis in ASSERT: Case studies and lessons learnt","author":"bieber","year":"0","journal-title":"4th European Congress on Embedded Real Time Software (ERTS 2008) Toulouse France Jan 2008"},{"key":"ref2","first-page":"405","article-title":"Towards Compositional Safety Analysis via Semantic Representation of Component Failure Behaviour","author":"mokos","year":"2008","journal-title":"Knowledge-based Software Engineering\/Proc of the 8th JCKBSE - Piraeus Greece Front in Artificial Intelligence & Applications"},{"journal-title":"Space engineering - Software - Part 1 Principles and requirements ESA-ESTEC Noordwijk The Netherlands","article-title":"European Cooperation For Space Standardization - ECSS-E-40 Part 1B","year":"2003","key":"ref1"},{"journal-title":"Automated proof-based System and Software Engineering for Real-Time Systems","article-title":"The ASSERT Project","year":"0","key":"ref9"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2007.03.004"},{"journal-title":"KAON 2","year":"0","key":"ref22"},{"key":"ref21","article-title":"Jena: Implementing the RDF Model and Syntax Specification","author":"mcbride","year":"2001","journal-title":"Proc Int Semantic Web Workshop"},{"journal-title":"OSATE website","year":"0","key":"ref24"},{"journal-title":"AADL behavioral annex","year":"0","key":"ref23"},{"journal-title":"SP ARQL","year":"0","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/32.877848"}],"event":{"name":"2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA)","start":{"date-parts":[[2010,9,1]]},"location":"Lille, TBD, France","end":{"date-parts":[[2010,9,3]]}},"container-title":["2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5596281\/5598005\/05598078.pdf?arnumber=5598078","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T10:55:32Z","timestamp":1497869732000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5598078\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/seaa.2010.60","relation":{},"subject":[],"published":{"date-parts":[[2010,9]]}}}