-
1
-
-
84894538584
-
-
Medical Device Plug-and-Play (MDPnP)
-
Medical Device Plug-and-Play (MDPnP), http://www.mdpnp.org. 2013.
-
(2013)
-
-
-
7
-
-
77954615585
-
A framework for the safe interoperability of medical devices in the presence of network failures
-
Apr.
-
C. Kim et al., "A Framework for the Safe Interoperability of Medical Devices in the Presence Of Network Failures, " Proc. 1st ACM/IEEE Int'l Conf. Cyber-Physical Systems (ICCPS '10), Apr. 2010.
-
(2010)
Proc. 1st ACM/IEEE Int'l Conf. Cyber-Physical Systems (ICCPS '10)
-
-
Kim, C.1
-
8
-
-
27244439555
-
Patient-controlled analgesia
-
Nov.
-
J.A. Grass, "Patient-Controlled Analgesia, " Anesthesia and Analgesia, vol. 101, no. 5S, pp. S44-S61, Nov. 2005.
-
(2005)
Anesthesia and Analgesia
, vol.101
, Issue.5
-
-
Grass, J.A.1
-
9
-
-
34250885127
-
Morphine in postoperative patients: Pharmacokinetics and pharmacodynamics of metabolites
-
J.X. Mazoit, K. Butscher, and K. Samii, "Morphine in Postoperative Patients: Pharmacokinetics and Pharmacodynamics of Metabolites, " Anesthesia and Analgesia, vol. 105, no. 1, pp. 70-78, 2007.
-
(2007)
Anesthesia and Analgesia
, vol.105
, Issue.1
, pp. 70-78
-
-
Mazoit, J.X.1
Butscher, K.2
Samii, K.3
-
11
-
-
84861486764
-
From offline toward real-time: A hybrid systems model checking and cps co-design approach for medical device plug-and-play (mdpnp)
-
Apr.
-
T. Li et al., "From Offline toward Real-Time: A Hybrid Systems Model Checking and CPS Co-Design Approach for Medical Device Plug-and-Play (MDPnP), " Proc. IEEE/ACM Third Int'l Conf. Cyber-Physical Systems (ICCPS '12), pp. 13-22, Apr. 2012.
-
(2012)
Proc. IEEE/ACM Third Int'l Conf. Cyber-Physical Systems (ICCPS '12
, pp. 13-22
-
-
Li, T.1
-
14
-
-
0000050873
-
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
-
R. Alur et al., "Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems, " Hybrid Systems, vol. 736, pp. 209-229, 1992.
-
(1992)
Hybrid Systems
, vol.736
, pp. 209-229
-
-
Alur, R.1
-
15
-
-
33747356808
-
Automatic symbolic verification of embedded systems
-
Mar.
-
R. Alur et al., "Automatic Symbolic Verification of Embedded Systems, " IEEE Trans. Software Eng., vol. 22, no. 3, pp. 181-201, Mar. 1996.
-
(1996)
IEEE Trans. Software Eng.
, vol.22
, Issue.3
, pp. 181-201
-
-
Alur, R.1
-
16
-
-
84896819101
-
Hytech: A model checker for hybrid systems
-
T.A. Henzinger, P.-H. Ho, and H. Wong-Toi, "Hytech: a Model Checker for Hybrid Systems, " Int'l J. Software Tools for Technology Transfer, vol. 1, nos. 1-2, pp. 110-122, 1997.
-
(1997)
Int'l J. Software Tools for Technology Transfer
, vol.1
, Issue.1-2
, pp. 110-122
-
-
Henzinger, T.A.1
Ho, P.-H.2
Wong-Toi, H.3
-
19
-
-
84894562145
-
-
Nonin 9843 Oximeter/Co2 Detector
-
Nonin 9843 Oximeter/Co2 Detector, http://www.nonin.com, 2013.
-
(2013)
-
-
-
20
-
-
84894531633
-
Fundamentals of eng
-
Wiley
-
M.J. Moran et al., Fundamentals of Eng. Thermodynamics. Wiley, 2003.
-
(2003)
Thermodynamics
-
-
Moran, M.J.1
-
21
-
-
0003961477
-
Uniformity for the decidability of hybrid automata
-
O. Roux and V. Rusu, "Uniformity for the Decidability of Hybrid Automata, " Static Analysis, vol. 1145, pp. 301-316, 1996.
-
(1996)
Static Analysis
, vol.1145
, pp. 301-316
-
-
Roux, O.1
Rusu, V.2
-
25
-
-
84863063239
-
WiCop: Engineering wifi temporal white-spaces for safe operations of wireless body area networks in medical applications
-
Y. Wang et al., "WiCop: Engineering WiFi Temporal White-Spaces for Safe Operations of Wireless Body Area Networks in Medical Applications, " Proc. IEEE 32nd Real-Time Systems Symp. (RTSS '11), pp. 170-179, 2011.
-
(2011)
Proc. IEEE 32nd Real-Time Systems Symp. (RTSS '11
, pp. 170-179
-
-
Wang, Y.1
-
26
-
-
79957643964
-
Beyond co-existence: Exploiting wifi white space for zigbee performance assurance
-
Oct.
-
J. Huang et al., "Beyond Co-Existence: Exploiting WiFi White Space for ZigBee Performance Assurance, " Proc. 18th IEEE Int'l Conf. Network Protocols (ICNP '10), pp. 305-314, Oct. 2010.
-
(2010)
Proc. 18th IEEE Int'l Conf. Network Protocols (ICNP '10
, pp. 305-314
-
-
Huang, J.1
-
27
-
-
34247599452
-
Building robust wireless lan for industrial control with the dsss-cdma cell phone network paradigm
-
June
-
Q. Wang et al., "Building Robust Wireless LAN for Industrial Control with the DSSS-CDMA Cell Phone Network Paradigm, " IEEE Trans. Mobile Computing, vol. 6, no. 6, pp. 706-719, June 2007.
-
(2007)
IEEE Trans. Mobile Computing
, vol.6
, Issue.6
, pp. 706-719
-
-
Wang, Q.1
-
28
-
-
40649085651
-
Medical-grade, mission-critical wireless networks
-
Mar./Apr.
-
S. Baker et al., "Medical-Grade, Mission-Critical Wireless Networks, " IEEE Eng. in Medicine and Biology Magazine, vol. 27, no. 2, pp. 86-95, Mar./Apr. 2008.
-
(2008)
IEEE Eng. in Medicine and Biology Magazine
, vol.27
, Issue.2
, pp. 86-95
-
-
Baker, S.1
-
29
-
-
17444425048
-
Collecting statistics over runtime executions
-
B. Finkbeiner et al., "Collecting Statistics over Runtime Executions, " Electronic Notes in Theoretical Computer Science, vol. 70, no. 4, pp. 36-54, 2002.
-
(2002)
Electronic Notes in Theoretical Computer Science
, vol.70
, Issue.4
, pp. 36-54
-
-
Finkbeiner, B.1
-
30
-
-
33749420474
-
Online efficient predictive safety analysis of multithreaded programs
-
K. Sen, G. Rosu, and G. Agha, "Online Efficient Predictive Safety Analysis of Multithreaded Programs, " Proc. 10th Int'l Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS' 04), pp. 123-138, 2004.
-
(2004)
Proc. 10th Int'l Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS' 04
, pp. 123-138
-
-
Sen, K.1
Rosu, G.2
Agha, G.3
-
32
-
-
73549102188
-
A hybrid model checking and runtime monitoring method for c++ web services
-
Z. Qi et al., "A Hybrid Model Checking and Runtime Monitoring Method for C++ Web Services, " Proc. Int'l Joint Conf. INC, IMS, and IDC, 2009.
-
(2009)
Proc. Int'l Joint Conf. INC, IMS, and IDC
-
-
Qi, Z.1
-
33
-
-
84948138249
-
Smart play-out of behavioral requirements
-
D. Harel, H. Kugler, R. Marelly, and A. Pnueli, "Smart Play-Out of Behavioral Requirements, " Proc. Fourth Int'l Conf. Formal Methods in Computer-Aided Design (FMCAD '02), pp. 378-398, 2002.
-
(2002)
Proc. Fourth Int'l Conf. Formal Methods in Computer-Aided Design (FMCAD '02
, pp. 378-398
-
-
Harel, D.1
Kugler, H.2
Marelly, R.3
Pnueli, A.4
-
34
-
-
84873305695
-
Lightweight hybrid model checking facilitating online prediction of temporal properties
-
G. Sauterand et al., "Lightweight Hybrid Model Checking Facilitating Online Prediction of Temporal Properties, " Proc. 21st Nordic Workshop Programming Theory, (NWPT '09), pp. 20-22, 2009.
-
(2009)
Proc. 21st Nordic Workshop Programming Theory, (NWPT '09
, pp. 20-22
-
-
Sauter, G.1
-
35
-
-
79954502396
-
Online model checking approach based parameter estimation to a neuronal fate decision simulation model in caenorhabditis elegans with hybrid functional petri net with extension
-
C. Li, M. Nagasaki, C.H. Koh, and S. Miyano, "Online Model Checking Approach Based Parameter Estimation to a Neuronal Fate Decision Simulation Model in Caenorhabditis Elegans with Hybrid Functional Petri Net with Extension, " Molecular BioSys-tems, no. 7, pp. 1576-1592, 2011.
-
(2011)
Molecular BioSys-tems
, Issue.7
, pp. 1576-1592
-
-
Li, C.1
Nagasaki, M.2
Koh, C.H.3
Miyano, S.4
-
37
-
-
1542347185
-
Bogor: An extensible and highly-modular software model checking framework
-
Robby et al., "Bogor: An Extensible and Highly-Modular Software Model Checking Framework, " Proc. Nineth European Software Eng. Conf. (ESEC/FSE '11), 2003.
-
(2003)
Proc. Nineth European Software Eng. Conf. (ESEC/FSE '11)
-
-
Robby1
-
38
-
-
43349083432
-
Cellexcite: An efficient simulation environment for excitable cells
-
Mar.
-
E. Bartocci et al., "Cellexcite: An Efficient Simulation Environment for Excitable Cells, " BMC Bioinformatics, vol. 9, no. 2, pp. 1-13, Mar. 2008.
-
(2008)
BMC Bioinformatics
, vol.9
, Issue.2
, pp. 1-13
-
-
Bartocci, E.1
-
39
-
-
77958150562
-
Wireless sensor networks for healthcare
-
Nov.
-
J. Ko et al., "Wireless Sensor Networks for Healthcare, " Proc. IEEE, vol. 98, no. 1, pp. 1947-1960, Nov. 2010.
-
(2010)
Proc. IEEE
, vol.98
, Issue.1
, pp. 1947-1960
-
-
Ko, J.1
-
40
-
-
70349685246
-
An open test bed for medical device integration and coordination
-
May
-
A. King et al., "An Open Test Bed for Medical Device Integration and Coordination, " Proc. 31st Int'l Conf. Software Eng. (ICSE '09), May 2009.
-
(2009)
Proc. 31st Int'l Conf. Software Eng. (ICSE '09)
-
-
King, A.1
|