{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T07:23:46Z","timestamp":1729668226858,"version":"3.28.0"},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,4]]},"DOI":"10.1109\/dtis.2017.7930168","type":"proceedings-article","created":{"date-parts":[[2017,5,18]],"date-time":"2017-05-18T18:36:34Z","timestamp":1495132594000},"page":"1-7","source":"Crossref","is-referenced-by-count":1,"title":["Analyzing ambient assisted living solutions: A research perspective"],"prefix":"10.1109","author":[{"given":"Ashalatha","family":"Kunnappilly","sequence":"first","affiliation":[]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[]},{"given":"Cristina","family":"Seceleanu","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]},{"given":"Louis-Marie","family":"Traonouez","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-004-0073-y"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2016.47"},{"key":"ref31","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/s10009-014-0361-y","article-title":"Uppaal smc tutorial","volume":"17","author":"david","year":"2015","journal-title":"STTT Journal"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1390832.1390836"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-2297-5_10"},{"journal-title":"Business Process Modelling in the jABC The One-Thing-Approach","year":"2009","author":"margaria","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-017-0453-6"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46508-1_3"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-009-0091-6"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/QUATIC.2010.53"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28872-2_7"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859076"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","article-title":"UPPAAL in a Nutshell","volume":"1","author":"larsen","year":"1997","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"ref19","first-page":"355","author":"bj\u00f6rnander","year":"2011","journal-title":"ABV-A verifier for the architecture analysis and design language (AADL)"},{"key":"ref28","article-title":"Securing c\/c++ applications with a secubetm-based model-driven approach","author":"steffen","year":"2017","journal-title":"Proc DTIS 2017 this volume"},{"key":"ref4","first-page":"145","article-title":"Model-Driven Design of Secure High Assurance Systems: An Introduction to the Open Platform from the User Perspective","author":"bo\u00dfelmann","year":"2016","journal-title":"The 2016 International Conference on Security and Management (SAM 2016) Special Track “End-to-end Security and Cybersecurity from the Hardware to Application”"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/11596141_34"},{"key":"ref3","first-page":"131","article-title":"SEcubeTM: An open security platform: General Approach and Strategies","author":"varriale","year":"2016","journal-title":"The 2016 International Conference on Security and Management (SAM 2016) Special Track “End-to-end Security and Cybersecurity from the Hardware to Application”"},{"key":"ref6","article-title":"A generic system-level framework for self-serve health monitoring system through Internet of things (IoT)","volume":"211","author":"uddin ahmed","year":"2015","journal-title":"Studies in Health Technology and Informatics"},{"key":"ref29","article-title":"A fully model-based approach to the design of the secubetm community web app","author":"margaria","year":"2017","journal-title":"Proc DTIS 2017 this volume"},{"key":"ref5","first-page":"160","author":"boyer","year":"2013","journal-title":"PLASMA-lab A Flexible Distributable Statistical Model Checking Library"},{"key":"ref8","first-page":"1","article-title":"The belief-desire-intention model of agency","author":"georgeff","year":"1998","journal-title":"Third International Workshop on Agent Theories Architectures and Languages"},{"key":"ref7","first-page":"181","author":"tapia","year":"2009","journal-title":"A Distributed Ambient Intelligence Based Multi-Agent System for Alzheimer Health Care"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2009.49"},{"key":"ref9","first-page":"490","author":"margaria","year":"2009","journal-title":"Agile IT Thinking in User-Centric Models"},{"key":"ref1","article-title":"DIME: A Programming-Less Modeling Environment for Web Applications","author":"bo\u00dfelmann","year":"2016","journal-title":"Proc of the 7th Int Symp on Leveraging Applications of Formal Methods Verification and Validation (ISoLA 2016)"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0014354"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760437"},{"key":"ref21","first-page":"65","article-title":"Incremental requirement specification for evolving systems","volume":"8","author":"jonsson","year":"2001","journal-title":"Nordic J of Computing"},{"key":"ref24","first-page":"217","author":"zuliani","year":"2012","journal-title":"Rare-event verification for stochastic hybrid systems"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.3233\/AIS-150338"},{"key":"ref26","first-page":"152","article-title":"Model driven design of crypto primitives and processes","author":"di natale","year":"2016","journal-title":"The 2016 International Conference on Security and Management (SAM 2016) Special Track “End-to-end Security and Cybersecurity from the Hardware to Application”"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45234-9_33"}],"event":{"name":"2017 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era (DTIS)","start":{"date-parts":[[2017,4,4]]},"location":"Palma de Mallorca, Spain","end":{"date-parts":[[2017,4,6]]}},"container-title":["2017 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era (DTIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7921855\/7929862\/07930168.pdf?arnumber=7930168","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,24]],"date-time":"2019-09-24T16:44:50Z","timestamp":1569343490000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7930168\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/dtis.2017.7930168","relation":{},"subject":[],"published":{"date-parts":[[2017,4]]}}}