Michał Grobelny
Michał Grobelny
Verified email at kmti.uz.zgora.pl
Title
Cited by
Cited by
Year
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
482016
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
282014
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
272010
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
212012
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
192014
UML activity diagrams in requirements specification of logic controllers
I Grobelna, M Grobelny
AIP Conference Proceedings 1702 (1), 100005, 2015
52015
Logic controller design system supporting uml activity diagrams
M Grobelny, I Grobelna
2015 22nd International Conference Mixed Design of Integrated Circuits …, 2015
52015
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), 120009, 2017
42017
Uml activity diagram swimlanes in logic controller design
M Grobelny, I Grobelna
AIP Conference Proceedings 1702 (1), 100009, 2015
42015
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, 1154-1158, 2010
42010
Gaps in design and tests of dependable embedded systems
I Grobelna, M Grobelny
Metody Informatyki Stosowanej, 45-51, 2010
42010
User awareness in IoT security. A survey of Polish users
I Grobelna, M Grobelny, G Bazydło
AIP Conference Proceedings 2040 (1), 080002, 2018
32018
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), 100004, 2015
32015
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
32012
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
32008
A rule-based approach to model checking of UML state machines
I Grobelna, M Grobelny, Ł Stefanowicz
AIP Conference Proceedings 1790 (1), 030002, 2016
22016
Diagramy aktywności UML w projektowaniu rekonfigurowalnych sterowników logicznych
M Grobelny, I Grobelna
Pomiary, Automatyka, Kontrola 58 (7), 596-598, 2012
22012
Implementation of WWW server in SoPC
M Grobelny, M Węgrzyn
Proceedings of SPIE 6347, 63472Y, 2006
22006
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
12016
Exception handling in logic controller design by means of UML activity diagrams and control interpreted Petri nets
M Grobelny, A Pieczynski
Przeglad Elektrotechniczny 89 (5), 314-317, 2013
12013
The system can't perform the operation now. Try again later.
Articles 1–20