Jon Kerridge
Profesor
School of Computing
Edinburgh Napier University
United Kingdom
Biography
Dr. Jon Kerridge is affiliated to School of Computing, Edinburgh Napier University. Dr. Jon Kerridge is currently providing services as Profesor. Dr. Jon Kerridge has published numerous publications in various national and international peer-reviewed journals and presented scientific papers across the world. Because of the active association with different societies and academies as well as the contributions, Dr. Jon Kerridge is been recognized by the subject experts around the world. Dr. Jon Kerridge contributions are appreciated by various reputed awards. Dr. Jon Kerridge clinical and scientific research interests include Software systems.
Research Interest
Software systems
Publications
-
Chalmers, K. (2010). Performance of the distributed CPA protocol and architecture on traditional networks. In Welch, P., Sampson, A. T., Pedersen, J. B., Kerridge, J., Broenink, J. F. & Barnes, J. (Eds.). Communicating Process Architectures 2011, 227-242. IOS Press. ISBN 978-1-60750-773-4
-
Kosek, A., Syed, A. & Kerridge, J. (2010). An emergent behaviour algorithm in JCSP for energy conservation in lighting systems. In Welch, P., Sampson, A. T., Pedersen, J. B., Kerridge, J., Broenink, J. F. & Barnes, F. R. M. (Eds.). Communicating Process Architectures 2011, 143-156. IOS Press. doi:10.3233/978-1-60750-774-1-143. ISBN 978 1 60750 773 4
-
Chalmers, K. & Kerridge, J. (2012). Verifying the CPA Networking Stack using SPIN/Promela. In Welch, P. H., Barnes, F. R. M., Broenink, J. F., Chalmers, K., Pedersen, J. B. & Sampson, A. T. (Eds.). Communicating Process Architectures 2013, 39-56. Open Channel Publishing Ltd. ISBN 978-0-9565409-7-3