direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Dr.-Ing. Robert Reicherdt

Publications

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


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

Link to original publication [6]

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

Link to original publication [8]

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

Link to original publication [10]

Hu, W., Wegener, J., Stürmer, I., Reicherdt, R., Salecker, E. and Glesner, S. (2011). MeMo – Methods of Model Quality [11]. 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 [12]. 1st Int’l Workshop on Variability-intensive Systems Testing, Validation & Verification (ICST-VAST2011). IEEE.

Link to original publication [13]

------ Links: ------

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008