Frank Derichsweiler

Learn More
The amount of electronic car functions increased rapidly in the last decade. Audi uses Hardware-in- the-Loop systems in combination with the model based test automation system EXAM for safeguarding of the electronic functions. The complexity of the test cases is comparable to real software programs. Therefore, a quality assurance for the test cases is(More)
We show how the declarative spirit of attribute grammars can be employed to define an attribution mechanism for term graphs, where the non-uniqueness of inherited attributes demands an appropriately generalised treatment. Since term graphs are a useful data structure for symbolic computation systems such as theorem provers or program transformation systems,(More)
  • 1