Stefan Rakel, M.Sc. RWTH

Wissenschaftlicher Mitarbeiter

rakel[at]embedded[dot]rwth-aachen[dot]de

Tel. +49 241 80 21165
Fax +49 241 80 22150

Adresse: Ahornstr. 55, 52074 Aachen, Germany
Büro: Raum 2322 (Gebäude H)

Nach Vereinbarung

• Development of a Map Matching Algorithm for Embedded Systems.
• Development of a Movement Model for Bicycles.
• Formalisierung von Technical Assumptions und Safety Goals
• Eingabeunterstützung für kontrollierte Sprachen
• Evaluation von kontrollierten Sprachen
• Import und semi-automatische Übersetzung von alten Gefährdungsanalysen
• Implementierung kontrollierter Sprachen im Grammatical Framework
• Methoden und Algorithmen zur Identifikation von Widersprüchen
• Goal Structuring Notation Editor
• Datenbankbasierte Eingabeunterstützung für Gefährdungsanalysen
• Semantische Interpretation einer kontrollierten Sprache mit mathematischer Logik
• Evaluation kontrollierter Sprachen für die Gefährdungsanalyse
• Lexikalische Analyse kontrollierter Sprachen und die Entwicklung eines Werkzeugs zur Eingabeunterstützung
• Klassifikation von Begründungen zur Gefährdungseinstufung durch maschinelle Lernverfahren
• Word Embedding für semantische Textvergleiche in Gefährdungsanalysen

<BIBTEX: file=publikationen style=i11 sort=year filter=Rakel>