@inproceedings{KugelePuceaPopaetal.2015, author = {Kugele, Stefan and Pucea, Gheorghe and Popa, Ramona and Dieudonn{\´e}, Laurent and Eckardt, Horst}, title = {On the deployment problem of embedded systems}, booktitle = {2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)}, publisher = {IEEE}, address = {Piscataway}, isbn = {978-1-5090-0237-5}, doi = {https://doi.org/10.1109/MEMCOD.2015.7340482}, pages = {158 -- 167}, year = {2015}, language = {en} } @inproceedings{KugelePucea2014, author = {Kugele, Stefan and Pucea, Gheorghe}, title = {Model-based optimization of automotive E/E-architectures}, booktitle = {CSTVA 2014: Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis}, publisher = {ACM}, address = {New York}, isbn = {978-1-4503-2847-0}, doi = {https://doi.org/10.1145/2593735.2593739}, pages = {18 -- 29}, year = {2014}, language = {en} }