John Herbert

	2009
23		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
22		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
21		John O'Donoghue, John Herbert, David Sammon: Patient Sensors: A Data Quality Perspective. ICOST 2008: 54-61
20		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
19		Cormac Duffy, Utz Roedig, John Herbert, Cormac J. Sreenan: Improving the Energy Efficiency of the MANTIS Kernel. EWSN 2007: 261-276
18		Cormac Duffy, Utz Roedig, John Herbert, Cormac J. Sreenan: Adding preemption to TinyOS. EmNets 2007: 88-92
17		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
16		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
15		John O'Donoghue, John Herbert: Profile Based Sensor Data Acquisition in a Ubiquitous Medical Environme. PerCom Workshops 2006: 570-574
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 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] [22]
2	Richard J. Boulton	[4]
3	Rachel Cardell-Oliver	[2] [5]
4	Cormac Duffy	[17] [18] [19] [20]
5	Bruno Dutertre	[7]
6	Kai Fei	[16]
7	Chien-Liang Fok	[16]
8	Simon N. Foley	[10] [12] [14] [22]
9	Andrew Gordon	[4]
10	Michael J. C. Gordon	[4]
11	Roger Hale	[2] [5]
12	John Harrison	[4]
13	Gao Ling	[16]
14	John O'Donoghue	[13] [15] [16] [21] [23]
15	Philip O'Reilly	[23]
16	Timothy O'Sullivan	[13]
17	Robert A. Riemenschneider	[7]
18	Utz Roedig	[17] [18] [19] [20]
19	David Sammon	[21] [23]
20	Cormac J. Sreenan	[17] [18] [19] [20]
21	Victoria Stavridou	[7]
22	Richard Studdert	[13]
23	Garret Swart	[10] [12] [14] [22]
24	John Van Tassel	[4]
25	Jing-Hua Ye	[8] [9] [11]

Colors in the list of coauthors