{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:48:45Z","timestamp":1729658925140,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,5]]},"DOI":"10.1109\/cec.2009.4983125","type":"proceedings-article","created":{"date-parts":[[2009,10,14]],"date-time":"2009-10-14T16:17:46Z","timestamp":1255537066000},"page":"1538-1545","source":"Crossref","is-referenced-by-count":1,"title":["An experience on probabilistic model checking and stochastic simulation to design self-organizing systems"],"prefix":"10.1109","author":[{"given":"Matteo","family":"Casadei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mirko","family":"Viroli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1126\/science.220.4598.671","article-title":"optimization by simulated annealing","volume":"220","author":"kirkpatrick","year":"1983","journal-title":"Science"},{"key":"17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-24622-0_8","article-title":"approximate probabilistic model checking","volume":"2937","author":"he?rault","year":"2004","journal-title":"Proc 5th International Conference on Verification Model Checking and Abstract Interpretation (VMCAI'04)"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/2363.2433"},{"key":"15","first-page":"220","article-title":"stochastic model checking","volume":"4486","year":"2007","journal-title":"Formal Methods for the Design of Computer Communication and Software Systems Performance Evaluation (SFM'07)"},{"key":"16","article-title":"an overview of msr(c): a clp-based framework for the symbolic verification of parameterized concurrent systems","volume":"76","author":"delzanno","year":"2002","journal-title":"Electronic Notes in Theoretical Computer Science"},{"journal-title":"Model checking","year":"2000","author":"clarke","key":"13"},{"key":"14","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/s10009-004-0140-2","article-title":"probabilistic symbolic model checking with prism: a hybrid approach","volume":"6","author":"kwiatkowska","year":"2004","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/38.7.578"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.11.040"},{"key":"3","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195131581.001.0001","author":"bonabeau","year":"1999","journal-title":"Swarm Intelligence From Natural to Artificial Systems"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/SASO.2008.18"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018980001403"},{"journal-title":"Self-Organization in Biological Systems ser Princeton Studies in Complexity","year":"2001","author":"camazine","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1021\/j100540a008"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2008.09.018"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1244002.1244086"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.05.022"},{"key":"4","first-page":"1","article-title":"combining simulation and formal tools for developing self-organizing mas","author":"gardelli","year":"2008","journal-title":"Agents Simulation and Applications"},{"journal-title":"The Stochastic Pi Machine (SPiM)","year":"2006","author":"phillips","key":"9"},{"journal-title":"PRISM Probabilistic Symbolic Model Checker","year":"2007","key":"8"}],"event":{"name":"2009 IEEE Congress on Evolutionary Computation (CEC)","start":{"date-parts":[[2009,5,18]]},"location":"Trondheim, Norway","end":{"date-parts":[[2009,5,21]]}},"container-title":["2009 IEEE Congress on Evolutionary Computation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4939002\/4982922\/04983125.pdf?arnumber=4983125","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,12]],"date-time":"2021-10-12T04:45:21Z","timestamp":1634013921000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4983125"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/cec.2009.4983125","relation":{},"subject":[],"published":{"date-parts":[[2009,5]]}}}