Publications

PhD-theses supervised by Georg Frey

Stüber, M.: Models and simulations in the semantic web. Dissertation, Universität des Saarlandes, Germany, December 2023 (Published by Saarländische Universitäts- und Landesbibliothek, Saarbrücken, 2023)

Wagner,F.: Ein Beitrag zur energieeffizienten Erzeugung von Druckluft. Dissertation, Universität des Saarlandes, Germany, Dec. 2022 (Published by Saarländische Universitäts- und Landesbibliothek, Saarbrücken, 2022)

Exel, L.: On the Modeling and Simulation of Future Energy Systems. Dissertation, Universität des Saarlandes, Germany, Nov. 2021 (Published by Saarländische Universitäts- und Landesbibliothek, Saarbrücken, 2021)

Hijjo, M.: Model-based development and design of microgrid power systems. Dissertation, Universität des Saarlandes, Saarbrücken, Germany, Apr. 2019. (Published by Saarländische Universitäts- und Landesbibliothek, Saarbrücken, 2018)

Belkhir, F.: Soft-sensor design and dynamic model development for a biomass combustion power plant. Dissertation, Universität des Saarlandes, Saarbrücken, Germany, Sept. 2017. (Published by Shaker-Verlag, Aachen, Mar. 2018, ISBN: 978-3-8440-5832-1)

Nesarajah, M.: Model‐based Development of Thermoelectric Energy Harvesting Systems. Dissertation, Universität des Saarlandes, Saarbrücken, Germany, Sept. 2017. (Published by Shaker-Verlag, Aachen, Jan. 2018, ISBN: 978-3-8440-5686-0)

Boussahel, W.: Improving energy efficiency of manufacturing systems through formal analysis of alternative strategies. Dissertation, Universität des Saarlandes, Saarbrücken, Germany, Febr. 2017. (Published by Shaker-Verlag, Aachen, April 2017, ISBN: 978-3-8440-5154-4)

Ben Salem, M. O.: BROMETH: Methodology to Develop Safe Reconfigurable Medical Robotic Systems : Application on Pediatric Supracondylar Humeral Fracture. Dissertation, Universität des Saarlandes, Saarbrücken, Germany, and University of Carthage, Carthage, Tunisia, 2017. (Published by Saarländische Universitäts- und Landesbibliothek, Saarbrücken, 2017)

Zhang, J.: Modeling and Verification of Reconfigurable Discrete Event Control Systems. Dissertation, Universität des Saarlandes, Saarbrücken, Germany, and Xidian University, China, 2015. (Published by Saarländische Universitäts- und Landesbibliothek, Saarbrücken, 2015)

Liu, L.: Object-oriented Modeling and Efficient Simulation of C³-Systems. Dissertation, Universität des Saarlandes, Saarbrücken, Germany, Jan. 2014. (Published by Shaker-Verlag, Aachen, Mar. 2014, ISBN: 978-3-8440-2608-5)

Soliman, D.: Verification and Validation of Logic Control Safety Applications. Dissertation, Universität des Saarlandes, Saarbrücken, Germany, Dec. 2012. (Published by Shaker-Verlag, Aachen, Mar. 2013, ISBN: 978-3-8440-1757-1)

Ghanaim, A.:Modeling and Control of closed-loop Networked PLC-Systems. Dissertation, Universität des Saarlandes, Saarbrücken, Germany, Sept. 2011. (Published by Shaker-Verlag, Aachen, Nov. 2011, ISBN: 978-3-8400-0520-2)

Hussain, T.: Development and Automatic Deployment of Distributed Control Applications. Dissertation, Technische Universität Kaiserslautern, Kaiserslautern, Germany, May 2008. (Published by Shaker-Verlag, Aachen, Feb. 2009, ISBN: 978-3-8322-7969-1)

Panjaitan, S.:Development Process for Distributed Automation Systems based on Elementary Mechatronic Functions. Dissertation, Technische Universität Kaiserslautern, Kaiserslautern, Germany, Nov. 2007. (Published by Shaker-Verlag, Aachen, Feb. 2008, ISBN: 978-3-8322-6934-0)

Greifeneder, J.: Formale Analyse des Zeitverhaltens Netzbasierter Automatisierungssysteme. Dissertation, Technische Universität Kaiserslautern, Kaiserslautern, Germany, Nov. 2007. (Published by Shaker-Verlag, Aachen, Dec. 2007, ISBN: 978-3-8322-6835-0)

Marsal, G.: Evaluation of time performances of Ethernet-based Automation Systems by simulation of high-level Petri Nets. Dissertation, Technische Universität Kaiserslautern, Kaiserslautern, Germany and Ecole Normale Supérieur Cachan, Paris, France, Dec. 2006. (Published by Shaker-Verlag, Aachen, Aug. 2007, ISBN: 978-3-8322-6407-9)

Bani Younis, M.: Re-Engineering Approach for PLC Programs based on Formal Methods. Dissertation, Technische Universität Kaiserslautern, Kaiserslautern, Germany, Sept. 2006. (Published by Shaker-Verlag, Aachen, Nov. 2006, ISBN: 978-3-8322-5674-6)

Editorships by Georg Frey

Chao, D.Y.; Li Z.; Uzam, M.; Liu, G.J.; Frey, G.; Tang Y. (Ed.): Guest Editorial: Mathematical Problems in Petri Nets Theory and Applications. Mathematical Problems in Engineering, Vol. 2015, Article ID 240385, 2 pages, 2015. <DOI: 10.1155/2015/240385>

Frey, G.; Schumacher, W.; Verl, A. (Ed.): Proceedings of the sps ipc drives 2014 - Internationale Fachmesse und Kongress: Elektrische Automatisierung - Systeme und Komponenten. ISBN 978-3-86359-272-1, Apprimus Verlag, 502p, Nuremberg, Germany, Nov. 2014.

Frey, G.; Schumacher, W.; Verl, A. (Ed.): Proceedings of the sps ipc drives 2013 - Internationale Fachmesse und Kongress: Elektrische Automatisierung - Systeme und Komponenten. ISBN 978-3-8007-3560-0, VDE-Verlag, 464p, Nuremberg, Germany, Nov. 2013.

Frey, G.; Schumacher, W.; Verl, A. (Ed.): Proceedings of the SPS/IPC/DRIVES 2012 - Internationale Fachmesse und Kongress. Nuremberg, Germany, Nov. 2012; ISBN 978-3-8007-3464-1, VDE-Verlag, 2012.

Lo Bello, L.; Frey, G. (Ed.): Guest Editorial Special Section on Information Technology in Automation. IEEE Transactions on Industrial Informatics, Vol. 7, No. 4, p. 688, Nov. 2011. <DOI: 10.1109/TII.2011.2167341>

Publications at AES

Journal Papers and Book Chapters

(reverse chronological)

Jonas, D.; Lämmle, M.; Theis, D.; Schneider, S.; Frey, G.: Performance modeling of PVT collectors: implementation, validation and parameter identification approach using TRNSYS. Solar Energy, ISSN 0038-092X, Vol. 193 (2019), pp. 51-64, Nov. 2019. <DOI: 10.1016/j.solener.2019.09.047>

Khlifi, Oussama; Siegwart, Christian; Mosbahi, Olfa; Khalgui, Mohamed; Frey, Georg:From Specification to Implementation of an Automotive Transport System. Communications in Computer and Information Science, vol: 868. Springer, Cham. pp. 49-68, June 2018.<DOI: 10.1007/978-3-319-93641-3_3>

Zhang, J; Frey G., Al-Ahmari, A.; Qu, T.; Wu, N.; Li, Z.: Analysis and Control of Dynamic Reconfiguration Processes of Manufacturing Systems. IEEE Access, Volume 6, pp. 28028-28040, DOI 10.1109/ACCESS.2017.2757044, 2018.

Khlifi, Oussama; Mosbahi, Olfa; Khalgui, Mohamed; Frey, Georg; Li, Zhiwu: Modeling, Simulation and Verification of Probaliistic Reconfigurable Discrete-Event Systems under Energy and Memory Constraints. Iranian Journal of Science and Technology, Transactions of Electrical Engineering, 2018. [ACCEPTED]

Jonas, D.; Frey, G.; Theis, D.: Simulation and Performance Analysis of Combined Parallel Solar Thermal and Ground or Air Source Heat Pump Systems. Solar Energy, ISSN 0038-092X, Vol. 150 (2017), pp. 500-511, Jul. 2017.<DOI: 10.1016/j.solener.2017.04.070>

Nesarajah, M.; Frey, G.: Optimized Design of Thermoelectric Energy Harvesting Systems for Waste Heat Recovery from Exhaust Pipes. Applied Sciences - Special Issue: Development and Application of Thermoelectric Power Generators, Energy Harvesters and Refrigerators, Vol. 7, No. 6, pp. 1-12, 2017. <DOI:10.3390/app7060634>

Jonas, D.; Theis, D.; Felgner, F.; Frey, G.: A TRNSYS-Based Simulation Framework for the Analysis of Solar Thermal and Heat Pump Systems. Applied Solar Energy, ISSN 0003-701X, Vol. 53, No. 2 (2017), pp. 126-137, Apr. 2017.<DOI: 10.3103/S0003701X17020074>

Vogel-Heuser, B.; Folmer, J.; Frey, G.; Liu, L.; Hermanns, H.; Hartmanns, A.: Graphical Modeling of Networked Architectures and Real-Time-Requirements for the Analysis of Networked Automation Systems. Systems, Analysis and Automatic Control, ISBN (Online): 978-3-110-448-436-003, pp. 1-36, 2016. <DOI: 10.1515/9783110448436-003>

Hijjo, M.; Felgner, F.; Frey, G.: Energy Management Scheme for Buildings Subject to Planned Grid Outages. Journal of Engineering Research and Technology, Vol. 3, No. 3 (2016), pp. 58-65, ISSN: 2312-2307. (Chosen to be published in JERT after the ICSCS 2016 conference)

Nesarajah, M.; Frey, G.: Multiphysics Simulation in the Development of Thermoelectric Energy Harvesting Systems. Journal of Electronic Materials (JEM), Vol. 45, No. 3, pp. 1408-1411, Mar. 2016. <DOI: 10.1007/s11664-015-4049-1>

Ben Salem, M. O.; Mosbahi, O.; Khalgui, M.; Frey, G.: R-UML: An UML Profile for Verification of Flexible Control Systems. Software Technologies, Vol. 586, pp. 118-136, Feb. 2016. <DOI: 10.1007/978-3-319-30142-6_7>

Ben Salem, M. O.; Mosbahi, O.; Khalgui, M.; Frey, G.: Towards a Safer and More Optimal Treatment of the Supracondylar Humerus Fracture. 8th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2015), Lisbon, Portugal, Jan. 2015; in: A. Fred et al. (Eds.): Biomedical Engineering Systems and Technologies. ISBN: 978-3-319-27706-6 (Print), ISBN: 978-3-319-27707-3 (Online), Springer International Publishing, pp. 403-423, 2015. <DOI: 10.1007/978-3-319-27707-3_25>

