Mohammed Bani Younis

Publication Activity (10 Years)

Years Active: 2004-2014
Publications (10 Years): 0

Top Topics

Reverse Engineer

Genetic Regulatory Networks

Top Venues

University of Kaiserslautern (PHD)

Education History

University of Kaiserslautern

PHD

Publications

Samer Al-Shaer, Mohammad Al-Shabi, Mohammed Bani Younis
Applying image processing techniques on a ball collecting robot. DICTAP (2014)
Mohammed Bani Younis, Samer Al-Shaer, Mohammed Al-Shabi
Applying Reverse Engineering and its techniques on a remote controlled toy helicopter. SSD (2014)
Mohammed Bani Younis, Georg Frey
Software quality measures to determine the diagnosability of PLC applications. ETFA (2007)
Mohammed Bani Younis
Re-Engineering-Ansatz bestehender Steuerungsprogramme auf der Basis formaler Beschreibungen. Autom. 55 (5) (2007)
Mohammed Bani Younis, Georg Frey
A Formal Method Based Re-Implementation Concept for PLC Programs and Its Application. ETFA (2006)
K. Loeis, Mohammed Bani Younis, Georg Frey
Application of symbolic and bounded model checking to the verification of logic control systems. ETFA (2005)
Mohammed Bani Younis, Georg Frey
Formalization and Visualization of Non-binary PLC Programs. CDC/ECC (2005)
Mohammed Bani Younis, Georg Frey
Formalization of PLC programs to sustain reliability. RAM (2004)
Mohammed Bani Younis, Georg Frey
Visualization of PLC programs using XML. ACC (2004)
Oliver Gabel, Mohammed Bani Younis
Internet based Remote Control and Remote Maintenance with AConML. SMC (1) (2004)
Georg Frey, Mohammed Bani Younis
A Re-Engineering Approach for PLC Programs using Finite Automata and UML. IRI (2004)