Mohammed Bani Younis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2004–2007
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | ETFA | Software quality measures to determine the diagnosability of PLC applications. | Mohammed Bani Younis, Georg Frey |
| 2006 | ETFA | A Formal Method Based Re-Implementation Concept for PLC Programs and Its Application. | Mohammed Bani Younis, Georg Frey |
| 2005 | ETFA | Application of symbolic and bounded model checking to the verification of logic control systems. | K. Loeis, Mohammed Bani Younis, Georg Frey |
| 2004 | IRI | A Re-Engineering Approach for PLC Programs using Finite Automata and UML. | Georg Frey, Mohammed Bani Younis |
| 2004 | SMC | Internet based Remote Control and Remote Maintenance with AConML. | Oliver Gabel, Mohammed Bani Younis |