Grzegorz Łabiak

Metody specyfikacji, syntezy i weryfikacji hierarchicznych diagramów stanów

Andrei Karatkevich, Grzegorz Łabiak, 2006 .

Statechart Diagrams Implementation in FPGA Structures with Embedded Memory Blocks

Grzegorz Borowik, Grzegorz Łabiak, 2009 .

Statechart-based design controllers for FPGA partial reconfiguration

Grzegorz Łabiak, Marek Węgrzyn, Alfredo Rosado Muñoz, 2015, Symposium on Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments (WILGA).

Modelling statechart diagrams by means of Petri nets

Grzegorz Łabiak, 1999 .

A method of transition conflict resolving in hierarchical control

Grzegorz Łabiak, 2016, Symposium on Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments (WILGA).

Model driven architecture approach to logic controller design

Grzegorz Bazydlo, Grzegorz Łabiak, 2018 .

UML Support for Statecharts-Based Digital Logic Controller Design in FPGA Technology

Grzegorz Łabiak, 2016 .

UML Modelling in Rigorous Design Methodology for Discrete Controllers

Michał Doligalski, Jacek Tkacz, Marian Adamski, 2012 .

Logic synthesis of n-ary quantitative relations

Grzegorz Łabiak, Grzegorz Łabiak, 2017, Symposium on Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments (WILGA).

Idea for symbolic iterator in BDD environment

Grzegorz Łabiak, Grzegorz Łabiak, 2009 .

Statechart-based Controllers Synthesis in FPGA Structures with Embedded Array Blocks

Grzegorz Borowik, Grzegorz Łabiak, G. Borowik, 2010 .

FSM-Based Logic Controller Synthesis in Programmable Devices with Embedded Memory Blocks

Arkadiusz Bukowiec, Grzegorz Borowik, Grzegorz Łabiak, 2015 .