Rainer Gmehlich

发表

Apparatus and method for mode switching in a computer system having at least two execution units

Reinhard Weiberle, Yorck Collani, Bernd Mueller, 2005 .

Experience of Deployment in the Automotive Industry

Cliff B. Jones, Rainer Gmehlich, 2013, Industrial Deployment of System Engineering Methods.

Method and apparatus for controlling a memory access in a computer system having at least two execution units

Reinhard Weiberle, Yorck Collani, Bernd Mueller, 2005 .

Method and apparatus for establishing an initial state in a computer system having at least two execution units by marking of registers

Reinhard Weiberle, Yorck Collani, Bernd Mueller, 2005 .

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

Rainer Gmehlich, Heinrich Rust, 1993 .

Towards a formalism-based toolkit for automotive applications

Manuel Mazzara, Rainer Gmehlich, Michael Jackson, 2013, 2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE).

A method for monitoring a functionality of a control

Bernd Mueller, Rainer Gmehlich, Volker Pitzal, 2006 .

A method, operating system and computing device to execute a computer program

Reinhard Weiberle, Yorck Collani, Thomas Kottke, 2005 .

Method and apparatus for monitoring the functions of a computer system

Reinhard Weiberle, Yorck Collani, Bernd Mueller, 2005 .

Method and apparatus for mode switching and for signal comparison in a computer system having at least two processing units

Yorck Collani, Bernd Mueller, Rainer Gmehlich, 2005 .

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

Rainer Gmehlich, 2001 .

The computer system having at least two execution units, and a comparison unit and method for controlling

Reinhard Weiberle, Bernd Mueller, Rainer Gmehlich, 2006 .

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

Rainer Gmehlich, Rainer Gmehlich, 2001, Des. Autom. Embed. Syst..

A method for switching between at least two modes of operation of a processor unit as well as corresponding processor unit

Stefan Benz, Reinhard Weiberle, Bernd Mueller, 2003 .

A method and apparatus for evaluating a signal execution units of a computer system having at least two

Reinhard Weiberle, Yorck Collani, Bernd Mueller, 2005 .

Industrial Examples of Formal Specifications for Test Case Generation

Matthias Woehrle, Rainer Gmehlich, Jens Oehlerking, 2015, ARCH@CPSWeek.

A method for the treatment of transient errors in real-time systems, in particular for control devices of motor vehicles

Uwe Hartmann, Rainer Gmehlich, Michael Boehl, 2007 .

A method and apparatus for generating a mode signal in a computer system having a plurality of components

Reinhard Weiberle, Yorck Collani, Thomas Kottke, 2005 .

On Fitting a Formal Method into Practice

Felix Lösch, Michael Leuschel, Stefan Hallerstede, 2011, ICFEM.

An electronic system

Udo Schulz, Reinhard Weiberle, Yorck Collani, 2006 .

Method and apparatus for controlling a memory access in a computer system with two execution units little sterns

Reinhard Weiberle, Yorck Collani, Bernd Mueller, 2005 .

Method and device for evaluating a signal of a computer system with at least two execution units.

Reinhard Weiberle, Yorck Collani, Bernd Mueller, 2005 .