Felix Hübner
Orcid: 0000-0002-4482-5595
According to our database1,
Felix Hübner
authored at least 7 papers
between 2014 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Solving the nuclear dismantling project scheduling problem by combining mixed-integer and constraint programming techniques and metaheuristics.
J. Sched., 2021
ActuBoard: An Open Rapid Prototyping Platform to integrate Hardware Actuators in Remote Applications.
Proceedings of the EICS '21: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2021
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