An Object-Oriented Algebraic Steam-Boiler Control Specification. - Peter Csaba Ölveczky; Piotr Kosiuczenko; Martin Wirsing (Formal Methods for Industrial Applications, 1995)

On the Power of Higher-Order Algebraic Specification Methods. - Piotr Kosiuczenko; Karl Meinke (Inf. Comput., 1996)

Time in Message Sequence Charts: A Formal Approach (Extended Abstract). - Piotr Kosiuczenko (Euro-Par, 1997)

Formal Semantics of Basic Message Sequence Charts: an Algebraic Approach. - Piotr Kosiuczenko (FBT, 1997)

Timed Rewriting Logic with an Application to Object-Based Specification. - Piotr Kosiuczenko; Martin Wirsing (Sci. Comput. Program., 1997)

Formalizing and Executing Message Sequence Charts via Timed Rewriting. - Piotr Kosiuczenko; Martin Wirsing (Monterey Workshop, 1998)

A timed rewriting logic semantics for SDL: A case study of alternating bit protocol. - L. J. Steggles; Piotr Kosiuczenko (WRLA, 1998)

A Formal Model for SDL Specifications Based on Timed Rewriting Logic. - L. J. Steggles; Piotr Kosiuczenko (Autom. Softw. Eng., 2000)

Towards a Formal Redesign of UML Class Diagrams. - Piotr Kosiuczenko (GI Jahrestagung (1), 2001)

Formal Redesign of UML Class Diagrams. - Piotr Kosiuczenko (pUML, 2001)

Towards an Integration of Message sequence Charts and Timed Maude. - Piotr Kosiuczenko; Martin Wirsing (Trans. SDPS, 2001)

Sequence Diagrams for Mobility. - Piotr Kosiuczenko (ER (Workshops), 2002)

Extending Activity Diagrams to Model Mobile Systems. - Hubert Baumeister; Nora Koch; Piotr Kosiuczenko; Martin Wirsing (NetObjectDays, 2002)

AGILE: Software Architecture for Mobility. - Luís Andrade 001; Paolo Baldan; Hubert Baumeister; Roberto Bruni 001; Andrea Corradini 001; Rocco De Nicola; José Luiz Fiadeiro; Fabio Gadducci; Stefania Gnesi; Piotr Hoffman; Nora Koch; Piotr Kosiuczenko; et al. (WADT, 2002)

Partial Order Semantics of Sequence Diagrams for Mobility. - Piotr Kosiuczenko (Scenarios: Models, Transformations and Tools, 2003)

UML for Global Computing. - Hubert Baumeister; Nora Koch; Piotr Kosiuczenko; Perdita Stevens; Martin Wirsing (Global Computing, 2003)

Proof Transformation via Interpretation Functions: Results, Problems and Applications. - Piotr Kosiuczenko (SETra@ICGT, 2004)

Property Preserving Redesign of Specifications. - Artur Zawlocki; Grzegorz Marczynski; Piotr Kosiuczenko (CALCO, 2005)

Specification of Invariability in OCL. - Piotr Kosiuczenko (MoDELS, 2006)

Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems. - Piotr Kosiuczenko; Georgios Lajios (GT-VC@CONCUR, 2006)

On the Implementation of @pre. - Piotr Kosiuczenko (FASE, 2009)

Redesign of UML class diagrams: a formal approach. - Piotr Kosiuczenko (Softw. Syst. Model., 2009)

An Abstract Machine for the Old Value Retrieval. - Piotr Kosiuczenko (MPC, 2010)

The Impact of Class Model Redesign on State Machines. - Piotr Kosiuczenko (ICMT@TOOLS, 2012)

On the Validation of Invariants at Runtime. - Piotr Kosiuczenko (Fundam. Informaticae, 2013)

Specification of invariability in OCL - Specifying invariable system parts and views. - Piotr Kosiuczenko (Softw. Syst. Model., 2013)

On the synthesis of protocol state machines from contracts. - Piotr Kosiuczenko (MoDELS, 2016)

Ensuring the Strong Exception Safety. - Piotr Kosiuczenko (KKIO Software Engineering Conference, 2017)

On the Functional Specification of Queries in OCL. - Piotr Kosiuczenko (KKIO Software Engineering Conference, 2018)

An Interval Temporal Logic for Time Series Specification and Data Integration. - Piotr Kosiuczenko (Remote. Sens., 2021)

Temporal Analysis and Classification of Sensor Signals. - Piotr Kosiuczenko (Sensors, 2023)