TU Berlin

Software and Embedded Systems EngineeringPublications

SESE-Logo in blau

Page Content

to Navigation

Dr.-Ing. Robert Reicherdt


Hu, W., Wegener, J., Stürmer, I., Reicherdt, R., Salecker, E. and Glesner, S. (2011). MeMo – Methods of Model Quality. 7. Dagstuhl-Workshop Model-Based Development of Embedded Systems (MBEES 2011)

Salecker, E., Reicherdt, R. and Glesner, S. (2011). Calculating Prioritized Interaction Test Sets with Constraints using Binary Decision Diagrams. 1st Int’l Workshop on Variability-intensive Systems Testing, Validation & Verification (ICST-VAST2011). IEEE.

Link to original publication

Reicherdt, R. and Glesner, S. (2012). Slicing MATLAB Simulink models. 34th International Conference on Software Engineering (ICSE), 551 -561.

Link to original publication

Herber, P., Reicherdt, R. and Bittner, P. (2013). Bit‐precise Formal Verification of Discrete‐Time MATLAB/Simulink Models using SMT Solving. International Conference on Embedded Software (EMSOFT'13), 1-10.

Link to original publication

Glesner, S. and Reicherdt, R. (2014). Methods of Model Quality in the Automotive Area. Software Engineering. Köllen, 73-74.

Reicherdt, R. and Glesner, S. (2014). Formal Verification of Discrete-Time MATLAB/Simulink Models using Boogie. 12th International Conference on Software Engineering and Formal Methods. Springer, 190-204.

Link to original publication


Quick Access

Schnellnavigation zur Seite über Nummerneingabe