MAIS Graduate Seminar
- Organizer:
- Prof. Dr.-Ing. Heiko Mantel
- Location:
- S2|02 E202
- Time:
- Tuesdays, 16:05
| Date | Speaker | Title |
| 10.04.2018 | Thomas Hoehl | Exploiting Selected Design Patterns in Modular Reasoning about C Programs |
| MAIS internal discussion | ||
| 17.04.2018 | MAIS internal discussion | |
| 24.04.2018 | Dorothea Treitz | Case Study: An E-Learning Platform with Formal Information-Flow Guarantees |
| 08.05.2018 |
Alex Mariotto Henry Rust |
An Empirical Evaluation of a Predictive Mitigation Technique for Timing Channels Experiments with the ATmega 2560 |
| 15.05.2018 | Various speakers | Talks at HPC Cluster |
| 22.05.2018 | MAIS internal discussion | |
| 29.05.2018 | MAIS internal discussion | |
| 05.06.2018 | Benjamin Richter | Soundness and Completeness of an Operational Execution Model with Weak Memory Consistency |
| 12.06.2018 | MAIS internal discussion | |
| 19.06.2018 | Christopher Gerking |
Tracing Information Flow Security in Model-Driven Engineering of Cyber-Physical Systems |
| 26.06.2018 |
Robert Sison | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs |
| Yuri Gil Dantas and Tobias Hamann | An Evaluation of Bucketing in Systems with Non-deterministic Timing Behavior |
|
| 03.07.2018 | MAIS internal discussion | |
| 10.07.2018 |
MAIS internal discussion |
Print
Imprint
Sitemap
Contact