February 13, 2015Aselsan - Twente Research Cooperation Workshop
Room: Drienerburght Rooms: E/F

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

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