Author:
Andres Benjamin,Biewer Alexander,Romero Javier,Haubelt Christian,Schaub Torsten
Publisher
Springer International Publishing
Reference13 articles.
1. Reimann, F., Glaß, M., Haubelt, C., Eberl, M., Teich, J.: Improving platform-based system synthesis by satisfiability modulo theories solving. In: Proceedings of CODES+ISSS, pp. 135–144 (2010)
2. Biewer, A., Andres, B., Gladigau, J., Schaub, T., Haubelt, C.: A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving. In: Proceedings of DATE, pp. 357–362 (2015)
3. Gebser, M., Kaufmann, B., Otero, R., Romero, J., Schaub, T., Wanko, P.: Domain-specific heuristics in answer set programming. In: Proceedings of AAAI, pp. 350–356 (2013)
4. Reimann, F., Lukasiewycz, M., Glaß, M., Haubelt, C., Teich, J.: Symbolic system synthesis in the presence of stringent real-time constraints. In: Proceedings of DAC, pp. 393–398 (2011)
5. Lukasiewycz, M., Chakraborty, S.: Concurrent architecture and schedule optimization of time-triggered automotive systems. In: Proceedings of CODES+ISSS, pp. 383–392 (2012)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献