BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Switzerland
Collaborated with:
S.Glesner
Talks about:
simulink (2) matlab (2) model (2) discret (1) formal (1) verif (1) slice (1) boogi (1) time (1) use (1)

Person: Robert Reicherdt

DBLP DBLP: Reicherdt:Robert

Contributed to:

SEFM 20142014
ICSE 20122012

Wrote 2 papers:

SEFM-2014-ReicherdtG #matlab #modelling #using #verification
Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie (RR, SG), pp. 190–204.
ICSE-2012-ReichertG #matlab #modelling #slicing
Slicing MATLAB Simulink models (RR, SG), pp. 551–561.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.