Research seminar @ BIG

Speaker Title Slides
03.08.2015, 11:00 Uhr - 13:00 Uhr Office Gerti Kappel
Sebastian Gabmeyer New Model Checking Techniques for Software Systems Modeled with Graphs and Graph Transformations N/A
21.09.2015, 10:15 Uhr - 12:00 Uhr Seminarraum 187/2
Stefan Radomski Formal Verification of Multimodal Dialogs in Pervasive Environments N/A
24.09.2015, 10:15 Uhr - 12:00 Uhr Office Gerti Kappel
Robert Bill Programming against Multi-Version Metamodels: A Model Differencing and Virtualization Approach (GEMOC Probevortrag) N/A
16.10.2015, 10:15 Uhr - 12:00 Uhr Office Gerti Kappel
Patrick Neubauer XMLText: From XML Schema to Xtext N/A
09.11.2015, 10:15 Uhr - 12:00 Uhr Office Gerti Kappel
Sabine Wolny Modeling of CPPS (Doctoral College Cyber-Physical Production Systems) N/A
16.11.2015, 10:15 Uhr - 12:00 Uhr Seminarraum 188/2
Andreas Pieris Datalog+/-: A Family of Logical Knowledge Representation Languages N/A
11.01.2016, 10:15 Uhr - 12:00 Uhr Office Gerti Kappel
Sabine Wolny Generation of software agents based on SysML N/A
18.01.2016, 10:15 Uhr - 12:00 Uhr Office Gerti Kappel
Luca Berardinelli Cross-disciplinary Engineering with AutomationML and SysML N/A

Available Semesters: 2017W, 2017S, 2016W, 2016S, 2015S, 2014W, 2014S