During the Autumn of 2016 and the spring of 2017 I supervised to master thesis students who created a new GUI for modeling Hierarchical Timed Automata.
This resulted in the following two semester reports
9th semester: INTRODUCING HIERARCHIES TO NETWORKS OF TIMED AUTOMATA H-UPPAAL: A NEW INTEGRATED DEVELOPMENT ENVIRONMENT FOR MODEL CHECKING
10th semester: IMPROVING THE MODEL CHECKING ACTIVITY USING H-UPPAAL: A NEW INTEGRATED DEVELOPMENT ENVIRONMENT FOR MODEL CHECKING
And a graphical editor for editing hierarchical timed automata.
Student project on Visualization of Zones in Real-Time Models, which will potentially be integrated into H-Uppaal and Ecdar.
The collaboration also ended up spawning a collaboration with a local company HMK Bilcon