We stand with Ukraine  

Grzegorz Labiak

According to our database1, Grzegorz Labiak authored at least 5 papers between 2003 and 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Dual-model approach for safety-critical embedded systems.
[BibTeX]
[DOI]
Grzegorz Labiak
,
Marek Wegrzyn
,
Alfredo Rosado Muñoz
,
Grzegorz Bazydlo
Microprocess. Microsystems, 2020

2013
Detection of Possible Frozen States in Communicating UML State Machines.
[BibTeX]
[DOI]
Andrei Karatkevich
,
Grzegorz Labiak
Proceedings of the 12th IFAC Conference on Programmable Devices and Embedded Systems, 2013

2011
Role of UML Modelling in Discrete Controller Design.
[BibTeX]
[DOI]
Grzegorz Labiak
,
Marian Adamski
,
Jacek Tkacz
,
Michal Doligalski
,
Arkadiusz Bukowiec
Proceedings of the 21st International Conference on Systems Engineering (ICSEng 2011), 2011

2008
Concurrent processes synchronisation in statecharts for FPGA implementation.
[BibTeX]
[DOI]
Grzegorz Labiak
,
Marian Adamski
Proceedings of the 2008 East-West Design & Test Symposium, 2008

2003
From UML statecharts to FPGA - the HiCoS approach.
[BibTeX]
Grzegorz Labiak
Proceedings of the Forum on specification and Design Languages, 2003


  Loading...