Robert Reicherdt

According to our database, Robert Reicherdt authored at least 7 papers between 2011 and 2015.

Collaborative distances:

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

2015

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

Robert Reicherdt

PhD thesis, 2015

2014

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

Robert Reicherdt, Sabine Glesner

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

Methods of Model Quality in the Automotive Area.

Robert Reicherdt, Sabine Glesner

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

2013

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

Paula Herber, Robert Reicherdt, Patrick Bittner

Proceedings of the International Conference on Embedded Software, 2013

2012

Slicing MATLAB Simulink models.

Robert Reicherdt, Sabine Glesner

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

MeMo - Methods of Model Quality.

Wei Hu, Joachim Wegener, Ingo Stürmer, Robert Reicherdt, Elke Salecker, Sabine Glesner

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, 2011

Calculating Prioritized Interaction Test Sets with Constraints Using Binary Decision Diagrams.

Elke Salecker, Robert Reicherdt, Sabine Glesner

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011