Edel Sherratt

Edel Sherratt

Dr, BSc, PhD (NUI)

  • Aberystwyth University
    Llandinam Building
    Penglais
    Aberystwyth

    United Kingdom of Great Britain and Northern Ireland

Calculated based on number of publications stored in Pure and citations from Scopus
1995 …2021

Research activity per year

Search results

  • 2021

    Recommendation Z.100 Annex F2 (06/21): Specification and Description Language – Overview of SDL 2010 Annex F2: SDL-2010 formal definition: Static semantics

    Sherratt, E., Reed, R., Prinz, A., v. Löwis, M., Piefel, M., Gotzhein, R., Eschbach, R., Glässer, U., Wang, Y., Zhao, Y., Zhang, W. & Ai, B., 28 Jul 2021, (Accepted/In press) 349 p. ITU Telecommunication Standardization Sector.

    Research output: Other contribution

    Open Access
  • Recommendation Z.100 Annex F3 (06/21): Specification and Description Language – Overview of SDL 2010 Annex F3: SDL-2010 formal definition: Dynamic semantics

    Sherratt, E., Reed, R., Prinz, A., von Löwis of Menar, M., Piefel, M., Gotzhein, R., Eschbach, R., Glässer, U., Wang, Y., Zhao, Y., Zhang, W. & Ai, B., 28 Jul 2021, (Accepted/In press) 154 p. ITU Telecommunication Standardization Sector.

    Research output: Other contribution

    Open Access
  • 2019

    Eventual Consistency Formalized

    Sherratt, E. & Prinz, A., 09 Sept 2019, System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 - 11th International Conference, SAM 2019, Proceedings: System Analysis and Modeling. Languages, Methods, and Tools for Industry. Fonseca i Casas, P., Sancho, M-R. & Sherratt, E. (eds.). Springer Nature, Vol. 11753. p. 249-265 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11753 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference Proceeding (Non-Journal item)

    1 Citation (Scopus)
  • Recommendation Z.100 Annex F1 (10/2019): Specification and Description Language – Overview of SDL-2010 Annex F1: SDL-2010 formal definition: General overview

    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., 14 Oct 2019, 38 p. ITU Telecommunication Standardization Sector.

    Research output: Other contribution

    Open Access
  • 2017

    Intelligent Resilience in the IoT

    Sherratt, E., 07 Sept 2017, SDL 2017: Model-Driven Engineering for Future Internet: 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings. Csöndes, T., Kovács, G. & Réthy, G. (eds.). 1 ed. Springer Nature, Vol. 10567. p. 46-60 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference Proceeding (Non-Journal item)

    3 Citations (Scopus)
  • 2016

    Formal Specification of the Internet of Things

    Sherratt, E., 2016.

    Research output: Contribution to conferenceAbstractpeer-review

  • SDL: meeting the IoT challenge

    Sherratt, E., 2016, System Analysis and Modeling: Technology-Specific Aspects of Models. Grabowski, J. & Herbold, S. (eds.). Springer Nature, Vol. LNCS 9959. p. 36-50 (Lecture Notes in Computer Science; vol. 9959).

    Research output: Chapter in Book/Report/Conference proceedingConference Proceeding (Non-Journal item)

    Open Access
    File
    3 Citations (Scopus)
    218 Downloads (Pure)
  • 2015

    SDL - The IoT Language

    Sherratt, E., Ober, I., Gaudin, E., Fonseca i Casas, P. & Kristoffersen, F., 2015, Proceedings of the 17th International SDL Forum on SDL 2015: Model-Driven Engineering for Smart Cities. Fischer, J., Scheidgen, M., Schieferdecker, I. & Reed, R. (eds.). Springer Nature, Vol. LNCS 9369. p. 27-41 15 p. (Lecture Notes in Computer Science; vol. 9369).

    Research output: Chapter in Book/Report/Conference proceedingConference Proceeding (Non-Journal item)

    Open Access
    File
    17 Citations (Scopus)
    277 Downloads (Pure)
  • 2014

    Distributed ASM - Pitfalls and solutions

    Prinz, A. & Sherratt, E., 2014, Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings. Ameur, Y. A. & Schewe, K-D. (eds.). Springer Nature, Vol. LNCS 8477. p. 210-215 6 p. (Lecture Notes in Computer Science; vol. 8477).

    Research output: Chapter in Book/Report/Conference proceedingConference Proceeding (Non-Journal item)

    7 Citations (Scopus)
  • Graph Isomorphism and Edge Graph Isomorphism

    Sherratt, E., 2014.

    Research output: Contribution to conferencePaperpeer-review

    Open Access
  • 2013

    Relativity and Abstract State Machines

    Sherratt, E., 02 Feb 2013, System Analysis and Modeling: Theory and Practice. Haugen, Ø., Reed, R. & Gotzhein, R. (eds.). Vol. LNCS 7744. p. 105-120 16 p. (Lecture Notes in Computer Science; vol. 7744).

    Research output: Chapter in Book/Report/Conference proceedingConference Proceeding (Non-Journal item)

    1 Citation (Scopus)
  • 1997

    Engineering for Quality of Service

    Loftus, C., Sherratt, E. & Demestichas, P., 17 Nov 1997, p. 271-277. 7 p.

    Research output: Contribution to conferencePaperpeer-review

  • 1995

    Tool integration: experiences and directions

    Gautier, B., Loftus, C., Sherratt, E. & Thomas, L., 23 Apr 1995, ICSE '95: Proceedings of the 17th international conference on Software engineering. Association for Computing Machinery, p. 315-324 10 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference Proceeding (Non-Journal item)

    5 Citations (Scopus)
  • Tool integration: Experiences from the BOOST project

    Gautier, R. J., Loftus, C. W., Sherratt, E. M. & Thomas, L., 05 Apr 1995, Proceedings - Software Engineering Environments, SEE 1995. IEEE Press, p. 171-181 11 p. 393619. (Proceedings - Software Engineering Environments, SEE 1995).

    Research output: Chapter in Book/Report/Conference proceedingConference Proceeding (Non-Journal item)

    2 Citations (Scopus)
Your message has successfully been sent.
Your message was not sent due to an error.