Frey, G.; Belkhir, F.; Meiers, J.: Modellbasierte Regelung von Biomasse-Verbrennungsanlagen. in: R. Müller and J. Flackus (Eds.): Produktivität - Qualität - Effizienz. Innovative Prozesse für die Produktion von morgen, 2015, ISBN 978-3-8440-3509-4 (Print),  Shaker Verlag , Herzogenrath, Germany, pp. 230-248, 2015.

Frey, G.; Boussahel, W.M.: Energieeffizienter Betrieb von Produktionsanlagen. in: R. Müller and J. Flackus (Eds.): Produktivität - Qualität - Effizienz. Innovative Prozesse für die Produktion von morgen, 2015, ISBN 978-3-8440-3509-4 (Print),  Shaker Verlag , Herzogenrath, Germany, pp. 368-384, 2015.

Zhang, J.; Khalgui, M.; Boussahel, W.M.; Frey, G.; Hon, CT; Wu, N.; Li, Z.: Modeling and Verification of Reconfigurable and Energy-Efficient Manufacturing Systems. Discrete Dynamics in Nature and Society, Vol. 2015, ISSN 1026-0226 (Print), ISSN 1607-887X (Online), Article ID 813476, 14p, Mar. 2015. <DOI:10.1155/2015/813476>

Nesarajah, M.; Felgner, F.; Frey, G.: Model-based System Assessment of Thermoelectric Energy Harvesting from the Exhaust Gas Pipe of Oil-fired HeatingsMM (Modern Machinery) Science Journal, ISSN 1803-1269, pp. 570-575, Mar. 2015. <DOI: 10.17973/MMSJ.2015_03_201507>

Zhang, J.; Khalgui, M.; Li, Z.; Frey, G.; Mosbahi, O.; Salah, H.B.: Reconfigurable Coordination of Distributed Discrete Event Control Systems. IEEE Transactions on Control Systems Technology, Vol. 23, No. 1, pp. 323-330, Jan. 2015. <DOI: 10.1109/TCST.2014.2313352>

Frey, G.: Programmable Logic Controllers. Book section, 5p, 2014, <DOI: 10.1007/978-1-4471-5102-9_257-1>; in: Baillieul, J.; Samad, T. (Eds.): Encyclopedia of Systems and Control. ISBN 978-1-4471-5102-9 (online), Springer-Verlag London, United Kingdom, 2015. <DOI: 10.1007/978-1-4471-5102-9>

Abdelati, M.; Felgner, F.; Frey, G.: A Component-Oriented Model for Wastewater Pumping Plants. Revised selected paper of 9th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2012),  Rome, Italy, Jul. 2012; in: Ferrier, J.-L.; Bernard, A.; Gusikhin, O.; Madani, K. (Ed.): Informatics in Control, Automation and Robotics. ISBN 978-3-319-03499-7 (Print), ISBN 978-3-319-03500-0 (Online), Springer International Publishing, Lecture Notes in Electrical Engineering, Vol. 283, pp. 281-295, 2014. <DOI: 10.1007/978-3-319-03500-0_18>

Felgner, F.; Exel, L.; Nesarajah, M.; Frey, G.: Component-oriented Modeling of Thermoelectric Devices for Energy System Design. IEEE Transactions on Industrial Electronics, Vol. 61, No. 3, pp. 1301-1310, Mar. 2014. <DOI: 10.1109/TIE.2013.2261037>

Liu, L.; Frey, G.: OOAD-Entwicklungsprozess einer Modelica-Bibliothek für vernetzte Automatisierungssysteme. at Automatisierungstechnik, ISBN 0178-2312, Oldenbourg Verlag, Vol. 61, No. 2, pp. 131-140, Feb. 2013.

Soliman, D.; Thramboulidis, K.; Frey, G.: Transformation of Function Block Diagrams to UPPAAL Timed Automata for the Verification of Safety Applications. Annual Reviews in Control, ISBN 1367-5788, Elsevier, Vol. 36, pp. 338-345, Dec. 2012. <DOI: 10.1016/j.arcontrol.2012.09.015>

Frey, G.; Drath, R.; Schlich, B.: Safety-Applikationen effizient entwickeln — Ein Leitfaden zur Prozessgestaltung. atp edition - Automatisierungstechnische Praxis, Oldenbourg Industrieverlag, Vol. 53, No. 12, pp. 888-894, Dec. 2011.

Soliman, D.; Frey, G.: Verification and Validation of Safety Applications based on PLCopen Safety Function Blocks. Control Engineering Practice, Vol. 19, No. 9, pp. 929-946, Sept. 2011. <DOI:10.1016/j.conengprac.2011.01.001>

Thramboulidis, K.; Frey, G.: Towards a Model-Driven IEC 61131-based Development Process in Industrial Automation. Journal of Software Engineering and Applications, Vol. 4, No. 4, pp. 217-226, Apr. 2011. <DOI: 10.4236/jsea.2011.44024>

Felgner, F.:Virtuelle Raumluftströmungssensoren zur Regelung der thermischen Behaglichkeit. at Automatisierungstechnik, Oldenbourg Verlag, Vol. 57, No. 9, pp. 432-442, Sept. 2009.

Frey, G.; Liu, L.: Modellierung und Simulation vernetzter Automatisierungs- und Regelungssysteme in Modelica. at Automatisierungstechnik, Oldenbourg Verlag, Vol. 57, No. 9, pp. 466-476, Sept. 2009

Conference Papers

(reverse chronological)

Khalid, Raja Rehan; Fontowicz, Martin; Frey, Georg "Model Centric Development of Genetic Algorithm Based Optimal Load Scheduler for Smart Home". The 19th IEEE International Conference on Enviornment and Electrical Engineering (IEEE EEEIC19), Genova, Italy, 2019.

Jonas, D.; Theis, D.; Frey, G.: Implementation and Experimental Validation of a Photovoltaic-Thermal (PVT) Collector Model in TRNSYS. Proceedings of the 12th International Conference on Solar Energy for Buildings and Industry (EuroSun2018), ISBN 978-3-9820408-0-6, pp. 798-809, Rapperswil, Switzerland, Sep. 2018. <DOI: 10.18086/eurosun2018.02.16>

Khalid, Raja Rehan; Minhas, Daud Mustafa; Frey, Georg :SoMAS Based Cooperative Control for Cyber Physical Energy Systems. The 1st IEEE International Conference on Smart Energy Systems and Technologies (SEST 2018), Seville, Spain, 2018.

Meiers, J.; Jonas, D.; Bernat, M.; Frey, G.: Modellbasierte Analyse von Photovoltaiksystemen mit Batteriespeichern zur Deckung des Strombedarfs von Gebäuden. Proceedings of the Kongress Automation 2018, VDI-Berichte 2330, ISBN 978-3-18-092330-7, VDI Verlag, pp. 921-932, Baden-Baden, Germany, Jul. 2018.

Siegwart, C.; Adamczyk, H.; Frey, G.: Industrial Security - IEC62443 in der I4.0-Analyse. Proceedings of the Kongress Automation 2018, VDI-Berichte Nr. 2330, VDI-Verlag, pp. 369-382, Baden-Baden, Germany, July 2018.

Theis, D.; Jonas, D.; El jeddab, A.; Schneider, S.; Rückert, F.; Frey, G.: Solare Wärmepumpensysteme mit PVT-Kollektoren und Stromspeicher auf dem HiL-Prüfstand. Proceedings of the 2018 Symposium Solarthermie, Bad Staffelstein, Germany, Jun. 2018. 

Hijjo, M.; Frey, G.: Stochastic Optimization Framework for Scheduling Isolated Microgrids. Proceedings of the 19th IEEE Mediterranean Electrotechnical Conference (MELECON2018), pp. 149-154, Marrakesh, Morocco, May 2018. <DOI: 10.1109/MELCON.2018.8379084>

Hijjo, M.; Frey, G.: Battery Management System in Isolated Microgrids Considering Forecast Uncertainty. Proceedings of the 9th IEEE International Renewable Energy Congress (IREC2018), pp. 1-6, Hammamet, Tunisia, Mar. 2018. <DOI: 10.1109/IREC.2018.8362461>

Jonas, D.; Frey, G.: Model-based Analysis of the Performance and the Environmental Impact of Solar Thermal and Heat Pump Systems. Proceedings of the 9th IEEE International Renewable Energy Congress (IREC2018), pp. 1-6, Hammamet, Tunisia, Mar. 2018. <DOI: 10.1109/IREC.2018.8362569>

Hijjo, M.; Frey, G.: Multi-Objective Optimization for Scheduling Isolated MicrogridsProceedings of the 19th IEEE International Conference on Industrial technology (ICIT2018), pp. 1037-1042, Lyon, France, Feb. 2018. <DOI: 10.1109/ICIT.2018.8352321>

Nesarajah, M.; Frey, G.: Thermoelectric Applications for Home Use: Thermostat and Green Barbecue 2.0. Materials Today: Proceedings, Volume 5, Issue 4, Part 1, pp. 10283-10290, ISSN 2214-7853, DOI 10.1016/j.matpr.2017.12.275, 2018.

Jonas, D.; Theis, D.; Meiers, J.; Frey, G.: Model-based analysis of solar thermal and heat pump systems using TRNSYS. Proceedings of the 2017 ISES Solar World Congress (SWC2017) and IEA SHC International Conference on Solar Heating and Cooling for Buildings and Industry (SHC2017), ISBN 978-3-981 465 9-7-6, pp. 2216-2227, Abu Dhabi, UAE, Oct. 2017. <DOI: 10.18086/swc.2017.33.05>

Minhas, Daud Mustafa; Khalid, Raja Rehan; Frey, Georg : Real-Time Power Balancing in Photovoltaic-Integrated Smart Micro-grid. The 43rd Annual Conference of the IEEE Industrial Electronics Society, IECON 17, Beijing, China, October. 2017.

Minhas, Daud Mustafa; Khalid, Raja Rehan; Frey, Georg : Activation of electrical loads under electricity price uncertainty. The 5th IEEE International Conference on Smart Energy Grid Engineering (SEGE 2017), Oshawa, Canada, August. 2017.

Khlifi, Oussama; Siegwart, Christian; Mosbahi, Olfa; Khalgui, Mohamed; Frey, Georg: Specification Approach Using GR-TNCES -Application to an Automotive Transport System-. The 12th International Conference on Software Engineering and Applications (ICSOFT 2017), Madrid, Spain, July 2017.  [ACCEPTED]

Khlifi, Oussama; Mosbahi, Olfa; Khalgui, Mohamed; Frey, Georg: New Verification Approach for Reconfigurable Distributed Systems. The 12th International Conference on Software Engineering and Applications (ICSOFT 2017), Madrid, Spain, July 2017. [ACCEPTED]

Minhas, Daud Mustafa; Khalid, Raja Rehan; Frey, Georg : Load Control For Supply-Demand Balancing Under Renewable Energy Forcasting. The 2nd IEEE International Conference on DC Microgrids (ICDCM 2017), PP 365-370, Nürnberg, Germany, June. 2017. DOI: 10.1109/ICDCM.2017.8001071

Adamczyk, Heiko; Siegwart, Christian; Krammel, Michael; Frey, Georg: Anomalieerkennung in der Kommunikation industrieller Anlagen.Proceedings of the Kongress Automation 2017, ISBN 978-3-18-092293-5, VDI-Verlag, June 2017.

