Alexander Graf-Brill

According to our database, Alexander Graf-Brill authored at least 4 papers between 2014 and 2019.

Collaborative distances:

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

2019

Component-aware Input-Output Conformance.

Alexander Graf-Brill, Holger Hermanns

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

2017

Modelling and certification for electric mobility.

Alexander Graf-Brill, Arnd Hartmanns, Holger Hermanns, Steffen Rose

Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

Model-Based Testing for Asynchronous Systems.

Alexander Graf-Brill, Holger Hermanns

Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

2014

A Model-Based Certification Framework for the EnergyBus Standard.

Alexander Graf-Brill, Holger Hermanns, Hubert Garavel

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014