BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Czech Republic
1 × France
1 × Italy
1 × United Kingdom
Collaborated with:
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 DBLP: Kosiuczenko:Piotr

Contributed to:

ICMT 20122012
FASE 20092009
MoDELS 20062006
WRLA 19981998
MoDELS 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.