Hijjo, Mohammed; Felgner, Felix; Frey, Georg: PV-Battery-Diesel Microgrid Layout Design Based on Stochastic Optimization. 6th International Conference on Clean Electrical Power (ICCEP), Liguria, Italy, June 2017.

Hijjo, Mohammed; Felgner, Felix; Frey, Georg: PV-Battery-Diesel Microgrid Design for Buildings Subject to Severe Power Outages. 2017 IEEE PES PowerAfrica Conference (PES Africa 2017), Accra, Ghana, Jun. 2017.

Minhas, Daud Mustafa; Khalid, Raja Rehan; Frey, Georg: Short Term Forecasting Using Hybrid Adaptive Fuzzy Neural System: The Performance Evaluation. 2017 IEEE PES PowerAfrica Conference (PES Africa 2017), PP 468 - 473, Accra, Ghana, Jun. 2017. DOI: 10.1109/PowerAfrica.2017.7991270

Jonas, D.; Theis, D.; Felgner, F.; Frey, G.: A User-friendly Simulation Framework for the Analysis of Solar Thermal and Heat Pump Systems using TRNSYS. Proceedings of the 8th IEEE International Renewable Energy Congress (IREC2017), pp. 1-6, Amman, Jordan, Mar. 2017. <DOI: 10.1109/IREC.2017.7926052>

Guellouz, S.; Benzina, A.; Khalgui, M.; Frey, G.: Reconfigurable Function Blocks: Extension to the Standard IEC 61499. 13th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2016), Agadir, Morocco, Dec. 2016. (Received AICCSA 2016 Best Paper Award)

Guellouz, S.; Benzina, A.; Khalgui, M.; Frey, G.: ZiZo: A Complete Tool Chain for the Modeling and Verification of Reconfigurable Function Blocks. 10th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2016), pp. 144-151, Venice, Italy, Oct. 2016. (Received UBICOMM 2016 Best Paper Award)

Nesarajah, M.; Frey, G.: Thermoelectric Power Generation: Peltier Element versus Thermoelectric Generator (TEC vs. TEG). Proceedings of the 42nd Annual Conference of IEEE Industrial Electronics Society (IECON2016), Florence, Italy, pp. 4252 - 4257, Oct. 2016. <DOI: 10.1109/IECON.2016.7793029>

Hijjo, M.; Felgner, F.; Frey, G.: Energy Management Scheme for Buildings Subject to Planned Grid Outages. 2016 International Conference on Smart Cities Solutions (ICSCS 2016), Gaza, Palastine, Aug. 2016. - Received ICSCS 2016 Best Paper Award.

Khlifi, O.; Siegwart, C.; Mosbahi, O.; Khalgui, M.; Frey, G.: Modeling and Simulation of an Energy Efficient Skid Conveyor using ZIZO. 13th International Conference on Informatics in Control, Automation and Robotics (ICINCO2016), Lisbon, Portugal, Jul. 2016. 

Hijjo, M.; Felgner, F.; Meiers, J.; Frey, G.: Energy Management for Islanded Buildings Integrating Renewables and Diesel Generators. 2016 IEEE PES PowerAfrica Conference (PES Africa 2016), Livingstone, Zambia, Jun. 2016.<doi: 10.1109/PowerAfrica.2016.7556571>

Khalid, Raja Rehan; Mayer, Angelika; Meiers, Josef; Beck, Horst P.; Frey, Georg: Predictive Power Management for a Solar-Powered Off-Grid Surface Water Quality Monitoring System. 11th IEEE Conference on Industrial Electronics and Applications (ICIEA 2016), pp. 382-387, Hefei, China, Jun. 2016. <DOI: 10.1109/ICIEA.2016.7603614>

Belkhir, F; Frey, G.:Model-driven Soft sensor for Predicting Biomass Calorific Value in Combustion Power Plants. 11th IEEE Conference on Industrial Electronics and Applications (ICIEA 2016) Hefei, China, Jun. 2016.

Boussahel, W.; Frey, G.: Priced discrete Automata for modeling energy efficient manufacturing systems. Proceedings of the 13th International Workshop on Discrete Event Systems (WODES), pp. 79-84, Xi'an, China, May 2016. <DOI:10.1109/WODES.2016.7497829>

Belkhir, F.; Frey, G.: Soft-sensing of Key Process Variables in a Biomass Combustion Plant. Proceedings of the 7th IEEE International Renewable Energy Congress (IREC2016), pp.1-6, Hammamet, Tunisia, Mar. 2016.<DOI:10.1109/IREC.2016.7478861>

Exel, L.; Felgner, F.; Frey, G.: Multi-Domain Modeling of Distributed Energy Systems - The MOCES Approach. Proceedings of the IEEE International Conference on Smart Grid Communications (SmartGridComm 2015), Miami/FL, USA, Nov. 2015. <DOI: 10.1109/SmartGridComm.2015.7436395>

Nesarajah, M.; Frey, G.: Modeling of a Heat Pipe for Using in Thermoelectric Energy Harvesting Systems. 3rd International Congress on Energy Efficiency and Energy Related Materials, Oludeniz, Turkey, Oct. 2015; in: A. Y. Oral et al. (Eds.): 3rd International Congress on Energy Efficiency and Energy Related Materials (ENEFM2015), Springer Proceedings in Energy. ISBN: 978-3-319-45676-8 (Print), ISBN: 978-3-319-45677-5 (Online), Springer International Publishing, pp. 183-190, 2017. <DOI:10.1007/978-3-319-45677-5_22>

Hijjo, M.; Bauer, P.; Felgner, F.; Frey, G.: Energy Management systems for hospitals in Gaza-strip. Proceedings of the IEEE Global Humanitarian Technology Conference (GHTC2015), Vol., No., pp. 18-25, Seattle/WA, USA, Oct. 2015. <DOI: 10.1109/GHTC.2015.7343949>

Khlifi, O.; Mosbahi, O.; Khalgui, M.; Frey, G.:GR-TNCES: New Extensions of R-TNCES for Modelling and Verification of Flexible Systems under Energy and Memory Constraints. Proceedings of the 10th International Conference on Software Engineering and Applications (ICSOFT-EA 2015), ISBN 978-989-758-114-4, pp. 373-380, Colmar/Alsace, France, Jul. 2015.

Ben Salem, M.O.; Mosbahi, O.; Khalgui, M.; Frey, G.:Transformation from R-UML to R-TNCES: New Formal Solution for Verification of Flexible Control Systems. Proceedings of the 10th International Conference on Software Paradigm Trends (ICSOFT-PT 2015), ISBN 978-989-758-115-1, pp. 64-75, Colmar/Alsace, France, Jul. 2015.

Belkhir, F.; Felgner, F.; Frey, G.: Optimierung von Prozesssteuerungen basierend auf Modelica Modellen. Proceedings of the Kongress Automation 2015, ISBN 978-3-18-092258-4(CD), VDI-Verlag, pp. 303-312, Baden-Baden, Germany, Jun. 2015.

Belkhir, F.; Meiers, J.; Felgner, F.; Frey, G.: A Biomass Combustion Plant Model for Optimal Control Applications. Proceedings of the 6th IEEE International Renewable Energy Congress (IREC2015), pp.1-6, Sousse, Tunisia, Mar. 2015.<DOI:10.1109/IREC.2015.7154075>

Bauer, P.; Siegwart, C.; Felgner, F.; Frey, G.: "OWLracle" - Entscheidungsunterstützung bei Energieeffizienzmaßnahmen im Bestand. Proceedings of the Kongress Facility Management, ISBN 978-3-86359-289-9, pp. 104-113, Frankfurt/Main, Germany, Mar. 2015.

Belkhir, F.; Kraus Cabo, D; Felgner, F.; Frey, G.: Optimal Startup Control of a Steam Power Plant Using the JModelica Platform. Proceedings of the 8th Vienna International Conference on Mathematical Modelling (MATHMOD 2015), pp. 204-209, Vienna, Austria, Feb. 2015.<DOI:10.1016/j.ifaccol.2015.05.050>

Ben Salem, M. O.; Mosbahi, O.; Khalgui, M.; Frey, G.: BROS: A New Robotic Platform for the Treatment of Supracondylar Humerus Fracture. Proceedings of the 8th Int. Conference on Health Informatics (HEALTHINF 2015), ISBN: 979-989-758-068-0, pp. 151-163, Lisbon, Portugal, Jan. 2015. <DOI:10.5220/0005226801510163>

Ben Salem, M. O.; Mosbahi, O.; Khalgui, M.; Frey, G.: ZiZo: Modeling, Simulation and Verification of Reconfigurable Real-Time Control Tasks Sharing Adaptive Resources - Application to the Medical Project BROS. Proceedings of the 8th Int. Conference on Health Informatics (HEALTHINF 2015), ISBN: 979-989-758-068-0, pp. 20-31, Lisbon, Portugal, Jan. 2015. <DOI: 10.5220/0005181600200031>

Nesarajah, M.; Felgner, F.; Frey, G.: Modeling and Simulation of a Thermoelectric Energy Harvesting System for Control Design Purposes. Proceedings of the 16th International Conference on Mechatronics - Mechatronika (ME), IEEE, Brno, Czech Republic, pp. 170-177, Dec. 2014. <DOI: 10.1109/MECHATRONIKA.2014.7018254>

Bauer, P.; Siegwart, C.; Felgner, F.; Frey, G.: "OWLracle" - Predicting the Impact of Interdisciplinary Energy Efficiency Methods at German Universities using BCVTB. Proceedings of the 40th Annual Conference of the IEEE Industrial Electronics Society (IECON 2014), ISBN 978-1-4799-4033-2, pp. 5324-5330, Dallas/TX, USA, Oct. 2014. <DOI: 10.1109/IECON.2014.7049313>

Abdelati, M.; Frey, G.: A Method for Building a Simple and Applicable Power Inverter. 2nd International Congress on Energy Efficiency and Energy Related Materials, Oludeniz, Turkey, Oct. 2014; in: A.Y. Oral et al. (Eds.): 2nd International Congress on Energy Efficiency and Energy Related Materials (ENEFM2014), Springer Proceedings in Energy. ISBN: 978-3-319-16900-2 (Print), ISBN: 978-3-319-16901-9 (Online), Springer International Publishing, pp. 525-531, 2015. <DOI: 10.1007/978-3-319-16901-9_44>

Exel, L.; Felgner F.; Frey, G.: Efficient Models of Partially Shaded PV Modules for Energy System Design. 2nd International Congress on Energy Efficiency and Energy Related Materials, Oludeniz, Turkey, Oct. 2014; in: A.Y. Oral et al. (Eds.): 2nd International Congress on Energy Efficiency and Energy Related Materials (ENEFM2014), Springer Proceedings in Energy. ISBN: 978-3-319-16900-2 (Print), ISBN: 978-3-319-16901-9 (Online), Springer International Publishing, pp. 525-531, 2015. <DOI: 10.1007/978-3-319-16901-9_53>

Bähre, D.; Frey, G.; Vielhaber M.: Energy Efficiency Engineering - Towards an Integrated Method Framework for Energy-oriented Product and Production Development. 2nd International Congress on Energy Efficiency and Energy Related Materials, Oludeniz, Turkey, Oct. 2014; in: A.Y. Oral et al. (Eds.): 2nd International Congress on Energy Efficiency and Energy Related Materials (ENEFM2014), Springer Proceedings in Energy. ISBN: 978-3-319-16900-2 (Print), ISBN: 978-3-319-16901-9 (Online), Springer International Publishing, pp. 525-531, 2015. <DOI: 10.1007/978-3-319-16901-9_35>

