Piotr Kosiuczenko

According to our database, Piotr Kosiuczenko authored at least 31 papers between 1995 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Temporal Analysis and Classification of Sensor Signals.

Piotr Kosiuczenko

Sensors, March, 2023

2021

An Interval Temporal Logic for Time Series Specification and Data Integration.

Piotr Kosiuczenko

Remote. Sens., 2021

2018

On the Functional Specification of Queries in OCL.

Piotr Kosiuczenko

Proceedings of the Engineering Software Systems: Research and Praxis [papers from KKIO 2018, 2018

2017

Ensuring the Strong Exception Safety.

Piotr Kosiuczenko

Proceedings of the Towards a Synergistic Combination of Research and Practice in Software Engineering [papers from KKIO 2017, 2017

2016

On the synthesis of protocol state machines from contracts.

Piotr Kosiuczenko

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

2013

Specification of invariability in OCL - Specifying invariable system parts and views.

Piotr Kosiuczenko

Softw. Syst. Model., 2013

On the Validation of Invariants at Runtime.

Piotr Kosiuczenko

Fundam. Informaticae, 2013

2012

The Impact of Class Model Redesign on State Machines.

Piotr Kosiuczenko

Proceedings of the Theory and Practice of Model Transformations, 2012

2010

An Abstract Machine for the Old Value Retrieval.

Piotr Kosiuczenko

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

2009

Redesign of UML class diagrams: a formal approach.

Piotr Kosiuczenko

Softw. Syst. Model., 2009

On the Implementation of @pre.

Piotr Kosiuczenko

Proceedings of the Fundamental Approaches to Software Engineering, 2009

2006

Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems.

Piotr Kosiuczenko, Georgios Lajios

Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, 2006

Specification of Invariability in OCL.

Piotr Kosiuczenko

Proceedings of the Model Driven Engineering Languages and Systems, 2006

2005

Property Preserving Redesign of Specifications.

Artur Zawlocki, Grzegorz Marczynski, Piotr Kosiuczenko

Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2004

Proof Transformation via Interpretation Functions: Results, Problems and Applications.

Piotr Kosiuczenko

Proceedings of the Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions, 2004

2003

UML for Global Computing.

Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing

Proceedings of the Global Computing. Programming Environments, 2003

Partial Order Semantics of Sequence Diagrams for Mobility.

Piotr Kosiuczenko

Proceedings of the Scenarios: Models, 2003

2002

AGILE: Software Architecture for Mobility.

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

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Extending Activity Diagrams to Model Mobile Systems.

Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Martin Wirsing

Proceedings of the Objects, 2002

Sequence Diagrams for Mobility.

Piotr Kosiuczenko

Proceedings of the Advanced Conceptual Modeling Techniques, 2002

2001

Towards an Integration of Message sequence Charts and Timed Maude.

Piotr Kosiuczenko, Martin Wirsing

Trans. SDPS, 2001

Formal Redesign of UML Class Diagrams.

Piotr Kosiuczenko

Proceedings of the Practical UML-Based Rigorous Development Methods, 2001

Towards a Formal Redesign of UML Class Diagrams.

Piotr Kosiuczenko

Proceedings of the Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft für Informatik, Wirtschaft und Wissenschaft in der Network Economy, 2001

2000

A Formal Model for SDL Specifications Based on Timed Rewriting Logic.

L. J. Steggles, Piotr Kosiuczenko

Autom. Softw. Eng., 2000

1998

A timed rewriting logic semantics for SDL: A case study of alternating bit protocol.

L. J. Steggles, Piotr Kosiuczenko

Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

Formalizing and Executing Message Sequence Charts via Timed Rewriting.

Piotr Kosiuczenko, Martin Wirsing

Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems, 1998

1997

Timed Rewriting Logic with an Application to Object-Based Specification.

Piotr Kosiuczenko, Martin Wirsing

Sci. Comput. Program., 1997

Formal Semantics of Basic Message Sequence Charts: an Algebraic Approach.

Piotr Kosiuczenko

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997

Time in Message Sequence Charts: A Formal Approach (Extended Abstract).

Piotr Kosiuczenko

Proceedings of the Euro-Par '97 Parallel Processing, 1997

1996

On the Power of Higher-Order Algebraic Specification Methods.

Piotr Kosiuczenko, Karl Meinke

Inf. Comput., 1996

1995

An Object-Oriented Algebraic Steam-Boiler Control Specification.

Peter Csaba Ölveczky, Piotr Kosiuczenko, Martin Wirsing

Proceedings of the Formal Methods for Industrial Applications, 1995