Piotr Kosiuczenko
Publications by Year
Research Areas
Model-Driven Software Engineering Techniques, Logic, programming, and type systems, Advanced Software Engineering Methodologies, Formal Methods in Verification, Software Engineering Research
Most-Cited Works
- → Extending Activity Diagrams to Model Mobile Systems(2003)36 cited
- → A Formal Model for SDL Specifications Based on Timed Rewriting Logic(2000)28 cited
- → AGILE: Software Architecture for Mobility(2003)25 cited
- → Timed rewriting logic with an application to object-based specification(1997)23 cited
- → Specification of invariability in OCL(2011)22 cited
- → UML for Global Computing(2003)21 cited
- → Sequence Diagrams for Mobility(2003)19 cited
- → A Timed Rewriting Logic Semantics for SDL: A Case Study of the Alternating Bit Protocol(1998)16 cited
- → An object-oriented algebraic steam-boiler control specification(1996)13 cited