Nesarajah, M.; Frey, G.: Energy Harvesting from Open Fireplaces. 2nd International Congress on Energy Efficiency and Energy Related Materials, Oludeniz, Turkey, Oct. 2014; in: A.Y. Oral et al. (Eds.): 2nd International Congress on Energy Efficiency and Energy Related Materials (ENEFM2014), Springer Proceedings in Energy. ISBN: 978-3-319-16900-2 (Print), ISBN: 978-3-319-16901-9 (Online), Springer International Publishing, pp. 525-531, 2015. <DOI: 10.1007/978-3-319-16901-9_64>

Felgner, F.; Meiers, J.; Exel, L.; Frey, G.: Design of Distributed Energy Systems - Role and Requirements of Modeling and Simulation. Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2014), 5p, Barcelona, Spain, Sept. 2014. <DOI: 10.1109/ETFA.2014.7005305>

Exel, L.; Frey, G; Wolf, G; Oppelt M,: Re-Use of Existing Simulation Models for DCS Engineering via the Functional Mock-Up Interface. Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2014), 4p, Barcelona, Spain, Sept. 2014. <DOI: 10.1109/ETFA.2014.7005261>

Nesarajah, M.; Exel, L.; Frey, G.: Modelica® Library for Dynamic Simulation of Thermoelectric Generators. 11th European Conference on Thermoelectrics, Noordwijk, The Netherlands, Nov. 2013; in: A. Amaldi and F. Tang (Eds.): Proceedings of the 11th European Conference on Thermoelectrics: ECT 2013, ISBN: 978-3-319-07331-6 (Print), ISBN: 978-3-319-07332-3 (Online), Springer International Publishing Switzerland, pp. 213-217, 2014 <DOI: 10.1007/978-3-319-07332-3_25>

Bauer, P.; Felgner, F.; Siegwart, C.; Frey, G.: Engineering eines Energieverbrauchsprädiktors und Metamodellierung für universitäre Liegenschaften. Proceedings of the Kongress Automation 2014, ISBN 978-3-18-092231-7 (CD), VDI-Verlag, pp. 763-770, Baden-Baden, Germany, Jul. 2014.

Exel, L.; Frey, G.: Toward a Decentralized Forecast System for Distributed Power Generation. Proceedings of the 3rd IEEE ENERGYCON Conference, pp. 1210-1217, Cavtat, Croatia, May 2014. <DOI:10.1109/ENERGYCON.2014.6850577>

Bauer, P.; Schäfer, C.; Rögele, S.; Baumeister, A.; Schweizer-Ries, P.; Frey, G.: Energieverbrauchsoptimierung an universitären Liegenschaften. Proceedings of the Kongress Facility Management, ISBN 978-3-8007-3576-1, VDE-Verlag, pp. 429-438, Frankfurt/Main, Germany, Feb. 2014.

Nesarajah, M.; Frey, G.: Object-Oriented Modeling of an Energy Harvesting System Based on Thermoelectric Generators. International Congress on Energy Efficiency and Energy Related Materials, Kemer/Antalya, Turkey, Oct. 2013; in: A. Y. Oral et al. (Eds.): International Congress on Energy Efficiency and Energy Related Materials (ENEFM2013), Springer Proceedings in Physics 155. ISBN: 978-3-319-05520-6 (Print), ISBN: 978-3-319-05521-3 (Online), Springer International Publishing, pp. 211-216, 2014. <DOI: 10.1007/978-3-319-05521-3_28>

Stoffels, P.; Boussahel, W.M.; Damrath, F.; Vielhaber, M.; Frey,G.: Energy Engineering in der virtuellen Fabrik. Proceedings of the Kongress SPS/IPC/Drives, ISBN 978-3-8007-3560-0, VDE-Verlag, pp. 139-148, Nuremberg, Germany, Nov. 2013.

Soliman, D.; Frey, G.: Verifikation und Validierung sicherheitsgerichteter SPS-Programme. GI-Fachtagung Echtzeit, Boppard, Germany, Nov. 2013. in: Wolfgang A. Halang (Ed.): Funktionale Sicherheit. ISBN: 978-3-642-41308-7 (Print), 978-3-642-41309-4 (Online), Springer-Verlag, pp. 107-116, 2013. <DOI: 10.1007/978-3-642-41309-4_12>

Bauer, P.; Schäfer, C.; Rögele, S.; Baumeister, A.; Schweizer-Ries, P.; Frey, G.: Engineering a Predictive Energy Consumption Model for University Properties. Proceedings of the 7th IEEE European Modelling Symposium on Mathematical Modelling and Computer Simulation (EMS 2013), ISBN 978-1-4799-2578-0 (CD), IEEE computer society, pp. 381-387, Manchester, UK, Nov. 2013. <DOI: 10.1109/EMS.2013.65>

Stoffels, P.; Boussahel, W.M.; Vielhaber, M.; Frey, G.: Energy Engineering in the Virtual Factory. Proceedings of the 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2013), ISBN 978-1-4799-0862-2, 6p, Cagliari, Italy, Sept. 2013. <DOI: 10.1109/ETFA.2013.6648083>

Soliman, D.; Frey, G.; Thramboulidis, K.: On Formal Verification of Function Block Applications in Safety-related Software Development. Proceedings of the 3rd IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2013), ISBN 978-3-902823-49-6, pp. 109-114, York, UK, Sept. 2013. <DOI: 10.3182/20130904-3-UK-4041.00015>

Belkhir, F.; Gierend, C.; Frey, G.: Component Oriented Modeling Of Biomass Incineration Plants. Proceedings of the 10th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2013), ISBN 978-989-8565-70-9, Scitepress (Portugal), pp. 396–404, Reykjavík, Iceland, Jul. 2013.

Liu, L.; Frey, G.: Effiziente Modellierung und Simulation von Kommunikationsnetzen in Modelica. GI-Fachtagung Echtzeit, Boppard, Germany, Nov. 2012; in: Wolfgang A. Halang (Ed.): Kommunikation unter Echtzeitbedingungen. ISBN: 978-3-642-33706-2 (Print), 978-3-642-33707-9 (Online), Springer-Verlag, pp. 89-98, 2013. <DOI: 10.1007/978-3-642-33707-9_10>

Abdelati, M.; Felgner, F.; Frey, G.: A Framework for Modeling and Control of Wastewater Pumping Stations. Proceedings of the 4th International Engineering Conference (IEC 2012), Gaza, Palestine, Oct. 2012.

Abdelati, M.; Felgner, F.; Frey, G.: Modeling Wastewater Pumping Stations for Cost-Efficient Control. Proceedings of the 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2012), 4p, Kraków, Poland, Sept. 2012. <DOI: 10.1109/ETFA.2012.6489683>

Frey, G.; Schlich, B.; Drath, R.; Eschbach, R.: “Safety Automata” – A new Specification Language for the Development of PLC Safety Applications. Proceedings of the 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2012), 8p, Kraków, Poland, Sept. 2012. <DOI: 10.1109/ETFA.2012.6489536>

Felgner, F.; Exel, L.; Frey, G.: Model-based Design and Validation of Waste Heat Recovery Systems. Proceedings of the 2nd IEEE ENERGYCON Conference & Exhibition / Advances in Energy Conversion Symposium, pp. 265-270, Florence, Italy, Sept. 2012. <DOI: 10.1109/EnergyCon.2012.6347764>

Abdelati, M.; Felgner, F.; Frey, G.:Modeling and Simulation of a Wastewater Pumping plant. Proceedings of the 9th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2012), ISBN 978-989-8565-21-1, Vol. 1, pp. 377-384, Rome, Italy, Jul. 2012.

Felgner, F.; Frey, G.: Online-Prädiktion funktionaler Sicherheitskenngrößen. Proceedings of the Kongress Automation, ISBN 978-3-18-092171-6, VDI-Berichte 2171, pp. 51-53 (extended 12-pages paper on CD), Baden-Baden, Germany, Jun. 2012.

Frey, G.; Drath, R.; Schlich, B.; Eschbach, R.: Entwicklung sicherer Steuerungsapplikationen mit Safety-Automaten.  Proceedings of the Kongress Automation, ISBN 978-3-18-092171-6, VDI-Berichte 2171, pp. 47-50 (extended 15-pages paper on CD), Baden-Baden, Germany, Jun. 2012.

Liu, L.; Felgner, F.; Frey, G.: Introducing Explicit Causality in Object-oriented Hybrid System Modeling. Proceedings of the 9th International Conference on Modeling, Optimization & SIMulation (MOSIM 2012), 10p, Bordeaux, France, Jun. 2012; in: Open Archives, Paper ref. hal-00728581, http://hal.archives-ouvertes.fr/MOSIM12

Soliman, D.; Thramboulidis, K.; Frey, G.:Function Block Diagram to UPPAAL Timed Automata Transformation Based on Formal Models.  Proceedings of the 14th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2012), Vol. W, pp. 625-631, Bucharest, Romania,May 2012. <DOI: 10.3182/20120523-3-RO-2023.00370>

Liu, L.; Felgner, F.; Frey, G.: Modellierung und Simulation von Cyber-Physical Systems, Proceedings of the 12th Fachtagung Entwurf komplexer Automatisierungssysteme (EKA 2012), ISBN 978-3-940961-72-3, pp. 149-157, Magdeburg, Germany, May 2012.

Felgner, F.; Frey, G.: Object-Oriented Simulation Model of Thermoelectric Devices for Energy System Design. Proceedings of the 16th IEEE Mediterranean Electrotechnical Conference (MELECON 2012), ISBN 978-1-467-30782-6, pp. 577-580, Hammamet, Tunisia, Mar. 2012. <DOI: 10.1109/MELCON.2012.6196499>

Vogel-Heuser, B.; Frey, G.; Hermanns, H.; Folmer, J.; Liu, L.; Hartmanns, A.:Modeling of Networked Automation Systems for Simulation and Model Checking of Time Behavior. Proceedings of the 9th IEEE International Multi-Conference on Systems, Signals & Devices - Conference on Systems, Analysis & Automatic Control (IEEE SSD-SAC 2012), ISBN 978-1-4673-1590-6, 5p, Chemnitz, Germany, Mar. 2012. <DOI: 10.1109/SSD.2012.6197943>

Thramboulidis, K.; Frey, G.:An MDD Process for IEC 61131-based Industrial Automation Systems. Proceedings of the 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2011), 8p, Toulouse, France, Sept. 2011. <DOI: 10.1109/ETFA.2011.6059118>

Thramboulidis, K.; Soliman, D.; Frey, G.:Towards an Automated Verification Process for Industrial Safety Applications. Proceedings of the 7th IEEE Conference on Automation Science and Engineering (CASE), ISBN 978-1-4577-1730-7, pp. 482-487, Trieste, Italy, Aug. 2011. <DOI: 10.1109/CASE.2011.6042451>

Ghanaim, A.; Frey, G.: Markov Modeling of Delays in Networked Automation / Control Systems Using Colored Petri Net Models Simulation. Proceedings of the IFAC World Congress, ISBN 978-3-902661-93-7, Vol. 18, pp. 2731-2736, Milano, Italy, Aug. 2011.

