Robert Reicherdt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2011–2014
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | SEFM | Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie. | Robert Reicherdt, Sabine Glesner |
| 2013 | EMSOFT | Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving. | Paula Herber, Robert Reicherdt, Patrick Bittner |
| 2012 | ICSE | Slicing MATLAB Simulink models. | Robert Reicherdt, Sabine Glesner |
| 2011 | ICST | Calculating Prioritized Interaction Test Sets with Constraints Using Binary Decision Diagrams. | Elke Salecker, Robert Reicherdt, Sabine Glesner |