Mohammed Bani Younis

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