Marcus Mikulcak

According to our database, Marcus Mikulcak authored at least 5 papers between 2013 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Information flow analysis of discrete embedded control system models.

Marcus Mikulcak

PhD thesis, 2020

2019

Information Flow Analysis of Combined Simulink/Stateflow Models.

Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner

Inf. Technol. Control., 2019

2016

Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models.

Marcus Mikulcak, Thomas Göthel, Paula Herber, Sabine Glesner

Proceedings of the 46. Jahrestagung der Gesellschaft für Informatik, 2016

2015

Timed Path Conditions in MATLAB/Simulink.

Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner

Proceedings of the System Level Design from HW/SW to Memory for Embedded Systems, 2015

2013

Rapid virtual prototyping of real-time systems using predictable platform characterizations.

Seyed-Hosein Attarzadeh-Niaki, Marcus Mikulcak, Ingo Sander

Proceedings of the 2013 Forum on specification and Design Languages, 2013