Marcus Mikulcak

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 3

Top Topics

Statistical Model

Top Venues

Inf. Technol. Control.

Publications

Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner
Information Flow Analysis of Combined Simulink/Stateflow Models. Inf. Technol. Control. 48 (2) (2019)
Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner
Information Flow Analysis of Combined Simulink/Stateflow Models. WETICE (2018)
Marcus Mikulcak, Thomas Göthel, Paula Herber, Sabine Glesner
Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models. GI-Jahrestagung (2016)
Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner
Timed Path Conditions in MATLAB/Simulink. IESS (2015)
Seyed-Hosein Attarzadeh-Niaki, Marcus Mikulcak, Ingo Sander
Rapid virtual prototyping of real-time systems using predictable platform characterizations. FDL (2013)