...
Many of the links do only work in the university network. Through the usage of a VPN or a remote session to the terminal server, those are also accessible from home. If any problems occur feel free to contact us.
Bachelor Recommendations
[assigned] A. Procter, W. Harrison, I. Graves, M. Becchi, G. Allwein, "Semantics Driven Hardware Design, Implementation, and Verification with ReWire", LCTES 2015
[assigned] Nicolas Harrand, Franck Fleurey, Brice Morin, and Knut Eilif Husa. 2016. ThingML: A language and code generation framework for heterogeneous targets. In Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS '16). ACM, New York, NY, USA, 125-135.
...
Marten Lohstroh and Edward A. Lee, Deterministic Actors, 2019 Forum for Specification and Design Languages (FDL), Southampton, United Kingdom, 2019
[assigned] Sven Peldszus, Katja Tuma, Daniel Strüber, Jan Jürjens and Riccardo Scandariato, Secure Data-Flow Compliance Checks between Models and Code Based on Automated Mappings, 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), Munich, Germany, 2019
[assigned] Byron DeVries and Betty Cheng, Goal-Based Modeling and Analysis of Non-Functional Requirements, 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), Munich, Germany, 2019
...
Date | Milestone | ||
---|---|---|---|
Tue. 03.11. 11:50, Online | First Meeting/Kick-Off with a Latex and EasyChair introduction. The meeting will take place online via BigBlueButton (Room links have been sent). | ||
Tue. 03.11. 23:59 | Deadline for topic selection (via email to Alexander) | ||
Tue. 24.11. 8:00 | Deadline of the first draft in EasyChair. This includes abstract, introduction, outline, notes for chapter contents and an overview list of bibliography for related work. | ||
TBAWed. 25.11 & Th. 26.11, Online | Individual feedback dates. The meetings will take place online via BigBlueButton. | ||
Tue. 15.12. 8:00 | Deadline of the first full version (submission update in EasyChair) | ||
TBAWed. 16.12 & Th. 17.12, Online | Individual feedback datesTue. 12.. The meetings will take place online via BigBlueButton. | ||
Tue. 12.01. 8:00 | Deadline of the review version (submission update in EasyChair) and admission to program committee (invitation via email) | ||
subsequently | Review assignment (via email) | TBA | Talk on how to do good talks/presentations |
Tue. 1819.01. 8:00 | Deadline reviews (in EasyChair) | ||
TBAWed. 03.02 & Th. 04.02, Online | Individual feedback dates on presentation slides. The meetings will take place online via BigBlueButton. The slides need to be available online or sent to the advisor beforehand (as PDF). | ||
FriMon. 2601.0203. 8:00 | Deadline final version (submission update in EasyChair) | ||
MonTue. 0102.03. all-day | Final presentations |
...
Usually, the presentation of the prepared topic is held during a block seminar. The attendance at the seminar day is mandatory. Every attending person receives the proceedings of the current semester.
Tue. 02.03.
TBA View file name agenda_anon.pdf height 250
Papers, Talks, Review
This seminar includes creating a paper, a talk, and two reviews.
...
- Think about whether you want to write your paper in German or English and make use to use the corresponding ACM-style.
- Graphics If you use graphics from your original paper, you should not just be screenshotted and added to your paper. Ideally, you create your own graphic add a screenshotted of the pdf your paper. Try to use the image from the original paper by exporting them, including the pdf directly (
\inlcudegraphics[page=... trim=...]{*.pdf}
), or by recreating the image by yourself (ideally as a vector graphic) to have good quality graphics. This way you should get a result that is not pixelated or at least not worse than the original. - A paper always consists of an introduction, at least one main chapter, and a conclusion.
...