Piotr Kosiuczenko - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 31 from 31

2023

Temporal Analysis and Classification of Sensor SignalsPiotr Kosiuczenko. sensors, 23(6):3017, March 2023. [doi]

2021

An Interval Temporal Logic for Time Series Specification and Data IntegrationPiotr Kosiuczenko. remotesensing, 13(12):2236, 2021. [doi]

2018

On the Functional Specification of Queries in OCLPiotr Kosiuczenko. kkio 2019: 53-68 [doi]

2017

Ensuring the Strong Exception SafetyPiotr Kosiuczenko. kkio 2018: 63-76 [doi]

2016

On the synthesis of protocol state machines from contractsPiotr Kosiuczenko. MoDELS 2016: 76-85 [doi]

2013

Specification of invariability in OCL - Specifying invariable system parts and viewsPiotr Kosiuczenko. SoSyM, 12(2):415-434, 2013. [doi]

On the Validation of Invariants at RuntimePiotr Kosiuczenko. FUIN, 125(2):183-222, 2013. [doi]

2012

The Impact of Class Model Redesign on State MachinesPiotr Kosiuczenko. ICMT 2012: 264-279 [doi]

2010

An Abstract Machine for the Old Value RetrievalPiotr Kosiuczenko. mpc 2010: 229-247 [doi]

2009

On the Implementation of @prePiotr Kosiuczenko. FASE 2009: 246-261 [doi]

Redesign of UML class diagrams: a formal approachPiotr Kosiuczenko. SoSyM, 8(2):165-183, 2009. [doi]

2007

Simulation of Generalised Semi-Markov Processes based on Graph Transformation SystemsPiotr Kosiuczenko, Georgios Lajios. ENTCS, 175(4):73-86, 2007. [doi]

2006

Specification of Invariability in OCLPiotr Kosiuczenko. MoDELS 2006: 676-691 [doi]

2005

Proof Transformation via Interpretation Functions: Results, Problems and ApplicationsPiotr Kosiuczenko. ENTCS, 127(3):139-145, 2005. [doi]

Property Preserving Redesign of SpecificationsArtur Zawlocki, Grzegorz Marczynski, Piotr Kosiuczenko. calco 2005: 439-455 [doi]

2003

UML for Global ComputingHubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing. global 2003: 1-24 [doi]

Partial Order Semantics of Sequence Diagrams for MobilityPiotr Kosiuczenko. Dagstuhl 2005: 212-227 [doi]

2002

2001

Towards a Formal Redesign of UML Class DiagramsPiotr Kosiuczenko. gi 2001: 655-661

Formal Redesign of UML Class DiagramsPiotr Kosiuczenko. uml 2001: 174-190

Towards an Integration of Message sequence Charts and Timed MaudePiotr Kosiuczenko, Martin Wirsing. jid, 5(1):23-44, 2001. [doi]

2000

A Formal Model for SDL Specifications Based on Timed Rewriting LogicL. J. Steggles, Piotr Kosiuczenko. ASE, 7(1):61-90, 2000.

1999

Formalizing and Executing Message Sequence Charts via Timed RewritingPiotr Kosiuczenko, Martin Wirsing. ENTCS, 25:50-61, 1999. [doi]

1998

A timed rewriting logic semantics for SDL: A case study of alternating bit protocolL. J. Steggles, Piotr Kosiuczenko. ENTCS, 15:83-104, 1998. [doi]

1997

Formal Semantics of Basic Message Sequence Charts: an Algebraic ApproachPiotr Kosiuczenko. fbt 1997: 135-144

Time in Message Sequence Charts: A Formal Approach (Extended Abstract)Piotr Kosiuczenko. europar 1997: 562-566

Timed Rewriting Logic with an Application to Object-Based SpecificationPiotr Kosiuczenko, Martin Wirsing. SCP, 28(2-3):225-246, 1997.

1996

On the Power of Higher-Order Algebraic Specification MethodsPiotr Kosiuczenko, Karl Meinke. iandc, 124(1):85-101, 1996.

1995

An Object-Oriented Algebraic Steam-Boiler Control SpecificationPeter Csaba Ölveczky, Piotr Kosiuczenko, Martin Wirsing. Dagstuhl 1996: 379-402

Sign in or sign up to see more results.

runs on WebDSL