 |
Scientific Community Activities: - Programmkomitees/Reviewer
- PC member for the workshop “Model-Driven Engineering, Verification, and Validation” (MoDeVVa 2012) at ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MODELS 2012), Innsbruck, Austria, Sep. 30th – 5th Oct. 2012.
- Section chair for track "Model Based Testing and Engineering” at IEEE International conference on International Conference on Industrial Technology (ICIT 2012), Athens, Greece, 19th – 21st Mar. 2012.
- IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2010), Bilbao, Spain, 13th – 16th Sep. 2010.
- Reviewer für folgende Journale
- ACM Computing surveys (2010)
Management/Supervision Activities: - Thesis work
- “Hardware-in-the-Loop (HIL) simulation of industrial automation systems”, by Shiraz Gilani (Running Thesis).
- “A Proposal for Graphical Extension of TTCN-3 Graphical Presentation Format (GFT)”, by Michael Jaeger (May 2010).
- “Development of a schedulability analysis application for industrial communication protocols based on UML models”, by Kai Busse (Apr. 2010).
- Project work
- “3D Visualization of Industrial Automation System”, by Soniya Ghorbani (Jan 2012).
- “Understanding test vector generation and implementing feature extensions based on an existing Algorithm”, by Shiraz Gilani (Jan 2012)
- “Analysis of software testing methods”, by Fadi Yamani (Jan 2012).
- “Programmable Logic Controllers (PLC) software testing techniques”, by Tasneem Dewaswala (Jan 2012).
- “Creation of an plug-in application for UML MARTEs SAM subprofile”, by Kai Busse (Oct 2009).
- “Concept of a Graphical Presentation of TTCN-3 Records and Templates”, by Michael Jaeger (Oct 2009).
- Internship
- “Bridging simulation and hardware components”, by Amandis Dillon (July 2011).
Involved Research Projects: - Statistical Models for Test Generation
- Duration: June 2011 – till date
- inITial : Initialprojekt NRW Innovationszentrum Industrial IT − Höhere Produktivität durch den modellbasierten Entwurf und Betrieb von komplexen Automatisierungssystemen
- Duration: January 2010 – June 2011
- AUTOSAR model verification
- Duration: January 2009 – July 2009.
- PERSEUS: Protocol Engineering of Industrial Communication Systems using the Formal Description Technique UML2.0 (Ingenieurmethoden für den Entwurf und Test von Echtzeitkommunikationssystemen).
- Duration: April 2008 – June 2011.
Teaching Activities: - Summer 2012: “Protocol Engineering” in the course “Communication for Distributed Systems” (Prof. Juergen Jasperneite).
- Summer 2011: “Protocol Engineering” in the course “Communication for Distributed Systems” (Prof. Juergen Jasperneite).
- Summer 2010: “Protocol Engineering” in the course “Communication for Distributed Systems” (Prof. Juergen Jasperneite).
- Summer 2009: “Protocol Engineering” in the course “Communication for Distributed Systems” (Prof. Juergen Jasperneite).
- Summer 2008: “Protocol Engineering” in the course “Communication for Distributed Systems” (Prof. Juergen Jasperneite).
|