Visualization of PLC programs using XML. - Mohammed Bani Younis; Georg Frey (ACC, 2004)

A Re-Engineering Approach for PLC Programs using Finite Automata and UML. - Georg Frey; Mohammed Bani Younis (IRI, 2004)

Formalization of PLC programs to sustain reliability. - Mohammed Bani Younis; Georg Frey (RAM, 2004)

Internet based Remote Control and Remote Maintenance with AConML. - Oliver Gabel; Mohammed Bani Younis (SMC (1), 2004)

Formalization and Visualization of Non-binary PLC Programs. - Mohammed Bani Younis; Georg Frey (CDC/ECC, 2005)

Application of symbolic and bounded model checking to the verification of logic control systems. - K. Loeis; Mohammed Bani Younis; Georg Frey (ETFA, 2005)

A Formal Method Based Re-Implementation Concept for PLC Programs and Its Application. - Mohammed Bani Younis; Georg Frey (ETFA, 2006)

Re-engineering approach for PLC programs based on formal methods. - Mohammed Bani Younis (2006)

Software quality measures to determine the diagnosability of PLC applications. - Mohammed Bani Younis; Georg Frey (ETFA, 2007)

Re-Engineering-Ansatz bestehender Steuerungsprogramme auf der Basis formaler Beschreibungen. - Mohammed Bani Younis (Autom., 2007)

Applying Reverse Engineering and its techniques on a remote controlled toy helicopter. - Mohammed Bani Younis; Samer Al-Shaer; Mohammed Al-Shabi (SSD, 2014)

Applying image processing techniques on a ball collecting robot. - Samer Al-Shaer; Mohammad Al-Shabi; Mohammed Bani Younis (DICTAP, 2014)