Maged Khalil

Publications

Export list as BibTeX file

  • July 2020 Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures Johannes Eder, Sebastian Voss, Andreas Bayha, Alexandru Ipatiov and Maged Khalil Software and Systems Modeling, 19():911–934, July 2020. Details DOI BIB
  • October 2018 From deployment to platform exploration: automatic synthesis of distributed automotive hardware architectures Johannes Eder, Andreas Bayha, Sebastian Voss, Alexandru Ipatiov and Maged Khalil In Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, pages 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 and Alexandru Ipatiov In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), pages 270–280, IEEE, Details DOI BIB
  • January 2016 Pareto-efficient deployment synthesis for safety-critical applications in seamless model-based development Sergey Zverlov, Maged Khalil and 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 and 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 and Florian Hölzl In Proceedings of the International Symposium on Model-Based Safety and Assessment (IMBSA 2014), volume 8822 of LNCS, pages 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), pages 493–499, Details URL BIB
  • 2013 Towards Modular Certification using Integrated Model-Based Safety Cases Sebastian Voss, Bernhard Schätz, Maged Khalil and 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 and Eva Geisberger In Proceedings of the 19th International Requirements Engineering Conference, pages 345-346, IEEE. Details DOI BIB