Alexander Graf-Brill

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 3

Top Topics

Noise Cancellation

Network Configuration

Internal States

Top Venues

Publications

Alexander Graf-Brill, Holger Hermanns
Component-aware Input-Output Conformance. FORTE (2019)
Alexander Graf-Brill, Holger Hermanns
Model-Based Testing for Asynchronous Systems. FMICS-AVoCS (2017)
Alexander Graf-Brill, Arnd Hartmanns, Holger Hermanns, Steffen Rose
Modelling and certification for electric mobility. INDIN (2017)
Alexander Graf-Brill, Holger Hermanns, Hubert Garavel
A Model-Based Certification Framework for the EnergyBus Standard. FORTE (2014)