Maria Davidich

Publication Activity (10 Years)

Years Active: 2015-2016
Publications (10 Years): 2

Top Topics

Formal Verification

Activity Monitoring

Software Components

Top Venues

Software Engineering (Workshops)

Publications

Francesco Ferroni, Martin Klimmek, Helge Aufderheide, Joao Laia, Dennis Klingebiel, Maria Davidich
Data Driven Monitoring of Rolling Stock Components. IntelliSys (1) (2016)
Alarico Campetelli, Maximilian Junker, Birthe Böhm, Maria Davidich, Vasileios Koutsoumpas, Xiuna Zhu, Jan Christoph Wehrstedt
A Model-Based Approach to Formal Verification in Early Development Phases: A Desalination Plant Case Study. Software Engineering (Workshops) (2015)