talks
@ RMIT University:
Workshop organisation:
4-5 December 2013: Automated Systems Software Engineering & Testing Workshop (ASSET 2013), @ RMIT, AICAUSE (Melbourne, Australia)
The aim of the ASSET workshop is to present ongoing research and trends on Automated Systems Software Engineering & Testing. The workshop brings together speakers from AICAUSE at RMIT, ABB Bangalore (India), NTNU Trondheim (Norway), the University of Melbourne, Swinburne University of Technology and the CSIRO.
Research Groups @ RMIT University:
RISE worldwide: International Research Internships 2014:
2 internship offers, flexible duration (min. 6, max. 12 weeks)
- Designing a web application for support verification in Grid/Cloud [pdf]
- Human Factor Aspects in Software Engineering [pdf]
Selected talks:
- Verification-oriented modelling of cyber-physical systems: From requirements to architecture, ASSET 2013 [IEEE Women In Engineering Eventa, GE (General Electric) Global Research, 2011
- Requirements vs. Logical Architecture, fortiss GmbH, 2010
- Refinement-Based Specification and Verification
- Dagstuhl seminar 09381 on Refinement Based Methods for the Construction of Dependable Systems, 2009
- Formal Requirements Specification, DENSO Automotive Deutschland, 2009.
- Formal Specification: Methodologies and Techniques, Robert Bosch GmbH, 2009
- Computational Logic Mix, TU München, seminar Perlen der Informatik, 2008
- Systems Engineering: Modelling, Specification and Verification, EADS Deutschland GmbH, 2007
- Spezifikation und Verifikation der eingebetteten Echtzeitsystemen (in German), BMW Car IT GmbH, 2006
- Focus on Isabelle, seminar at TU Braunschweig, chair of Prof. Rumpe, 2006
- A coalgebraic view at data flow systems, CWI (Centrum Wiskunde & Informatica), The Netherlands, 2003
Research Groups @ TU München:
- Leader of the Verification & Testing Competence Center (2007 - 2013)
- Member of the Embedded Systems Competence Center (2003 - 2013)
- Member of the Requirements Engineering Competence Center (2003- 2013)