1. Bani Younis, M; Fay, A.; Frey, G.: Automatic Re-Implementation of PLC Programs. atp international-Automation Technology in Practice, Oldenbourg Verlag, Vol. 1, 2008, pp. 28-32, April 2008.

2. Bani Younis, M.; Fay, A.; Frey, G.: Automatische Re-Implementierung von SPS-Programmen. Proceedings of the SPS/IPC/DRIVES, Nürnberg, Germany, pp. 287 - 295, Nov. 2007.

3. Bani Younis, M.; Frey, G.: Software Quality Measures to Determine the Diagnosability of PLC Applications. Proceedings of the of the 12th IEEE International Conference on Emerging Technologies and Factory Automation
(ETFA 2007), Patras, Greece, pp. 368-375, Sept. 2007.

4. Bani Younis, M.; Frey, G.: UML-based Approach for the Re-Engineering of PLC Programs. Proceedings of the 32nd Annual Conference of the IEEE Industrial Electronics Society (IECON'06), Paris, France, November 7-10, pp. 3691-3696,Nov. 2006.

5. Bani Younis M.; Frey G.: A Formal Method Based Re-Implementation Concept for PLC Programs and Its Application. Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation(ETFA 2006), Prague, pp. 13401347, Sep. 2006.

6. Bani Younis M.; Frey, G.: Formalization and Visualization of Non-binary PLC Programs. Proceedings of the 44th IEEE Conference on Decision and Control (CDC 2005) and European Control Conference (ECC 2005) Seville, Spain, pp. 8367-8372, Dec. 2005.

7. Frey, G.; Bani Younis M.: Systematisches Re-Engineering bestehender Steuerungsprogramme auf der Basis formaler Beschreibungen. Proceedings of the SPS/IPC/DRIVES, Nürnberg, Germany, pp. 301-309, Nov. 2005.

8. Loeis, K.; Bani Younis, M.; Frey, G.: Application of Symbolic and Bounded Model Checking to the Verification of Logic Control Systems. Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2005, Catania, Italy, Vol. 1, pp. 247-250, Sept. 2005.

9. Frey, G.; Bani Younis, M.: A Re-Engineering Approach for PLC Programs using Finite Automata and UML. Proceedings of 2004 IEEE International Conference on Information Reuse and Integration, IRI-2004, Las Vegas, USA, pp. 24-29, Nov. 2004.

10. Bani Younis, M.; Frey, G.: Formalization of PLC Programs to Sustain Reliability. Proceeding of the 2004 IEEE Conference on Robotics, Automation and Mechatronics, RAM-2004, Singapore, pp. 613-618, Dec. 2004.

11. Gabel, O.; Bani Younis, M. Internet based Remote Control and RemoteMaintenance with AConML. Proceedings of the System, Man and Cybernetics (SMC2004), The Hague, NL, pp. 490-495, Oct. 10-13, 2004.

12. Bani Younis, M.; Frey, G.: Visualization of PLC Programs Using XML. Proceedings of the American Control Conference (ACC2004), Boston, USA, pp. 3082-3087, June 30 - July 2, 2004.

13. Bani Younis, M.; Frey, G.: Formalization of Exisitng PLC programs: Survey. Proceedings of CESA 2003, Lille (France), CD-Rom paper S2-R-00-0239, July 2003.