Grzegorz Labiak

Publication Activity (10 Years)

Years Active: 2003-2020
Publications (10 Years): 1

Top Topics

Safety Analysis

Sequence Diagrams

Intermediate Representation

Top Venues

Microprocess. Microsystems

Publications

Grzegorz Labiak, Marek Wegrzyn, Alfredo Rosado Muñoz, Grzegorz Bazydlo
Dual-model approach for safety-critical embedded systems. Microprocess. Microsystems 72 (2020)
Andrei Karatkevich, Grzegorz Labiak
Detection of Possible Frozen States in Communicating UML State Machines. PDeS (2013)
Grzegorz Labiak, Marian Adamski, Jacek Tkacz, Michal Doligalski, Arkadiusz Bukowiec
Role of UML Modelling in Discrete Controller Design. ICSEng (2011)
Grzegorz Labiak, Marian Adamski
Concurrent processes synchronisation in statecharts for FPGA implementation. EWDTS (2008)
Grzegorz Labiak
From UML statecharts to FPGA - the HiCoS approach. FDL (2003)