Llun o Edel Sherratt

Edel Sherratt

Dr, BSc, PhD (NUI)

  • Aberystwyth University
    Llandinam Building
    Penglais
    Aberystwyth

    Teyrnas Unedig Prydain Fawr a Gogledd Iwerddon

1995 …2021

Allbwn ymchwil fesul blwyddyn

Canlyniadau chwilio

  • 2021

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

    2 Dyfyniadau(SciVal)
  • 2016

    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
    3 Dyfyniadau(SciVal)
    213 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(SciVal)
    272 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(SciVal)
  • Graph Isomorphism and Edge Graph Isomorphism

    Sherratt, E., 2014.

    Allbwn ymchwil: Cyfraniad at gynhadleddPapuradolygiad gan gymheiriaid

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

    Engineering for Quality of Service

    Loftus, C., Sherratt, E. & Demestichas, P., 17 Tach 1997, t. 271-277. 7 t.

    Allbwn ymchwil: Cyfraniad at gynhadleddPapuradolygiad gan gymheiriaid

  • 1995

    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)

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

Wedi llwyddo i anfon eich neges.
Ni chafodd eich neges ei hanfon oherwydd gwall.