Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Willkommen bei SOAMED

M. Sc. Robert Reicherdt

 

 

 

 Kontakt

Adresse:

Technische Universität Berlin

Fachgebiet Programmierung eingebetteter Systeme
Ernst-Reuter-Platz 7

10587 Berlin

Raum: TEL 1007

Telefon:

+49-30-314-24282

Telefax:

+49-30-314-78866
Homepage: http://www.pes.tu-berlin.de/menue/ueber_uns/team/robert_reicherdt/

E-Mail:

reicherdt(at)soamed.de
Ausbildung
Mitglied bei SOAMED seit: 01.06.2013

2003 - 2007

Hasso-Plattner-Institut an der Universität Potsdam, Teilnahme an einem Bachelorprojekt mit dem Titel:

"perfact, too - Performance Simulation and Modeling for SAP NetWeaver Applications"

Bachelor of Science in Software Engineering

 

2007-2010

Studium der Informatik an der  Technischen Universität Berlin

Master of Science

Thema der Masterarbeit:

"Testfallgenerierung mit Binary Decision Diagrams for Klassikfikationsbäume mit Abhängigkeiten"
2002 Abitur am Evangelischen Gymnasium der Hoffbauerstiftung Hermannswerder in Potsdam
Publikationen
2014

Robert Reicherdt and Sabine Glesner:

"Formal Verification of Discrete-Time Matlab/Simulink Models using Boogie"

In: Software Engineering and Formal Methods, volume 8702 of Lecture Notes Computer Science, pages 190-204. Springer International Publishing, 2014
2014

Robert Reicherdt and Sabine Glesner:

"Methods of Model Quality in the Automative Area"

In: Software Engineering  2014: Fachtagung des GI-Fachbereichs Softwaretechnik [Konferenzband], pages 73-74, 2014.
2013

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`2013), 1-10.
2012

Reicherdt, R. and Glesner, S. (2012):

"Slicing MATLAB Simulink models"

34th International Conference on Software Engineering (ICSE), 551-561.
2011

Hu, W.; Wegner, J.; Stürmer, I.; Reicherdt, R.; Salecker, E. and Glesner, S. (2011):

"MeMo - Methods of Models Quality"

7. Dagstuhl-Workshop Model-Based Development of Embedded Systems (MBEES 2011)
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: