Verification and validation of control algorithms by coupling of interpreted Petri nets. - Georg Frey; Lothar Litz (SMC, 1998)

A senior course on logic process control based on Petri nets. - Lothar Litz; Georg Frey (SMC, 1998)

Automatic implementation of Petri net based control algorithms on PLC. - Georg Frey (ACC, 2000)

Analysis of Petri net based control algorithms - basic properties. - Georg Frey (ACC, 2000)

Correctness analysis of Petri net based logic controllers. - Georg Frey; Lothar Litz (ACC, 2000)

Transparency analysis of Petri net based logic controllers-a measure for software quality in automation. - Georg Frey; Lothar Litz (ACC, 2000)

Formal methods in PLC programming. - Georg Frey; Lothar Litz (SMC, 2000)

Complexity metrics for Petri net based logic control algorithms. - Georg Frey; Lothar Litz; Frank Klöckner (SMC, 2000)

Formal verification of PLC programs generated from signal interpreted Petri nets. - Thomas Mertke; Georg Frey (SMC, 2001)

Controller design for an FMS using Signal Interpreted Petri Nets and SFC: Validation of both descriptions via model-checking. - Stéphane Klein; Xiying Weng; Georg Frey; Jean-Jacques Lesage; Lothar Litz (ACC, 2002)

Visual PLC-programming using signal interpreted Petri nets. - Mark Minas; Georg Frey (ACC, 2002)

Formal Methods in PLC Control Demonstrated at a Flexible Manufacturing Line. - Georg Frey (BASYS, 2002)

Design and formal analysis of Petri net based logic control algorithms = Entwurf und formale Analyse Petrinetz-basierter Steuerungsalgorithmen. - Georg Frey (Shaker, 2002)

Hierarchical Design of Logic Controllers Using Signal Interpreted Petri Nets. - Georg Frey (ADHS, 2003)

PLC Programming with Signal Interpreted Petri Nets. - Stéphane Klein; Georg Frey; Mark Minas (ICATPN, 2003)

Visualization of PLC programs using XML. - Mohammed Bani Younis; Georg Frey (ACC, 2004)

A Re-Engineering Approach for PLC Programs using Finite Automata and UML. - Georg Frey; Mohammed Bani Younis (IRI, 2004)

Developing IEC 61499 compliant distributed systems with network enabled controllers. - Tanvir Hussain; Georg Frey (RAM, 2004)

Formalization of PLC programs to sustain reliability. - Mohammed Bani Younis; Georg Frey (RAM, 2004)

Formalization and Visualization of Non-binary PLC Programs. - Mohammed Bani Younis; Georg Frey (CDC/ECC, 2005)

Probabilistic delay time analysis in networked automation systems. - Jürgen Greifeneder; Georg Frey (ETFA, 2005)

Application of symbolic and bounded model checking to the verification of logic control systems. - K. Loeis; Mohammed Bani Younis; Georg Frey (ETFA, 2005)

Migration of a PLC Controller to an IEC 61499 Compliant Distributed Control System: Hands-on Experiences. - Tanvir Hussain; Georg Frey (ICRA, 2005)

Optimizing Quality of Control in Networked Automation Systems using Probabilistic Models. - Jürgen Greifeneder; Georg Frey (ETFA, 2006)

UML-based Development Process for IEC 61499 with Automatic Test-case Generation. - Tanvir Hussain; Georg Frey (ETFA, 2006)

Evaluation of Response Time in Ethernet-based Automation Systems. - Gaëlle Marsal; Bruno Denis; Jean-Marc Faure; Georg Frey (ETFA, 2006)

Combination of UML Modeling and the IEC 61499 Function Block Concept for the Development of Distributed Automation Systems. - Seno Darmawan Panjaitan; Georg Frey (ETFA, 2006)

A Formal Method Based Re-Implementation Concept for PLC Programs and Its Application. - Mohammed Bani Younis; Georg Frey (ETFA, 2006)

Designing Generic/reusable Functionality based Controllers for Distributed Control using UML. - Seno Darmawan Panjaitan; Georg Frey (ICRA, 2006)

Measuring the impact of vertical integration on response times in ethernet fieldbuses. - Bruno Denis; Silvain Ruel; Jean-Marc Faure; Gaëlle Marsal; Georg Frey (ETFA, 2007)

DesLaNAS - a language for describing Networked Automation Systems. - Jürgen Greifeneder; Georg Frey (ETFA, 2007)

Deployment of IEC 61499 compliant distributed control applications. - Tanvir Hussain; Georg Frey (ETFA, 2007)

Simulation approach for evaluating response times in networked automation systems. - Liu Liu 019; Georg Frey (ETFA, 2007)

Software quality measures to determine the diagnosability of PLC applications. - Mohammed Bani Younis; Georg Frey (ETFA, 2007)

Wahrscheinlichkeitsbasierte Modellverifikation Netzbasierter Automatisierungssysteme (Probabilistic Model Checking of Networked Automation Systems). - Jürgen Greifeneder; Georg Frey (Autom., 2007)

Development process for distributed automation systems combining UML and IEC 61499. - Seno Darmawan Panjaitan; Georg Frey (Int. J. Manuf. Res., 2007)

Component based colored Petri net model for Ethernet based networked control systems. - Abouelabbas Ghanaim; Georg Frey (ETFA, 2008)

Reactivity analysis of different Networked Automation System architectures. - Jürgen Greifeneder; Georg Frey (ETFA, 2008)

Feasibility analysis for networked control systems by simulation in Modelica. - Liu Liu 019; Georg Frey (ETFA, 2008)

An IEC 61499 interpretation and implementation focused on usability. - Florian Wagner 006; Joachim Bohl; Georg Frey (ETFA, 2008)

Estimating Delays in Networked Control Systems using Colored Petri Nets and Markov Chain Models. - Abouelabbas Ghanaim; Geovany Araujo Borges; Georg Frey (ETFA, 2009)

Modellierung und Simulation vernetzter Automatisierungs- und Regelungssysteme in Modelica (Modeling and Simulation of Networked Automation and Control Systems in Modelica). - Georg Frey; Liu Liu 019 (Autom., 2009)

Comparison of 4 numerical solvers for stiff and hybrid systems simulation. - Liu Liu 019; Felix Felgner; Georg Frey (ETFA, 2010)

Modeling and control of closed-loop networked PLC-systems. - Abouelabbas Ghanaim; Georg Frey (ACC, 2011)

Towards an automated verification process for industrial safety applications. - Kleanthis Thramboulidis; Doaa Soliman; Georg Frey (CASE, 2011)

An MDD process for IEC 61131-based industrial automation systems. - Kleanthis Thramboulidis; Georg Frey (ETFA, 2011)

Modeling, Simulation and Control of a Water Recovery and Irrigation System. - Mohamed Abdelati; Felix Felgner; Georg Frey (ICINCO (1), 2011)

Towards a Model-Driven IEC 61131-Based Development Process in Industrial Automation. - Kleanthis Thramboulidis; Georg Frey (J. Softw. Eng. Appl., 2011)

Guest Editorial. - Lucia Lo Bello; Georg Frey (IEEE Trans. Ind. Informatics, 2011)

Modeling of Networked Automation Systems for simulation and model checking of time behavior. - Birgit Vogel-Heuser; Jens Folmer; Georg Frey; Liu Liu 019; Holger Hermanns; Arnd Hartmanns (SSD, 2012)

Modeling wastewater pumping stations for cost-efficient control. - Mohamed Abdelati; Felix Felgner; Georg Frey (ETFA, 2012)

"Safety automata" - A new specification language for the development of PLC safety applications. - Georg Frey; Rainer Drath; Bastian Schlich; Robert Eschbach (ETFA, 2012)

Modeling and Simulation of a Wastewater Pumping Plant. - Mohamed Abdelati; Felix Felgner; Georg Frey (ICINCO (1), 2012)

Effiziente Modellierung und Simulation von Kommunikationsnetzen in Modelica. - Liu Liu 019; Georg Frey (Echtzeit, 2012)

Transformation of Function Block Diagrams to UPPAAL timed automata for the verification of safety applications. - Doaa Soliman; Kleanthis Thramboulidis; Georg Frey (Annu. Rev. Control., 2012)

Engineering a Predictive Energy Consumption Model for University Properties. - Philipp Bauer; Georg Frey; Caroline Schäfer; Alexander Baumeister; Stefan Rogele; Petra Schweizer-Ries (EMS, 2013)

Energy engineering in the virtual factory. - Pascal Stoffels; Wassim Mohamed Boussahel; Michael Vielhaber 002; Georg Frey (ETFA, 2013)

Component Oriented Modeling of Biomass Incineration Plants. - Fethi Belkhir; Christian Gierend; Georg Frey (ICINCO (1), 2013)

Verifikation und Validierung sicherheitsgerichteter SPS-Programme. - Doaa Soliman; Georg Frey (Echtzeit, 2013)

OOAD-Entwicklungsprozess einer Modelica-Bibliothek für vernetzte Automatisierungssysteme. - Liu Liu 019; Georg Frey (Autom., 2013)

Re-use of existing simulation models for DCS engineering via the Functional Mock-up Interface. - Lukas Exel; Georg Frey; Gerrit Wolf; Mathias Oppelt (ETFA, 2014)

Design of distributed energy systems: Role and requirements of modeling and simulation. - Felix Felgner; Josef Meiers; Lukas Exel; Georg Frey (ETFA, 2014)

"OWLracle" - Predicting the impact of interdisciplinary energy efficiency methods at German universities using BCVTB. - Philipp Bauer; Christian Siegwart; Felix Felgner; Georg Frey (IECON, 2014)

Component-Oriented Modeling of Thermoelectric Devices for Energy System Design. - Felix Felgner; Lukas Exel; Marco Nesarajah; Georg Frey (IEEE Trans. Ind. Electron., 2014)

ZiZo: Modeling, Simulation and Verification of Reconfigurable Real-time Control Tasks Sharing Adaptive Resources - Application to the Medical Project BROS. - Mohamed Oussama Ben Salem; Olfa Mosbahi; Mohamed Khalgui; Georg Frey (HEALTHINF, 2015)

BROS - A New Robotic Platform for the Treatment of Supracondylar Humerus Fracture. - Mohamed Oussama Ben Salem; Olfa Mosbahi; Mohamed Khalgui; Georg Frey (HEALTHINF, 2015)

Towards a Safer and More Optimal Treatment of the Supracondylar Humerus Fracture. - Mohamed Oussama Ben Salem; Olfa Mosbahi; Mohamed Khalgui; Georg Frey (BIOSTEC (Selected Papers), 2015)

Energy management systems for hospitals in Gaza-strip. - Mohammed Hijjo; Philipp Bauer; Felix Felgner; Georg Frey (GHTC, 2015)

GR-TNCES: New Extensions of R-TNCES for Modelling and Verification of Flexible Systems under Energy and Memory Constraints. - Oussama Khlifi; Olfa Mosbahi; Mohamed Khalgui; Georg Frey (ICSOFT-EA, 2015)

Transformation from R-UML to R-TNCES: New Formal Solution for Verification of Flexible Control Systems. - Mohamed Oussama Ben Salem; Olfa Mosbahi; Mohamed Khalgui; Georg Frey (ICSOFT-PT, 2015)

R-UML: An UML Profile for Verification of Flexible Control Systems. - Mohamed Oussama Ben Salem; Olfa Mosbahi; Mohamed Khalgui; Georg Frey (ICSOFT (Selected Papers), 2015)

Multi-domain modeling of distributed energy systems - The MOCES approach. - Lukas Exel; Felix Felgner; Georg Frey (SmartGridComm, 2015)

Abschied von Prof. Dr.-Ing. habil. Lothar Litz. - Alexander Fay; Georg Frey; Jan Lunze (Autom., 2015)

Reconfigurable Coordination of Distributed Discrete Event Control Systems. - Jiafeng Zhang; Mohamed Khalgui; Zhiwu Li 001; Georg Frey; Olfa Mosbahi; Hela Ben Salah (IEEE Trans. Control. Syst. Technol., 2015)

Programmable Logic Controllers. - Georg Frey (Encyclopedia of Systems and Control, 2015)

Enabling reconfiguration of adaptive control systems using real-time context-aware framework. - Soumoud Fkaier; Mohamed Romdhani; Mohamed Khalgui; Georg Frey (AICCSA, 2016)

Reconfigurable function blocks: Extension to the standard IEC 61499. - Safa Guellouz; Adel Benzina; Mohamed Khalgui; Georg Frey (AICCSA, 2016)

Modeling and Simulation of an Energy Efficient Skid Conveyor using ZIZO. - Oussama Khlifi; Christian Siegwart; Olfa Mosbahi; Mohamed Khalgui; Georg Frey (ICINCO (1), 2016)

Thermoelectric power generation: Peltier element versus thermoelectric generator. - Marco Nesarajah; Georg Frey (IECON, 2016)

Priced discrete Automata for modeling energy efficient manufacturing systems. - Wassim Mohamed Boussahel; Georg Frey (WODES, 2016)

Context-awareness Meta-model for Reconfigurable Control Systems. - Soumoud Fkaier; Mohamed Romdhani; Mohamed Khalgui; Georg Frey (ENASE, 2017)

