TY - CHAP A1 - Kugele, Stefan A1 - Pucea, Gheorghe A1 - Popa, Ramona A1 - Dieudonné, Laurent A1 - Eckardt, Horst T1 - On the deployment problem of embedded systems T2 - 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) UR - https://doi.org/10.1109/MEMCOD.2015.7340482 KW - Optimization KW - Hardware KW - Embedded systems KW - Safety KW - Aerospace electronics Y1 - 2015 UR - https://doi.org/10.1109/MEMCOD.2015.7340482 SN - 978-1-5090-0237-5 SP - 158 EP - 167 PB - IEEE CY - Piscataway ER - TY - CHAP A1 - Kugele, Stefan A1 - Pucea, Gheorghe T1 - Model-based optimization of automotive E/E-architectures T2 - CSTVA 2014: Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis UR - https://doi.org/10.1145/2593735.2593739 KW - model-based optimization KW - domain-specific languages KW - constraint satisfaction problem KW - automotive E/E-architecture Y1 - 2014 UR - https://doi.org/10.1145/2593735.2593739 SN - 978-1-4503-2847-0 SP - 18 EP - 29 PB - ACM CY - New York ER -