Dealing With Temporal Complexity in Hardware Verification. - John Herbert (TPHOLs, 1991)

Experience with Embedding Hardware Description Languages in HOL. - Richard J. Boulton; Andrew D. Gordon 001; Michael J. C. Gordon; John Harrison 001; John Herbert; John Van Tassel (TPCD, 1992)

Incremental Design and Formal Verification of Microcoded Microporcessors. - John Herbert (TPCD, 1992)

An Embedding of Timed Transition Systems in HOL. - Roger Hale; Rachel Cardell-Oliver; John Herbert (Formal Methods Syst. Des., 1993)

A Simple Algorithm Specification Language and its Application. - John Herbert (IWFM, 1997)

A Formalization of Software Architecture. - John Herbert; Bruno Dutertre; Robert A. Riemenschneider; Victoria Stavridou (World Congress on Formal Methods, 1999)

Configuring Storage Area Networks for Mandatory Security. - Benjamin Aziz; Simon N. Foley; John Herbert; Garret Swart (DBSec, 2004)

Framework for User Interface Adaptation. - Jing-Hua Ye; John Herbert (User Interfaces for All, 2004)

Interface Tailoring for Mobile Computing Devices. - Jing-Hua Ye; John Herbert (User Interfaces for All, 2004)

Trading Off Security in a Service Oriented Architecture. - Garret Swart; Benjamin Aziz; Simon N. Foley; John Herbert (DBSec, 2005)

Adaptive User Interfaces Development Platform. - Jing-Hua Ye; John Herbert (INTERACT, 2005)

Mobile Agent Architecture Integration for a Wireless Sensor Medical Application. - John Herbert; John O'Donoghue; Gao Ling; Kai Fei; Chien-Liang Fok (IAT Workshops, 2006)

Profile Based Sensor Data Acquisition in a Ubiquitous Medical Environme. - John O'Donoghue; John Herbert (PerCom Workshops, 2006)

Reconfiguring Role Based Access Control policies using risk semantics. - Benjamin Aziz; Simon N. Foley; John Herbert; Garret Swart (J. High Speed Networks, 2006)

CAMMD: Context-Aware Mobile Medical Devices. - Timothy O'Sullivan; John O'Donoghue; John Herbert; Richard Studdert (J. Univers. Comput. Sci., 2006)

Multilevel Security and Quality of Protection. - Simon N. Foley; Stefano Bistarelli; Barry O'Sullivan; John Herbert; Garret Swart (Quality of Protection, 2006)

Adding preemption to TinyOS. - Cormac Duffy; Utz Roedig; John Herbert; Cormac J. Sreenan (EmNets, 2007)

Improving the Energy Efficiency of the MANTIS Kernel. - Cormac Duffy; Utz Roedig; John Herbert; Cormac J. Sreenan (EWSN, 2007)

An Experimental Comparison of Event Driven and Multi-Threaded Sensor Node Operating Systems. - Cormac Duffy; Utz Roedig; John Herbert; Cormac J. Sreenan (PerCom Workshops, 2007)

A Context-Sensitive Rule-Based Architecture for a Smart Building Environment. - John Herbert; John O'Donoghue; Xiang Chen (FGCN (2), 2008)

Patient Sensors: A Data Quality Perspective. - John O'Donoghue; John Herbert; David Sammon (ICOST, 2008)

Information Quality and Data Management within a Pervasive Medical Environment. - John O'Donoghue; John Herbert; David Sammon; John Barton (ICIQ, 2008)

A Comprehensive Experimental Comparison of Event Driven and Multi-Threaded Sensor Node Operating Systems. - Cormac Duffy; Utz Roedig; John Herbert; Cormac J. Sreenan (J. Networks, 2008)

Towards Improved Information Quality: The Integration of Body Area Network Data within Electronic Health Records. - John O'Donoghue; John Herbert; Philip O'Reilly; David Sammon (ICOST, 2009)

Configuring storage-area networks using mandatory security. - Benjamin Aziz; Simon N. Foley; John Herbert; Garret Swart (J. Comput. Secur., 2009)

Real-Time Interactive Medical Consultation Using a Pervasive Healthcare Architecture. - Bingchuan Yuan; John Herbert (ICOST, 2011)

Web-based real-time remote monitoring for pervasive healthcare. - Bingchuan Yuan; John Herbert (PerCom Workshops, 2011)

A Fuzzy-Based Context Modeling and Reasoning Framework for CARA Pervasive Healthcare. - Bingchuan Yuan; John Herbert (ICOST, 2012)

