Research Profile

Biography

John Herbert was an undergraduate student of Physics and Mathematics. During a research MSc in Physics he implemented a computer program to explain experimental results of electron density in a plasma. This led to an interest in Computer Science and a PhD in Computer Science at the Computer Laboratory, Cambridge University. Subsequent to the PhD he worked at Cambridge University and SRI International (Stanford Research Institute) in Cambridge.

The topic of the PhD, and much subsequent research, relates to the application of discrete mathematics in formal modelling and analysis of digital systems, with a particular emphasis on real-time aspects. This interest in formal modelling of systems now encompasses non-functional as well as functional properties. Modelling non-functional properties, and the trade-off in such properties, is important for many modern distributed systems; the modelling of data quality  properties in pervasive wireless sensor systems is one particular area of interest. Application areas under research at present include: home monitoring of an individual using wireless medical sensors; modelling the rich context in a smarthome; modelling the dynamic digital context of a mobile device user. One recent project focuses on developing an architectural solution to support the use of wireless medical sensors for the particular application of falls risk assessment in the elderly. The management of large datasets from pervasive systems has led to an interest in cloud computing and big data analysis, and these are topics of other current projects.

Research Interests

Research topics include the modelling and implementation of architectures for pervasive computing applications based on wireless sensor nodes, and analysis of real-time aspects of wireless sensor nodes. The main impact of the work has been the development of more precise models and more appropriate architectures for the important application area of pervasive computing applications. 

One particular application that has been developed is a medical one based on patient sensor nodes that were designed and built specially for the case study. Newer hardware and software are being developed as part of a follow-on to this work. The current SFI Research Frontiers Programme funded project, Context-aware real-time assistant for falls assessment in the elderly (CARA), is developing this work further in collaboration with the end-user medical consultant, and this project will run until 2014.

Other current research projects involve various aspects of cloud computing, including efficiency, user interface and data analysis concerns. These projects will run until 2016.

 

Research Grants

 ProjectFunding
Body
Start DateEnd DateAward
Context-Aware Real-time Assistant for Falls Assessment in the ElderlyScience Foundation of Ireland01-OCT-0927-AUG-14€163,726.00
Cloud Computing Architecture for Heterogeneous Real-time Big Data Analysis.Irish Research Council01-OCT-1330-SEP-16€71,250.00

Publications

Conference Publications

 YearPublication
