Edel Sherratt

According to our database, Edel Sherratt authored at least 13 papers between 1993 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

Eventual Consistency Formalized.

Edel Sherratt, Andreas Prinz

Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0, 2019

2017

Intelligent Resilience in the IoT.

Edel Sherratt

Proceedings of the SDL 2017: Model-Driven Engineering for Future Internet, 2017

2016

SDL: Meeting the IoT Challenge.

Edel Sherratt

Proceedings of the System Analysis and Modeling. Technology-Specific Aspects of Models, 2016

2015

SDL - The IoT Language.

Edel Sherratt, Ileana Ober, Emmanuel Gaudin, Pau Fonseca i Casas, Finn Kristoffersen

Proceedings of the SDL 2015: Model-Driven Engineering for Smart Cities, 2015

2014

Distributed ASM - Pitfalls and Solutions.

Andreas Prinz, Edel Sherratt

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2012

Relativity and Abstract State Machines.

Edel Sherratt

Proceedings of the System Analysis and Modeling: Theory and Practice, 2012

2005

Model-Driven Development of Reactive Systems with SDL.

Edel Sherratt

Proceedings of the SDL 2005: Model Driven, 2005

2004

SDL in a Changing World.

Edel Sherratt

Proceedings of the System Analysis and Modeling, 4th International SDL and MSC Workshop, 2004

2000

Designing distributed services with SDL.

Edel Sherratt, Chris W. Loftus

IEEE Concurr., 2000

1997

The unification of OMT, SDL and IDL for service creation.

Euricio Inocêncio, Chris W. Loftus, Edel Sherratt, Paula Viana

Proceedings of the SDL '97 Time for Testing, 1997

Nonmonotonic Reasoning and Formal Software Development.

Edel Sherratt

Proceedings of the 1st Irish Workshop on Formal Methods, 1997

1995

Tool Integration: Experiences and Directions.

Bob Gautier, Chris W. Loftus, Edel Sherratt, Lynda Thomas

Proceedings of the 17th International Conference on Software Engineering, 1995

1993

Arise: Operating PCTE Over a Wide-Area Network.

Chris W. Loftus, David Pugh, Edel Sherratt

IEEE Softw., 1993