Piotr Kosiuczenko

Orcid: 0000-0003-0350-2201

Affiliations:
  • University of Leicester, UK


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Temporal Analysis and Classification of Sensor Signals.
Sensors, March, 2023

2021
An Interval Temporal Logic for Time Series Specification and Data Integration.
Remote. Sens., 2021

2018
On the Functional Specification of Queries in OCL.
Proceedings of the Engineering Software Systems: Research and Praxis [papers from KKIO 2018, 2018

2017
Ensuring the Strong Exception Safety.
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.
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.
Softw. Syst. Model., 2013

On the Validation of Invariants at Runtime.
Fundam. Informaticae, 2013

2012
The Impact of Class Model Redesign on State Machines.
Proceedings of the Theory and Practice of Model Transformations, 2012

2010
An Abstract Machine for the Old Value Retrieval.
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

2009
Redesign of UML class diagrams: a formal approach.
Softw. Syst. Model., 2009

On the Implementation of @pre.
Proceedings of the Fundamental Approaches to Software Engineering, 2009

2006
Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems.
Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, 2006

Specification of Invariability in OCL.
Proceedings of the Model Driven Engineering Languages and Systems, 2006

2005
Property Preserving Redesign of Specifications.
Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2004
Proof Transformation via Interpretation Functions: Results, Problems and Applications.
Proceedings of the Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions, 2004

2003
UML for Global Computing.
Proceedings of the Global Computing. Programming Environments, 2003

Partial Order Semantics of Sequence Diagrams for Mobility.
Proceedings of the Scenarios: Models, 2003

2002

Extending Activity Diagrams to Model Mobile Systems.
Proceedings of the Objects, 2002

Sequence Diagrams for Mobility.
Proceedings of the Advanced Conceptual Modeling Techniques, 2002

2001
Towards an Integration of Message sequence Charts and Timed Maude.
Trans. SDPS, 2001

Formal Redesign of UML Class Diagrams.
Proceedings of the Practical UML-Based Rigorous Development Methods, 2001

Towards a Formal Redesign of UML Class Diagrams.
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.
Autom. Softw. Eng., 2000

1998
A timed rewriting logic semantics for SDL: A case study of alternating bit protocol.
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

Formalizing and Executing Message Sequence Charts via Timed Rewriting.
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.
Sci. Comput. Program., 1997

Formal Semantics of Basic Message Sequence Charts: an Algebraic Approach.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997

Time in Message Sequence Charts: A Formal Approach (Extended Abstract).
Proceedings of the Euro-Par '97 Parallel Processing, 1997

1996
On the Power of Higher-Order Algebraic Specification Methods.
Inf. Comput., 1996

1995
An Object-Oriented Algebraic Steam-Boiler Control Specification.
Proceedings of the Formal Methods for Industrial Applications, 1995


  Loading...