Abdelati, M.; Felgner, F.; Frey, G.:Modeling, Simulation and Control of a Water Recovery and Irrigation System. Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2011), Vol. 1, pp. 323-329, Noordwijkerhout, The Netherlands, Jul. 2011.

Ghanaim, A.; Frey, G.:Modeling and Control of Closed-Loop Networked PLC-systems. Proceedings of the American Control Conference (ACC 2011), ISBN 978-1-457-70080-4, pp. 502-508, San Francisco, USA, Jun. 2011. <DOI: 10.1109/ACC.2011.5991287>

Frey, G.; Thramboulidis, K.: Einbindung der IEC 61131 in modellgetriebene Entwicklungsprozesse. Proceedings of the Kongress Automation, ISBN 978-3-18-092143-3, VDI-Berichte 2143, pp. 21-24 (extended 12-pages paper on CD), Baden-Baden, Germany, Jun. 2011.

Frey, G.; Drath, R.; Schlich, B.: Leitfaden zur Entwicklung von Safety-Applikationen auf Anwenderebene. Proceedings of the Kongress Automation, ISBN 978-3-18-092143-3, VDI-Berichte 2143, pp. 125-128 (extended 12-pages paper on CD), Baden-Baden, Germany, Jun. 2011.

Felgner, F.; Liu, L.; Frey, G.: Vergleich numerischer Löser zur Simulation steifer und hybrider Systeme. Proceedings of the Kongress Automation, ISBN 978-3-18-092143-3, VDI-Berichte 2143, pp. 303-306 (extended 12-pages paper on CD), Baden-Baden, Germany, Jun. 2011.

Wagner, F.; Frey, G.: Simulationsbasierte Steuerung von Druckluftstationen. Proceedings of the Kongress Automation, ISBN 978-3-18-092143-3, VDI-Berichte 2143, pp. 57-60 (extended 13-pages paper on CD), Baden-Baden, Germany, Jun. 2011.

Soliman, D.; Thramboulidis, K.; Frey, G.:A methodology to upgrade legacy industrial systems to meet safety regulations. Proceedings of the 3rd International Workshop on Dependable Control of Discrete Systems (DCDS 2011), ISBN 978-1-4244-8969-5, pp. 141-147, Saarbrücken, Germany, Jun. 2011. <DOI: 10.1109/DCDS.2011.5970332>

Felgner, F.; Frey, G.: Multi-Phase Markov Models for Functional Safety Prediction. Proceedings of the 3rd International Workshop on Dependable Control of Discrete Systems (DCDS 2011), ISBN 978-1-4244-8969-5, pp. 133-140, Saarbrücken, Germany, Jun. 2011. <DOI: 10.1109/DCDS.2011.5970331>

Felgner, F.; Exel, L.; Frey, G.: Component-oriented ORC plant modeling for efficient system design and profitability prediction. Proceedings of the IEEE/IES International Conference on Clean Electrical Power (ICCEP 2011), ISBN 978-1-424-48929-9, pp. 196-203, Ischia, Italy, Jun. 2011. <DOI: 10.1109/ICCEP.2011.6036274>

Liu, L.; Felgner, F.; Frey, G.: Comparison of 4 Numerical Solvers for Stiff and Hybrid Systems Simulation. Proceedings of the 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2010), ISBN 978-1-424-46849-2, 8p, Bilbao, Spain, Sept. 2010. <DOI: 10.1109/ETFA.2010.5641330>

Barth, M.; Fay, A..; Wagner, F; Frey, G.: Effizienter Einsatz Simulations-basierter Tests in der Entwicklung automatisierungstechnischer Systeme. Proceedings of the Kongress Automation, ISBN 978-3-18-092092-4, VDI-Berichte 2092, pp. 47-50 (extended 13 pages paper on CD), Baden-Baden, Germany, Jun. 2010.

Felgner, F.; Frey, G.: Effiziente Modellierung zeitkontinuierlicher Markov-Modelle in Modelica. Proceedings of the 11th Fachtagung Entwurf komplexer Automatisierungssysteme (EKA 2010), ISBN 978-3-940961-41-9, pp. 245-254, Magdeburg, Germany, May 2010.

Ghanaim, A.; Frey, G.:Markov-Modellierung vernetzter Regelungssysteme basierend auf Petrinetz-Simulationen. Proceedings of the 11th Fachtagung Entwurf komplexer Automatisierungssysteme (EKA 2010), ISBN 978-3-940961-41-9, pp. 161-170, Magdeburg, Germany, May 2010.

Biallas, S.; Frey, G.; Kowalewski, S.; Schlich, B.; Soliman, D.: Formale Verifikation von Sicherheits-Funktionsbausteinen der PLCopen auf Modell- und Code-Ebene. Proceedings of the 11th Fachtagung Entwurf komplexer Automatisierungssysteme (EKA 2010), ISBN 978-3-940961-41-9, pp. 47-54, Magdeburg, Germany, May 2010.

Ghanaim, A.; Borges, G. A.; Frey, G.: Estimating Delays in Networked Control Systems Using Colored Petri Nets and Markov Chain Models. Proceedings of the 14th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2009), 6p, Palma de Mallorca, Spain, Sept. 2009. <DOI: 10.1109/ETFA.2009.5347011>

Ivanova D.; Batchkova, I.; Frey, G.: Modeling and Verification Approach Based on IEC 61499 function blocks. Proceedings of the Advanced Aspects of Theoretical Electrical Engineering Summer School (Sozopol'09), Part II, ISSN: 1313-9487, pp. 43-49, Sozopol, Bulgaria, Sep. 2009.

Ivanova D.; Batchkova, I.; Frey, G., Velev, K.: Verification of Formal Control Models for Vacuum Creation at the EBMR Plant. Proceedings of the International Conference Automatics and Informatics, ISSN: 1313-1850, Sep. 2009.

Ivanova, D.; Batchkova, I.; Panjaitan, S.; Wagner, F.; Frey, G.: Combining IEC 61499 and ISA S88 for Batch Control. Proceedings of the 13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2009), pp. 187-192, Moscow, Russia, Jun. 2009. <DOI: 10.3182/20090603-3-RU-2001.00029>

Soliman, D.; Frey, G.: Verification and Validation of Safety Applications based on PLCopen Safety Function Blocks using Timed Automata in Uppaal. Proceedings of the 2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2009), pp. 39-44, Bari, Italy, Jun. 2009. <DOI: 10.3182/20090610-3-IT-4004.00011>

Others: Reports, Messages, Conference Reports, ...

(reverse chronological)

Kehl, Pierre Emanuel; Khalid, Raja Rehan; Frey, Georg : Heterogeneous Modeling: A Need To Model Future Energy Systems. VDE/IEEE Power and Energy Student Summit 2017 (PESS 2017), Nürnberg, Germany, June. 2017. Recieved PESS 2017 Best Paper Award

Nesarajah, M.; Frey, G.: Thermoelectric Applications for Home Use: Thermostat and Green Barbecue 2.0. Poster Presentation at the 14th European Conference on Thermoelectrics (ECT 2016), Lisbon, Portugal, Sep. 2016.

Meiers, J.; Felgner, F.; Exel, L. Frey, G.: EnergieCamp WTD41 - Modellbasierte Auslegung der Energieversorgung von Feldlagern für den globalen Einsatz. Presentation at 1st DWT-ForumEnergie-Streitkräfte und Energiebedarf, Bonn-Bad Godesberg, Germany, Jun. 2016.

Jonas, D.; Frey, G.: Using TRNSYS for Simulation of Energy Systems at Saarland University. Poster Presentation at the TRNSYS Experience Seminar 2016, Kaiserlautern, Germany, Feb. 2016.

Fay, A.; Frey, G.; Lunze, J.: Abschied von Prof. Dr.-Ing. habil. Lothar Litz. at - Automatisierungstechnik, Vol. 63, No. 11, ISSN (Online) 2196-677X, ISSN (Print) 0178-2312, pp. 937-938, Nov. 2015. <DOI: 10.1515/auto-2015-0069>

Nesarajah, M.; Frey, G.: Multi-physics Simulation in the Development of Thermoelectric Energy Harvesting Systems. Poster Presentation at the 34th Annual International Conference on Thermoelectrics & 13th European Conference on Thermoelectrics (ICT & ECT 2015), Dresden, Germany, Jun. 2015.

Bauer, P.; Schäfer, C.; Rögele, S.; Baumeister, A.; Schweizer-Ries, P.; Frey, G.: Forschungsprojekt EULE: Ein interdisziplinärer Ansatz zur energetischen Betriebsoptimierung an Hochschulen. Presentation at 7th Forum Energie, Clausthal, Germany, Jun. 2014.

Bauer, P.; Schäfer, C.; Rögele, S.; Baumeister, A.; Schweizer-Ries, P.; Frey, G.: Das Forschungsprojekt EULE an der Universität des Saarlandes. Presentation at ATA-Tagung, Saarbrücken, Germany, Jun. 2014.

Bauer, P.; Schäfer, C.; Rögele, S.; Baumeister, A.; Schweizer-Ries, P.; Frey, G.: Energiemustercampus UdS - Liegenschaftsweite Energieverbrauchsoptimierung. Poster Presentation at EnOB-Symposium Energieinnovationen in Neubau und Sanierung (EnOB 2014), P2-52, Essen, Germany, Mar. 2014.

Exel, L.; Frey, G.:Decentralized Feed-in Forecast for Distributed Power Generation. Poster Presentation at Erasmus Energy Forum, Rotterdam, The Netherlands, Jun. 2013.

Bauer, P.; Frey, G.: Energiemustercampus UdS - Liegenschaftsweite Energieverbrauchsoptimierung.
Presentation at International Conference on Building Performance (icbp 2012), Berlin, Germany, Oct. 2012.

Wagner, F.; Frey, G.: Simulation-Supported Method for Controlling and Regulating Compressed Air Stations. WO Patent, 2.010.072.803, 2010.

Wagner, F.; Frey, G.: Simulationsgestütztes Verfahren zur Steuerung bzw. Regelung von Druckluftstationen. DE Patent, 102.008.064.491, 2010.

Wagner, F.; Frey, G.: Simulation-Supported Method for Controlling and Regulating Compressed Air Stations. US Patent, App. 13/141.233, 2009.


Previous Publications of Georg Frey

Dissertation

Frey, G.: Design and formal Analysis of Petri Net based Logic Control Algorithms - Entwurf und formale Analyse Petrinetz-basierter Steuerungsalgorithmen. Dissertation, University of Kaiserslautern, ISBN 3-8322-0043-6, Shaker Verlag, Aachen, Apr. 2002.

Journal Papers and Book Chapters

(reverse chronological)

Frey, G.: Verteilte Steuerungen nach IEC 61499. atp Automatisierungstechnische Praxis, Oldenbourg Verlag, Vol. 50, No. 12, pp. 56-61, Dec. 2008.

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

Greifeneder, J.; Frey, G.: Wahrscheinlichkeitsbasierte Modellverifikation Netzbasierter Automatisierungssysteme. at Automatisierungstechnik, Oldenbourg Verlag, Vol. 55, No. 12, pp. 624-633, Dec. 2007.

