Edel Sherratt

Publication Activity (10 Years)

Years Active: 1993-2019
Publications (10 Years): 3

Top Topics

Consistency Checking

Representation Language

Top Venues

Publications

Edel Sherratt, Andreas Prinz
Eventual Consistency Formalized. SAM (2019)
Edel Sherratt
Intelligent Resilience in the IoT. SDL Forum (2017)
Edel Sherratt
SDL: Meeting the IoT Challenge. SAM (2016)
Edel Sherratt, Ileana Ober, Emmanuel Gaudin, Pau Fonseca i Casas, Finn Kristoffersen
SDL - The IoT Language. SDL Forum (2015)
Andreas Prinz, Edel Sherratt
Distributed ASM - Pitfalls and Solutions. ABZ (2014)
Edel Sherratt
Relativity and Abstract State Machines. SAM (2012)
Edel Sherratt
Model-Driven Development of Reactive Systems with SDL. SDL Forum (2005)
Edel Sherratt
SDL in a Changing World. SAM (2004)
Edel Sherratt, Chris W. Loftus
Designing distributed services with SDL. IEEE Concurr. 8 (1) (2000)
Edel Sherratt
Nonmonotonic Reasoning and Formal Software Development. IWFM (1997)
Euricio Inocêncio, Chris W. Loftus, Edel Sherratt, Paula Viana
The unification of OMT, SDL and IDL for service creation. SDL Forum (1997)
Bob Gautier, Chris W. Loftus, Edel Sherratt, Lynda Thomas
Tool Integration: Experiences and Directions. ICSE (1995)
Chris W. Loftus, David Pugh, Edel Sherratt
Arise: Operating PCTE Over a Wide-Area Network. IEEE Softw. 10 (6) (1993)