Piotr Kosiuczenko

33 papers A 2B 3Journal 9Unranked 17
YearRankTypeTitle / Venue / Authors
2023 J jnl
Temporal Analysis and Classification of Sensor Signals.
Sensors
Piotr Kosiuczenko
2021 J jnl
An Interval Temporal Logic for Time Series Specification and Data Integration.
Remote. Sens.
Piotr Kosiuczenko
2019 — ed.
Engineering Software Systems: Research and Praxis [papers from KKIO 2018, Pultusk, Poland, 27-28 September 2018].
KKIO Software Engineering Conference
Piotr Kosiuczenko, Zbigniew Zielinski
2018 — conf
On the Functional Specification of Queries in OCL.
KKIO Software Engineering Conference
Piotr Kosiuczenko
2018 — ed.
Towards a Synergistic Combination of Research and Practice in Software Engineering [papers from KKIO 2017, Rzeszów, Poland, 14-16 September 2017].
KKIO Software Engineering Conference
Piotr Kosiuczenko, Lech Madeyski
2017 — conf
Ensuring the Strong Exception Safety.
KKIO Software Engineering Conference
Piotr Kosiuczenko
2016 A conf
On the synthesis of protocol state machines from contracts.
MoDELS
Piotr Kosiuczenko
2013 J jnl
On the Validation of Invariants at Runtime.
Fundam. Informaticae
Piotr Kosiuczenko
2013 J jnl
Specification of invariability in OCL - Specifying invariable system parts and views.
Softw. Syst. Model.
Piotr Kosiuczenko
2012 — conf
The Impact of Class Model Redesign on State Machines.
ICMT@TOOLS
Piotr Kosiuczenko
2010 B conf
An Abstract Machine for the Old Value Retrieval.
MPC
Piotr Kosiuczenko
2009 B conf
On the Implementation of @pre.
FASE
Piotr Kosiuczenko
2009 J jnl
Redesign of UML class diagrams: a formal approach.
Softw. Syst. Model.
Piotr Kosiuczenko
2006 — conf
Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems.
GT-VC@CONCUR
Piotr Kosiuczenko, Georgios Lajios
2006 A conf
Specification of Invariability in OCL.
MoDELS
Piotr Kosiuczenko
2005 B conf
Property Preserving Redesign of Specifications.
CALCO
Artur Zawlocki, Grzegorz Marczynski, Piotr Kosiuczenko
2004 — conf
Proof Transformation via Interpretation Functions: Results, Problems and Applications.
SETra@ICGT
Piotr Kosiuczenko
2003 — conf
Partial Order Semantics of Sequence Diagrams for Mobility.
Scenarios: Models, Transformations and Tools
Piotr Kosiuczenko
2003 — conf
UML for Global Computing.
Global Computing
Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing
2002 — conf
AGILE: Software Architecture for Mobility.
WADT
Luís 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
2002 — conf
Extending Activity Diagrams to Model Mobile Systems.
NetObjectDays
Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Martin Wirsing
2002 — conf
Sequence Diagrams for Mobility.
ER (Workshops)
Piotr Kosiuczenko
2001 — conf
Formal Redesign of UML Class Diagrams.
pUML
Piotr Kosiuczenko
2001 — conf
Towards a Formal Redesign of UML Class Diagrams.
GI Jahrestagung (1)
Piotr Kosiuczenko
2001 J jnl
Towards an Integration of Message sequence Charts and Timed Maude.
Trans. SDPS
Piotr Kosiuczenko, Martin Wirsing
2000 J jnl
A Formal Model for SDL Specifications Based on Timed Rewriting Logic.
Autom. Softw. Eng.
L. J. Steggles, Piotr Kosiuczenko
1998 — conf
A timed rewriting logic semantics for SDL: A case study of alternating bit protocol.
WRLA
L. J. Steggles, Piotr Kosiuczenko
1998 — conf
Formalizing and Executing Message Sequence Charts via Timed Rewriting.
Monterey Workshop
Piotr Kosiuczenko, Martin Wirsing
1997 — conf
Formal Semantics of Basic Message Sequence Charts: an Algebraic Approach.
FBT
Piotr Kosiuczenko
1997 — conf
Time in Message Sequence Charts: A Formal Approach (Extended Abstract).
Euro-Par
Piotr Kosiuczenko
1997 J jnl
Timed Rewriting Logic with an Application to Object-Based Specification.
Sci. Comput. Program.
Piotr Kosiuczenko, Martin Wirsing
1996 J jnl
On the Power of Higher-Order Algebraic Specification Methods.
Inf. Comput.
Piotr Kosiuczenko, Karl Meinke
1995 — conf
An Object-Oriented Algebraic Steam-Boiler Control Specification.
Formal Methods for Industrial Applications
Peter Csaba Ölveczky, Piotr Kosiuczenko, Martin Wirsing