Greifeneder, J.; Frey, G.: Analyse des Antwortzeitverhaltens netzbasierter Automatisierungssysteme. atp Automatisierungstechnische Praxis, Oldenbourg Verlag, Vol. 49, No. 10, pp. 44-54, Oct. 2007.

Greifeneder, J.; Frey, G.: Modellierung des Zeitverhaltens netzbasierter Automatisierungssysteme. atp Automatisierungstechnische Praxis, Oldenbourg Verlag, Vol. 49, No. 9, pp. 76-84, Sept. 2007.

Panjaitan, S.; Frey, G.: Development Process for Distributed Automation Systems Combining UML and IEC 61499. International Journal of Manufacturing Research, Inderscience Publishers, Vol. 2, No. 1, pp. 1-20, 2007.

Frey, G.: Steuern und Regeln. Chapter A4 in Gevatter, H.-J., Grünhaupt, U. (Ed.): Handbuch der Mess- und Automatisierungstechnik in der Produktion, 2nd Ed., pp. 39-52, Springer Verlag, Berlin, 2006.

Frey, G.: Steuern und Regeln. Chapter A3 in Gevatter, H.-J., Grünhaupt, U. (Ed.): Handbuch der Mess- und Automatisierungstechnik im Automobil, 2nd Ed., pp. 23-36, Springer Verlag, Berlin, 2006.

Frey, G.; Kowalewski, S.: Einordnung und Bewertung von Beschreibungsmitteln aus der Automatisierungstechnik. atp - Automatisierungstechnische Praxis, Oldenbourg Verlag, Vol. 46, No. 9, pp. 73-79, Sept. 2004.

Frey, G.; Klein, S.: Spezifikation von Betriebszuständen und Betriebsartenumschaltungen - GEMMA: Ein Ansatz aus Frankreich. atp - Automatisierungstechnische Praxis, Oldenbourg Verlag, Vol. 46, No. 3, pp. 37-40, Mar. 2004.

Frey, G.; Minas, M.; John, K.-H.: Steuerungsentwurf mit Petrinetzen. SPS-Magazin 4/5 2002, TeDo-Verlag, pp. 44-47, Marburg, Germany, Apr. 2002.

Denu, P.; Diehl, A.; Frey, G.; Litz, L.; Gabel, O.: Nutzung der Internettechnologie für die Automatisierungstechnik. atp - Automatisierungstechnische Praxis, R. Oldenbourg Verlag, Vol. 42, No. 10, pp. 64-69, Oct. 2000.

Chouikha, M.; Decknatel, G.; Drath, R.; Frey, G.; Müller, C.; Simon, C.; Thieme, J.; Wolter, K.: Petri Net-Based Descriptions for Discrete-Continuous Systems. at-Automatisierungstechnik - Special Issue: Hybrid Systems I: Modeling and Control, R. Oldenbourg Verlag, Vol. 48, No. 9, pp. 415-425, Sept. 2000.

Frey, G.; Litz, L.: SFC nach IEC 1131-3 - Steuerungen transparent entwerfen. in: Maier, H.; Piotrowski, A. (Ed.): Praxishandbuch Messen, Steuern, Regeln. ISBN: 3-8245-4900-X, Interest Verlag, Supplement 3/2000, Augsburg, May 2000.

Frey, G.; Litz, L.: Steuerungsentwurf mit Petrinetzen. IEE - Automatisierung + Datentechnik, Hüthig Verlag, Vol. 45, No. 2, pp. 61-62, Feb. 2000.

Frey, G.; Moßig, K.; Schnabel, M.: Assembly line sequencing based on Petri-net T-invariants. Control Engineering Practice, Vol. 8, No. 1, pp. 63-69, Jan. 2000.

Frey, G.: Modellierung flexibler Fertigungslinien und Bestimmung gültiger Produktionsfolgen mit Hilfe einer ereignisdiskreten Zustandsbeschreibung. at - Automatisierungstechnik, R. Oldenbourg Verlag, Vol. 48, No. 1, pp. 16-25, Jan. 2000.

Litz, L.; Frey, G.: Methoden und Werkzeuge zum industriellen Steuerungsentwurf - Historie, Stand, Ausblick. at - Automatisierungstechnik, R. Oldenbourg Verlag, Vol. 47, No. 4, pp. 145-156, Apr. 1999.

Frey, G.: Steuerungstechnisch interpretierte Petri-Netze. in: Abel, D.; Lemmer, K. (Ed.): Theorie ereignisdiskreter Systeme, R. Oldenbourg Verlag, Chapter 2.4.6, pp. 30-35, Munich, 1998.

Frey, G: Transparente SPS-Programmierung unter SFC: Keine Freiheit ohne Grenzen. IEE - Automatisierung + Datentechnik, Hüthig Verlag, Vol. 1, pp. 14-15, Jan. 1998.

Frey, G.; Litz, L.; Jörns, C.: Steuerungsentwurfstool Netmate. at - Automatisierungstechnik, R. Oldenbourg Verlag, Vol. 45, No. 7, pp. 304-305, Jul. 1997.

Conference Papers

(reverse chronological)

Stephan, P.; Heck, I.; Kraus, P.; Frey, G.: Evaluierung von Indoor-Positioning Systems anhand EN ISO 9283 in der SmartFactoryKL. Proceedings of the Kongress Automation, VDI-Berichte 2067, pp. 199-202 (extended 10 pages paper on CD), Baden-Baden, Germany, Jun. 2009.

Stephan, P.; Heck, I.; Kraus, P.; Frey, G.: Evaluation of Indoor Positioning Technologies under Industrial Application Conditions in the SmartFactoryKL Based on EN ISO 9283. Proceedings of the 13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2009), pp. 874-879, Moscow, Russia, Jun. 2009.

Liu, L.; Frey, G.: Efficient Simulation of Hybrid Control Systems in Modelica/Dymola. Proceedings of the 6th Vienna International Conference on Mathematical Modelling (MATHMOD 2009), pp. 1344-1352, Vienna, Austria, Feb. 2009.

Ivanova D.; Batchkova, I.; Frey, G.: IEC 61499 based vacuum control system for electron beam melting processes. Proceedings of the National Scientific and Technical Conference with International Participating "Automation in Mining Industry and Metallurgy", Nov. 2008.

Greifeneder, J.; Frey, G.: Analyse der Reaktivität unterschiedlicher Architekturen Netzbasierter Automatisierungssysteme. Proceedings of the Kongress SPS/IPC/Drives, pp. 541-549, Nuremberg, Germany, Nov. 2008.

Ivanova, D.; Batchkova, I.; Frey, G.: Development of IEC 61499 Component Library for Batch Process Control. Proceedings of the International Conference on Automatics and Informatics, Vol. V, pp. 1-4, Sofia, Bulgaria, Oct. 2008.

Liu, L.; Frey, G.: Feasibility Analysis for Networked Control Systems by Simulation in Modelica. Proceedings of the 13th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2008), pp. 729-732, Hamburg, Germany, Sept. 2008. <DOI: 10.1109/ETFA.2008.4638480>

Ghanaim, A.; Frey, G.: Component based Colored Petri Net model for Ethernet based Networked Control Systems. Proceedings of the 13th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2008), pp. 1100-1103, Hamburg, Germany, Sept. 2008. <DOI: 10.1109/ETFA.2008.4638534>

Wagner, F.; Bohl, J.; Frey, G.: An IEC 61499 Interpretation and Implementation focused on Usability. Proceedings of the 13th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2008), pp. 184-191, Hamburg, Germany, Sept 2008. <DOI: 10.1109/ETFA.2008.4638391>

Greifeneder J.; Frey, G.: Reactivity Analysis of different Networked Automation System Architectures. Proceedings of the 13th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2008), pp. 1031-1038, Hamburg, Germany, Sept. 2008. <DOI: 10.1109/ETFA.2008.4638520>

Ivanova, D.; Frey, G.; Batchkova, I.: Intelligent Component Based Batch Control Using IEC61499 and ANSI/ISA S88. Proceedings of the IEEE International Conference on Intelligent Systems, pp. 4.44-4.49, Varna, Bulgaria, Sept. 2008. <DOI: 10.1109/IS.2008.4670424>

Hussain, T.; Frey, G.: Solving the Deployment Problem of IEC 61499 Applications. Proceedings of the 17th IFAC World Congress, pp. 8321-8326, Seoul, Korea, Jul. 2008.

Dimitrova, D.; Panjaitan, S.; Batchkova, I.; Frey, G.: IEC 61499 Component Based Approach for Batch Control Systems. Proceedings of the 17th IFAC World Congress, pp. 10875-10880, Seoul, Korea, Jul. 2008.

Greifeneder, J.; Liu, L.; Frey, G.: Comparing Simulative and Formal Methods for the Analysis of Response Times in Networked Automation Systems. Proceedings of the 17th IFAC World Congress, pp. 5113-5118, Seoul, Korea, Jul. 2008.

Hussain, T.; Frey, G.: Entwicklung verteilter Steuerungen mit UML und IEC 61499. Proceedings of the Kongress Lösungen für die Zukunft (AUTOMATION 2008), VDI-Berichte 2032, pp. 199-202 (extended 10 pages paper on CD), Baden-Baden, Germany, Jun. 2008.

Liu, L.; Wagner, F.; Frey, G.: Simulation verteilter Automatisierungssysteme in Modelica. Proceedings of the Kongress Lösungen für die Zukunft (AUTOMATION 2008), VDI-Berichte 2032, pp. 185-188 (extended 10 pages paper on CD), Baden-Baden, Germany, Jun. 2008.

Wagner, F.; Liu, L.; Frey, G.: Simulation of Distributed Automation Systems in Modelica. Proceedings of the 6th International Modelica Conference, Vol. 1, pp. 113-122, Bielefeld, Germany, Mar. 2008.

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

Greifeneder, J.; Liu, L.; Frey, G.: Methoden zur Antwortzeitanalyse in vernetzten Automatisierungssystemen. Proceedings of the SPS/IPC/DRIVES, pp. 624-633, Nuremberg, Germany, Nov. 2007.

Dimitrova, D.; Frey, G.; Batchkova, I.: Sequential Control at the Supervisory level of Batch Plant using Signal Interpreted Petri Nets. Proceedings of the International Conference on Automatics and Informatics, Vol. 2, Part V, pp. 17-20, Sofia, Bulgaria, Oct. 2007.

Denis, B.; Ruel, S.; Faure, J.-M.; Marsal, G.; Frey, G.: Measuring the Impact of Vertical Integration on Response Times in Ethernet Fieldbuses. Proceedings of the 12th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2007), pp. 352-359, Patras, Greece, Sept. 2007. <DOI: 10.1109/EFTA.2007.4416815>

Hussain, T.; Frey, G.: Deployment of IEC 61499 Compliant Distributed Control Applications. Proceedings of the 12th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2007), pp. 502-505, Patras, Greece, Sept. 2007. <DOI: 10.1109/EFTA.2007.4416810>

Greifeneder, J.; Frey, G.: DesLaNAS - a language for describing Networked Automation Systems. Proceedings of the 12th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2007), pp. 1053-1060, Patras, Greece, Sept. 2007. <DOI: 10.1109/EFTA.2007.4416899>

