New Perspectives on Sequential Reverse Engineering and Obfuscation
2024
Dissertation
148 Seiten
Correct-by-Construction Controller Synthesis for Safety-Critical Systems
2024
Dissertation
220 Seiten
Adapting and Optimizing High Order Seismic Simulations for GPU-based Supercomputers
2024
Dissertation
191 Seiten
High-Performance Earthquake Simulations with Advanced Material Models
2024
Dissertation
178 Seiten