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, October 2018. 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, September 2017. 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), January 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, 2014. 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, 2014. 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, 2013. 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), 2013. 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, 2011. IEEE. Details DOI BIB