Grzegorz Labiak

Efficient logic controller design

Mariusz Rawski, Henry Selvaraj, Arkadiusz Bukowiec, 2010, 2010 Fifth International Conference on Broadband and Biomedical Communications.

From UML statecharts to FPGA - the HiCoS approach

Grzegorz Labiak, 2003, FDL.

Detection of Possible Frozen States in Communicating UML State Machines

Andrei Karatkevich, Grzegorz Labiak, 2013, PDeS.

Concurrent processes synchronisation in statecharts for FPGA implementation

Marian Adamski, Grzegorz Labiak, 2008, Proceedings of IEEE East-West Design & Test Symposium (EWDTS'08).

Some computational aspects of statecharts formal modeling of reactive systems

Grzegorz Labiak, 2010 .

Preface of the 2010 IAENG International Conference on Electrical Engineering Special Session: Design, Analysis and Tools for Integrated Circuits and Systems. Newswood Limited

Chee Peng Lim, Alie El-Din Mady, Jin Song Dong, 2010 .

Dual-model approach for safety-critical embedded systems

Grzegorz Bazydlo, Marek Wegrzyn, Grzegorz Labiak, 2020, Microprocess. Microsystems.

Role of UML Modelling in Discrete Controller Design

Jacek Tkacz, Marian Adamski, Arkadiusz Bukowiec, 2011, 2011 21st International Conference on Systems Engineering.

FROM STATECHARTS TO FSM-DESCRIPTION - TRANSFORMATION BY MEANS OF SYMBOLIC METHODS

Grzegorz Labiak, 2006 .