Rainer Gmehlich

Publication Activity (10 Years)

Years Active: 2001-2015
Publications (10 Years): 1

Top Topics

Automotive Industry

Formal Specification

Object Oriented Design

Top Venues

Universität Karlsruhe (PHD)

Education History

Universität Karlsruhe

PHD

Publications

Hendrik Roehm, Rainer Gmehlich, Thomas Heinz, Jens Oehlerking, Matthias Woehrle
Industrial Examples of Formal Specifications for Test Case Generation. ARCH@CPSWeek (2015)
Rainer Gmehlich, Katrin Grau, Felix Loesch, Alexei Iliasov, Michael Jackson, Manuel Mazzara
Towards a formalism-based toolkit for automotive applications. FormaliSE@ICSE (2013)
Rainer Gmehlich, Katrin Grau, Alexei Iliasov, Michael Jackson, Felix Loesch, Manuel Mazzara
Towards a Formalism-Based Toolkit for Automotive Applications. CoRR (2013)
Rainer Gmehlich, Katrin Grau, Stefan Hallerstede, Michael Leuschel, Felix Lösch, Daniel Plagge
On Fitting a Formal Method into Practice. ICFEM (2011)
Rainer Gmehlich
Specification and Validation of Embedded Systems using LUSTRE and ARGOS. Case Study: The Automatic Headlight Leveling System. Des. Autom. Embed. Syst. 6 (2) (2001)