Georg Frey

124 papers A* 2B 8C 47Misc 1Journal 27Unranked 37
YearRankTypeTitle / Venue / Authors
2025 J jnl
Coordinated operation of pumped hydro energy storage with reversible pump turbine and co-located battery energy storage system.
Autom.
Leon Tadayon, Josef Meiers, Lukas Ibing, Kevin Erdelkamp, Georg Frey
2025 J jnl
Invisible eyes: Real-time activity detection through encrypted Wi-Fi traffic without machine learning.
Internet Things
Muhammad Bilal Rasool, Uzair Muzamil Shah, Mohammad Imran, Daud Mustafa Minhas, Georg Frey
2024 J jnl
Dynamic system models and their simulation in the Semantic Web.
Semantic Web
Moritz Stüber, Georg Frey
2024 C conf
Enhancing Power Net Efficiency with Data-Driven Consumption Prediction - A Machine Learning Approach.
IV
Julian Müller, Florian Schuchter, Daniel Brauneis, Georg Frey
2024 J jnl
Prof. Dr.-Ing. habil. Hartmut Janocha zum 80. Geburtstag.
Autom.
Georg Bretthauer, Georg Frey, Stefan Seelecke
2024 — conf
Transferability of Machine Learning Models for Energy Consumption Prediction of In-Vehicle Low-Voltage Equipment: A Case Study.
CASE
Julian Müller, Xuanheng Liu, Jonas Maier, Georg Frey
2024 — conf
Validation of Satellite-derived Daily Sunshine Duration Estimates Against Campbell-Stokes Sensor Measurements in Côte d'Ivoire.
IHTC
Konin Pierre Claver Kakou, Dungall Laouali, Boko Aka, Janet Appiah Osei, Nicaise Franck Kassi Ette, Georg Frey
2023 C conf
Illuminating the Black Box: A Comparative Study of Explainable AI for Interpreting Time Series Data in Vehicle Power Net Consumption Models.
ICMLA
Julian Müller, Lukas Czekalla, Florian Schuchter, Georg Frey
2023 — conf
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.
ICMLT
Julian Müller, Joachim Sprave, Georg Frey
2022 — conf
Selection of multicriteria decision analysis methods for electrification projects in rural Sub-Sahara Africa - A case study in Niger.
GHTC
Julian Huwer, Georg Frey, Ramchandra Bhandari
2021 C conf
A Software Framework for Context-aware Secure Intelligent Applications of Distributed Systems.
ICSOFT
Soumoud Fkaier, Mohamed Khalgui, Georg Frey
2021 B conf
Modeling Methodology for Reconfigurable Distributed Systems using Transformations from GR-UML to GR-TNCES and IEC 61499.
ENASE
Soumoud Fkaier, Mohamed Khalgui, Georg Frey
2021 J jnl
On Parametrizing Feasible Reconfigurable Systems Under Real-Time, Energy, and Resource Sharing Constraints.
IEEE Trans Autom. Sci. Eng.
Aicha Goubaa, Mohamed Khalgui, ZhiWu Li, Georg Frey, Abdulrahman Al-Ahmari
2021 — conf
Software Framework of Context-Aware Reconfigurable Secure Smart Grids.
ICSOFT (Selected Papers)
Soumoud Fkaier, Mohamed Khalgui, Georg Frey
2020 J jnl
A guidance framework for synthesis of multi-core reconfigurable real-time systems.
Inf. Sci.
Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Georg Frey, ZhiWu Li, MengChu Zhou
2020 — conf
Efficient Scheduling of Periodic, Aperiodic, and Sporadic Real-Time Tasks with Deadline Constraints.
ICSOFT (Selected Papers)
Aicha Goubaa, Mohamed Khalgui, Georg Frey, ZhiWu Li
2020 J jnl
Guest Editorial Special Section on the 2018 Conference on Automation Science and Engineering (CASE).
IEEE Trans Autom. Sci. Eng.
Cesare Fantuzzi, Alexander Fay, Georg Frey, Birgit Vogel-Heuser
2020 C conf
Hybrid Context-awareness Modelling and Reasoning Approach for Microgrid's Intelligent Control.
ICSOFT
Soumoud Fkaier, Mohamed Khalgui, Georg Frey
2020 J jnl
Modeling and Optimizing Energy Supply and Demand in Home Area Power Network (HAPN).
IEEE Access
Daud Mustafa Minhas, Georg Frey
2020 C conf
New Approach for Deadline Calculation of Periodic, Sporadic and Aperiodic Real-time Software Tasks.
ICSOFT
Aicha Goubaa, Mohamed Khalgui, Georg Frey, ZhiWu Li
2020 C conf
Office Appliances Identification and Monitoring using Deep Leaning based Energy Disaggregation for Smart Buildings.
IECON
M.-T. O. El Astal, M. Kalloub, Ammar M. Abu-Hudrouss, Georg Frey
2020 J jnl
Reconfiguration Control of Dynamic Reconfigurable Discrete Event Systems Based on NCESs.
IEEE Trans. Control. Syst. Technol.
Jiafeng Zhang, Hongyi Li, Georg Frey, ZhiWu Li
2020 J jnl
Scheduling periodic and aperiodic tasks with time, energy harvesting and precedence constraints on multi-core systems.
Inf. Sci.
Aicha Goubaa, Mohamed Khalgui, ZhiWu Li, Georg Frey, MengChu Zhou
2020 C conf
Stochastic Optimization Scheme to Schedule Energy Supply and Demands in an Islanded Microgrid.
IECON
Daud Mustafa Minhas, Georg Frey
2019 — conf
Context-free Forbidden Path Control of Net Condition/Event Systems.
CDC
Jiafeng Zhang, Guangchao Luo, ZhiWu Li, Georg Frey
2019 J jnl
Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking.
IEEE Trans Autom. Sci. Eng.
Safa Guellouz, Adel Benzina, Mohamed Khalgui, Georg Frey, ZhiWu Li, Valeriy Vyatkin
2019 J jnl
IEEE International Conference on Automation Science and Engineering 2018.
Autom.
Birgit Vogel-Heuser, Alexander Fay, Georg Frey
2019 J jnl
Modeling and Verification of a Reliable Multi-Agent Solution Promoting the Autonomy and Self-Sufficiency of Microgrids in an Isolated Location.
IEEE Access
Moncef Ben Smida, Khaoula Miled, Mohamed Khalgui, Georg Frey, ZhiWu Li
2019 J jnl
Multiobjective Optimization Approach for a Portable Development of Reconfigurable Real-Time Systems: From Specification to Implementation.
IEEE Trans. Syst. Man Cybern. Syst.
Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, ZhiWu Li, Georg Frey, Abdulrahman Al-Ahmari
2019 C conf
Optimal Scheduling of Energy Supply Entities in Home Area Power Network.
CoDIT
Daud Mustafa Minhas, Georg Frey
2018 J jnl
52. Regelungstechnisches Kolloquium.
Autom.
Georg Frey
2018 B conf
A New Approach for Optimal Implementation of Multi-core Reconfigurable Real-time Systems.
ENASE
Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Georg Frey
2018 J jnl
Analysis and Control of Dynamic Reconfiguration Processes of Manufacturing Systems.
IEEE Access
Jiafeng Zhang, Georg Frey, Abdulrahman Al-Ahmari, Ting Qu, Naiqi Wu, ZhiWu Li
2018 J jnl
Modeling and simulation of local flexibilities and their effect to the entire power system.
Comput. Sci. Res. Dev.
Lukas Exel, Georg Frey
2018 — conf
Multi-objective optimization for scheduling isolated microgrids.
ICIT
Mohammed Hijjo, Georg Frey
2018 — conf
Portable Synthesis of Multi-core Real-Time Systems with Reconfiguration Constraints.
ENASE (Selected Papers)
Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Georg Frey
2018 — conf
Scheduling Smart Loads in Modern Buildings based on Metaheuristic Optimization.
ICINCO (1)
Mohammed Hijjo, Georg Frey
2018 — conf
Shortest Legal Firing Sequence of Net Condition/Event Systems Using Integer Linear Programming.
CASE
Jiafeng Zhang, Hongyi Li, Georg Frey, ZhiWu Li
2018 — conf
Using Modelling and Simulation as a Service (MSaaS) for Facilitating Flexibility-based Optimal Operation of Distribution Grids.
ICINCO (2)
Moritz Stüber, Lukas Exel, Georg Frey
2017 B conf
Context-awareness Meta-model for Reconfigurable Control Systems.
ENASE
Soumoud Fkaier, Mohamed Romdhani, Mohamed Khalgui, Georg Frey
2017 — conf
From Specification to Implementation of an Automotive Transport System.
ICSOFT (Selected Papers)
Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
2017 C conf
New Verification Approach for Reconfigurable Distributed Systems.
ICSOFT
Oussama Khlifi, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
2017 C conf
Real-time power balancing in photovoltaic-integrated smart micro-grid.
IECON
Daud Mustafa Minhas, Raja Rehan Khalid, Georg Frey
2017 C conf
Specification Approach using GR-TNCES: Application to an Automotive Transport System.
ICSOFT
Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
2016 C conf
Enabling reconfiguration of adaptive control systems using real-time context-aware framework.
AICCSA
Soumoud Fkaier, Mohamed Romdhani, Mohamed Khalgui, Georg Frey
2016 — conf
Modeling and Simulation of an Energy Efficient Skid Conveyor using ZIZO.
ICINCO (1)
Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
2016 — conf
Priced discrete Automata for modeling energy efficient manufacturing systems.
WODES
Wassim Mohamed Boussahel, Georg Frey
2016 C conf
Reconfigurable function blocks: Extension to the standard IEC 61499.
AICCSA
Safa Guellouz, Adel Benzina, Mohamed Khalgui, Georg Frey
2016 C conf
Thermoelectric power generation: Peltier element versus thermoelectric generator.
IECON
Marco Nesarajah, Georg Frey
2015 J jnl
Abschied von Prof. Dr.-Ing. habil. Lothar Litz.
Autom.
Alexander Fay, Georg Frey, Jan Lunze
2015 — conf
BROS - A New Robotic Platform for the Treatment of Supracondylar Humerus Fracture.
HEALTHINF
Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
2015 — conf
Energy management systems for hospitals in Gaza-strip.
GHTC
Mohammed Hijjo, Philipp Bauer, Felix Felgner, Georg Frey
2015 — conf
GR-TNCES: New Extensions of R-TNCES for Modelling and Verification of Flexible Systems under Energy and Memory Constraints.
ICSOFT-EA
Oussama Khlifi, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
2015 — conf
Multi-domain modeling of distributed energy systems - The MOCES approach.
SmartGridComm
Lukas Exel, Felix Felgner, Georg Frey
2015 — ch.
Programmable Logic Controllers.
Encyclopedia of Systems and Control
Georg Frey
2015 — conf
R-UML: An UML Profile for Verification of Flexible Control Systems.
ICSOFT (Selected Papers)
Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
2015 J jnl
Reconfigurable Coordination of Distributed Discrete Event Control Systems.
IEEE Trans. Control. Syst. Technol.
Jiafeng Zhang, Mohamed Khalgui, ZhiWu Li, Georg Frey, Olfa Mosbahi, Hela Ben Salah
2015 — conf
Towards a Safer and More Optimal Treatment of the Supracondylar Humerus Fracture.
BIOSTEC (Selected Papers)
Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
2015 — conf
Transformation from R-UML to R-TNCES: New Formal Solution for Verification of Flexible Control Systems.
ICSOFT-PT
Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
2015 — conf
ZiZo: Modeling, Simulation and Verification of Reconfigurable Real-time Control Tasks Sharing Adaptive Resources - Application to the Medical Project BROS.
HEALTHINF
Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
2014 C conf
"OWLracle" - Predicting the impact of interdisciplinary energy efficiency methods at German universities using BCVTB.
IECON
Philipp Bauer, Christian Siegwart, Felix Felgner, Georg Frey
2014 J jnl
Component-Oriented Modeling of Thermoelectric Devices for Energy System Design.
IEEE Trans. Ind. Electron.
Felix Felgner, Lukas Exel, Marco Nesarajah, Georg Frey
2014 C conf
Design of distributed energy systems: Role and requirements of modeling and simulation.
ETFA
Felix Felgner, Josef Meiers, Lukas Exel, Georg Frey
2014 C conf
Re-use of existing simulation models for DCS engineering via the Functional Mock-up Interface.
ETFA
Lukas Exel, Georg Frey, Gerrit Wolf, Mathias Oppelt
2013 — conf
Component Oriented Modeling of Biomass Incineration Plants.
ICINCO (1)
Fethi Belkhir, Christian Gierend, Georg Frey
2013 C conf
Energy engineering in the virtual factory.
ETFA
Pascal Stoffels, Wassim Mohamed Boussahel, Michael Vielhaber, Georg Frey
2013 — conf
Engineering a Predictive Energy Consumption Model for University Properties.
EMS
Philipp Bauer, Georg Frey, Caroline Schäfer, Alexander Baumeister, Stefan Rogele, Petra Schweizer-Ries
2013 J jnl
OOAD-Entwicklungsprozess einer Modelica-Bibliothek für vernetzte Automatisierungssysteme.
Autom.
Liu Liu, Georg Frey
2013 — conf
Verifikation und Validierung sicherheitsgerichteter SPS-Programme.
Echtzeit
Doaa Soliman, Georg Frey
2012 C conf
"Safety automata" - A new specification language for the development of PLC safety applications.
ETFA
Georg Frey, Rainer Drath, Bastian Schlich, Robert Eschbach
2012 — conf
Effiziente Modellierung und Simulation von Kommunikationsnetzen in Modelica.
Echtzeit
Liu Liu, Georg Frey
2012 — conf
Modeling and Simulation of a Wastewater Pumping Plant.
ICINCO (1)
Mohamed Abdelati, Felix Felgner, Georg Frey
2012 — conf
Modeling of Networked Automation Systems for simulation and model checking of time behavior.
SSD
Birgit Vogel-Heuser, Jens Folmer, Georg Frey, Liu Liu, Holger Hermanns, Arnd Hartmanns
2012 C conf
Modeling wastewater pumping stations for cost-efficient control.
ETFA
Mohamed Abdelati, Felix Felgner, Georg Frey
2012 J jnl
Transformation of Function Block Diagrams to UPPAAL timed automata for the verification of safety applications.
Annu. Rev. Control.
Doaa Soliman, Kleanthis Thramboulidis, Georg Frey
2011 C conf
An MDD process for IEC 61131-based industrial automation systems.
ETFA
Kleanthis Thramboulidis, Georg Frey
2011 J jnl
Guest Editorial.
IEEE Trans. Ind. Informatics
Lucia Lo Bello, Georg Frey
2011 C conf
Modeling and control of closed-loop networked PLC-systems.
ACC
Abouelabbas Ghanaim, Georg Frey
2011 — conf
Modeling, Simulation and Control of a Water Recovery and Irrigation System.
ICINCO (1)
Mohamed Abdelati, Felix Felgner, Georg Frey
2011 J jnl
Towards a Model-Driven IEC 61131-Based Development Process in Industrial Automation.
J. Softw. Eng. Appl.
Kleanthis Thramboulidis, Georg Frey
2011 — conf
Towards an automated verification process for industrial safety applications.
CASE
Kleanthis Thramboulidis, Doaa Soliman, Georg Frey
2010 C conf
Comparison of 4 numerical solvers for stiff and hybrid systems simulation.
ETFA
Liu Liu, Felix Felgner, Georg Frey
2009 C conf
Estimating Delays in Networked Control Systems using Colored Petri Nets and Markov Chain Models.
ETFA
Abouelabbas Ghanaim, Geovany Araujo Borges, Georg Frey
2009 J jnl
Modellierung und Simulation vernetzter Automatisierungs- und Regelungssysteme in Modelica (Modeling and Simulation of Networked Automation and Control Systems in Modelica).
Autom.
Georg Frey, Liu Liu
2008 C conf
An IEC 61499 interpretation and implementation focused on usability.
ETFA
Florian Wagner, Joachim Bohl, Georg Frey
2008 C conf
Component based colored Petri net model for Ethernet based networked control systems.
ETFA
Abouelabbas Ghanaim, Georg Frey
2008 C conf
Feasibility analysis for networked control systems by simulation in Modelica.
ETFA
Liu Liu, Georg Frey
2008 C conf
Reactivity analysis of different Networked Automation System architectures.
ETFA
Jürgen Greifeneder, Georg Frey
2007 C conf
Deployment of IEC 61499 compliant distributed control applications.
ETFA
Tanvir Hussain, Georg Frey
2007 C conf
DesLaNAS - a language for describing Networked Automation Systems.
ETFA
Jürgen Greifeneder, Georg Frey
2007 J jnl
Development process for distributed automation systems combining UML and IEC 61499.
Int. J. Manuf. Res.
Seno Darmawan Panjaitan, Georg Frey
2007 C conf
Measuring the impact of vertical integration on response times in ethernet fieldbuses.
ETFA
Bruno Denis, Silvain Ruel, Jean-Marc Faure, Gaëlle Marsal, Georg Frey
2007 C conf
Simulation approach for evaluating response times in networked automation systems.
ETFA
Liu Liu, Georg Frey
2007 C conf
Software quality measures to determine the diagnosability of PLC applications.
ETFA
Mohammed Bani Younis, Georg Frey
2007 J jnl
Wahrscheinlichkeitsbasierte Modellverifikation Netzbasierter Automatisierungssysteme (Probabilistic Model Checking of Networked Automation Systems).
Autom.
Jürgen Greifeneder, Georg Frey
2006 C conf
A Formal Method Based Re-Implementation Concept for PLC Programs and Its Application.
ETFA
Mohammed Bani Younis, Georg Frey
2006 C conf
Combination of UML Modeling and the IEC 61499 Function Block Concept for the Development of Distributed Automation Systems.
ETFA
Seno Darmawan Panjaitan, Georg Frey
2006 A* conf
Designing Generic/reusable Functionality based Controllers for Distributed Control using UML.
ICRA
Seno Darmawan Panjaitan, Georg Frey
2006 C conf
Evaluation of Response Time in Ethernet-based Automation Systems.
ETFA
Gaëlle Marsal, Bruno Denis, Jean-Marc Faure, Georg Frey
2006 C conf
Optimizing Quality of Control in Networked Automation Systems using Probabilistic Models.
ETFA
Jürgen Greifeneder, Georg Frey
2006 C conf
UML-based Development Process for IEC 61499 with Automatic Test-case Generation.
ETFA
Tanvir Hussain, Georg Frey
2005 C conf
Application of symbolic and bounded model checking to the verification of logic control systems.
ETFA
K. Loeis, Mohammed Bani Younis, Georg Frey
2005 — conf
Formalization and Visualization of Non-binary PLC Programs.
CDC/ECC
Mohammed Bani Younis, Georg Frey
2005 A* conf
Migration of a PLC Controller to an IEC 61499 Compliant Distributed Control System: Hands-on Experiences.
ICRA
Tanvir Hussain, Georg Frey
2005 C conf
Probabilistic delay time analysis in networked automation systems.
ETFA
Jürgen Greifeneder, Georg Frey
2004 Misc conf
A Re-Engineering Approach for PLC Programs using Finite Automata and UML.
IRI
Georg Frey, Mohammed Bani Younis
2004 — conf
Developing IEC 61499 compliant distributed systems with network enabled controllers.
RAM
Tanvir Hussain, Georg Frey
2004 — conf
Formalization of PLC programs to sustain reliability.
RAM
Mohammed Bani Younis, Georg Frey
2004 C conf
Visualization of PLC programs using XML.
ACC
Mohammed Bani Younis, Georg Frey
2003 — conf
Hierarchical Design of Logic Controllers Using Signal Interpreted Petri Nets.
ADHS
Georg Frey
2003 — conf
PLC Programming with Signal Interpreted Petri Nets.
ICATPN
Stéphane Klein, Georg Frey, Mark Minas
2002 C conf
Controller design for an FMS using Signal Interpreted Petri Nets and SFC: Validation of both descriptions via model-checking.
ACC
Stéphane Klein, Xiying Weng, Georg Frey, Jean-Jacques Lesage, Lothar Litz
2002 — —
Design and formal analysis of Petri net based logic control algorithms = Entwurf und formale Analyse Petrinetz-basierter Steuerungsalgorithmen.
Georg Frey
2002 — conf
Formal Methods in PLC Control Demonstrated at a Flexible Manufacturing Line.
BASYS
Georg Frey
2002 C conf
Visual PLC-programming using signal interpreted Petri nets.
ACC
Mark Minas, Georg Frey
2001 B conf
Formal verification of PLC programs generated from signal interpreted Petri nets.
SMC
Thomas Mertke, Georg Frey
2000 C conf
Analysis of Petri net based control algorithms - basic properties.
ACC
Georg Frey
2000 C conf
Automatic implementation of Petri net based control algorithms on PLC.
ACC
Georg Frey
2000 B conf
Complexity metrics for Petri net based logic control algorithms.
SMC
Georg Frey, Lothar Litz, Frank Klöckner
2000 C conf
Correctness analysis of Petri net based logic controllers.
ACC
Georg Frey, Lothar Litz
2000 B conf
Formal methods in PLC programming.
SMC
Georg Frey, Lothar Litz
2000 C conf
Transparency analysis of Petri net based logic controllers-a measure for software quality in automation.
ACC
Georg Frey, Lothar Litz
1998 B conf
A senior course on logic process control based on Petri nets.
SMC
Lothar Litz, Georg Frey
1998 B conf
Verification and validation of control algorithms by coupling of interpreted Petri nets.
SMC
Georg Frey, Lothar Litz