John Herbert

2008
21	EE	John O'Donoghue, John Herbert, David Sammon: Patient Sensors: A Data Quality Perspective. ICOST 2008: 54-61
20	EE	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	EE	Cormac Duffy, Utz Roedig, John Herbert, Cormac J. Sreenan: Improving the Energy Efficiency of the MANTIS Kernel. EWSN 2007: 261-276
18	EE	Cormac Duffy, Utz Roedig, John Herbert, Cormac J. Sreenan: Adding preemption to TinyOS. EmNets 2007: 88-92
17	EE	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	EE	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	EE	John O'Donoghue, John Herbert: Profile Based Sensor Data Acquisition in a Ubiquitous Medical Environme. PerCom Workshops 2006: 570-574
14	EE	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	EE	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	EE	Garret Swart, Benjamin Aziz, Simon N. Foley, John Herbert: Trading Off Security in a Service Oriented Architecture. DBSec 2005: 295-309
11	EE	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	EE	Jing-Hua Ye, John Herbert: Framework for User Interface Adaptation. User Interfaces for All 2004: 167-174
8	EE	Jing-Hua Ye, John Herbert: Interface Tailoring for Mobile Computing Devices. User Interfaces for All 2004: 175-184
1999
7	EE	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]
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]
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]
15	Timothy O'Sullivan	[13]
16	Robert A. Riemenschneider	[7]
17	Utz Roedig	[17] [18] [19] [20]
18	David Sammon	[21]
19	Cormac J. Sreenan	[17] [18] [19] [20]
20	Victoria Stavridou	[7]
21	Richard Studdert	[13]
22	Garret Swart	[10] [12] [14]
23	John Van Tassel	[4]
24	Jing-Hua Ye	[8] [9] [11]

Colors in the list of coauthors