TY - CHAP A1 - Januzaj, Visar A1 - Kugele, Stefan ED - Fonseca i Casas, Pau ED - Sancho, Maria-Ribera ED - Sherratt, Edel T1 - On the Structure of Avionics Systems Architecture T2 - System Analysis and Modeling: Languages, Methods, and Tools for Industry 4.0: 11th International Conference, SAM 2019 Proceedings UR - https://doi.org/10.1007/978-3-030-30690-8_8 KW - Software architecture KW - Clustering KW - Avionics systems KW - System modelling Y1 - 2019 UR - https://doi.org/10.1007/978-3-030-30690-8_8 SN - 978-3-030-30690-8 SN - 978-3-030-30689-2 SP - 139 EP - 149 PB - Springer CY - Cham ER - TY - CHAP A1 - Januzaj, Visar A1 - Kugele, Stefan A1 - Langer, Boris A1 - Schallhart, Christian A1 - Veith, Helmut ED - Margaria, Tiziana ED - Steffen, Bernhard T1 - New Challenges in the Development of Critical Embedded Systems: An "aeromotive" Perspective 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_1 KW - Carbon Footprint KW - Functional Safety KW - Execution Time Estimate KW - Functional Input KW - Product Data Model Y1 - 2010 UR - https://doi.org/10.1007/978-3-642-16558-0_1 SN - 978-3-642-16558-0 SN - 978-3-642-16557-3 SP - 1 EP - 2 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 - Holzer, Andreas A1 - Januzaj, Visar A1 - Kugele, Stefan ED - Boness, Kenneth ED - Fernandes, João M. ED - Hall, Jon G. ED - Jorge Machado, Ricardo ED - Oberhauser, Roy T1 - Towards Resource Consumption-Aware Programming T2 - Proceedings: The Fourth International Conference on Software Engineering Advances: ICSEA 2009 UR - https://doi.org/10.1109/ICSEA.2009.77 KW - Code Instrumentation KW - Embedded Systems KW - Execution Time Y1 - 2009 UR - https://doi.org/10.1109/ICSEA.2009.77 SN - 978-1-4244-4779-4 SP - 490 EP - 493 PB - IEEE CY - Los Alamitos ER - TY - CHAP A1 - Januzaj, Visar A1 - Kugele, Stefan A1 - Biechele, Florian A1 - Mauersberger, Ralf ED - Eleftherakis, George ED - Hinchey, Mike ED - Holcombe, Mike T1 - A Configuration Approach for IMA Systems T2 - Software Engineering and Formal Methods: 10th International Conference, SEFM 2012: Thessaloniki, Greece, October 1-5, 2012: Proceedings UR - https://doi.org/10.1007/978-3-642-33826-7_14 KW - Schedule Algorithm KW - System Mode KW - Integration Area KW - Processor Utilisation KW - Hardware Component Y1 - 2012 UR - https://doi.org/10.1007/978-3-642-33826-7_14 SN - 978-3-642-33825-0 SN - 978-3-642-33826-7 SP - 203 EP - 217 PB - Springer CY - Berlin 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 -