Travelled to:1 × Czech Republic
1 × France
1 × Italy
1 × United Kingdom
Collaborated with:∅ L.J.Steggles
Talks about:protocol (2) machin (2) state (2) implement (1) synthesi (1) redesign (1) contract (1) specif (1) semant (1) rewrit (1)
Person: Piotr Kosiuczenko
DBLP: Kosiuczenko:Piotr
Contributed to:
2012
2009
2006
19982016Wrote 5 papers:
- ICMT-2012-Kosiuczenko #state machine
- The Impact of Class Model Redesign on State Machines (PK), pp. 264–279.
- FASE-2009-Kosiuczenko #implementation #on the
- On the Implementation of @pre (PK), pp. 246–261.
- MoDELS-2006-Kosiuczenko #ocl #specification #variability
- Specification of Invariability in OCL (PK), pp. 676–691.
- WRLA-1998-StegglesK #case study #logic #protocol #semantics
- A timed rewriting logic semantics for SDL: A case study of alternating bit protocol (LJS, PK), pp. 83–104.
- MoDELS-2016-Kosiuczenko #contract #on the #protocol #state machine #synthesis
- On the synthesis of protocol state machines from contracts (PK), pp. 76–85.