Workshop: Aselsan - Twente Research Cooperation Workshop
When: Feb. 13, 2015, 9:15-17:00
Where: Drienerburght Rooms: E/F
Who: other:
Workshop on the PhD research projects between Aselsan and the University of Twente.
Workshop chair: Mehmet Akşit
09:15 - 09:30 Peter Apers, Dean of the faculty, Electrical Engineering, Mathematics and Computer Science
"Opening"
09:30 - 10:00 Jaco de Pol/Arend Rensink/Mehmet Akşit, Un. Of Twente,
"A short overview over the Formal Methods and Tools Group and the Aselsan projects"
10:00 - 10:15 to be determined, Aselsan,
"A short information over Aselsan"
10:15 - 10:45 Selim Çıracı, Microsoft, USA. Through Skype
"Verification of Execution Constraints on UML Models of Reconfigurable Software Systems"
10:45 - 11:15 Arda Göknil, Research Associate, Interdisciplinary Centre for Security, Reliability and Trust,
University of Luxembourg
"Traceability of Requirements and Software Architecture for Change Management "
11:15 - 11:45 Break
11:45 - 12:15 Vincent Weber, MSc, Universiteit Twente Alumni
"UTFM - A Next-Generation Language and Tool for Feature Modeling"
12:15 - 12:45 Ismenia Galvão, ING Bank
"Knowledge-Based Graph Exploration Analysis"
12:45 - 13:30 Lunch
13:30 - 14:00 Gürcan Güleşir, BMW AG, Software Project Manager
"Evolvable Behavior Specifications and Their Benefits for Industrial Practice"
14:00 - 14:30 Break
Ph.D. presentations with discussions
14:30 - 15:00 Buğra Yıldız, Ph.D. student, Twente- Aselsan cooperation
"Model-based Critical Path Analysis and Deriving Models from
the Source Code Using Model-Transformation Techniques"
15:00 - 15:30 Sibel Sancaklı, Ph.D. student, Twente- Aselsan cooperation
"Objectives of the CVAR Project and the Approach"
15:30 - 16:00 Güner Orhan, Ph.D. student, Twente- Aselsan cooperation
"Objectives of the PLOS Project and the Approach"
16:00 - 17:00 Wrap-up
17:00 End of the workshop