Presentations June '22

(click on the title to download the presentation)

• Veronika Wu. “The role of software documentation in the Sustainable software engineering process”.
• Marco Tobia Cacciatore. “Software Model Checking with CBMC”.
• Andrea Giselle Keller Cruz. “Distributed Systems and TLA+"
• Severin Buchser. “Satisfiability Modulo Theories”.

• Mattia Pedrazzi. “How do code documentation efforts spread over class hierarchy?".
• Irakli Kelbakiani. “Documentation practices of developers in Polyglot environments”.
• Roman Riesen. “Early validation of system requirements and design through BIP”.
• Simon Furrer. “Runtime Verification with Metric First Order Temporal Logic”.
• Albin Aliu. “Monitoring Spatially-Distributed Systems with Spatio-Temporal Logics”.