Llun o Edel Sherratt

Edel Sherratt

Dr, BSc, PhD (NUI)

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

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

Allbwn ymchwil fesul blwyddyn

Os gwnaethoch unrhyw newidiadau yn Pure byddwch yn gallu eu gweld yn y fan yma cyn hir.
  • 6 Trafodion Cynhadledd (Nid-Cyfnodolyn fathau)
  • 3 Cyfraniad arall
  • 1 Crynodeb
  • 1 Papur
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 Cynhadledd › Trafodion Cynhadledd (Nid-Cyfnodolyn fathau)

  • 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 Cynhadledd › Trafodion Cynhadledd (Nid-Cyfnodolyn fathau)

    2 Dyfyniadau(SciVal)
  • 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 Cynhadledd › Trafodion Cynhadledd (Nid-Cyfnodolyn fathau)

    Mynediad agored
    Ffeil
    2 Dyfyniadau(SciVal)
    184 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 Cynhadledd › Trafodion Cynhadledd (Nid-Cyfnodolyn fathau)

    Mynediad agored
    Ffeil
    13 Dyfyniadau(SciVal)
    220 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 Cynhadledd › Trafodion Cynhadledd (Nid-Cyfnodolyn fathau)

  • 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 Cynhadledd › Trafodion Cynhadledd (Nid-Cyfnodolyn fathau)

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