Tomas Fischer

According to our database, Tomas Fischer authored at least 5 papers between 2016 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

Formal Model Validation Through Acceptance Tests.

Tomas Fischer, Dana Dghaym

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3.

Michael J. Butler, Dana Dghaym, Thai Son Hoang, Tope Omitola, Colin F. Snook, Andreas Fellner, Rupert Schlick, Thorsten Tarrach, Tomas Fischer, Peter Tummeltshammer

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

2018

Behaviour-Driven Formal Model Development.

Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler, Tomas Fischer, Rupert Schlick, Keming Wang

Proceedings of the Formal Methods and Software Engineering, 2018

2017

Formal Modelling Techniques for Efficient Development of Railway Control Products.

Michael J. Butler, Dana Dghaym, Tomas Fischer, Thai Son Hoang, Klaus Reichl, Colin F. Snook, Peter Tummeltshammer

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017

2016

Using Formal Methods for Verification and Validation in Railway.

Klaus Reichl, Tomas Fischer, Peter Tummeltshammer

Proceedings of the Tests and Proofs - 10th International Conference, 2016