Calculating Prioritized Interaction Test Sets with Constraints Using Binary Decision Diagrams. - Elke Salecker; Robert Reicherdt; Sabine Glesner (ICST Workshops, 2011)

MeMo - Methods of Model Quality. - Wei Hu; Joachim Wegener; Ingo Stürmer; Robert Reicherdt; Elke Salecker; Sabine Glesner (MBEES, 2011)

Slicing MATLAB Simulink models. - Robert Reicherdt; Sabine Glesner (ICSE, 2012)

Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving. - Paula Herber; Robert Reicherdt; Patrick Bittner (EMSOFT, 2013)

Methods of Model Quality in the Automotive Area. - Robert Reicherdt; Sabine Glesner (Software Engineering, 2014)

Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie. - Robert Reicherdt; Sabine Glesner (SEFM, 2014)

A framework for the automatic verification of discrete-time MATLAB simulink models using Boogie. - Robert Reicherdt (2015)