| 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 | 80 | 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 | 23 | 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 |
| 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 | 8 | 2015 |
| 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 |
| 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óraVerified email at iee.uz.zgora.pl