An enterprise-wide approach to GIG internet protocol multicast. - Bruce Bennett; Chris Peterson 001; Dan Gilbert; Emre Ertekin; John Herbert; John Kim (MILCOM, 2012)

Data Management within mHealth Environments: Patient Sensors, Mobile Devices, and Databases. - John O'Donoghue; John Herbert (ACM J. Data Inf. Qual., 2012)

Fuzzy CARA - A Fuzzy-Based Context Reasoning System For Pervasive Healthcare. - Bingchuan Yuan; John Herbert (ANT/MobiWIS, 2012)

A Proactive Cloud Management Architecture for Private Clouds. - Dapeng Dong; John Herbert (IEEE CLOUD, 2013)

Energy Efficient VM Placement Supported by Data Analytic Service. - Dapeng Dong; John Herbert (CCGRID, 2013)

Precise VM Placement Algorithm Supported by Data Analytic Service. - Dapeng Dong; John Herbert (CLOSER, 2013)

Hybrid Reasoning Framework for CARA Pervasive Healthcare. - Bingchuan Yuan; John Herbert (ICOST, 2013)

Special issue on IS/IT Applications for the Support of Older People. - David Sammon; John O'Donoghue; John Herbert; Kieran A. O'Connor (Int. J. Medical Informatics, 2013)

Content-Aware Partial Compression for Big Textual Data Analysis Acceleration. - Dapeng Dong; John Herbert (CloudCom, 2014)

FSaaS: File System as a Service. - Dapeng Dong; John Herbert (COMPSAC, 2014)

Accountability in a Context-Aware Smarthome Healthcare Reasoning System. - Bingchuan Yuan; John Herbert (COMPSAC Workshops, 2014)

A Cloud-Based Mobile Data Analytics Framework: Case Study of Activity Recognition Using Smartphone. - Bingchuan Yuan; John Herbert (MobileCloud, 2014)

Smartphone-based Activity Recognition using Hybrid Classifier - Utilizing Cloud Infrastructure for Data Analysis. - Bingchuan Yuan; John Herbert; Yalda Emamian (PECCS, 2014)

Context-aware hybrid reasoning framework for pervasive healthcare. - Bingchuan Yuan; John Herbert (Pers. Ubiquitous Comput., 2014)

Record-aware compression for big textual data analysis acceleration. - Dapeng Dong; John Herbert (IEEE BigData, 2015)

A Cloud-based Data Analysis Framework for Object Recognition. - Rezvan Pakdel; John Herbert (CLOSER, 2015)

Record-Aware Two-Level Compression for Big Textual Data Analysis Acceleration. - Dapeng Dong; John Herbert (CloudCom, 2015)

Baran: An Interaction-centred User Monitoring Framework. - Mohammad Hashemi; John Herbert (PhyCS, 2015)

An algorithm for distributed certificate chain discovery in open environments. - Samane Abdi; John Herbert (SAC, 2015)

Child-centred design supported by comprehensive child application use analysis. - Mohammad Hashemi; John Herbert (IDC, 2016)

Efficient Cloud-Based Framework for Big Data Classification. - Rezvan Pakdel; John Herbert (BigDataService, 2016)

A Next Application Prediction Service Using the BaranC Framework. - Mohammad Hashemi; John Herbert (COMPSAC, 2016)

A Service-Oriented User Interaction Analysis Framework Supporting Adaptive Applications. - Mohammad Hashemi; John Herbert (COMPSAC Workshops, 2016)

Scalable Cloud-Based Analysis Framework for Medical Big-Data. - Rezvan Pakdel; John Herbert (COMPSAC Workshops, 2016)

User interaction monitoring and analysis framework. - Mohammad Hashemi; John Herbert (MOBILESoft, 2016)

A pro-active and dynamic prediction assistance using BaranC framework. - Mohammad Hashemi; John Herbert (MOBILESoft, 2016)

Compressed domain-specific data processing and analysis. - Dapeng Dong; John Herbert (IEEE BigData, 2017)

Adaptive Cost Efficient Framework for Cloud-Based Machine Learning. - Rezvan Pakdel; John Herbert (COMPSAC (2), 2017)

Content-Aware Partial Compression for Textual Big Data Analysis in Hadoop. - Dapeng Dong; John Herbert (IEEE Trans. Big Data, 2018)

User Behaviour-Based Access Control for Social Media with Qualitative Research and Bayesian Modelling. - Sara Mccloskey; John Herbert (COMPSAC (2), 2019)