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
| Project | Funding Body | Start Date | End Date | Award | |
|---|---|---|---|---|---|
| Context-Aware Real-time Assistant for Falls Assessment in the Elderly | Science Foundation of Ireland | 01-OCT-09 | 27-AUG-14 | €163,726.00 | |
| Cloud Computing Architecture for Heterogeneous Real-time Big Data Analysis. | Irish Research Council | 01-OCT-13 | 30-SEP-16 | €71,250.00 |
Publications
Conference Publications
| Year | Publication | |
|---|---|---|
| (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
| Year | Publication | |
|---|---|---|
| (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
| Year | Publication | |
|---|---|---|
| (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
| Year | Publication | |
|---|---|---|
| (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
| Year | Publication | |
|---|---|---|
| (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
| Year | Title | Awarding Body | |
|---|---|---|---|
| 1989 | International Fellow | Digital Systems Research Center, Palo Alto, Ca, USA | |
| 2008 | Visiting Researcher | Computer Laboratory, University of Cambridge | |
| 2009 | Visiting Fellow | Clare Hall College, Cambridge | |
| 2009 | International Fellow | SRI International, Menlo Park, Ca, USA |
Professional Associations
| Association | Function | From / To | |
|---|---|---|---|
| IEEE | Member | / |
Conference Contributions
| Year | Publication | |
|---|---|---|
| (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
| Committee | Function | From / To | |
|---|---|---|---|
| Departmental Research | Member | / | |
| Departmental Overseas Students | Member | / |
Employment
| Employer | Position | From / To | |
|---|---|---|---|
| University of Cambridge | Visting Researcher | 01-OCT-08 / 30-JUN-09 | |
| Clare Hall, Cambridge | Visiting Fellow | 01-JAN-09 / 01-JUL-09 | |
| University of Cambridge | Temporary Lecturer | 01-SEP-94 / 01-MAY-95 | |
| SRI International, Palo Alto, Ca | International Fellow | 01-JUL-09 / 30-SEP-09 | |
| SRI International, Cambridge | Computer Scientist | 01-JAN-90 / 31-AUG-99 | |
| Digital Systems Research Centre, Palo Alto, California | International Fellow | 01-FEB-89 / 15-DEC-89 | |
| University of Cambridge | Research Associate | 01-JAN-90 / 30-SEP-93 |
Education
| Year | Institution | Qualification | Subject | |
|---|---|---|---|---|
| 1986 | Cambridge University | PHD | Computer Science | |
| 1980 | University College Cork | Postgraduate Diploma | Computer Science | |
| 1979 | University College Cork | MSc | Experimental Physics | |
| 1977 | University College Cork | BSC | Experimental Physics, Mathematics, Mathematical Physics |
Languages
| Language | Reading | Writing | Speaking | |
|---|---|---|---|---|
| Irish | Fluent | Fluent | Fluent |
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
| Journal | Role | To / From | |
|---|---|---|---|
| International Journal Of Medical Informatics | Guest Editor | 01-NOV-13 - 30-NOV-14 | |
| Ijdatics | Member of Editorial Board | 01-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 Year | Student Name | Institution | Degree Type | Thesis Title | |
|---|---|---|---|---|---|
| 2003 | Prem Gurbani | University College Cork | MSc | ||
| 2008 | John O'Donoghue | University College Cork | PhD | ||
| 2007 | Mark Burleigh | University College Cork | MSc | ||
| 2005 | Jing-Hua Ye | University College Cork | MSc | ||
| 2007 | Cormac Duffy | University College Cork | PhD |
Current Postgraduate Students
| Student | Degree Type | |
|---|---|---|
| Pakdel Rezvan | Doctoral Degree |
Modules Taught
| Term (ID)) | Title | Link | Subject | |
|---|---|---|---|---|
| 2016 | Software System Engineering | CS4508 | Software System Engineering |
Contact details
-
Senior Lecturer - j.herbert@cs.ucc.ie
- Computer Science
University College Cork
Cork
Ireland - +353-21-490-3000