David Arney

	2010
4		Andrew L. King, Alex Roederer, David Arney, Sanjian Chen, Margaret Mullen-Fortino, Ana Rosa Giannareas, William Hanson III, Vanessa Kern, Nicholas Stevens, Jonathan Tannen, Adrian Viesca Trevino, Soojin Park, Oleg Sokolsky, Insup Lee: GSA: a framework for rapid prototyping of smart alarm systems. IHI 2010: 487-491
3		David Arney, Sebastian Fischmeister, Insup Lee, Yoshihito Takashima, Mark Yim: Model-Based Programming of Modular Robots. ISORC 2010: 66-74
	2009
2		David Arney, Julian M. Goldman, Susan F. Whitehead, Insup Lee: Synchronizing an X-ray and Anesthesia Machine Ventilator - A Medical Device Interoperability Case Study. BIODEVICES 2009: 52-60
	2004
1		Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Stephen Van Albert, Jiaxiang Zhou: Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System. STTT 5(4): 308-319 (2004)

Coauthor Index

1	Stephen Van Albert	[1]
2	Rajeev Alur	[1]
3	Sanjian Chen	[4]
4	Sebastian Fischmeister	[3]
5	Ana Rosa Giannareas	[4]
6	Julian M. Goldman	[2]
7	Elsa L. Gunter	[1]
8	William Hanson III	[4]
9	Vanessa Kern	[4]
10	Andrew L. King	[4]
11	Insup Lee	[1] [2] [3] [4]
12	Jaime Lee	[1]
13	Margaret Mullen-Fortino (Margaret Fortino-Mullen)	[4]
14	Wonhong Nam	[1]
15	Soojin Park	[4]
16	Frederick Pearce	[1]
17	Alex Roederer	[4]
18	Oleg Sokolsky	[4]
19	Nicholas Stevens	[4]
20	Yoshihito Takashima	[3]
21	Jonathan Tannen	[4]
22	Adrian Viesca Trevino	[4]
23	Susan F. Whitehead	[2]
24	Mark Yim	[3]
25	Jiaxiang Zhou	[1]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page