Research output per year
Research output per year
Supervised Work
- 5 results
Search results
-
A case study in compositional model-checking of hierarchical PLC programs
Author: Erps, R., 13 Oct 2021Supervisor: Verbeek, F. (Examiner) & Schivo, S. (Supervisor)
Student thesis: Master's Thesis
File -
Happy-flow verification of Cyber-Physical Systems
Author: Ketelaar, J., 25 Mar 2022Supervisor: Schivo, S. (Examiner) & Verbeek, F. (Co-assessor)
Student thesis: Master's Thesis
File -
Model checking Task Models with UPPAAL using MDE
Author: Postma, E., 2 Jul 2021Supervisor: Schivo, S. (Examiner) & Vos, T. (Co-assessor)
Student thesis: Master's Thesis
File -
State space reduction for asymmetric hidden Markov models
Author: van Hartingsveldt, S., 29 Sept 2022Supervisor: Hommersom, A. (Examiner) & Schivo, S. (Co-assessor)
Student thesis: Master's Thesis
File -
Using an interaction DSL to prevent races in a distributed system
Author: Smeele, T., 26 Apr 2022Supervisor: Jongmans, S. (Examiner) & Schivo, S. (Supervisor)
Student thesis: Master's Thesis
File