Dr Edel Sherratt BSc, PhD (NUI)

Dr Edel Sherratt

Lecturer

Department of Computer Science

Contact Details

Teaching

Research Groups

Publications

Sherratt, E & Prinz, A 2019, Eventual Consistency Formalized. in PF i Casas, M-R Sancho & E Sheratt (eds), Lecture Notes in Computer Science: System Analysis and Modeling. Languages, Methods, and Tools for Industry. vol. 11753, Lecture Notes in Computer Science, vol. 11753, Springer Nature, pp. 249-265. https://doi.org/10.1007/978-3-030-30690-8_15
Reed, R, Sherratt, E, Prinz, A, v. Löwis, M, Piefel, M, Gotzhein, R, Eschbach, R, Glässer, U, Wang, Y, Ai, B, Zhao, Y & Zhang, W 2019, Recommendation Z.100 Annex F1 (10/2019): Specification and Description Language – Overview of SDL-2010 Annex F1: SDL-2010 formal definition: General overview. ITU Telecommunication Standardization Sector. <https://www.itu.int/rec/T-REC-Z.100-201910-I!AnnF1/en>
Sherratt, E 2017, Intelligent Resilience in the IoT. in T Csöndes, G Kovács & G Réthy (eds), SDL 2017: Model-Driven Engineering for Future Internet: 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings. 1 edn, vol. 10567, Lecture Notes in Computer Science, Springer Nature, pp. 46-60, SDL 2017, Budapest, Hungary, 09 Oct 2017. https://doi.org/10.1007/978-3-319-68015-6_4
Sherratt, E 2016, 'Formal Specification of the Internet of Things', 23rd International Workshop on Algebraic Development Techniques, United Kingdom of Great Britain and Northern Ireland, 21 Sep 2016 - 24 Sep 2016.
Reed, R, Sherratt, E, Prinz, A, v. Löwis, M, Piefel, M, Gotzhein, R, Eschbach, R, Glässer, U, Wang, Y, Zhao, Y, Zhang, W & Ai, B 2016, Recommendation Z.100 Annex F2 (10/2019): Specification and Description Language – Overview of SDL 2010 Annex F2: SDL-2010 formal definition: Static semantics. ITU Telecommunication Standardization Sector. <https://www.itu.int/rec/T-REC-Z.100-201910-I!AnnF2/en>
More publications on the Research Portal