Llun o Edel Sherratt

Edel Sherratt

Dr, BSc, PhD (NUI)

  • Aberystwyth University
    Llandinam Building
    Penglais
    Aberystwyth

    Teyrnas Unedig Prydain Fawr a Gogledd Iwerddon

Cyfrifwyd yn seiliedig ar nifer y cyhoeddiadau sydd wedi eu storio yn Pure a dyfyniadau o Scpous
1995 …2021

Allbwn ymchwil fesul blwyddyn

Hidlydd
Trafodion Cynhadledd (Nid-Cyfnodolyn fathau)

Canlyniadau chwilio

  • 2019

    Eventual Consistency Formalized

    Sherratt, E. & Prinz, A., 09 Medi 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. (gol.). Springer Nature, Cyfrol 11753. t. 249-265 17 t. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Cyfrol 11753 LNCS).

    Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion CynhadleddTrafodion Cynhadledd (Nid-Cyfnodolyn fathau)

    1 Dyfyniad (Scopus)
  • 2017

    Intelligent Resilience in the IoT

    Sherratt, E., 07 Medi 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. (gol.). 1 gol. Springer Nature, Cyfrol 10567. t. 46-60 (Lecture Notes in Computer Science).

    Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion CynhadleddTrafodion Cynhadledd (Nid-Cyfnodolyn fathau)

    3 Dyfyniadau (Scopus)
  • 2016

    SDL: meeting the IoT challenge

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

    Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion CynhadleddTrafodion Cynhadledd (Nid-Cyfnodolyn fathau)

    Mynediad agored
    Ffeil
    3 Dyfyniadau (Scopus)
    218 Wedi eu Llwytho i Lawr (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. (gol.). Springer Nature, Cyfrol LNCS 9369. t. 27-41 15 t. (Lecture Notes in Computer Science; Cyfrol 9369).

    Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion CynhadleddTrafodion Cynhadledd (Nid-Cyfnodolyn fathau)

    Mynediad agored
    Ffeil
    17 Dyfyniadau (Scopus)
    277 Wedi eu Llwytho i Lawr (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. (gol.). Springer Nature, Cyfrol LNCS 8477. t. 210-215 6 t. (Lecture Notes in Computer Science; Cyfrol 8477).

    Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion CynhadleddTrafodion Cynhadledd (Nid-Cyfnodolyn fathau)

    7 Dyfyniadau (Scopus)
  • 2013

    Relativity and Abstract State Machines

    Sherratt, E., 02 Chwef 2013, System Analysis and Modeling: Theory and Practice. Haugen, Ø., Reed, R. & Gotzhein, R. (gol.). Cyfrol LNCS 7744. t. 105-120 16 t. (Lecture Notes in Computer Science; Cyfrol 7744).

    Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion CynhadleddTrafodion Cynhadledd (Nid-Cyfnodolyn fathau)

    1 Dyfyniad (Scopus)
  • 1995

    Tool integration: experiences and directions

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

    Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion CynhadleddTrafodion Cynhadledd (Nid-Cyfnodolyn fathau)

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

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

    Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion CynhadleddTrafodion Cynhadledd (Nid-Cyfnodolyn fathau)

    2 Dyfyniadau (Scopus)
Wedi llwyddo i anfon eich neges.
Ni chafodd eich neges ei hanfon oherwydd gwall.