Dmitrii Kirov, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli. ArchEx: An Extensible Framework for the Exploration of Cyber-Physical System Architectures. In Proceedings of the 54th Annual Design Automation Conference, DAC 2017, Austin, TX, USA, June 18-22, 2017. ACM, 2017. [doi]
Abstract is missing.