Robert Reicherdt

Calculating Prioritized Interaction Test Sets with Constraints Using Binary Decision Diagrams

Sabine Glesner, Elke Salecker, Robert Reicherdt, 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.

A framework for the automatic verification of discrete-time MATLAB simulink models using Boogie

Robert Reicherdt, Robert Reicherdt, 2015 .

Methods of Model Quality in the Automotive Area

Sabine Glesner, Robert Reicherdt, 2014, Software Engineering.

MeMo - Methods of Model Quality

Sabine Glesner, Joachim Wegener, Wei Hu, 2011, Model-Based Development of Embedded Systems.

Slicing MATLAB Simulink models

Sabine Glesner, Robert Reicherdt, S. Glesner, 2012, 2012 34th International Conference on Software Engineering (ICSE).

Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie

Sabine Glesner, Robert Reicherdt, S. Glesner, 2014, SEFM.

Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving

Paula Herber, Robert Reicherdt, Patrick Bittner, 2013, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT).