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

Filter
Conference Proceeding (Non-Journal item)

Search results

  • 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)
  • 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

    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)
  • 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)
  • 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.