Llun o Edel Sherratt
  • 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.

Ôl bys

Ewch i ganol y pynciau ymchwil lle mae Edel Sherratt ar waith. Mae’r labelau pwnc hyn yn dod o waith y person hwn. Gyda’i gilydd maen nhw’n ffurfio ôl bys unigryw.
  • 1 Proffiliau Tebyg

Cydweithrediadau a’r prif feysydd ymchwil yn ystod y pum mlynedd ddiwethaf

Cydweithrediad allanol yn ddiweddar ar lefel gwlad/tiriogaeth. Plymiwch i mewn i'r manylion drwy glicio ar y dotiau neu
  • 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 Gorff 2021, (Derbyniwyd/Yn y wasg) 349 t. ITU Telecommunication Standardization Sector.

    Allbwn ymchwil: Cyfraniad arall

    Mynediad agored
  • 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 Gorff 2021, (Derbyniwyd/Yn y wasg) 154 t. ITU Telecommunication Standardization Sector.

    Allbwn ymchwil: Cyfraniad arall

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

  • 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 Hyd 2019, 38 t. ITU Telecommunication Standardization Sector.

    Allbwn ymchwil: Cyfraniad arall

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

    2 Dyfyniadau(SciVal)
  • Formal Specification of the Internet of Things

    Sherratt, E., 2016.

    Allbwn ymchwil: Cyfraniad at gynhadleddCrynodebadolygiad gan gymheiriaid

  • 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
    2 Dyfyniadau(SciVal)
    184 Wedi eu Llwytho i Lawr (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. (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
    13 Dyfyniadau(SciVal)
    218 Wedi eu Llwytho i Lawr (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. (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)

  • Graph Isomorphism and Edge Graph Isomorphism

    Sherratt, E., 2014.

    Allbwn ymchwil: Cyfraniad at gynhadleddPapuradolygiad gan gymheiriaid

    Mynediad agored
  • 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 Dyfyniadau(SciVal)