Konferenzartikel bei F-IDE’19 angenommen
Das Paper “Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability” von Eduard Kamburjan und Jonas Stromberg wurde beim Workshop on […]
Uncategorized
FormbaR beim 7th Symposium of the European Association for Research in Transportation
Im Rahmen von FormbaR hat Sebastian Schön ein Poster beim hEART’18 vorgestellt.
FormbaR beim SRSS
Im Rahmen von FormbaR hat Sebastian Schön eine Studie über den Nutzen von Formalen Methoden im Transportwesen beim SRSS 2018 vorgestellt.
ABS Workshop 2018
Der 2te Internationale Workshop der ABS Modelierungssprache findet vom 28.05.2018 bis 30.05.2018 am Fachbereich Informatik der Technischen Universität Darmstadt statt und wird vom FormbaR Team […]
Einreichung “Deductive Verification of Railway Operations” zur Konferenz RSSRail’17 akzeptiert
Die Einreichung des Forschungsbeitrags “Deductive Verification of Railway Operations” von Eduard Kamburjan und Reiner Hähnle zur “International Conference Reliability, Safety and Security of Railway Systems” wurde […]
Vorstellung von FormbaR beim SRSS
FormbaR wurde beim SRSS (http://www.verkehr.tu-darmstadt.de/bs/srss/index.de.jsp) erfolgreich einem Publikum aus Wissenschaft und Industrie präsentiert.
Einreichung “Uniform Modeling of Railway Operations” zum Workshop FTSCS’16 akzeptiert
Die Einreichung des Forschungsbeitrags “Uniform Modeling of Railway Operations” von Eduard Kamburjan und Reiner Hähnle zum Fünften Internationalen Workshop über Formale Techniken für Sicherheitskritische Systeme wurde akzeptiert
Vorstellung von FormbaR auf dem KeY Symposium
FormbaR wurde auf dem 15-ten KeY Symposium (http://www.key-project.org/keysymposium16) erfolgreich einem äußerst interessiertem internationalem Publikum präsentiert.
Konferenzartikel zum FormbaR Projekt wurde bei der ISoLA 2016 angenommen
Das Paper “Towards Incremental Validation of Railway Systems” von Reiner Hähnle und Radu Muschevici wurde bei der Konferenz 7th International Symposium On Leveraging Applications of Formal Methods, Verification and […]