Czeslaw Jeske

According to our database, Czeslaw Jeske authored at least 12 papers between 2002 and 2015.

Collaborative distances:

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

2015

Retrenchment and refinement interworking: the tower theorems.

Richard Banach, Czeslaw Jeske

Math. Struct. Comput. Sci., 2015

2013

Atomicity failure and the retrenchment atomicity pattern.

Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney

Formal Aspects Comput., 2013

2011

Simple feature engineering via neat default retrenchments.

Richard Banach, Czeslaw Jeske

J. Log. Algebraic Methods Program., 2011

2010

Stronger compositions for retrenchments.

Richard Banach, Czeslaw Jeske

J. Log. Algebraic Methods Program., 2010

2008

Composition mechanisms for retrenchment.

Richard Banach, Czeslaw Jeske, Michael Poppleton

J. Log. Algebraic Methods Program., 2008

2007

Engineering and theoretical underpinnings of retrenchment.

Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney

Sci. Comput. Program., 2007

Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements.

Richard Banach, Czeslaw Jeske, Michael Poppleton, Susan Stepney

Fundam. Informaticae, 2007

Retrenchment and the Atomicity Pattern.

Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

2006

Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties.

Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney

Proceedings of the Leveraging Applications of Formal Methods, 2006

2005

Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern.

Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney

Proceedings of the FM 2005: Formal Methods, 2005

Retrenchment and the Mondex Electronic Purse.

Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

2002

Minimally and Maximally Abstract Retrenchments.

Czeslaw Jeske, Richard Banach

Proceedings of the Integrated Formal Methods, Third International Conference, 2002