Mohammed Bani Younis

According to our database, Mohammed Bani Younis authored at least 12 papers between 2004 and 2014.

Collaborative distances:

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

2014

Applying image processing techniques on a ball collecting robot.

Samer Al-Shaer, Mohammad Al-Shabi, Mohammed Bani Younis

Proceedings of the Fourth International Conference on Digital Information and Communication Technology and its Applicationsm DICTAP 2014, 2014

Applying Reverse Engineering and its techniques on a remote controlled toy helicopter.

Mohammed Bani Younis, Samer Al-Shaer, Mohammed Al-Shabi

Proceedings of the IEEE 11th International Multi-Conference on Systems, Signals & Devices, 2014

2007

Re-Engineering-Ansatz bestehender Steuerungsprogramme auf der Basis formaler Beschreibungen.

Mohammed Bani Younis

Autom., 2007

Software quality measures to determine the diagnosability of PLC applications.

Mohammed Bani Younis, Georg Frey

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

2006

Re-engineering approach for PLC programs based on formal methods.

Mohammed Bani Younis

PhD thesis, 2006

A Formal Method Based Re-Implementation Concept for PLC Programs and Its Application.

Mohammed Bani Younis, Georg Frey

Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

2005

Application of symbolic and bounded model checking to the verification of logic control systems.

K. Loeis, Mohammed Bani Younis, Georg Frey

Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

Formalization and Visualization of Non-binary PLC Programs.

Mohammed Bani Younis, Georg Frey

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

2004

Internet based Remote Control and Remote Maintenance with AConML.

Oliver Gabel, Mohammed Bani Younis

Proceedings of the IEEE International Conference on Systems, 2004

Formalization of PLC programs to sustain reliability.

Mohammed Bani Younis, Georg Frey

Proceedings of the 2004 IEEE Conference on Robotics, Automation and Mechatronics, 2004

A Re-Engineering Approach for PLC Programs using Finite Automata and UML.

Georg Frey, Mohammed Bani Younis

Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

Visualization of PLC programs using XML.

Mohammed Bani Younis, Georg Frey

Proceedings of the 2004 American Control Conference, 2004