Wissenschaftliche Publikationen
2024
- Generic Analysis of Model Product Lines via Constraint Lifting arXiv:2008.11427 [cs.SE], August 2024. Details DOI BIB
2017
- DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems In Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS '17), pages 259–269, September 2017. IEEE. Details DOI BIB
- GSN Support of Mixed-Criticality Systems Certification In Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, pages 157–172, September 2017. Springer. Details DOI BIB
2016
- Building Product-lines of Mixed-Criticality Systems In Proceedings of the Forum on Specification and Design Languages (FDL 2016), Bremen, Germany, September 2016. IEEE. Details DOI BIB
2015
- Optimizing Schedules for Adaptable Manufacturing Systems In IEEE Conference on Emerging Technologies and Factory Automation, September 2015. IEEE. Details DOI BIB
- The SFIT tool: Supporting assembly planners to deal with new product variants In Proceedings of the 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), September 2015. IEEE. Details DOI BIB
2013
- Production Plan-Driven Flexible Assembly Automation Architecture In Vladimír Mařík , JoseL. Martinez Lastra and Petr Skobelev , editor, Industrial Applications of Holonic and Multi-Agent Systems, volume 8062 of Lecture Notes in Computer Science, pages 49-58. Springer Berlin Heidelberg, 2013. Details DOI BIB