Paper Accepted at F-IDE’19
The paper “Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability” by Eduard Kamburjan and Jonas Stromberg was accepted by the […]
Uncategorized
FormbaR presented at the Symposium of the European Association for Research in Transportation (hEART’18)
As part of the FormbaR project, Sebastian Schön presented a poster at the 7th Symposium of the European Association for Research in Transportation.
FormbaR presented at the 2nd Scientific Railway Signalling Symposium (SRSS’18)
As part of the FormbaR project, Sebastian Schön presented a survey on the usage of formal methods in Transport Engineering at the 2nd Scientific Railway […]
ABS Workshop 2018 hosted by FormbaR
The 2nd International Workshop on the ABS Modeling Language and Tools will be held from 28.05.2018 to 30.05.2018 at the Department of Computer Science, Technische […]
Paper Accepted at RSSRail’17
The paper “Deductive Verification of Railway Operations” by Eduard Kamburjan and Reiner Hähnle was accepted by the International Conference Reliability, Safety and Security of Railway Systems […]
FormbaR presented at the Scientific Railway Signalling Symposium
The FormbaR project was presented at the Scientific Railway Signalling Symposium (http://www.verkehr.tu-darmstadt.de/bs/srss/index.de.jsp), a symposium for railway experts from academia and industry from the German-speaking countries.
Paper Accepted at FTSCS’16
The paper “Uniform Modeling of Railway Operations” by Eduard Kamburjan and Reiner Hähnle was accepted by the Fifth International Workshop on Formal Techniques for Safety-Critical Systems […]
FormbaR presented at KeY Symposium
The FormbaR project was presented at the 15th KeY Symposium (http://www.key-project.org/keysymposium16) as an example for the usage of formal methods.
Paper Accepted at ISoLA’16
The paper “Towards Incremental Validation of Railway Systems” by Reiner Hähnle and Radu Muschevici was accepted by the 7th International Symposium On Leveraging Applications of […]