Software Engineering Reading Group and Seminar
In the seminar, we discuss current and classical research papers with an emphasis on work in software engineering and related areas. All participants can make recommendations for the reading list, from which one paper is selected for each meeting. Participants read the selected paper individually in preparation for the meeting and discuss it during the meeting. One of the participants might initiate the discussion by presenting the paper informally (e.g. by non-polished presentations, using the blackboard or even projecting the PDF of the paper). Students can participate but should be aware that no ECTS points can be earned for the reading group.
Place: PZ 901
Schedule
Date & Time: 11.11.2018 10:00 -- 11:30 Presenter: Jannis Weiser
Master thesis/project -- current results part II
Date & Time: 11.11.2018 10:00 -- 11:30 Presenter: Jannis Weiser
Master thesis/project -- current results
Date & Time: 04.11.2018, 10:00 -- 11:30 Presenter: Matej Hajnal
Toward Model Selection by Formal Methods
Date & Time: 22.08.2018, 14.00 -- 15.15 Presenter: Martin Kölbl
SMT-based Induction Methods for Timed Systems [pdf]
Kindermann et al.
FORMATS 2012
Date: 30.07. 2018 Presenter: Dominik Winterer
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks [pdf]
Guy Katz, Clark Barrett, David Dill, Kyle Julian, Mykel Kochenderfer
Computer Aided Verification (CAV 2017)