Piotr Kosiuczenko
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
1997–2016
Best venue rank
A
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | MODELS | On the synthesis of protocol state machines from contracts. | Piotr Kosiuczenko |
| 2010 | MPC | An Abstract Machine for the Old Value Retrieval. | Piotr Kosiuczenko |
| 2009 | FASE | On the Implementation of @pre. | Piotr Kosiuczenko |
| 2006 | MODELS | Specification of Invariability in OCL. | Piotr Kosiuczenko |
| 2005 | CALCO | Property Preserving Redesign of Specifications. | Artur Zawlocki, Grzegorz Marczynski, Piotr Kosiuczenko |
| 2002 | ER | Sequence Diagrams for Mobility. | Piotr Kosiuczenko |
| 2001 | GI | Towards a Formal Redesign of UML Class Diagrams. | Piotr Kosiuczenko |
| 1997 | EuroPar | Time in Message Sequence Charts: A Formal Approach (Extended Abstract). | Piotr Kosiuczenko |