Rainer Gmehlich

According to our database, Rainer Gmehlich authored at least 7 papers between 1993 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

Industrial Examples of Formal Specifications for Test Case Generation.

Hendrik Roehm, Rainer Gmehlich, Thomas Heinz, Jens Oehlerking, Matthias Woehrle

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

2013

Towards a formalism-based toolkit for automotive applications.

Rainer Gmehlich, Katrin Grau, Felix Loesch, Alexei Iliasov, Michael Jackson, Manuel Mazzara

Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 2013

Experience of Deployment in the Automotive Industry.

Rainer Gmehlich, Cliff B. Jones

Proceedings of the Industrial Deployment of System Engineering Methods, 2013

2011

On Fitting a Formal Method into Practice.

Rainer Gmehlich, Katrin Grau, Stefan Hallerstede, Michael Leuschel, Felix Lösch, Daniel Plagge

Proceedings of the Formal Methods and Software Engineering, 2011

2001

Specification and Validation of Embedded Systems using LUSTRE and ARGOS. Case Study: The Automatic Headlight Leveling System.

Rainer Gmehlich

Des. Autom. Embed. Syst., 2001

Verfahren zur Systemspezifikation, Entwurf und Validierung von eingebetteten Echtzeitsystemen im Kfz-Bereich.

Rainer Gmehlich

PhD thesis, 2001

1993

Mehr als nur Programmieren - eine Einführung in die Informatik.

Rainer Gmehlich, Heinrich Rust

Vieweg, ISBN: 978-3-528-05248-5, 1993