{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T12:48:09Z","timestamp":1772196489027,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,10,19]],"date-time":"2008-10-19T00:00:00Z","timestamp":1224374400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,10,19]]},"DOI":"10.1145\/1450058.1450069","type":"proceedings-article","created":{"date-parts":[[2008,10,22]],"date-time":"2008-10-22T12:25:44Z","timestamp":1224678344000},"page":"69-78","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":32,"title":["Model-based validation of QoS properties of biomedical sensor networks"],"prefix":"10.1145","author":[{"given":"Simon","family":"Tschirner","sequence":"first","affiliation":[{"name":"Uppsala University, Uppsala, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liang","family":"Xuedong","sequence":"additional","affiliation":[{"name":"Rikshospitalet University Hospital and University of Oslo, Oslo, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wang","family":"Yi","sequence":"additional","affiliation":[{"name":"Uppsala University, Uppsala, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(01)00302-4"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems: 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT","author":"Behrmann G.","year":"2004","unstructured":"G. Behrmann , A. David , and K. G. Larsen . A tutorial on uppaal . In M. Bernardo and F. Corradini, editors, Formal Methods for the Design of Real-Time Systems: 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004 , number 3185 in LNCS, pages 200 -- 236 . Springer-Verlag , September 2004. G. Behrmann, A. David, and K. G. Larsen. A tutorial on uppaal. In M. Bernardo and F. Corradini, editors, Formal Methods for the Design of Real-Time Systems: 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, number 3185 in LNCS, pages 200--236. Springer-Verlag, September 2004."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27755-2_3"},{"key":"e_1_3_2_1_4_1","first-page":"227","volume-title":"Proc. of the 2004 International Conference on Wireless Networks (ICWN'04)","author":"Chen D.","year":"2004","unstructured":"D. Chen and P. K. Varshney . QoS support in wireless sensor networks: A survey . In Proc. of the 2004 International Conference on Wireless Networks (ICWN'04) , pages 227 -- 233 , Las Vegas, Nevada, USA , June 2004 . CSREA Press. D. Chen and P. K. Varshney. QoS support in wireless sensor networks: A survey. In Proc. of the 2004 International Conference on Wireless Networks (ICWN'04), pages 227--233, Las Vegas, Nevada, USA, June 2004. CSREA Press."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISoLA.2006.34"},{"key":"e_1_3_2_1_7_1","volume-title":"Body Sensor Networks","author":"Guang-Zhong Y.","year":"2006","unstructured":"Y. Guang-Zhong , editor. Body Sensor Networks . Springer , New York , 2006 . Y. Guang-Zhong, editor. Body Sensor Networks. Springer, New York, 2006."},{"key":"e_1_3_2_1_8_1","volume-title":"Wireless Medium Access Control (MAC) and Physical Layer (PHY) Specifications for Low-Rate Wireless Personal Area Networks (LR-WPANs)","author":"IEEE","year":"2003","unstructured":"IEEE Standard 802.15.4. Wireless Medium Access Control (MAC) and Physical Layer (PHY) Specifications for Low-Rate Wireless Personal Area Networks (LR-WPANs) , 2003 . IEEE Standard 802.15.4. Wireless Medium Access Control (MAC) and Physical Layer (PHY) Specifications for Low-Rate Wireless Personal Area Networks (LR-WPANs), 2003."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1515\/PIKO.2005.101"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"e_1_3_2_1_11_1","volume-title":"March","author":"Liang X.","year":"2007","unstructured":"X. Liang , B. \u00d8stvold , W. Leister , and I. Balasingham . Credo: Modeling and analysis of evolutionary structures for distributed services - user driven requirements , March 2007 . Diliverable D6.1, EU IST project, number 33826. X. Liang, B. \u00d8stvold, W. Leister, and I. Balasingham. Credo: Modeling and analysis of evolutionary structures for distributed services - user driven requirements, March 2007. Diliverable D6.1, EU IST project, number 33826."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCN.2006.322172"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/346855.346870"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/WOWMOM.2007.4351800"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SAHCN.2004.1381912"},{"key":"e_1_3_2_1_16_1","volume-title":"March","author":"Texas Instruments Inc. 2.4 GHz IEEE 802.15.4 \/ ZigBee-Ready RF Transceiver (Rev. B)","year":"2007","unstructured":"Texas Instruments Inc. 2.4 GHz IEEE 802.15.4 \/ ZigBee-Ready RF Transceiver (Rev. B) , CC2420 data sheet , March 2007 . Texas Instruments Inc. 2.4 GHz IEEE 802.15.4 \/ ZigBee-Ready RF Transceiver (Rev. B), CC2420 data sheet, March 2007."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1147685.1147768"},{"key":"e_1_3_2_1_18_1","volume-title":"Department of Information Technology","author":"Tschirner S.","year":"2008","unstructured":"S. Tschirner , L. Xuedong , and W. Yi . Model-based validation of qos properties of biomedical sensor networks. Technical report , Department of Information Technology , University of Uppsala , 2008 . S. Tschirner, L. Xuedong, and W. Yi. Model-based validation of qos properties of biomedical sensor networks. Technical report, Department of Information Technology, University of Uppsala, 2008."},{"key":"e_1_3_2_1_19_1","first-page":"319","volume-title":"Proc. of the 15th European Simulation Multiconference (ESM'01)","author":"Varga A.","year":"2001","unstructured":"A. Varga . The OMNeT++ discrete event simulation system . In Proc. of the 15th European Simulation Multiconference (ESM'01) , pages 319 -- 324 , Prague, Czech Republic , June 2001 . SCS. A. Varga. The OMNeT++ discrete event simulation system. In Proc. of the 15th European Simulation Multiconference (ESM'01), pages 319--324, Prague, Czech Republic, June 2001. SCS."}],"event":{"name":"ESWEEK 08: Fourth Embedded Systems Week","location":"Atlanta GA USA","acronym":"ESWEEK 08","sponsor":["ACM Association for Computing Machinery","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"]},"container-title":["Proceedings of the 8th ACM international conference on Embedded software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1450058.1450069","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1450058.1450069","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:30:07Z","timestamp":1750253407000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1450058.1450069"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10,19]]},"references-count":18,"alternative-id":["10.1145\/1450058.1450069","10.1145\/1450058"],"URL":"https:\/\/doi.org\/10.1145\/1450058.1450069","relation":{},"subject":[],"published":{"date-parts":[[2008,10,19]]},"assertion":[{"value":"2008-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}