Extending the MaSE Methodology for the Development of Embedded Real-Time Systems. - Iman Badr; Hisham Mubarak; Peter Göhner (LADS, 2007)

An Agent-based Approach for Automating the Disturbance Handling for Flexible Manufacturing Systems. - Iman Badr; Peter Göhner (ETFA, 2009)

Integrated Scheduling for Make-to-Order Multi-factory Manufacturing: An Agent-Based Cloud-Assisted Approach. - Iman Badr (SOHOMA, 2015)

Cooperative Ant Colony Algorithm for Flexible Manufacturing Systems. - Asmaa Kamal; Iman Badr; Adel Darwish (SOHOMA, 2018)

Towards verified continuous integration in the engineering of automated production systems. - Jakob Mund; Safa Bougouffa; Iman Badr; Birgit Vogel-Heuser (Autom., 2018)