Correct-by-Construction Controller Synthesis for Safety-Critical Systems
2024
Dissertation
220 p.
Adapting and Optimizing High Order Seismic Simulations for GPU-based Supercomputers
2024
Dissertation
191 p.
High-Performance Earthquake Simulations with Advanced Material Models
2024
Dissertation
178 p.