Liu, L.; Frey, G.: Simulation Approach for Evaluating Response Times in Networked Automation Systems. Proceedings of the 12th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2007), pp. 1061-1068, Patras, Greece, Sept. 2007. <DOI: 10.1109/EFTA.2007.4416900>

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

Hussain, T.; Frey, G.:Defining IEC 61499 Compliance Profiles using UML and OCL. Proceedings of the 5th International IEEE Conference on Industrial Informatics (INDIN 2007), pp. 1157-1162, Vienna, Austria, Jul. 2007. <DOI: 10.1109/INDIN.2007.4384939>

Greifeneder, J.; Frey, G.: Probabilistic Timed Automata for Modeling Networked Automation Systems. Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2007), pp. 143-148, Cachan, France, Jun. 2007. <DOI: 10.3182/20070613-3-FR-4909.00003>

Panjaitan, S.; Frey, G.: Operation Modes Handling in Distributed Automation Systems. Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2007), pp. 241-246, Cachan, France, Jun. 2007. <DOI: 10.3182/20070613-3-FR-4909.00021>

Wagner, F.; Münch, Ph.; Liu, S.; Frey, G.:Development Process for dependable high-performance controllers using Petri Nets and FPGA Technology. Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2007), pp. 297-302, Cachan, France, Jun. 2007. <DOI: 10.3182/20070613-3-FR-4909.00026>

Greifeneder, J.; Frey, G.: Analyse netzbasierter Automatisierungssysteme. Proceedings of the Kongress Automation im gesamten Lebenszyklus (GMA-Kongress 2007), VDI-Berichte 1980, pp. 23-33, Baden-Baden, Germany, Jun. 2007.

Wagner, F.; Frey, G.: Hardware-in-the-Loop-Simulation bei kurzfristig zu langsamen Simulations-Modellen. Proceedings of the Kongress Automation im gesamten Lebenszyklus (GMA-Kongress 2007), VDI-Berichte 1980, pp. 151-161, Baden-Baden, Germany, Jun. 2007.

Panjaitan, S.; Frey, G.: Functional Control Objects in Distributed Automation Systems.Proceedings of the IFAC Workshop on Intelliegnt Manufacturing Systems (IMS 2007), pp. 293-298, Alicante, Spain, May 2007.

Greifeneder, J.; Frey, G.: Quantitative Analyse von Antwortzeiten in netzbasierten Automatisierungssystemen. Proceedings of the SPS/IPC/DRIVES, pp. 243-252, Nuremberg, Germany, Nov. 2006.

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 2006) pp. 3691-3696, Paris, France, Nov. 2006. <DOI: 10.1109/IECON.2006.347292>

Greifeneder, J.; Frey, G.: Probabilistic Hybrid Automata with Variable Step Width Applied to the Analysis of Networked Automation Systems.Proceedings of the 3rd IFAC Workshop on Discrete Event System Design (DESDes 2006), pp. 283-288, Rydzyna Castle, Poland, Sept. 2006. <DOI: 10.3182/20060926-3-PL-4904.00047>

Greifeneder, J.; Frey, G.: Optimizing Quality of Control in Networked Automation Systems using Probabilistic Models. Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), pp. 372-379, Prague, Czech Republic, Sept. 2006. <DOI: 10.1109/ETFA.2006.355428>

Bani Younis, M.; Frey, G.:A Formal Method Based Re-Implementation Concept for PLC Programs and its Application. Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), pp. 1340-1347, Prague, Czech Republic,  Sept. 2006. <DOI: 10.1109/ETFA.2006.355346>

Marsal, G.; Denis, B.; Faure, J.-M.; Frey. G.:Evaluation of Response Time in Ethernet-based Automation Systems. Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), pp. 380-387, Prague, Czech Republic, Sept. 2006. <DOI: 10.1109/ETFA.2006.355200>

Panjaitan, S.; Frey, G.:Combination of UML Modeling and the IEC 61499 Function Block Concept fort he development of Distributed Automation Systems. Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), pp. 766-773, Prague, Czech Republic, Sept. 2006. <DOI: 10.1109/ETFA.2006.355405>

Hussain, T.; Frey, G.:UML-based Development Process for IEC 61499 with Automatic Test-Case Generation. Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), pp. 1277-1284, Prague, Czech Republic, Sept. 2006. <DOI: 10.1109/ETFA.2006.355407>

Greifeneder, J.; Frey, G.: Analyzing Networked Automation Systems using Discrete Time Markov Chains. Proceedings of the 12th IEEE International Conference on Methods and Models in Automation and Robotics (MMAR 2006), ISBN 83-6014-88-8, pp. 859-865, Miedzyzdroje, Poland, Aug. 2006.

Frey, G.; Wagner, F.: A Toolbox for the Development of Logic Controllers using Petri Nets. Proceedings of the 8th International Workshop on Discrete Event Systems (WODES 2006), pp. 473-474, Ann Arbor, Michigan, USA, Jul. 2006. <DOI: 10.1109/WODES.2006.382522>

Frey, G.; Hussain, T.: Modeling Techniques for Distributed Control Systems based on the IEC 61499 Standard - Current Approaches and Open Problems. Proceedings of the 8th International Workshop on Discrete Event Systems (WODES 2006), pp. 176-181, Ann Arbor, Michigan, USA, Jul. 2006. <DOI: 10.1109/WODES.2006.1678427>

Marsal, G.; Denis, B.; Faure, J.-M.; Frey, G.: Evaluation of Response Time in Ethernet-based Automation Systems. Proceedings of the 6th IEEE International Workshop on Factory Communication Systems (WFCS 2006), pp. 95-98, Torino, Italy, Jun. 2006. <DOI: 10.1109/WFCS.2006.1704132>

Greifeneder, J.; Frey, G.: Determination of Delay Times in Failure Afflicted Networked Automation Systems using Probabilistic Model Checking. Proceedings of the 6th IEEE International Workshop on Factory Communication Systems (WFCS 2006), pp. 263-272, Torino, Italy, Jun. 2006. <DOI: 10.1109/WFCS.2006.1704166>

Greifeneder, J.; Frey, G.:Analyse des Antwortverhaltens vernetzter Automatisierungssysteme mittels Probabilistic Model Checking. Proceedings of the 9th Conference on Entwurf komplexer Automatisierungssysteme (EKA 2006), pp.131-151, Braunschweig, Germany, May 2006.

Hussain, T.; Frey, G.: Auction-based Agent-oriented Process Control. Proceedings of the 12th IFAC Symposium on Information Control Problems in Manufacturing (incom 2006), Vol. 1, pp 425-430, (Preprints Vol. 1, pp. 447-452), St. Etienne, France, May 2006. <DOI: 10.3182/20060517-3-FR-2903.00235>

Panjaitan, S.; Frey, G.: Product-Driven Control In Manufacturing Systems Using IEC 61499 And RFID Technology. Proceedings of the 12th IFAC Symposium on Information Control Problems in Manufacturing (incom 2006), St. Vol. 2, pp 131-136, (Preprints Vol. 2, pp. 143-148), Etienne, France, May 2006. <DOI: 10.3182/20060517-3-FR-2903.00089>

Greifeneder, J.; Frey, G.: Dependability analysis of networked automation systems by probabilistic delay time analysis. Proceedings of the 12th IFAC Symposium on Information Control Problems in Manufacturing (incom 2006), Vol. 1, pp 265-270, (Preprints Vol. 1, pp. 269-274), St. Etienne, France, May 2006. <DOI: 10.3182/20060517-3-FR-2903.00149>

Panjaitan, S.; Frey, G.: Designing Generic/Reusable Functionality Based Controllers for Distributed Control using UML. Proceedings of the 22nd IEEE International Conference on Robotics and Automation (ICRA 2006), pp. 321-326, Orlando, Florida, USA, May 2006. <DOI: 10.1109/ROBOT.2006.1641731>

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), pp. 8367-8372, Seville, Spain, Dec. 2005. <DOI: 10.1109/CDC.2005.1583517>

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

Dimitrova, D.; Frey, G.; Batchkova, I.: Formal Approach for Modeling and Verification of IEC 61499 Function Blocks. Proceedings of the International Conference Advanced Manufacturing Technologies (AMTECH 2005), Vol. 44, Book 2, pp. 731-736, University of Russe, Bulgaria, Nov. 2005.

Greifeneder, J.; Frey, G.: Probabilistic Delay Time Analysis in Networked Automation Systems. Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2005), Vol. 1, pp. 1065-1068, Catania, Italy, Sept. 2005. <DOI: 10.1109/ETFA.2005.1612644>

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), Vol. 1, pp. 247-250, Catania, Italy, Sept. 2005. <DOI: 10.1109/ETFA.2005.1612527>

Marsal, G.; Witsch, D.; Denis, B.; Faure, J.-M.; Frey, G.: Evaluation of Real-Time Capabilities of Ethernet-based Automation Systems using Formal Verification and Simulation. Proceedings of the 1st Rencontres des Jeunes Chercheurs en Informatique Temps Réel (RJCITR 2005), pp. 27-30, Nancy, France, Sept. 2005.

Panjaitan, S.; Hussain, T.; Frey, G.: Development of re-configurable distributed Controllers in 61499 based on Task Schedules described by UML diagrams or Gantt Charts. Proceedings of the 3rd International IEEE Conference on Industrial Informatics (INDIN 2005), pp. 44-49, Perth, Australia, Aug. 2005. <DOI: 10.1109/INDIN.2005.1560350>

Panjaitan, S.; Frey, G.: Functional Design for IEC 61499 Distributed Control Systems using UML Activity Diagrams. Proceedings of the International Conference on Instrumentation, Communications and Information Technology (ICICI 2005), pp. 64-70, Bandung, Indonesia, Aug. 2005.

Hussain, T.; Frey, G.: Migration of a PLC Controller to an IEC 61499 Compliant Distributed Control System: Hands-on Experiences. Proceedings of the 21st IEEE International Conference on Robotics and Automation (ICRA 2005), pp. 3984-3989, Barcelona, Spain, Apr. 2005. <DOI: 10.1109/ROBOT.2005.1570730>

Bani Younis, M.; Frey, G.: Formalization of PLC Programs to Sustain Reliability. Proceeding of the IEEE Conference on Robotics, Automation and Mechatronics (RAM 2004), pp. 613-618, Singapore, Republic of Singapore, Dec. 2004. <DOI: 10.1109/RAMECH.2004.1437989>

Hussain, T.; Frey, G.: Developing IEC 61499 Compliant Distributed Systems with Network Enabled Controllers. Proceeding of the IEEE Conference on Robotics, Automation and Mechatronics (RAM 2004), pp. 507-512, Singapore, Republic of Singapore, Dec. 2004. <DOI: 10.1109/RAMECH.2004.1438972>

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

Bani Younis, M.; Frey, G.: Visualization of PLC Programs Using XML. Proceedings of the American Control Conference (ACC 2004), pp. 3082-3087, Boston, USA, Jun. 2004.

Frey, G.; Felgner, F.: Simulative Validierung Petrinetz-basierter Steuerungen durch Transformation in Modelica. Proceedings of the 17th Symposium Simulationstechnik (ASIM 2003), pp. 81-86, Magdeburg, Germany, Sept. 2003.

