Piotr Kosiuczenko

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 5

Top Topics

Sequence Diagrams

Specification Language

Top Venues

KKIO Software Engineering Conference

Fundam. Informaticae

Publications

Piotr Kosiuczenko
Temporal Analysis and Classification of Sensor Signals. Sensors 23 (6) (2023)
Piotr Kosiuczenko
An Interval Temporal Logic for Time Series Specification and Data Integration. Remote. Sens. 13 (12) (2021)
Piotr Kosiuczenko
On the Functional Specification of Queries in OCL. KKIO Software Engineering Conference (2018)
Piotr Kosiuczenko
Ensuring the Strong Exception Safety. KKIO Software Engineering Conference (2017)
Piotr Kosiuczenko
On the synthesis of protocol state machines from contracts. MoDELS (2016)
Piotr Kosiuczenko
Specification of invariability in OCL - Specifying invariable system parts and views. Softw. Syst. Model. 12 (2) (2013)
Piotr Kosiuczenko
On the Validation of Invariants at Runtime. Fundam. Informaticae 125 (2) (2013)
Piotr Kosiuczenko
The Impact of Class Model Redesign on State Machines. ICMT@TOOLS (2012)
Piotr Kosiuczenko
An Abstract Machine for the Old Value Retrieval. MPC (2010)
Piotr Kosiuczenko
Redesign of UML class diagrams: a formal approach. Softw. Syst. Model. 8 (2) (2009)
Piotr Kosiuczenko
On the Implementation of @pre. FASE (2009)
Piotr Kosiuczenko, Georgios Lajios
Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems. Electron. Notes Theor. Comput. Sci. 175 (4) (2007)
Piotr Kosiuczenko
Specification of Invariability in OCL. MoDELS (2006)
Artur Zawlocki, Grzegorz Marczynski, Piotr Kosiuczenko
Property Preserving Redesign of Specifications. CALCO (2005)
Piotr Kosiuczenko
Proof Transformation via Interpretation Functions: Results, Problems and Applications. Electron. Notes Theor. Comput. Sci. 127 (3) (2005)
Piotr Kosiuczenko
Partial Order Semantics of Sequence Diagrams for Mobility. Scenarios: Models, Transformations and Tools (2003)
Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing
UML for Global Computing. Global Computing (2003)
Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Martin Wirsing
Extending Activity Diagrams to Model Mobile Systems. NetObjectDays (2002)
Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki
AGILE: Software Architecture for Mobility. WADT (2002)
Piotr Kosiuczenko
Sequence Diagrams for Mobility. ER (Workshops) (2002)
Piotr Kosiuczenko
Towards a Formal Redesign of UML Class Diagrams. GI Jahrestagung (1) (2001)
Piotr Kosiuczenko, Martin Wirsing
Towards an Integration of Message sequence Charts and Timed Maude. Trans. SDPS 5 (1) (2001)
Piotr Kosiuczenko
Formal Redesign of UML Class Diagrams. pUML (2001)
L. J. Steggles, Piotr Kosiuczenko
A Formal Model for SDL Specifications Based on Timed Rewriting Logic. Autom. Softw. Eng. 7 (1) (2000)
Piotr Kosiuczenko, Martin Wirsing
Formalizing and Executing Message Sequence Charts via Timed Rewriting. Electron. Notes Theor. Comput. Sci. 25 (1999)
L. J. Steggles, Piotr Kosiuczenko
A timed rewriting logic semantics for SDL: A case study of alternating bit protocol. WRLA (1998)
Piotr Kosiuczenko
Formal Semantics of Basic Message Sequence Charts: an Algebraic Approach. FBT (1997)
Piotr Kosiuczenko, Martin Wirsing
Timed Rewriting Logic with an Application to Object-Based Specification. Sci. Comput. Program. 28 (2-3) (1997)
Piotr Kosiuczenko
Time in Message Sequence Charts: A Formal Approach (Extended Abstract). Euro-Par (1997)
Piotr Kosiuczenko, Karl Meinke
On the Power of Higher-Order Algebraic Specification Methods. Inf. Comput. 124 (1) (1996)
Peter Csaba Ölveczky, Piotr Kosiuczenko, Martin Wirsing
An Object-Oriented Algebraic Steam-Boiler Control Specification. Formal Methods for Industrial Applications (1995)