{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T12:27:11Z","timestamp":1730291231550,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,7]]},"DOI":"10.1109\/qrs.2018.00020","type":"proceedings-article","created":{"date-parts":[[2018,8,6]],"date-time":"2018-08-06T18:57:11Z","timestamp":1533581831000},"page":"67-74","source":"Crossref","is-referenced-by-count":2,"title":["Verifying Stochastic Behaviors of Decentralized Self-Adaptive Systems: A Formal Modeling and Simulation Based Approach"],"prefix":"10.1109","author":[{"given":"Nianyu","family":"Li","sequence":"first","affiliation":[]},{"given":"Di","family":"Bai","sequence":"additional","affiliation":[]},{"given":"Yiming","family":"Peng","sequence":"additional","affiliation":[]},{"given":"Zhuoqun","family":"Yang","sequence":"additional","affiliation":[]},{"given":"Wenpin","family":"Jiao","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","first-page":"i","author":"christel","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref32","first-page":"35","volume":"44","author":"nicholas","year":"2001","journal-title":"An agent-based approach for building complex software systems Commun ACM"},{"key":"ref31","first-page":"14:1","volume":"4","author":"salehie","year":"2009","journal-title":"Self-adaptive Software Landscape and Research Challenges"},{"key":"ref30","first-page":"95","author":"sawyer","year":"2010","journal-title":"Requirements-Aware Systems A Research Agenda for RE for Self-adaptive Systems RE"},{"key":"ref34","first-page":"1","author":"bulychev","year":"2012","journal-title":"Uppaal-smc Statistical model checking for priced timed automata"},{"key":"ref10","first-page":"397","author":"alexandre","year":"2015","journal-title":"Uppaal SMC tutorial STTT 17"},{"key":"ref11","first-page":"1","volume":"35","author":"paolo","year":"2017","journal-title":"Formal Design and Verification of Self-Adaptive Systems with Decentralized Control TAAS 11"},{"key":"ref12","first-page":"45","author":"usman","year":"2012","journal-title":"A case study on formal verification of self-adaptive behaviors in a decentralized system"},{"key":"ref13","first-page":"76","article-title":"On Patterns for Decentralized Control in Self-Adaptive Systems","author":"weyns","year":"2010","journal-title":"Software Engineering for Self-Adaptive Systems"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSS.2015.36"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.73"},{"key":"ref16","first-page":"21","author":"david","year":"2015","journal-title":"Probst Modelling Social-Technical Attacks with Timed Automata MIST CCS"},{"key":"ref17","first-page":"269","author":"david","year":"2015","journal-title":"Statistical Model Checking of Distributed Adaptive Real-Time Software RV"},{"key":"ref18","first-page":"27","author":"zohra","year":"2016","journal-title":"Statistical Model Checking of CSMA\/CA in WSNs VECoS"},{"key":"ref19","first-page":"476","article-title":"A novel quantitative evaluation approach for software project schedules using statistical model checking","author":"dehui","year":"2014","journal-title":"ICSE Companion"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47474-8"},{"key":"ref4","first-page":"1","volume":"28","author":"ramachandra","year":"2012","journal-title":"Jennings Decentralized approaches for self-adaptation in agent organizations TAAS 7"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-39675-0"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"key":"ref6","first-page":"56","volume":"37","author":"philip","year":"2004","journal-title":"Cheng Composing Adaptive Software IEEE Computer"},{"key":"ref29","first-page":"38","author":"tsigkanos","year":"2017","journal-title":"Modeling and verification of evolving cyber-physical spaces ESEC\/SIGSOFT FSE"},{"key":"ref5","first-page":"41","author":"danny","year":"2008","journal-title":"Endogenous versus exogenous self-management SEAMS"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICVD.1999.745163"},{"key":"ref7","first-page":"111","author":"pandya","year":"2012","journal-title":"Suman An Introduction to Timed Automata Modern Applications of Automata Theory"},{"key":"ref2","first-page":"1","author":"de lemos","year":"2010","journal-title":"Software Engineering for Self-Adaptive Systems A Second Research Roadmap Software Engineering for Self-Adaptive Systems"},{"key":"ref9","first-page":"3","author":"larsen","year":"2016","journal-title":"Axel Legay Statistical Model Checking Past Present and Future ISoLA"},{"key":"ref1","first-page":"1","author":"cheng","year":"2009","journal-title":"Software Engineering for Self-Adaptive Systems A Research Roadmap Software Engineering for Self-Adaptive Systems"},{"key":"ref20","first-page":"1","author":"farhan","year":"2014","journal-title":"Opportunities and Challenges of Using UAVs for Dubai Smart City"},{"key":"ref22","first-page":"20","author":"gabriele","year":"2014","journal-title":"A Cloud Based Service for Management and Planning of Autonomous UAV Missions in Smart City Scenarios MESAS"},{"key":"ref21","first-page":"22","volume":"55","author":"hamid","year":"2017","journal-title":"UAV-Enabled Intelligent Transportation Systems for the Smart City Applications and Challenges IEEE Communications Magazine"},{"key":"ref24","first-page":"57","author":"baresi","year":"2008","journal-title":"Towards decentralized self-adaptive component-based systems SEAMS"},{"journal-title":"A Theory of Timed Automata Theoretical Computer Science","year":"1994","author":"dill","key":"ref23"},{"key":"ref26","first-page":"140","author":"eberhardinger","year":"2015","journal-title":"Testing Self-Organizing Adaptive Systems SASO Workshops"},{"key":"ref25","first-page":"34","author":"eberhardinger","year":"2017","journal-title":"Wolfgang Reif Toward Adaptive Self-Aware Test Automation AST ICSE"}],"event":{"name":"2018 IEEE International Conference on Software Quality, Reliability and Security (QRS)","start":{"date-parts":[[2018,7,16]]},"location":"Lisbon","end":{"date-parts":[[2018,7,20]]}},"container-title":["2018 IEEE International Conference on Software Quality, Reliability and Security (QRS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8424855\/8424858\/08424958.pdf?arnumber=8424958","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,8,22]],"date-time":"2018-08-22T11:50:13Z","timestamp":1534938613000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8424958\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/qrs.2018.00020","relation":{},"subject":[],"published":{"date-parts":[[2018,7]]}}}