Iman Badr

According to our database, Iman Badr authored at least 5 papers between 2007 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Towards verified continuous integration in the engineering of automated production systems.

Jakob Mund, Safa Bougouffa, Iman Badr, Birgit Vogel-Heuser

Autom., 2018

Cooperative Ant Colony Algorithm for Flexible Manufacturing Systems.

Asmaa Kamal, Iman Badr, Adel Darwish

Proceedings of the Service Orientation in Holonic and Multi-Agent Manufacturing, 2018

2015

Integrated Scheduling for Make-to-Order Multi-factory Manufacturing: An Agent-Based Cloud-Assisted Approach.

Iman Badr

Proceedings of the Service Orientation in Holonic and Multi-Agent Manufacturing, 2015

2009

An Agent-based Approach for Automating the Disturbance Handling for Flexible Manufacturing Systems.

Iman Badr, Peter Göhner

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

2007

Extending the MaSE Methodology for the Development of Embedded Real-Time Systems.

Iman Badr, Hisham Mubarak, Peter Göhner

Proceedings of the Languages, 2007