New Verification Approach for Reconfigurable Distributed Systems. - Oussama Khlifi; Olfa Mosbahi; Mohamed Khalgui; Georg Frey (ICSOFT, 2017)

Specification Approach using GR-TNCES: Application to an Automotive Transport System. - Oussama Khlifi; Christian Siegwart; Olfa Mosbahi; Mohamed Khalgui; Georg Frey (ICSOFT, 2017)

From Specification to Implementation of an Automotive Transport System. - Oussama Khlifi; Christian Siegwart; Olfa Mosbahi; Mohamed Khalgui; Georg Frey (ICSOFT (Selected Papers), 2017)

Real-time power balancing in photovoltaic-integrated smart micro-grid. - Daud Mustafa Minhas; Raja Rehan Khalid; Georg Frey (IECON, 2017)

Shortest Legal Firing Sequence of Net Condition/Event Systems Using Integer Linear Programming. - Jiafeng Zhang; Hongyi Li; Georg Frey; Zhiwu Li 001 (CASE, 2018)

A New Approach for Optimal Implementation of Multi-core Reconfigurable Real-time Systems. - Wafa Lakhdhar; Rania Mzid; Mohamed Khalgui; Georg Frey (ENASE, 2018)

Portable Synthesis of Multi-core Real-Time Systems with Reconfiguration Constraints. - Wafa Lakhdhar; Rania Mzid; Mohamed Khalgui; Georg Frey (ENASE (Selected Papers), 2018)

Scheduling Smart Loads in Modern Buildings based on Metaheuristic Optimization. - Mohammed Hijjo; Georg Frey (ICINCO (1), 2018)

Using Modelling and Simulation as a Service (MSaaS) for Facilitating Flexibility-based Optimal Operation of Distribution Grids. - Moritz Stüber; Lukas Exel; Georg Frey (ICINCO (2), 2018)

Multi-objective optimization for scheduling isolated microgrids. - Mohammed Hijjo; Georg Frey (ICIT, 2018)

Analysis and Control of Dynamic Reconfiguration Processes of Manufacturing Systems. - Jiafeng Zhang; Georg Frey; Abdulrahman Al-Ahmari; Ting Qu; Naiqi Wu; Zhiwu Li 001 (IEEE Access, 2018)

52. Regelungstechnisches Kolloquium. - Georg Frey (Autom., 2018)

Modeling and simulation of local flexibilities and their effect to the entire power system. - Lukas Exel; Georg Frey (Comput. Sci. Res. Dev., 2018)

Context-free Forbidden Path Control of Net Condition/Event Systems. - Jiafeng Zhang; Guangchao Luo; Zhiwu Li 001; Georg Frey (CDC, 2019)

Optimal Scheduling of Energy Supply Entities in Home Area Power Network. - Daud Mustafa Minhas; Georg Frey (CoDIT, 2019)

Modeling and Verification of a Reliable Multi-Agent Solution Promoting the Autonomy and Self-Sufficiency of Microgrids in an Isolated Location. - Moncef Ben Smida; Khaoula Miled; Mohamed Khalgui; Georg Frey; Zhiwu Li 001 (IEEE Access, 2019)

IEEE International Conference on Automation Science and Engineering 2018. - Birgit Vogel-Heuser; Alexander Fay; Georg Frey (Autom., 2019)

Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking. - Safa Guellouz; Adel Benzina; Mohamed Khalgui; Georg Frey; Zhiwu Li 001; Valeriy Vyatkin (IEEE Trans Autom. Sci. Eng., 2019)

Multiobjective Optimization Approach for a Portable Development of Reconfigurable Real-Time Systems: From Specification to Implementation. - Wafa Lakhdhar; Rania Mzid; Mohamed Khalgui; Zhiwu Li 001; Georg Frey; Abdulrahman Al-Ahmari (IEEE Trans. Syst. Man Cybern. Syst., 2019)

Hybrid Context-awareness Modelling and Reasoning Approach for Microgrid's Intelligent Control. - Soumoud Fkaier; Mohamed Khalgui; Georg Frey (ICSOFT, 2020)

New Approach for Deadline Calculation of Periodic, Sporadic and Aperiodic Real-time Software Tasks. - Aicha Goubaa; Mohamed Khalgui; Georg Frey; Zhiwu Li 001 (ICSOFT, 2020)

Efficient Scheduling of Periodic, Aperiodic, and Sporadic Real-Time Tasks with Deadline Constraints. - Aicha Goubaa; Mohamed Khalgui; Georg Frey; Zhiwu Li 001 (ICSOFT (Selected Papers), 2020)

