{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:03:34Z","timestamp":1729616614021,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1109\/cpsdata.2016.7496421","type":"proceedings-article","created":{"date-parts":[[2016,6,25]],"date-time":"2016-06-25T11:38:56Z","timestamp":1466854736000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["WUppaal: A web-service for the Uppaal model-checker"],"prefix":"10.1109","author":[{"given":"Peter","family":"Fogh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas C.","family":"Hald","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian","family":"Nielsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1145\/2851613.2851828"},{"year":"2011","author":"vaandrager","article-title":"A first introduction to uppaal","key":"ref31"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1016\/j.tcs.2005.11.018"},{"key":"ref10","first-page":"6","article-title":"Hypersonic: Model analysis and checking in the cloud","volume":"1206","author":"acretoaie","year":"2014","journal-title":"Proc 2nd Ws Scalability in Model Driven Engineering (Big-MDE‘ 14)"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1007\/s10270-011-0217-9"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1145\/1807128.1807153"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1007\/978-3-319-08587-6_28"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1007\/s100090050010"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref16","article-title":"Minimum-time reachability for timed automata","author":"niebert","year":"2000","journal-title":"IEEE Mediteranean Control Conference"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.7146\/brics.v8i4.20458"},{"year":"2005","author":"behrmann","article-title":"Scheduling lacquer production by reachability analysis—a case study","key":"ref18"},{"year":"2015","author":"dalsgaard","article-title":"Hardware organisation","key":"ref19"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1007\/11561163_8"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1007\/978-3-540-69850-0_1"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.3182\/20050703-6-CZ-1902.01433"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1145\/2330667.2330686"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1007\/s10009-003-0111-z"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0377-2217(95)00362-2","article-title":"The job shop scheduling problem: Conventional and new solution techniques","volume":"93","author":"b?a?ewicz","year":"1996","journal-title":"European Journal of Operational Research"},{"key":"ref5","first-page":"300","article-title":"A Recipe for Tool Interoperability","author":"andreas baumgart","year":"2014","journal-title":"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) MODELSWARD"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1007\/978-3-642-31759-0_12"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1007\/978-3-642-54862-8_13"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1007\/978-3-662-49674-9_14"},{"key":"ref9","article-title":"Distributed ctl model checking in the cloud","author":"bellettini","year":"2013","journal-title":"arXiv preprint arXiv 1310 6670"},{"key":"ref1","first-page":"100","article-title":"Evaluating On-line Model Checking in UPPAAL-SMC using a Laser Tracheotomy Case Study","volume":"36","author":"ma","year":"2014","journal-title":"5th Workshop on Medical Cyber-Physical Systems ser OpenAccess Series in Informatics (OASIcs)"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1007\/10968987_3"},{"year":"2015","author":"redis","article-title":"Introduction to redis","key":"ref22"},{"year":"2000","author":"fielding","article-title":"Architectural styles and the design of network-based software architectures","key":"ref21"},{"year":"0","article-title":"Nginx about page","key":"ref24"},{"year":"2015","author":"redis","article-title":"How fast is redis?","key":"ref23"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1145\/1059816.1059823"},{"year":"2015","author":"foundation","article-title":"ab - apache http server benchmarking tool","key":"ref25"}],"event":{"name":"2016 2nd International\u00a0Workshop\u00a0on Modelling, Analysis, and Control of Complex\u00a0CPS\u00a0(CPS\u00a0Data)","start":{"date-parts":[[2016,4,11]]},"location":"Vienna, Austria","end":{"date-parts":[[2016,4,11]]}},"container-title":["2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7492446\/7496415\/07496421.pdf?arnumber=7496421","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T17:06:35Z","timestamp":1498323995000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7496421\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/cpsdata.2016.7496421","relation":{},"subject":[],"published":{"date-parts":[[2016,4]]}}}