Frey, G.: An Integrated Approach for the Development of Logic Controllers Based on Signal Interpreted Petri Nets. Proceedings of the IEEE International Conference on Methods and Models in Automation and Robotics (MMAR 2003), pp. 831-836, Miedzyzdroje, Poland, Aug. 2003.

Bani Younis, M.; Frey, G.: Formalization of Existing PLC Programs: A Survey. Proceedings of the IEEE/IMACS Multiconfrence on Computational Engineering in Systems Applications (CESA 2003), Paper S2-R-00-0239, Lille, France,  Jul. 2003.

Klein, S.; Frey, G.; Litz, L.; Lesage, J.-J.: Supporting the Changeability of SIPN-based Logic Control Algorithms by Verification and Validation. Proceedings of the IEEE/IMACS Multiconfrence on Computational Engineering in Systems Applications (CESA 2003), Paper S2-I-04-0176, Lille, France, Jul. 2003.

Klein, S; Frey, G; Minas, M: PLC Programming with Signal Interpreted Petri Nets. Proceedings of the International Conference on Application and Theory of Petri Nets (ICATPN 2003), Eindhoven, The Netherlands, Jun. 2003; in: Lecture Notes in Computer Science (LNCS), Springer-Verlag, Vol. 2679, pp. 440-449, 2003.

Frey. G.: Hierarchical Design of Logic Controllers using Signal Interpreted Petri Nets. Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2003), pp. 401-406, Saint-Malo, France, Jun. 2003.

Frey, G.; Kowalewski, S.: Entwurf einer Richtlinie zur Einordnung und Bewertung von Beschreibungsmitteln aus der Automatisierungstechnik. Proceedings of the Fachtagung Entwurf komplexer Automatisierungssysteme (EKA 2003), pp. 15-23, Braunschweig, Germany, Jun. 2003.

Klein, S.; Frey, G.; Litz, L.: Designing fault-tolerant Controllers using SIPN and Model-Checking. Proceedings of the IFAC-Safeprocess, pp. 115-120, Washington D.C., USA, Jun. 2003.

Frey, G.; Kowalewski, S.: Klassifizierung und Bewertung von Beschreibungsmitteln aus der Automatisierungstechnik. Proceedings of the GMA Kongress, VDI-Berichte 1756, pp. 135-142, Baden-Baden, Germany, Jun. 2003.

Cladera, R.; Frey, G.: A schema for the improved allocation of functionality in distributed industrial-process measurement and control systems. Proceedings of the XXVIII. ASR Seminar, Instruments and Control, Ostrava, Czech Republic, May 2003.

Frey. G.: Software Quality in Logic Controller Programming. Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (SMC 2002), Vol. 1, pp. 515-520, Hammamet, Tunisia, Oct. 2002. <DOI: 10.1109/ICSMC.2002.1168028>

Frey. G.: Formal methods in PLC control demonstrated at a flexible manufacturing line. Proceedings of the 5th IFIP International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services (BASYS 2002), pp. 501-508, Cancun, Mexico, Sept. 2002.

Klein, S.; Weng, X.; Frey, G.; Lesage, J.-J.; Litz, L.: Controller Design for an FMS using Signal Interpreted Petri Nets and SFC. Proceedings of the American Control Conference (ACC 2002), pp. 4141-4146, Anchorage, Alaska, May 2002. <DOI: 10.1109/ACC.2002.1024579>

Minas, M.; Frey, G.: Visual PLC-Programming using Signal Interpreted Petri Nets. Proceedings of the American Control Conference (ACC 2002), Vol. 6, pp. 5019-5024, Anchorage, Alaska, May 2002. <DOI: 10.1109/ACC.2002.1025461>

Klein, S.; Frey, G.; Litz, L.: A Petri Net based Approach to the Development of correct Logic Controllers. Proceedings of the 2nd International Workshop on Integration of Specification Techniques for Applications in Engineering (INT 2002), pp. 116-129, Grenoble, France, Apr. 2002.

Frey, G.; Minas, M.; John, K.-H.: Integration von Petrinetzen in den Steuerungsentwurf nach IEC61131. Proceedings of the SPS/IPC/Drives, pp. 197-205, Nuremberg, Germany, Nov. 2001.

Mertke, T.; Frey, G.: Formal Verification of PLC-programs generated from Signal Interpreted Petri Nets. Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (SMC 2001), Vol. 4, pp. 2700-2705, Tucson, Arizona, USA, Oct. 2001. <DOI: 10.1109/ICSMC.2001.972974>

Frey, G.; Minas, M.: Internet-based development of logic controllers using Signal Interpreted Petri Nets and IEC 61131. Proceedings of the Multi-Conference on Systemics, Cybernetics and Informatics (ISAS-SCI 2001), Vol. 3, pp. 297-302, Orlando, Florida, USA, Jul. 2001.

Frey,G.; Litz, L.: Formal methods in PLC programming. Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (SMC 2000), Vol. 4, pp. 2431-2436, Nashville, Tennessee, USA, Oct. 2000. <DOI: 10.1109/ICSMC.2000.884356>

Frey, G.; Litz, L.; Klöckner, F.: Complexity metrics for Petri net based logic control algorithms. Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (SMC 2000), Vol. 2, pp. 1204-1209, Nashville, Tennessee, USA, Oct. 2000. <DOI: 10.1109/ICSMC.2000.886016>

Frey,G.; Minas, M.: Editing, Visualizing, and Implementing Signal Interpreted Petri Nets. Proceedings of the AWPN, pp. 57-62, Koblenz, Germany, Oct. 2000.

Frey, G.: PLC Programming for Hybrid Systems via Signal Interpreted Petri Nets. Proceedings of the 4th International Conference on Automation of Mixed Processes (ADPM 2000), pp. 189-194, Dortmund, Germany, Sept. 2000.

Frey, G.; Litz L.: Transparency Analysis of Petri net based Logic Controllers - A Measure for Software Quality in Automation. Proceedings of the American Control Conference (ACC 2000), Vol. 5, pp. 3182-3186, Chicago, Illinois, USA, Jun. 2000. <DOI: 10.1109/ACC.2000.879152>

Frey, G.; Litz L.: Correctness Analysis of Petri Net based Logic Controllers. Proceedings of the American Control Conference (ACC 2000), Vol. 5, pp. 3165-3166, Chicago, Illinois, USA, Jun. 2000. <DOI: 10.1109/ACC.2000.879148>

Frey, G.: Automatic Implementation of Petri net based Control Algorithms on PLC. Proceedings of the American Control Conference (ACC 2000), Vol. 4, pp. 2819-2823, Chicago, Illinois, USA, Jun. 2000. <DOI: 10.1109/ACC.2000.878725>

Frey, G.: Analysis of Petri Net based Control Algorithms - Basic Properties. Proceedings of the American Control Conference (ACC 2000), Vol. 5, pp. 3172-3176, Chicago, Illinois, USA, Jun. 2000. <DOI: 10.1109/ACC.2000.879150>

Frey, G. and Litz, L.: XML Based Interchange Format for Petri Nets-A Control Engineers Point of View. Meeting on XML/SGML based Interchange Formats for Petri Nets, International Conference on Application and Theory of Petri Nets, Aarhus, Denmark, Jun. 2000. Web-Proceedings at: http://www.daimi.au.dk/pn2000/Interchange/position.html

Frey, G.: Analysis of Petri-Net based Control Algorithms. Proceedings of the SDPS 5th World Conference on Integrated Design and Process Technologies, Dallas, USA, Jun. 2000.

Frey, G.; Schmidt, A.: Automatische Erzeugung von SPS-Programmen aus Petri-Netzen. Proceedings of the Fachtagung Verteilte Automatisierung (VA 2000), pp. 177-184, Magdeburg, Germany, Mar. 2000.

Frey, G.: Integration von Petrinetzen in eine IEC 1131 Entwicklungsumgebung. Proceedings of the SPS/IPC/DRIVES, Nuremberg, Germany, Nov. 1999; published in: Hüthig Verlag, Heidelberg, pp. 118-127, 1999.

Frey, G.; Litz, L.: A Measure for Transparency in Net Based Control Algorithms. Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (SMC 1999), Vol. III, pp. 887-892, Tokyo, Japan, Oct. 1999. <DOI: 10.1109/ICSMC.1999.823345>

Frey, G; Kottke, R.: Integrated Information Flow in Manufacturing Systems using a Relational Database. Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (SMC 1999), Vol. IV, pp. 516-521, Tokyo, Japan, Oct. 1999. <DOI: 10.1109/ICSMC.1999.812457>

Frey, G.; Litz, L.: Verification and Validation of Control Algorithms by Coupling of Interpreted Petri Nets. Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (SMC 1998), Vol. 1, pp. 7-12, San Diego, California, USA, Oct. 1998. <DOI: 10.1109/ICSMC.1998.725375>

Litz, L.; Frey, G.: A Senior Course on Logic Process Control based on Petri Nets Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (SMC 1998), Vol. 1, pp. 274-277, San Diego, California, USA, Oct. 1998. <DOI: 10.1109/ICSMC.1998.725421>

Frey, G.: Simulation of Hybrid Systems based on Interpreted Petri Nets. Proceedings of the IEE International Conference on Simulation - Innovation Through Simulation, pp. 168-175, Yorck, GB, Sept. 1998. <DOI: 10.1049/cp:19980633>

Diehl, A.; Frey, G.: Optimization of a Blood Separation Process. Proceedings of the IEE International Conference on Simulation - Innovation Through Simulation, pp. 19-26, York, GB, Sept. 1998.

Frey, G.; Egger, T.: Closing the gap between engineering and business software. Proceedings of the 10th International IFIP WG 5.2/5.3 Conference Prolamat'98, Trento, Italy, CD-ROM paper 27, Sept. 1998.

Frey, G.; Moßig, K.; Schnabel, M.: Assembly Line Sequencing based on Petri Net T-Invariants. Proceedings of the 9th IFAC-Symposium on Information Control in Manufacturing (INCOM 1998), Vol. 2, pp. 33-38, Nancy-Metz, France, Jun. 1998.

Frey, G.; Litz L.: Entwurf und formale Verifikation von Steuerungen mit interpretierten Petri-Netzen. Proceedings of the GMA-Kongress Mess- und Automatisierungstechnik "Neue Entwicklungen Technologie Anwendungen", Ludwigsburg, Germany, Jun. 1998; published in: VDI Berichte 1397, VDI-Verlag, pp. 291-298, Düsseldorf, Germany, 1998.

Frey, G.; Litz, L.: Transparenter Steuerungsentwurf mit SFC nach IEC 1131-3. Proceedings of the SPS/IPC/DRIVES, Hüthig Verlag, pp. 240-249, Nuremberg, Germany, Nov. 1997.

Frey, G.; Litz, L.: Wie transparent sind SFC-Programme? Proceedings of the Kongress GMA-Fachtagung Steuerungstechnik "Methodik komplexer Anwendungen", Langen, Germany, Oct. 1997; GMA-Bericht 31, pp. 75-78, 1997.

Others: Reports, Messages, Conference Reports, ...

(reverse chronological)

Frey, G.: Panel discussion on "Formal methods in PLC Control". Proceedings of the American Control Conference (ACC 2002), Vol. 5, pp. 4172-4173, Anchorage, Alaska, USA, May 2002. <DOI: 10.1109/ACC.2002.1024584>