Office Appliances Identification and Monitoring using Deep Leaning based Energy Disaggregation for Smart Buildings. - M.-T. O. El Astal; M. Kalloub; Ammar M. Abu-Hudrouss; Georg Frey (IECON, 2020)

Stochastic Optimization Scheme to Schedule Energy Supply and Demands in an Islanded Microgrid. - Daud Mustafa Minhas; Georg Frey (IECON, 2020)

Modeling and Optimizing Energy Supply and Demand in Home Area Power Network (HAPN). - Daud Mustafa Minhas; Georg Frey (IEEE Access, 2020)

Scheduling periodic and aperiodic tasks with time, energy harvesting and precedence constraints on multi-core systems. - Aicha Goubaa; Mohamed Khalgui; Zhiwu Li 001; Georg Frey; MengChu Zhou (Inf. Sci., 2020)

A guidance framework for synthesis of multi-core reconfigurable real-time systems. - Wafa Lakhdhar; Rania Mzid; Mohamed Khalgui; Georg Frey; Zhiwu Li 001; MengChu Zhou (Inf. Sci., 2020)

Guest Editorial Special Section on the 2018 Conference on Automation Science and Engineering (CASE). - Cesare Fantuzzi; Alexander Fay; Georg Frey; Birgit Vogel-Heuser (IEEE Trans Autom. Sci. Eng., 2020)

Reconfiguration Control of Dynamic Reconfigurable Discrete Event Systems Based on NCESs. - Jiafeng Zhang; Hongyi Li; Georg Frey; Zhiwu Li 001 (IEEE Trans. Control. Syst. Technol., 2020)

Modeling Methodology for Reconfigurable Distributed Systems using Transformations from GR-UML to GR-TNCES and IEC 61499. - Soumoud Fkaier; Mohamed Khalgui; Georg Frey (ENASE, 2021)

A Software Framework for Context-aware Secure Intelligent Applications of Distributed Systems. - Soumoud Fkaier; Mohamed Khalgui; Georg Frey (ICSOFT, 2021)

Software Framework of Context-Aware Reconfigurable Secure Smart Grids. - Soumoud Fkaier; Mohamed Khalgui; Georg Frey (ICSOFT (Selected Papers), 2021)

On Parametrizing Feasible Reconfigurable Systems Under Real-Time, Energy, and Resource Sharing Constraints. - Aicha Goubaa; Mohamed Khalgui; Zhiwu Li 001; Georg Frey; Abdulrahman Al-Ahmari (IEEE Trans Autom. Sci. Eng., 2021)

Selection of multicriteria decision analysis methods for electrification projects in rural Sub-Sahara Africa - A case study in Niger. - Julian Huwer; Georg Frey; Ramchandra Bhandari (GHTC, 2022)

Illuminating the Black Box: A Comparative Study of Explainable AI for Interpreting Time Series Data in Vehicle Power Net Consumption Models. - Julian Müller 003; Lukas Czekalla; Florian Schuchter; Georg Frey (ICMLA, 2023)

The Effect of Target Variable Rescaling on Energy Consumption Prediction in a Vehicle Powernet using Multi-Target Regression Trees: A study from the automotive industry. - Julian Müller 003; Joachim Sprave; Georg Frey (ICMLT, 2023)

Transferability of Machine Learning Models for Energy Consumption Prediction of In-Vehicle Low-Voltage Equipment: A Case Study. - Julian Müller 003; Xuanheng Liu; Jonas Maier; Georg Frey (CASE, 2024)

Enhancing Power Net Efficiency with Data-Driven Consumption Prediction - A Machine Learning Approach. - Julian Müller 003; Florian Schuchter; Daniel Brauneis; Georg Frey (IV, 2024)

Dynamic system models and their simulation in the Semantic Web. - Moritz Stüber; Georg Frey (Semantic Web, 2024)

Prof. Dr.-Ing. habil. Hartmut Janocha zum 80. Geburtstag. - Georg Bretthauer; Georg Frey; Stefan Seelecke (Autom., 2024)

Invisible eyes: Real-time activity detection through encrypted Wi-Fi traffic without machine learning. - Muhammad Bilal Rasool; Uzair Muzamil Shah; Mohammad Imran; Daud Mustafa Minhas; Georg Frey (Internet Things, 2025)

Coordinated operation of pumped hydro energy storage with reversible pump turbine and co-located battery energy storage system. - Leon Tadayon; Josef Meiers; Lukas Ibing; Kevin Erdelkamp; Georg Frey (Autom., 2025)