Iwona Grobelna

5PUBLICATIONS
4CO-AUTHORS
Software quality, processes and metricsIndustrial engineeringElectrical machines and drivesClassical and physical opticsSoftware testing, verification and validation
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (5)

|Sep 19, 2025
A Systematic Review on the Applications of Uppaal.

Iwona Grobelna, Krystian Gajewski, Andrei Karatkevich

|Aug 12, 2023
Intelligent Industrial Process Control Systems.

Iwona Grobelna

|Sep 23, 2022
Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets.

Iwona Grobelna, Paweł Szcześniak

|Oct 01, 2020
Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets.

Remigiusz Wisniewski, Iwona Grobelna, Andrei Karatkevich

|Sep 15, 2020
Formal Verification of Control Modules in Cyber-Physical Systems.

Iwona Grobelna

Pageof 1

Frequent Collaborators

2 joint publications

Andrei Karatkevich

1 joint publications

Remigiusz Wisniewski

1 joint publications

Paweł Szcześniak

1 joint publications

Krystian Gajewski