Edel Sherratt

View Scopus Profile

Edel Sherratt

Dr, BSc, PhD (NUI)

 https://orcid.org/0000-0001-9913-1956

  • Aberystwyth University
    Llandinam Building
    Penglais
    Aberystwyth

    United Kingdom of Great Britain and Northern Ireland

1993 …2021

Research activity per year

Fingerprint

Dive into the research topics where Edel Sherratt is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • 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

  • 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 proceeding › Conference 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

  • 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 proceeding › Conference Proceeding (Non-Journal item)

    3 Citations (Scopus)

  • Formal Specification of the Internet of Things

    Sherratt, E., 2016.

    Research output: Contribution to conference › Abstract › peer-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 proceeding › Conference Proceeding (Non-Journal item)

    Open Access
    File
    3 Citations (Scopus)
    222 Downloads (Pure)

  • 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 proceeding › Conference Proceeding (Non-Journal item)

    Open Access
    File
    17 Citations (Scopus)
    282 Downloads (Pure)

  • 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 proceeding › Conference Proceeding (Non-Journal item)

    7 Citations (Scopus)

  • Graph Isomorphism and Edge Graph Isomorphism

    Sherratt, E., 2014.

    Research output: Contribution to conference › Paper › peer-review

    Open Access

  • 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 proceeding › Conference Proceeding (Non-Journal item)

    1 Citation (Scopus)
View all 16 research outputs
  • 1 Membership of peer-review college/ panel