{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:27:35Z","timestamp":1729610855467,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/ised.2016.7977047","type":"proceedings-article","created":{"date-parts":[[2017,7,13]],"date-time":"2017-07-13T16:48:42Z","timestamp":1499964522000},"page":"18-23","source":"Crossref","is-referenced-by-count":1,"title":["Towards a model-based verification methodology for Complex Swarm Systems (Invited paper)"],"prefix":"10.1109","author":[{"given":"Jonas Gomes","family":"Filho","sequence":"first","affiliation":[]},{"given":"Nils","family":"Przigoda","sequence":"additional","affiliation":[]},{"given":"Robert","family":"Wille","sequence":"additional","affiliation":[]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.03.023"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5457017"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/978-3-642-21768-5_12","article-title":"Encoding OCL data types for SAT-based verification of UML\/OCL models","author":"soeken","year":"2011","journal-title":"Tests and Proofs"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_27"},{"journal-title":"The Satisfiability Modulo Theories Library (SMT-LIB)","year":"2016","author":"barrett","key":"ref14"},{"key":"ref15","first-page":"825","article-title":"Satisfiability modulo theories","volume":"185","author":"barrett","year":"2009","journal-title":"Handbook of Satisfiability"},{"key":"ref16","first-page":"337","article-title":"Z3: An Efficient SMT Solver","author":"de moura","year":"2008","journal-title":"Tools and Algorithms for Construction and Analysis of Systems"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/WF-IoT.2014.6803163"},{"key":"ref4","article-title":"The TerraSwarm Research Center (TSRC) (A White Paper)","author":"lee","year":"2012","journal-title":"EECS Department University of California Berkeley Tech Rep UCB\/EECS-2012-17"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2015.17"},{"journal-title":"The Unified Modeling Language Reference Manual","year":"1999","author":"rumbaugh","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2014.2314600"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2008.54"},{"journal-title":"Object Management Group","article-title":"Object Constraint Language","year":"2014","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10796-014-9492-7"},{"journal-title":"Introduction to Embedded Systems A Cyber-physical Systems Approach","year":"2011","author":"lee","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02949-3_8"}],"event":{"name":"2016 Sixth International Symposium on Embedded Computing and System Design (ISED)","start":{"date-parts":[[2016,12,15]]},"location":"Patna, India","end":{"date-parts":[[2016,12,17]]}},"container-title":["2016 Sixth International Symposium on Embedded Computing and System Design (ISED)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7966456\/7977039\/07977047.pdf?arnumber=7977047","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,29]],"date-time":"2019-09-29T23:13:00Z","timestamp":1569798780000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7977047\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/ised.2016.7977047","relation":{},"subject":[],"published":{"date-parts":[[2016,12]]}}}