 |
Dr. Maria Spichkova:
Talks and Activities
Selected invited
talks:
- Software Engineering: Development Methodologies, ITK
Engineering AG, 2012
- Refinement-Based Verification Of
Interactive Real-Time Systems (invited
seminar)
IEEE
Women In Engineering Event, 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 the Software Engineering Group (Prof.
Rumpe), TU Braunschweig, 2006
- A coalgebraic view at data flow
systems, CWI
(Centrum Wiskunde & Informatica),
The Netherlands, 2003
|
|
|
|
