| Design and Verification of Real-Life Processes With Application of Petri Nets I Grobelna, R Wisniewski, M Grobelny, M Wisniewska IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2016 | 81 | 2016 |
| Petri Nets and activity diagrams in logic controller specification-transformation and verification I Grobelna, M Grobelny, M Adamski Mixed Design of Integrated Circuits and Systems (MIXDES), 2010 Proceedings …, 2010 | 34 | 2010 |
| Model checking of UML activity diagrams in logic controllers design I Grobelna, M Grobelny, M Adamski Proceedings of the Ninth International Conference on Dependability and …, 2014 | 31 | 2014 |
| Hardware behavioural modelling, verification and synthesis with UML 2.x activity diagrams M Grobelny, I Grobelna, M Adamski Proceedings of 11th IFAC/IEEE International Conference on Programmable …, 2012 | 24 | 2012 |
| Decomposition, validation and documentation of control process specification in form of a Petri net I Grobelna, M Wiśniewska, R Wiśniewski, M Grobelny, P Mróz 2014 7th International Conference on Human System Interactions (HSI), 232-237, 2014 | 20 | 2014 |
| User awareness in IoT security. A survey of Polish users I Grobelna, M Grobelny, G Bazydło AIP Conference Proceedings 2040 (1), 2018 | 6 | 2018 |
| IoT security with one-time pad secure algorithm based on the double memory technique R Wiśniewski, M Grobelny, I Grobelna, G Bazydło AIP Conference Proceedings 1906 (1), 2017 | 6 | 2017 |
| UML activity diagrams in requirements specification of logic controllers I Grobelna, M Grobelny AIP Conference Proceedings 1702 (1), 2015 | 5 | 2015 |
| Uml activity diagram swimlanes in logic controller design M Grobelny, I Grobelna AIP Conference Proceedings 1702 (1), 2015 | 5 | 2015 |
| Logic controller design system supporting uml activity diagrams M Grobelny, I Grobelna 2015 22nd International Conference Mixed Design of Integrated Circuits …, 2015 | 5 | 2015 |
| Diagramy aktywności języka UML i sieci Petriego w systemach sterowania binarnego-od transformacji do weryfikacji M Grobelny, I Grobelna Pomiary Automatyka Kontrola 56 (10), 1154-1158, 2010 | 4 | 2010 |
| Gaps in design and tests of dependable embedded systems I Grobelna, M Grobelny Metody Informatyki Stosowanej, 45-51, 2010 | 4 | 2010 |
| C code generation from Petri-net-based logic controller specification M Grobelny, I Grobelna, A Karatkevich Photonics Applications in Astronomy, Communications, Industry, and High …, 2017 | 3 | 2017 |
| Model Checking of UML Activity Diagrams Using a Rule-Based Logical Model I Grobelna, M Grobelny, M Adamski Design of Reconfigurable Logic Controllers, 153-163, 2016 | 3 | 2016 |
| Design and verification of distributed logic controllers with application of Petri nets R Wiśniewski, I Grobelna, M Grobelny, M Wiśniewska AIP Conference Proceedings 1702 (1), 2015 | 3 | 2015 |
| Hierarchical UML activity diagrams into control interpreted petri nets transformation M Grobelny, I Grobelna, M Adamski Proceedings of the 19th International Conference Mixed Design of Integrated …, 2012 | 3 | 2012 |
| A short comparison between UML Activity Diagrams and Petri Nets in hardware behavioural modelling M Grobelny X International PHD Workshop - OWD 2008. Conference Archives PTETiS 25, 433-436, 2008 | 3 | 2008 |
| A rule-based approach to model checking of UML state machines I Grobelna, M Grobelny, Ł Stefanowicz AIP Conference Proceedings 1790 (1), 2016 | 2 | 2016 |
| Diagramy aktywności UML w projektowaniu rekonfigurowalnych sterowników logicznych M Grobelny, I Grobelna Pomiary, Automatyka, Kontrola 58 (7), 596-598, 2012 | 2 | 2012 |
| Implementation of WWW server in SoPC M Grobelny, M Węgrzyn Proceedings of SPIE 6347, 63472Y, 2006 | 2 | 2006 |
Iwona GrobelnaUniversity of Zielona Góra在 iee.uz.zgora.pl 的电子邮件经过验证
Iwona GrobelnaUniversity of Zielona Góra在 iee.uz.zgora.pl 的电子邮件经过验证
Remigiusz WiśniewskiUniversity of Zielona Góra在 issi.uz.zgora.pl 的电子邮件经过验证
Marek WegrzynSpace Research Centre of the Polish Academy of Sciences在 ieee.org 的电子邮件经过验证