(2016)IEEE MoblieSoft 2016
Hashemi, M. and Herbert, J. (2016) Pro-active and Dynamic Prediction Assistance Using the Baran Framework IEEE MoblieSoft 2016 [Details]
(2016)IEEE MoblieSoft 2016
Hashemi, M. and Herbert, J. (2016) User Interaction Monitoring and Analysis Framework IEEE MoblieSoft 2016 Austin, USA, [Details]
(2015)2nd International Conference On Physiological Computing System
Hashemi, M. and Herbert, J. (2015) Baran: An Interaction-centred User Monitoring Framework 2nd International Conference On Physiological Computing System Angers, France, , 11-FEB-15 - 13-FEB-15 , pp.52-60 [DOI] [Details]
(2015)2015 IEEE International Conference on Big Data
D. Dong and J. Herbert (2015) Record-aware compression for big textual data analysis acceleration 2015 IEEE International Conference on Big Data Santa Clara, CA, , pp.1183-1190 [DOI] [Details]
(2014)38th Annual IEEE International Computers, Software & Applica-
D. Dong and J. Herbert (2014) FSaaS: File System as a Service 38th Annual IEEE International Computers, Software & Applica- Västerås, Sweden, , pp.149-154 [Details]
(2015)2015 IEEE 7th International Conference on Cloud Computing Technology and Science
D. Dong and J. Herbert (2015) Record-Aware Two-Level Compression for Big Textual Data Analysis Acceleration 2015 IEEE 7th International Conference on Cloud Computing Technology and Science Vancouver, BC, Canada, , pp.9-16 [Details]
(2014)2014 38TH ANNUAL IEEE INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS (COMPSACW 2014)
Yuan, BC;Herbert, J (2014) Accountability in a Context-aware Smarthome Healthcare Reasoning System 2014 38TH ANNUAL IEEE INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS (COMPSACW 2014) , pp.702-707 [DOI] [Details]
(2014)IEEE International Conference on Cloud Computing Technology and Science
Dong, D. and Herbert, J. (2014) Content-aware Partial Compression for Big Textual Data Analysis Acceleration IEEE International Conference on Cloud Computing Technology and Science [Details]
(2014)IEEE International Workshop on Medical Computing
B Yuan and J Herbert (2014) Accountability in a Context-aware Smarthome Healthcare Reasoning System IEEE International Workshop on Medical Computing [Details]
(2014)International Conference on Pervasive and embedded computing and communication
Yuan, B, Herbert, J and Emamian, Y (2014) Smartphone-based Activity Recognition using Hybrid Classifier - Utilizing Cloud Infrastructure for Data Analysis International Conference on Pervasive and embedded computing and communication Lisbon, , 07-JAN-14 - 09-JAN-14 [Details]
(2014)IEEE Mobile Cloud
Yuan, B, and Herbert, J (2014) A Cloud-Based Mobile Data Analytics Framework: Case Study of Activity Recognition Using a Smartphone IEEE Mobile Cloud [Details]
(2013)IEEE Sixth International Conference on. Cloud Computing. CLOUD 2013
Dong, D and Herbert, J (2013) A Proactive Cloud Management Architecture for Private Clouds IEEE Sixth International Conference on. Cloud Computing. CLOUD 2013 [Details]
(2013)3rd International Conference on Cloud Computing and Services Science (CLOSER 2013)
Dong, D and Herbert, J (2013) Precise VM Placement Algorithm Supported by Data Analytic Service 3rd International Conference on Cloud Computing and Services Science (CLOSER 2013) [Details]
(2013)13th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2013)
Dong, D and Herbert, J (2013) Energy Efficient VM Placement Supported by Data Analytic Service 13th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2013) [Details]
(2013)2013 AASRI Conference on Intelligent Systems and Control (ISC 2013)
Yuan, B and Herbert, J (2013) Transparency Issues in a Hybrid Reasoning Architecture for Assistive Healthcare 2013 AASRI Conference on Intelligent Systems and Control (ISC 2013) [Details]
(2013)11th International Conference on Smart Homes and Health Telematics, ICOST 2013
Yuan, B and Herbert, J (2013) Hybrid Reasoning Framework for CARA Pervasive Healthcare . In: Lecture Notes in Computer Science Volume 7910 eds. 11th International Conference on Smart Homes and Health Telematics, ICOST 2013 Singapore, , 19-JUN-13 - 21-JUN-13 , pp.126-133 [Details]
(2012)ICOST'12 10th international smart homes and health telematics conference on Impact Ananlysis of Solutions for Chronic Disease Prevention and Management
Bingchuan Yuan, John Herbert (2012) A fuzzy-based context modeling and reasoning framework for CARA pervasive healthcare ICOST'12 10th international smart homes and health telematics conference on Impact Ananlysis of Solutions for Chronic Disease Prevention and Management [Details]
(2012)Procedia CS
Bingchuan Yuan, John Herbert (2012) Fuzzy CARA - A Fuzzy-Based Context Reasoning System For Pervasive Healthcare Procedia CS [Details]
(2011)Workshop on Smart Environments to Enhance Health Care (SmartE 2011) in IEEE International Conference on Pervasive Computing and Communications(Percom2011)
Bingchuan Yuan, John Herbert; (2011) Web-based Real-time Remote Monitoring for Pervasive Healthcare Workshop on Smart Environments to Enhance Health Care (SmartE 2011) in IEEE International Conference on Pervasive Computing and Communications(Percom2011) [Details]
(2011)The 2011 International Conference on Wireless Networks (ICWN'11)
Bingchuan Yuan, John Herbert; (2011) Non-intrusive Movement Detection in CARA Pervasive Healthcare Application The 2011 International Conference on Wireless Networks (ICWN'11) [Details]
(2011)The 9th International Conference on Smart Homes and Health Telematics (ICOST 2011)
Bingchuan Yuan, John Herbert; (2011) Real-Time Interactive Medical Consultation Using a Pervasive Healthcare Architecture The 9th International Conference on Smart Homes and Health Telematics (ICOST 2011) , pp.215-219 [Details]
(2009)The 7th International Conference on Smart Homes and Health Telematics (ICOST2009)
O'Donoghue, J., Herbert, J., O'Reilly, P. and Sammon, D. ; (2009) Towards Improved Information Quality: The Integration of Body Area Network Data within Electronic Health Records The 7th International Conference on Smart Homes and Health Telematics (ICOST2009) Tours, France, , 01-JUL-09 - 03-JUL-09 [Details]
(2009)7th International Conference on Smart Homes and Health Telematic (ICOST)
O‘Donoghue, J., O‘Reilly, P., Sammon, D. and Herbert, J. (2009) The Integration of Body Area Networks within Electronic Health Records: A Data Quality Necessity 7th International Conference on Smart Homes and Health Telematic (ICOST) [Details]
(2008)2nd European Conference on Information Management and Evaluation (ECIME 2008)
O'Donoghue, J., Herbert, J., Sammon, D. and O'Connor, K., ; (2008) A Quality-Based Real-Time Information Management System within a Medical Environment: The Case of Falls Assessment 2nd European Conference on Information Management and Evaluation (ECIME 2008) Academic Conferences International, Royal Holloway University of London UK, , pp.335-342 [Details]
(2008)In the proceedings of the European Conference on Information Management and Evaluation (ECIME 2008)
O'Donoghue, J., Herbert, J. Sammon, D. and O'Connor, K; (2008) Quality-Based Real-Time Information Management System within a Medical Environment: The Case of Falls Assessment In the proceedings of the European Conference on Information Management and Evaluation (ECIME 2008) [Details]
(2008)13th International Conference on Information Quality (ICIQ 2008)
O'Donoghue, J., Herbert, J. Sammon, D., and Barton, J (2008) Information Quality and Data Management within a Pervasive Medical Environment 13th International Conference on Information Quality (ICIQ 2008) MIT, Cambridge MA USA, 2008, (8 pages), , pp.368-381 [Details]
(2008)6th International Conference On Smart Homes and Health Telematics (ICOST2008) (Gerontechnology: Enhancing the Quality of Life for Rural Elders)
O'Donoghue, J., Herbert, J. and Sammon, D; (2008) Patient Sensors: A Data Quality Perspective 6th International Conference On Smart Homes and Health Telematics (ICOST2008) (Gerontechnology: Enhancing the Quality of Life for Rural Elders) Iowa State University, USA, [Details]
(2008)IEEE International Symposium on Smart Homes
Herbert, J. and O’Donoghue, J. (2008) A Context-Sensitive Rule-based Architecture for Smart Buildings IEEE International Symposium on Smart Homes [Details]
(2008)IEEE International Symposium on Smart Homes
O’Donoghue, J. and Herbert J. (2008) Context-Aware Data Management within Wireless Sensors Networks IEEE International Symposium on Smart Homes [Details]
(2007)IEEE Pervasive Health
Angove, P., O’Flynn, B., Barton, J., Gonzalez, A., O’Mathuna, C., O’Donoghue, J., Min, S., Herbert, J. (2007) A Biomonitor Implementation for E-Health IEEE Pervasive Health [Details]
(2007)Proc. of Third IEEE International Workshop on Sensor Networks and Systems for Pervasive Computing (PERSENS)
C. Duffy, U. Roedig, J. Herbert, C.J. Sreenan; (2007) An Experimental Comparison of Event Driven and Multi-Threaded Sensor Node Operating Systems Proc. of Third IEEE International Workshop on Sensor Networks and Systems for Pervasive Computing (PERSENS) [Details]
(2007)Proc. of 4th European Conference on Wireless Sensor Networks (EWSN), IEEE Computer Society Press
Duffy, C; Roedig, U; Herbert, J; Sreenan, CJ (2007) Improving the Energy Efficiency of the MANTIS Kernel Proc. of 4th European Conference on Wireless Sensor Networks (EWSN), IEEE Computer Society Press [Details]
(2007)Proc. of 4th Workshop on Embedded Networked Sensors (EmNets), ACM Press
C. Duffy, U. Roedig, J. Herbert, C.J. Sreenan; (2007) Adding Preemption to TinyOS Proc. of 4th Workshop on Embedded Networked Sensors (EmNets), ACM Press [Details]
(2007)In Proceedings of the 2nd Workshop on Wireless Sensor Networks Research in Ireland (WiSen)
O¿Flynn, B. Angove, P. Barton, J. Gonzalez A. O¿Donoghue, J. and Herbert, J; (2007) Wireless ECG - Biomonitor for Implementation for E-Health In Proceedings of the 2nd Workshop on Wireless Sensor Networks Research in Ireland (WiSen) [Details]
(2006)Proceedings of the Doctor Colloquium in conjunction with Pervasive 2006
O'Donoghue J. and Herbert J.; (2006) A QoS Data Management System within a Pervasive Medical Environment . In: * eds. Proceedings of the Doctor Colloquium in conjunction with Pervasive 2006 Dublin, , 01-MAY-06 - 30-DEC-99 , pp.*-* [Details]
(2006)In proceedings of IEEE Sensors 2006
O'Donoghue J., Herbert J. and Kennedy R.; (2006) Data Consistency Within a Pervasive Medical Environment . In: * eds. In proceedings of IEEE Sensors 2006 Korea, , 22-OCT-06 - 25-OCT-06 , pp.*-* [Details]
(2006)In proceedings of IEEE Sensors 2006
O'Donoghue J., Herbert J. and Fensli R.; (2006) Sensor Validation Within a Pervasive Medical Environment . In: * eds. In proceedings of IEEE Sensors 2006 Korea, , 22-OCT-06 - 25-OCT-06 , pp.*-* [Details]
(2006)Proceedings of the 4th International Conference on Smart Homes and Health Telematic (ICOST 2006)
O'Donoghue J., Herbert J. and Stack P.; (2006) Remote Non-Intrusive Patient Monitoring . In: * eds. Proceedings of the 4th International Conference on Smart Homes and Health Telematic (ICOST 2006) Belfast, Northern Ireland, , 26-JUN-06 - 28-JUN-06 , pp.*-* [Details]
(2006)Proceedings of First IEEE International Workshop on Intelligent Agents in Wireless Sensor Networks (IA-WSN)
Herbert, J. and O¿Donoghue, J. ; (2006) Mobile Agent Architecture Integration for a Wireless Sensor Medical Application Proceedings of First IEEE International Workshop on Intelligent Agents in Wireless Sensor Networks (IA-WSN) [Details]
(2006)IEEE International Workshop on Intelligent Agents in Wireless Sensor Networks (IA-WSN)
Herbert, J. and O’Donoghue, J. (2006) Mobile Agent Architecture Integration for a Wireless Sensor Medical Application IEEE International Workshop on Intelligent Agents in Wireless Sensor Networks (IA-WSN) [Details]
(2006)Proceedings of UbiCare 2006 workshop in conjunction with IEEE PerCom 2006
O'Donoghue J. and Herbert J.; (2006) Profile Based Sensor Data Acquisition in a Ubiquitous Medical Environment . In: * eds. Proceedings of UbiCare 2006 workshop in conjunction with IEEE PerCom 2006 Pisa, Italy, , 13-MAR-06 - 17-MAR-06 , pp.570-574 [Details]
(2006)Proceedings of 5th IEEE Sensors Conference
J. O'Donoghue, J. Herbert and R. Salerno-Kennedy; (2006) Data Consistency within a Pervasive Medical Environment Proceedings of 5th IEEE Sensors Conference Korea, , 22-OCT-06 - 25-OCT-06 [Details]
(2006)IEEE Sensors
O’Donoghue, J., Herbert, J. and Fensli, R. (2006) Sensor Validation within a Pervasive Medical Environment IEEE Sensors [Details]
(2006)UbiCare
O’Donoghue, J. and Herbert, J. (2006) Profile Based Sensor Data Acquisition in a Ubiquitous Medical Environment UbiCare [Details]
(2006)IEEE International Conference on Signals and Electronic Systems (ICSES)
O’Flynn, B., Angove, P., Barton, J., Gonzalez, A., O’Donoghue, J. and Herbert, J. (2006) Wireless Biomonitor for Ambient Assisted Living IEEE International Conference on Signals and Electronic Systems (ICSES) [Details]
(2006)Proceedings of Artificial Intelligence Techniques for Ambient Intelligence (AITAmI¡¯06) in conjunction with ECAI 2006
O'Donoghue J. and Herbert J.; (2006) An Intelligent Data Management Reasoning Model within a Wireless Patient Sensor Network . In: * eds. Proceedings of Artificial Intelligence Techniques for Ambient Intelligence (AITAmI¡¯06) in conjunction with ECAI 2006 Riva de Garda, Italy, , 29-AUG-06 - 29-AUG-06 , pp.*-* [Details]
(2005)Information Technology & Telecommunications Annual Conference (IT&T)
Barton, J., O’Flynn, B., Angove, P., Gonzalez, A., O’Donoghue, J. and Herbert, J. (2005) Wireless Sensor Networks and Pervasive Patient Monitoring Information Technology & Telecommunications Annual Conference (IT&T) [Details]
(2005)Proceedings of the 3rd International Conference on Smart Homes and Health Telematic (ICOST 2005)
O'Donoghue J. and Herbert J.; (2005) Data Management System: A Context Aware Architecture For Pervasive Patient Monitoring . In: * eds. Proceedings of the 3rd International Conference on Smart Homes and Health Telematic (ICOST 2005) Montreal, Canada, , 04-JUL-05 - 06-JUL-05 , pp.159-166 [Details]
(2005)19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Springer Verlag LNCS
Swart G., Aziz B., Foley S.N. and Herbert J.; (2005) Trading Off Security in a Service Oriented Architecture 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Springer Verlag LNCS Connecticut USA, , 01-AUG-05 - 30-DEC-99 [Details]
(2005)In proceedings of First Workshop on Quality of Protection, Springer LNCS
Foley S.N., Bistaelli S., O'Sullivan B., Herbert J. and Swart G.; (2005) Multilevel Security and Quality of Protection In proceedings of First Workshop on Quality of Protection, Springer LNCS Como, Italy, , 01-SEP-05 - 30-DEC-99 [Details]
(2005)INTERACT 2005
Ye J., Herbert J.; (2005) Adaptive User Interfaces Development Platform . In: * eds. INTERACT 2005 *, , 01-JAN-05 - 30-DEC-99 , pp.1034-1037 [Details]
(2005)3rd International Conference on Smart Homes and Health Telematic (ICOST)
O’Donoghue, J. and Herbert, J. (2005) Data Management System: A Context Aware Architecture For Pervasive Patient Monitoring 3rd International Conference on Smart Homes and Health Telematic (ICOST) [Details]
(2005)ESORICS Quality of Protection Workshop 2005
FOLEY, S. N.; BISTARELLI, S.; O'SULLIVAN, B.; HERBERT, J.; and SWART, G (2005) Multilevel Security and Quality of Protection ESORICS Quality of Protection Workshop 2005 [Details]
(2004)18th Annual IFIP WG 11.3 Working Conference on Data and Applications Security
Aziz B., Foley S.N., Herbert J., Swart G.; (2004) Configuring Storage-Area Networks for Mandatory Security 18th Annual IFIP WG 11.3 Working Conference on Data and Applications Security Sitges, Spain, , 25-JUL-04 - 28-JUL-04 [Details]
(2004)In Proceedings of the 18th Annual IFIP WG 11.3 Working Conference on Data and Applications Security
Aziz B., Foley S. N., Herbert J. and Swart G.; (2004) Configuring Storage- Area Networks for Mandatory Security . In: * eds. In Proceedings of the 18th Annual IFIP WG 11.3 Working Conference on Data and Applications Security Sitges, Spain, , 01-JUL-04 - 30-DEC-99 , pp.357-370 [Details]
(2004)ICSOC04 Forum (2nd International Conference on Service Oriented Computing). Published as IBM Technical Report
Swart G., Aziz B., Foley S.N. and Herbert J.; (2004) Automatic Configuration of Services for Security, Bandwidth, Throughput, and Availability ICSOC04 Forum (2nd International Conference on Service Oriented Computing). Published as IBM Technical Report *, , 01-JAN-04 - 30-DEC-99 [Details]
(2004)User Interfaces for All 2004
Ye J., Herbert J.; (2004) Framework for User Interface Adaptation . In: * eds. User Interfaces for All 2004 *, , 01-JAN-04 - 30-DEC-99 , pp.167-174 [Details]
(2004)In Forum proceedings of the 2nd International Conference on Service Oriented Computing (ICSOC¡¯04), , IBM Technical Report RA221
Swart G., Aziz B., Foley S. and Herbert J.; (2004) Automatic Configuration of Services for Security, Bandwidth, Throughput and Availability . In: * eds. In Forum proceedings of the 2nd International Conference on Service Oriented Computing (ICSOC¡¯04), , IBM Technical Report RA221 New York, USA, , 01-NOV-04 - 30-DEC-99 , pp.*-* [Details]
(2004)User Interfaces for All 2004
Ye J., Herbert J.; (2004) Interface Tailoring for Mobile Computing Devices . In: * eds. User Interfaces for All 2004 *, , 01-JAN-04 - 30-DEC-99 , pp.175-184 [Details]
(2014)Fifth International Conference on Intelligent Systems, Modeling and Simulation
Hashemi, M., and Herbert, J. (2014) UIXSim: A user interface experience analysis framework Fifth International Conference on Intelligent Systems, Modeling and Simulation Mayasia, , 27-JAN-14 - 29-JAN-14 , pp.29-34 [Details]
(1999)World Congress on Formal Methods
John Herbert, Bruno Dutertre, Robert A. Riemenschneider, Victoria Stavridou (1999) A Formalization of Software Architecture World Congress on Formal Methods [Details]
(1995)The Mathematics of Dependable Systems
Bowen, J.; Jifeng, H.; Hale, R.; Herbert, J.; (1995) Towards Verified Systems: The SAFEMOS Project . In: * eds. The Mathematics of Dependable Systems Towards Verified Systems: The SAFEMOS Project [B5014], , 01-JAN-95 - 30-DEC-99 , pp.*-* [Details]
(1997)Proceedings of the First Irish Workshop on Formal Methods
Herbert, J.; (1997) A Simple Algorithm Description Language and Its Application . In: * eds. Proceedings of the First Irish Workshop on Formal Methods , 01-JAN-97 - 30-DEC-99 , pp.*-* [Details]
(2005)Proceedings of Quality of Protection, Springer Advances in Information Security Series
Foley S., Bistarelli S., O'Sullivan B., Herbert J. and Swart G. ; (2005) Multilevel Security and Quality of Protection . In: * eds. Proceedings of Quality of Protection, Springer Advances in Information Security Series *, , 01-SEP-05 - 30-DEC-99 , pp.*-* [Details]
(1992)Theorem Provers in Circuit Design
Boulton, R.; Gordon, A.; Gordon, M.; Harrison, J.; Herbert, J.; van Tassel, J.; (1992) Experience With Embedding Hardware Description Languages in HOL . In: * eds. Theorem Provers in Circuit Design , 01-JAN-92 - 30-DEC-99 , pp.*-* [Details]

Peer Reviewed Journals

 YearPublication
(2014)'Context-aware hybrid reasoning framework for pervasive healthcare'
Yuan, BC,Herbert, J (2014) 'Context-aware hybrid reasoning framework for pervasive healthcare'. Personal and Ubiquitous Computing, 18 :865-881 [DOI] [Details]
(2013)'Efficient Private Cloud Operation using Proactive Management Service'
Dong, D and Herbert, J (2013) 'Efficient Private Cloud Operation using Proactive Management Service'. International Journal of Cloud Computing, 1 (2):60-71   [Details]
(2012)'Data Management within mHealth Environments: Patient Sensors, Mobile Devices, and Databases'
O’Donoghue, J. and Herbert, J. (2012) 'Data Management within mHealth Environments: Patient Sensors, Mobile Devices, and Databases'. ACM Journal of Data and Information Quality, 4 (1)   [Details]
(2009)'Context Aware Data Management within a Smart Home Environment'
O’Donoghue J., Herbert, J. (2009) 'Context Aware Data Management within a Smart Home Environment'. International Journal of Smart Home, [Details]
(2009)'Configuring Storage Area Networks Using Mandatory Security'
Benjamin Aziz, Simon Foley, John Herbert and Garret Swart; (2009) 'Configuring Storage Area Networks Using Mandatory Security'. Journal of Computer Security, [Details]
(2008)'A Comprehensive Experimental Comparison of Event Driven and Multi-Threaded Sensor Node Operating Systems'
C. Duffy, U. Roedig, J. Herbert, C.J. Sreenan; (2008) 'A Comprehensive Experimental Comparison of Event Driven and Multi-Threaded Sensor Node Operating Systems'. Journal of Networks, [Details]
(2006)'Reconfiguring Role Based Access Control Policies Using Risk Semantics'
Aziz B., Foley S.N., Herbert J. and Swart G.; (2006) 'Reconfiguring Role Based Access Control Policies Using Risk Semantics'. Journal of High Speed Networks, * (Special issue on Sec):*-* [Details]
(2006)'CAMMD: Context Aware Mobile Medical Devices'
O’Sullivan T. O’Donoghue J. Herbert J. and Studdert R. (2006) 'CAMMD: Context Aware Mobile Medical Devices'. International Journal of Universal Computer Science, 2006, 12 (1):45-58 [DOI] [Details]

Articles

 YearPublication
(2008)A Context-Sensitive Rule-Based Architecture For A Smart Building Environment.
Herbert, J, O'Donoghue, J, Chen, X; (2008) A Context-Sensitive Rule-Based Architecture For A Smart Building Environment. Articles [Details]

Journal Volume Edited

 YearPublication
(2013)Special issue on IS/IT Applications for the Support of Older People.
Sammon, D,O'Donoghue, J,Herbert, J,O'Connor, KA (2013) Special issue on IS/IT Applications for the Support of Older People. Journal Volume Edited [DOI] [Details]

Other

 YearPublication
(2009)Towards Improved Information Quality: The Integration of Body Area Network Data Within Electronic Health Records.
O'Donoghue, J, Herbert, J, O'Reilly, P, Sammon, D; (2009) Towards Improved Information Quality: The Integration of Body Area Network Data Within Electronic Health Records. Other [Details]
(2008)A Quality-Based Real-Time Information Management System Within A Medica Environment: The Case of Falls Assessment.
O'Donoghue, J, Herbert, J, Sammon, D, O'Connor, K; (2008) A Quality-Based Real-Time Information Management System Within A Medica Environment: The Case of Falls Assessment. Other [Details]
(2008)Patient Sensors: A Data Quality Perspective.
O'Donoghue, J, Herbert, J, Sammon, D; (2008) Patient Sensors: A Data Quality Perspective. Other [Details]
(2007)Improving The Energy Efficiency of The Mantis Kernel.
Duffy, C, Roedig, U, Herbert, J, Sreenan, CJ; (2007) Improving The Energy Efficiency of The Mantis Kernel. Other [Details]
(2007)An Experimental Comparison of Event Driven and Multi-Threaded Sensor Node Operating Systems.
Duffy, C, Roedig, U, Herbert, J, Sreenan, C; (2007) An Experimental Comparison of Event Driven and Multi-Threaded Sensor Node Operating Systems. Other [Details]
(2006)Profile Based Sensor Data Acquisition In A Ubiquitous Medical Environment.
O'Donoghue, J, Herbert, J; (2006) Profile Based Sensor Data Acquisition In A Ubiquitous Medical Environment. Other [Details]
(2006)Mobile Agent Architecture Integration For A Wireless Sensor Medical Application.
Herbert, J, O'Donoghue, J, Ling, G, Fei, K, Fok, CL; (2006) Mobile Agent Architecture Integration For A Wireless Sensor Medical Application. Other [Details]
(2006)Data Consistency Within A Pervasive Medical Environment.
O'Donoghue, J, Herbert, J, Salerno-Kennedy, R; (2006) Data Consistency Within A Pervasive Medical Environment. Other [Details]
(2006)Sensor Validation Within A Pervasive Medical Environment.
O'Donoghue, J, Herbert, J, Fensli, R, Dineen, S; (2006) Sensor Validation Within A Pervasive Medical Environment. Other [Details]
(2005)Trading off security in a service oriented architecture.
Swart, G,Aziz, B,Foley, SN,Herbert, J (2005) Trading off security in a service oriented architecture. Other [Details]
(2005)Adaptive user interfaces development platform.
Ye, JH,Herbert, J (2005) Adaptive user interfaces development platform. Other [Details]
(2004)Framework for user interface adaptation.
Ye, JH,Herbert, J (2004) Framework for user interface adaptation. Other [Details]
(2004)Interface tailoring for mobile computing devices.
Ye, JH,Herbert, J (2004) Interface tailoring for mobile computing devices. Other [Details]

Professional Activities

Honours and Awards

 YearTitleAwarding Body
1989International Fellow Digital Systems Research Center, Palo Alto, Ca, USA
2008Visiting Researcher Computer Laboratory, University of Cambridge
2009Visiting Fellow Clare Hall College, Cambridge
2009International Fellow SRI International, Menlo Park, Ca, USA

Professional Associations

 AssociationFunctionFrom / To
IEEE Member/

Conference Contributions

 YearPublication
(1992)Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications,
Herbert, J.; (1992) *. [N/A], Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, Dealing With Temporal Complexity in Hardware Verification [B5020] , 01-JAN-92 - 30-DEC-99. [Details]
(2006)In Proceedings of the International Journal of Universal Computer Science, Special Issue on Pervasive Health Management: New Challenges for Health Informatics,
O'Sullivan T., O'Donoghue J., Herbert J., and Studdert R.,; (2006) CAMMD: Context Aware Mobile Medical Devices. [N/A], In Proceedings of the International Journal of Universal Computer Science, Special Issue on Pervasive Health Management: New Challenges for Health Informatics, * , 01-JAN-06 - 30-DEC-99. [Details]

Committees

 CommitteeFunctionFrom / To
Departmental Research Member/
Departmental Overseas Students Member/

Employment

 EmployerPositionFrom / To
University of Cambridge Visting Researcher01-OCT-08 / 30-JUN-09
Clare Hall, Cambridge Visiting Fellow01-JAN-09 / 01-JUL-09
University of Cambridge Temporary Lecturer01-SEP-94 / 01-MAY-95
SRI International, Palo Alto, Ca International Fellow01-JUL-09 / 30-SEP-09
SRI International, Cambridge Computer Scientist01-JAN-90 / 31-AUG-99
Digital Systems Research Centre, Palo Alto, California International Fellow01-FEB-89 / 15-DEC-89
University of Cambridge Research Associate01-JAN-90 / 30-SEP-93

Education

 YearInstitutionQualificationSubject
1986Cambridge University PHDComputer Science
1980University College Cork Postgraduate DiplomaComputer Science
1979University College Cork MScExperimental Physics
1977University College Cork BSCExperimental Physics, Mathematics, Mathematical Physics

Languages

 LanguageReadingWritingSpeaking
Irish FluentFluentFluent

Outreach Activities

 Description

Organizing visiting speakers from industry for undergraduate and postgraduate courses.

Visiting of Shanghai and Beijing partner universities during visits to China, 2010, 2011

Visiting It companies to discuss student placement and attending of IT networking events.

Participation in Open days for undergraduate and postgraduate courses.

Participation in Scéim na Scoile outreach to secondary schools programme.

Advisor (and PhD supervisor) of team of 3 PhD students who entered the IEEE mobile app development contest (IEEEmadC) 2013-2014, and was one of the winning teams, winning the Computer Society Special Prize and an iPad.

Journal Activities

 JournalRoleTo / From
International Journal Of Medical Informatics Guest Editor01-NOV-13 - 30-NOV-14
Ijdatics Member of Editorial Board01-AUG-08 - 04-APR-14

Other Activities

 Description

External Examiner for Cambridge University

External Examiner for University of Leuven

External Reviewer for University of Limerick

External Reviewer for UK Science and Engineering Research Council

External Reviewer Panel for Natural Sciences and Engineering Research Council of Canada

Teaching Activities

Teaching Interests

Current courses:
CS4504 Advanced Software Engineering;
CS6320 Formal Methods for Distributed Systems;
CS6321 Model-based Software Development;
CS6403 Case Studies in Computing Entrepreneurship

Other topics of interest include logic design and real-time systems

Recent Postgraduates

 Graduation YearStudent NameInstitutionDegree TypeThesis Title
2003Prem Gurbani University College CorkMSc
2008John O'Donoghue University College CorkPhD
2007Mark Burleigh University College CorkMSc
2005Jing-Hua Ye University College CorkMSc
2007Cormac Duffy University College CorkPhD

Current Postgraduate Students

 StudentDegree Type
Pakdel Rezvan Doctoral Degree

Modules Taught

 Term (ID))TitleLinkSubject
2016Software System Engineering CS4508Software System Engineering

Contact details

Search profiles by name

Search profiles by topic

School of Computer Science and Information Technology

Scoil na Ríomheolaíochta agus na Teicneolaíochta Faisnéise

School of Computer Science and Information Technology, Western Gateway Building, University College Cork, Western Road, Cork, Ireland

Top