Maged Khalil

Publikationen

Liste als BibTeX-Datei exportieren

  • Juli 2020 Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures Johannes Eder, Sebastian Voss, Andreas Bayha, Alexandru Ipatiov und Maged Khalil Software and Systems Modeling, 19():911–934, Juli 2020. Details DOI BIB
  • Oktober 2018 From deployment to platform exploration: automatic synthesis of distributed automotive hardware architectures Johannes Eder, Andreas Bayha, Sebastian Voss, Alexandru Ipatiov und Maged Khalil In Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Seiten 438–446, ACM, Details DOI BIB
  • September 2017 Bringing DSE to life: exploring the design space of an industrial automotive use case Johannes Eder, Sergey Zverlov, Sebastian Voss, Maged Khalil und Alexandru Ipatiov In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), Seiten 270–280, IEEE, Details DOI BIB
  • Januar 2016 Pareto-efficient deployment synthesis for safety-critical applications in seamless model-based development Sergey Zverlov, Maged Khalil und Mayank Chaudhary In Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Details URL BIB
  • 2014 A Pattern-based Approach towards Modular Safety Analysis and Argumentation Maged Khalil, Bernhard Schätz und Sebastian Voss In Embedded Real Time Software and Systems Conference (ERTS 2014), Toulouse, France, Details BIB
  • 2014 A pattern-based approach towards the guided reuse of safety mechanisms in the automotive domain Maged Khalil, Alejandro Prieto und Florian Hölzl In Proceedings of the International Symposium on Model-Based Safety and Assessment (IMBSA 2014), Band 8822 von LNCS, Seiten 137–151, Springer. Details DOI BIB
  • 2013 Pattern-Based Methods for Model-Based Safety-Critical Software Architecture Design: A PhD Thesis Proposal Maged Khalil In Software Engineering (Workshops), Seiten 493–499, Details URL BIB
  • 2013 Towards Modular Certification using Integrated Model-Based Safety Cases Sebastian Voss, Bernhard Schätz, Maged Khalil und Carmen Cârlan In Proceedings of the International Workshop on Verification and Assurance (VeriSure 2013) (co-located with CAV), Springer. Details URL BIB
  • 2011 Experience with content-based requirements engineering assessments Sabine Teufl, Maged Khalil, Dongyue Mou und Eva Geisberger In Proceedings of the 19th International Requirements Engineering Conference, Seiten 345-346, IEEE. Details DOI BIB