@inproceedings{JanuzajKugele2019, author = {Januzaj, Visar and Kugele, Stefan}, title = {On the Structure of Avionics Systems Architecture}, booktitle = {System Analysis and Modeling: Languages, Methods, and Tools for Industry 4.0: 11th International Conference, SAM 2019 Proceedings}, editor = {Fonseca i Casas, Pau and Sancho, Maria-Ribera and Sherratt, Edel}, publisher = {Springer}, address = {Cham}, isbn = {978-3-030-30690-8}, doi = {https://doi.org/10.1007/978-3-030-30690-8_8}, pages = {139 -- 149}, year = {2019}, language = {en} } @inproceedings{JanuzajKugeleLangeretal.2010, author = {Januzaj, Visar and Kugele, Stefan and Langer, Boris and Schallhart, Christian and Veith, Helmut}, title = {New Challenges in the Development of Critical Embedded Systems: An "aeromotive" Perspective}, booktitle = {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}, editor = {Margaria, Tiziana and Steffen, Bernhard}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-642-16558-0}, doi = {https://doi.org/10.1007/978-3-642-16558-0_1}, pages = {1 -- 2}, year = {2010}, language = {en} } @inproceedings{HolzerJanuzajKugeleetal.2010, author = {Holzer, Andreas and Januzaj, Visar and Kugele, Stefan and Tautschnig, Michael}, title = {Timely Time Estimates}, booktitle = {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}, editor = {Margaria, Tiziana and Steffen, Bernhard}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-642-16558-0}, doi = {https://doi.org/10.1007/978-3-642-16558-0_5}, pages = {33 -- 46}, year = {2010}, language = {en} } @inproceedings{HolzerJanuzajKugele2009, author = {Holzer, Andreas and Januzaj, Visar and Kugele, Stefan}, title = {Towards Resource Consumption-Aware Programming}, booktitle = {Proceedings: The Fourth International Conference on Software Engineering Advances: ICSEA 2009}, editor = {Boness, Kenneth and Fernandes, Jo{\~a}o M. and Hall, Jon G. and Jorge Machado, Ricardo and Oberhauser, Roy}, publisher = {IEEE}, address = {Los Alamitos}, isbn = {978-1-4244-4779-4}, doi = {https://doi.org/10.1109/ICSEA.2009.77}, pages = {490 -- 493}, year = {2009}, language = {en} } @inproceedings{JanuzajKugeleBiecheleetal.2012, author = {Januzaj, Visar and Kugele, Stefan and Biechele, Florian and Mauersberger, Ralf}, title = {A Configuration Approach for IMA Systems}, booktitle = {Software Engineering and Formal Methods: 10th International Conference, SEFM 2012: Thessaloniki, Greece, October 1-5, 2012: Proceedings}, editor = {Eleftherakis, George and Hinchey, Mike and Holcombe, Mike}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-642-33825-0}, doi = {https://doi.org/10.1007/978-3-642-33826-7_14}, pages = {203 -- 217}, year = {2012}, language = {en} } @inproceedings{HolzerJanuzajKugeleetal.2011, author = {Holzer, Andreas and Januzaj, Visar and Kugele, Stefan and Langer, Boris and Schallhart, Christian and Tautschnig, Michael and Veith, Helmut}, title = {Seamless Testing for Models and Code}, booktitle = {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{\"u}cken, Germany, March 26-April 3, 2011: Proceedings}, editor = {Giannakopoulou, Dimitra and Orejas, Fernando}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-642-19810-6}, doi = {https://doi.org/10.1007/978-3-642-19811-3_20}, pages = {278 -- 293}, year = {2011}, language = {en} }