| Formal methods in PLC programming G Frey, L Litz Smc 2000 conference proceedings. 2000 ieee international conference on …, 2000 | 441 | 2000 |
| Reconfigurable coordination of distributed discrete event control systems J Zhang, M Khalgui, Z Li, G Frey, O Mosbahi, HB Salah IEEE Transactions on Control Systems Technology 23 (1), 323-330, 2014 | 146 | 2014 |
| Automatic implementation of Petri net based control algorithms on PLC G Frey Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No …, 2000 | 130 | 2000 |
| Formalization of existing PLC programs: A survey M Bani Younis, G Frey Proceedings of CESA, 0234-0239, 2003 | 124 | 2003 |
| Towards a model-driven IEC 61131-based development process in industrial automation K Thramboulidis, G Frey Journal of Software Engineering and Applications 4 (04), 217, 2011 | 112 | 2011 |
| Thermoelectric power generation: Peltier element versus thermoelectric generator M Nesarajah, G Frey IECON 2016-42nd Annual Conference of the IEEE Industrial Electronics Society …, 2016 | 92 | 2016 |
| Design and Formal Analysis of Petri Net Based Logic Control Algorithms: Entwurf und Formale Analyse Petrinetz-basierter Steuerungsalgorithmen G Frey Shaker, 2002 | 81 | 2002 |
| Component-oriented modeling of thermoelectric devices for energy system design F Felgner, L Exel, M Nesarajah, G Frey IEEE Transactions on Industrial Electronics 61 (3), 1301-1310, 2013 | 72 | 2013 |
| Performance modeling of PVT collectors: Implementation, validation and parameter identification approach using TRNSYS D Jonas, M Lämmle, D Theis, S Schneider, G Frey Solar Energy 193, 51-64, 2019 | 69 | 2019 |
| Visual PLC-programming using signal interpreted Petri nets M Minas, G Frey Proceedings of the 2002 American Control Conference (IEEE Cat. No. CH37301 …, 2002 | 66 | 2002 |
| An MDD process for IEC 61131-based industrial automation systems K Thramboulidis, G Frey ETFA2011, 1-8, 2011 | 64 | 2011 |
| Verification and validation of control algorithms by coupling of interpreted petri nets G Frey, L Litz SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems …, 1998 | 64 | 1998 |
| Simulation and performance analysis of combined parallel solar thermal and ground or air source heat pump systems D Jonas, G Frey, D Theis Solar energy 150, 500-511, 2017 | 61 | 2017 |
| UML-based development process for IEC 61499 with automatic test-case generation T Hussain, G Frey 2006 IEEE Conference on Emerging Technologies and Factory Automation, 1277-1284, 2006 | 60 | 2006 |
| Multiobjective optimization approach for a portable development of reconfigurable real-time systems: From specification to implementation W Lakhdhar, R Mzid, M Khalgui, Z Li, G Frey, A Al-Ahmari IEEE Transactions on Systems, Man, and Cybernetics: Systems 49 (3), 623-637, 2018 | 59 | 2018 |
| PLC programming with signal interpreted Petri nets S Klein, G Frey, M Minas International Conference on Application and Theory of Petri Nets, 440-449, 2003 | 56 | 2003 |
| Formal verification of PLC programs generated from signal interpreted Petri nets T Mertke, G Frey 2001 IEEE International Conference on Systems, Man and Cybernetics. e …, 2001 | 55 | 2001 |
| Verification and validation of safety applications based on PLCopen safety function blocks D Soliman, G Frey Control engineering practice 19 (9), 929-946, 2011 | 54 | 2011 |
| Evaluation of response time in Ethernet-based automation systems G Marsal, B Denis, JM Faure, G Frey 2006 IEEE Conference on Emerging Technologies and Factory Automation, 380-387, 2006 | 50 | 2006 |
| Migration of a PLC controller to an IEC 61499 compliant distributed control system: Hands-on experiences T Hussain, G Frey Proceedings of the 2005 IEEE International Conference on Robotics and …, 2005 | 50 | 2005 |
Mohamed KHALGUIProfessor, German International University (Berlin)giu-berlin.de의 이메일 확인됨
