John Herbert

	2012
29		Bingchuan Yuan, John Herbert: A Fuzzy-Based Context Modeling and Reasoning Framework for CARA Pervasive Healthcare. ICOST 2012: 254-257
	2011
28		Bingchuan Yuan, John Herbert: Real-Time Interactive Medical Consultation Using a Pervasive Healthcare Architecture. ICOST 2011: 215-219
27		Bingchuan Yuan, John Herbert: Web-based real-time remote monitoring for pervasive healthcare. PerCom Workshops 2011: 625-629
	2009
26		John O'Donoghue, John Herbert, Philip O'Reilly, David Sammon: Towards Improved Information Quality: The Integration of Body Area Network Data within Electronic Health Records. ICOST 2009: 299-302
25		Benjamin Aziz, Simon N. Foley, John Herbert, Garret Swart: Configuring storage-area networks using mandatory security. Journal of Computer Security 17(2): 191-210 (2009)
	2008
24		John Herbert, John O'Donoghue, Xiang Chen: A Context-Sensitive Rule-Based Architecture for a Smart Building Environment. FGCN (2) 2008: 437-440
23		John O'Donoghue, John Herbert, David Sammon, John Barton: Information Quality and Data Management within a Pervasive Medical Environment. ICIQ 2008: 368-381
22		John O'Donoghue, John Herbert, David Sammon: Patient Sensors: A Data Quality Perspective. ICOST 2008: 54-61
21		Cormac Duffy, Utz Roedig, John Herbert, Cormac J. Sreenan: A Comprehensive Experimental Comparison of Event Driven and Multi-Threaded Sensor Node Operating Systems. JNW 3(3): 57-70 (2008)
	2007
20		Cormac Duffy, Utz Roedig, John Herbert, Cormac J. Sreenan: Improving the Energy Efficiency of the MANTIS Kernel. EWSN 2007: 261-276
19		Cormac Duffy, Utz Roedig, John Herbert, Cormac J. Sreenan: Adding preemption to TinyOS. EmNets 2007: 88-92
18		Cormac Duffy, Utz Roedig, John Herbert, Cormac J. Sreenan: An Experimental Comparison of Event Driven and Multi-Threaded Sensor Node Operating Systems. PerCom Workshops 2007: 267-271
	2006
17		John Herbert, John O'Donoghue, Gao Ling, Kai Fei, Chien-Liang Fok: Mobile Agent Architecture Integration for a Wireless Sensor Medical Application. IAT Workshops 2006: 235-238
16		John O'Donoghue, John Herbert: Profile Based Sensor Data Acquisition in a Ubiquitous Medical Environme. PerCom Workshops 2006: 570-574
15		Simon N. Foley, Stefano Bistarelli, Barry O'Sullivan, John Herbert, Garret Swart: Multilevel Security and Quality of Protection. Quality of Protection 2006: 93-105
14		Benjamin Aziz, Simon N. Foley, John Herbert, Garret Swart: Reconfiguring Role Based Access Control policies using risk semantics. J. High Speed Networks 15(3): 261-273 (2006)
13		Timothy O'Sullivan, John O'Donoghue, John Herbert, Richard Studdert: CAMMD: Context-Aware Mobile Medical Devices. J. UCS 12(1): 45-58 (2006)
	2005
12		Garret Swart, Benjamin Aziz, Simon N. Foley, John Herbert: Trading Off Security in a Service Oriented Architecture. DBSec 2005: 295-309
11		Jing-Hua Ye, John Herbert: Adaptive User Interfaces Development Platform. INTERACT 2005: 1034-1037
	2004
10		Benjamin Aziz, Simon N. Foley, John Herbert, Garret Swart: Configuring Storage Area Networks for Mandatory Security. DBSec 2004: 357-370
9		Jing-Hua Ye, John Herbert: Framework for User Interface Adaptation. User Interfaces for All 2004: 167-174
8		Jing-Hua Ye, John Herbert: Interface Tailoring for Mobile Computing Devices. User Interfaces for All 2004: 175-184
	1999
7		John Herbert, Bruno Dutertre, Robert A. Riemenschneider, Victoria Stavridou: A Formalization of Software Architecture. World Congress on Formal Methods 1999: 116-133
	1997
6		John Herbert: A Simple Algorithm Specification Language and its Application. IWFM 1997
	1993
5		Roger Hale, Rachel Cardell-Oliver, John Herbert: An Embedding of Timed Transition Systems in HOL. Formal Methods in System Design 3(1/2): 151-174 (1993)
	1992
4		Richard J. Boulton, Andrew D. Gordon, Michael J. C. Gordon, John Harrison, John Herbert, John Van Tassel: Experience with Embedding Hardware Description Languages in HOL. TPCD 1992: 129-156
3		John Herbert: Incremental Design and Formal Verification of Microcoded Microporcessors. TPCD 1992: 157-174
2		Rachel Cardell-Oliver, Roger Hale, John Herbert: An Embedding of Timed Transition Systems in HOL. TPHOLs 1992: 263-278
	1991
1		John Herbert: Dealing With Temporal Complexity in Hardware Verification. TPHOLs 1991: 13-21

Coauthor Index

1	Benjamin Aziz	[10] [12] [14] [25]
2	John Barton	[23]
3	Stefano Bistarelli	[15]
4	Richard J. Boulton	[4]
5	Rachel Cardell-Oliver	[2] [5]
6	Xiang Chen	[24]
7	Cormac Duffy	[18] [19] [20] [21]
8	Bruno Dutertre	[7]
9	Kai Fei	[17]
10	Chien-Liang Fok	[17]
11	Simon N. Foley	[10] [12] [14] [15] [25]
12	Andrew D. Gordon (Andy Gordon)	[4]
13	Michael J. C. Gordon	[4]
14	Roger Hale	[2] [5]
15	John Harrison	[4]
16	Gao Ling	[17]
17	John O'Donoghue	[13] [16] [17] [22] [23] [24] [26]
18	Philip O'Reilly	[26]
19	Barry O'Sullivan	[15]
20	Timothy O'Sullivan	[13]
21	Robert A. Riemenschneider	[7]
22	Utz Roedig	[18] [19] [20] [21]
23	David Sammon	[22] [23] [26]
24	Cormac J. Sreenan	[18] [19] [20] [21]
25	Victoria Stavridou	[7]
26	Richard Studdert	[13]
27	Garret Swart	[10] [12] [14] [15] [25]
28	John Van Tassel	[4]
29	Jing-Hua Ye	[8] [9] [11]
30	Bingchuan Yuan	[27] [28] [29]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page