Felix Hübner
Orcid: 0000-0002-2648-9874Affiliations:
- University of Bremen, Bremen, Germany
According to our database1,
Felix Hübner
authored at least 5 papers
between 2014 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2019
Softw. Syst. Model., 2019
2018
Complete Model-Based Testing Applied to the Railway Domain (Komplettes Modellbasiertes Testen angewandt auf den Bahnbereich)
PhD thesis, 2018
2016
A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016
2015
Integrated Model-based Testing and Model Checking with the Benefits of Equivalence Partition Testing.
Proceedings of the Formal Modeling and Verification of Cyber-Physical Systems, 2015
2014
Proceedings of the Formal Methods and Software Engineering, 2014