TY - CHAP A1 - Haberl, Wolfgang A1 - Herrmannsdoerfer, Markus A1 - Kugele, Stefan A1 - Tautschnig, Michael A1 - Wechs, Martin ED - Margaria, Tiziana ED - Steffen, Bernhard T1 - Seamless Model-Driven Development Put into Practice T2 - Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010: Proceedings, Part I UR - https://doi.org/10.1007/978-3-642-16558-0_4 KW - Modeling Language KW - Embed System KW - Hardware Architecture KW - Electronic Control Unit KW - Object Management Group Y1 - 2010 UR - https://doi.org/10.1007/978-3-642-16558-0_4 SN - 978-3-642-16558-0 SN - 978-3-642-16557-3 SP - 18 EP - 32 PB - Springer CY - Berlin ER - TY - CHAP A1 - Holzer, Andreas A1 - Januzaj, Visar A1 - Kugele, Stefan A1 - Tautschnig, Michael ED - Margaria, Tiziana ED - Steffen, Bernhard T1 - Timely Time Estimates T2 - Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010: Proceedings, Part I UR - https://doi.org/10.1007/978-3-642-16558-0_5 KW - Execution Time KW - Basic Block KW - Code Unit KW - Test Input KW - Target Platform Y1 - 2010 UR - https://doi.org/10.1007/978-3-642-16558-0_5 SN - 978-3-642-16558-0 SN - 978-3-642-16557-3 SP - 33 EP - 46 PB - Springer CY - Berlin ER - TY - CHAP A1 - Kugele, Stefan A1 - Haberl, Wolfgang A1 - Tautschnig, Michael A1 - Wechs, Martin ED - Margaria, Tiziana ED - Steffen, Bernhard T1 - Optimizing Automatic Deployment Using Non-functional Requirement Annotations T2 - Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008: Proceedings UR - https://doi.org/10.1007/978-3-540-88479-8_28 KW - Embed System KW - Task Allocation KW - Electronic Control Unit KW - Target Platform KW - Platform Model Y1 - 2008 UR - https://doi.org/10.1007/978-3-540-88479-8_28 SN - 978-3-540-88479-8 SN - 978-3-540-88478-1 SP - 400 EP - 414 PB - Springer CY - Berlin ER - TY - CHAP A1 - Wang, Zhonglei A1 - Haberl, Wolfgang A1 - Kugele, Stefan A1 - Tautschnig, Michael T1 - Automatic generation of SystemC models from component-based designs for early design validation and performance analysis T2 - WOSP'08: Proceedings of the Seventh International Workshop on Software and Performance UR - https://doi.org/10.1145/1383559.1383577 KW - COLA KW - Code Generation KW - Simulation KW - SystemC Y1 - 2008 UR - https://doi.org/10.1145/1383559.1383577 SN - 978-1-59593-873-2 SP - 139 EP - 143 PB - ACM CY - New York ER - TY - CHAP A1 - Holzer, Andreas A1 - Januzaj, Visar A1 - Kugele, Stefan A1 - Langer, Boris A1 - Schallhart, Christian A1 - Tautschnig, Michael A1 - Veith, Helmut ED - Giannakopoulou, Dimitra ED - Orejas, Fernando T1 - Seamless Testing for Models and Code T2 - Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011: Saarbrücken, Germany, March 26-April 3, 2011: Proceedings UR - https://doi.org/10.1007/978-3-642-19811-3_20 KW - Test Suite KW - Activity Diagram KW - Coverage Criterion KW - System Under Test KW - Test Case Generation Y1 - 2011 UR - https://doi.org/10.1007/978-3-642-19811-3_20 SN - 978-3-642-19810-6 SN - 978-3-642-19811-3 SP - 278 EP - 293 PB - Springer CY - Berlin ER -