Skip to content

Georg Frey

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

62

Venues

11

Active years

1998–2023

Best venue rank

A*

Where they publish

Papers

62 indexed papers, newest first.

YearVenueTitleAuthors
2023ICMLAIlluminating the Black Box: A Comparative Study of Explainable AI for Interpreting Time Series Data in Vehicle Power Net Consumption Models.Julian Mller, Lukas Czekalla, Florian Schuchter, Georg Frey
2021ENASEModeling Methodology for Reconfigurable Distributed Systems using Transformations from GR-UML to GR-TNCES and IEC 61499.Soumoud Fkaier, Mohamed Khalgui, Georg Frey
2021ICSoftA Software Framework for Context-aware Secure Intelligent Applications of Distributed Systems.Soumoud Fkaier, Mohamed Khalgui, Georg Frey
2021ICSoftSoftware Framework of Context-Aware Reconfigurable Secure Smart Grids.Soumoud Fkaier, Mohamed Khalgui, Georg Frey
2020ICSoftHybrid Context-awareness Modelling and Reasoning Approach for Microgrid's Intelligent Control.Soumoud Fkaier, Mohamed Khalgui, Georg Frey
2020ICSoftNew Approach for Deadline Calculation of Periodic, Sporadic and Aperiodic Real-time Software Tasks.Aicha Goubaa, Mohamed Khalgui, Georg Frey, Zhiwu Li
2020ICSoftEfficient Scheduling of Periodic, Aperiodic, and Sporadic Real-Time Tasks with Deadline Constraints.Aicha Goubaa, Mohamed Khalgui, Georg Frey, Zhiwu Li
2020IECONOffice 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
2020IECONStochastic Optimization Scheme to Schedule Energy Supply and Demands in an Islanded Microgrid.Daud Mustafa Minhas, Georg Frey
2019CoDITOptimal Scheduling of Energy Supply Entities in Home Area Power Network.Daud Mustafa Minhas, Georg Frey
2018ENASEA New Approach for Optimal Implementation of Multi-core Reconfigurable Real-time Systems.Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Georg Frey
2018ENASEPortable Synthesis of Multi-core Real-Time Systems with Reconfiguration Constraints.Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Georg Frey
2018ICINCOScheduling Smart Loads in Modern Buildings based on Metaheuristic Optimization.Mohammed Hijjo, Georg Frey
2018ICINCOUsing Modelling and Simulation as a Service (MSaaS) for Facilitating Flexibility-based Optimal Operation of Distribution Grids.Moritz Stber, Lukas Exel, Georg Frey
2017ENASEContext-awareness Meta-model for Reconfigurable Control Systems.Soumoud Fkaier, Mohamed Romdhani, Mohamed Khalgui, Georg Frey
2017ICSoftNew Verification Approach for Reconfigurable Distributed Systems.Oussama Khlifi, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
2017ICSoftSpecification Approach using GR-TNCES: Application to an Automotive Transport System.Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
2017ICSoftFrom Specification to Implementation of an Automotive Transport System.Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
2017IECONReal-time power balancing in photovoltaic-integrated smart micro-grid.Daud Mustafa Minhas, Raja Rehan Khalid, Georg Frey
2016AICCSAEnabling reconfiguration of adaptive control systems using real-time context-aware framework.Soumoud Fkaier, Mohamed Romdhani, Mohamed Khalgui, Georg Frey
2016AICCSAReconfigurable function blocks: Extension to the standard IEC 61499.Safa Guellouz, Adel Benzina, Mohamed Khalgui, Georg Frey
2016ICINCOModeling and Simulation of an Energy Efficient Skid Conveyor using ZIZO.Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
2016IECONThermoelectric power generation: Peltier element versus thermoelectric generator.Marco Nesarajah, Georg Frey
2015ICSoftGR-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
2015ICSoftTransformation 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
2015ICSoftR-UML: An UML Profile for Verification of Flexible Control Systems.Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
2014ETFARe-use of existing simulation models for DCS engineering via the Functional Mock-up Interface.Lukas Exel, Georg Frey, Gerrit Wolf, Mathias Oppelt
2014ETFADesign of distributed energy systems: Role and requirements of modeling and simulation.Felix Felgner, Josef Meiers, Lukas Exel, Georg Frey
2014IECON"OWLracle" - Predicting the impact of interdisciplinary energy efficiency methods at German universities using BCVTB.Philipp Bauer, Christian Siegwart, Felix Felgner, Georg Frey
2013ETFAEnergy engineering in the virtual factory.Pascal Stoffels, Wassim Mohamed Boussahel, Michael Vielhaber, Georg Frey
2013ICINCOComponent Oriented Modeling of Biomass Incineration Plants.Fethi Belkhir, Christian Gierend, Georg Frey
2012ETFAModeling wastewater pumping stations for cost-efficient control.Mohamed Abdelati, Felix Felgner, Georg Frey
2012ETFA"Safety automata" - A new specification language for the development of PLC safety applications.Georg Frey, Rainer Drath, Bastian Schlich, Robert Eschbach
2012ICINCOModeling and Simulation of a Wastewater Pumping Plant.Mohamed Abdelati, Felix Felgner, Georg Frey
2011ETFAAn MDD process for IEC 61131-based industrial automation systems.Kleanthis Thramboulidis, Georg Frey
2011ICINCOModeling, Simulation and Control of a Water Recovery and Irrigation System.Mohamed Abdelati, Felix Felgner, Georg Frey
2010ETFAComparison of 4 numerical solvers for stiff and hybrid systems simulation.Liu Liu, Felix Felgner, Georg Frey
2009ETFAEstimating Delays in Networked Control Systems using Colored Petri Nets and Markov Chain Models.Abouelabbas Ghanaim, Geovany Araujo Borges, Georg Frey
2008ETFAComponent based colored Petri net model for Ethernet based networked control systems.Abouelabbas Ghanaim, Georg Frey
2008ETFAReactivity analysis of different Networked Automation System architectures.Jrgen Greifeneder, Georg Frey
2008ETFAFeasibility analysis for networked control systems by simulation in Modelica.Liu Liu, Georg Frey
2008ETFAAn IEC 61499 interpretation and implementation focused on usability.Florian Wagner, Joachim Bohl, Georg Frey
2007ETFAMeasuring the impact of vertical integration on response times in ethernet fieldbuses.Bruno Denis, Silvain Ruel, Jean-Marc Faure, Galle Marsal, Georg Frey
2007ETFADesLaNAS - a language for describing Networked Automation Systems.Jrgen Greifeneder, Georg Frey
2007ETFADeployment of IEC 61499 compliant distributed control applications.Tanvir Hussain, Georg Frey
2007ETFASimulation approach for evaluating response times in networked automation systems.Liu Liu, Georg Frey
2007ETFASoftware quality measures to determine the diagnosability of PLC applications.Mohammed Bani Younis, Georg Frey
2006ETFAOptimizing Quality of Control in Networked Automation Systems using Probabilistic Models.Jrgen Greifeneder, Georg Frey
2006ETFAUML-based Development Process for IEC 61499 with Automatic Test-case Generation.Tanvir Hussain, Georg Frey
2006ETFAEvaluation of Response Time in Ethernet-based Automation Systems.Galle Marsal, Bruno Denis, Jean-Marc Faure, Georg Frey
2006ETFACombination of UML Modeling and the IEC 61499 Function Block Concept for the Development of Distributed Automation Systems.Seno Darmawan Panjaitan, Georg Frey
2006ETFAA Formal Method Based Re-Implementation Concept for PLC Programs and Its Application.Mohammed Bani Younis, Georg Frey
2006ICRADesigning Generic/reusable Functionality based Controllers for Distributed Control using UML.Seno Darmawan Panjaitan, Georg Frey
2005ETFAProbabilistic delay time analysis in networked automation systems.Jrgen Greifeneder, Georg Frey
2005ETFAApplication of symbolic and bounded model checking to the verification of logic control systems.K. Loeis, Mohammed Bani Younis, Georg Frey
2005ICRAMigration of a PLC Controller to an IEC 61499 Compliant Distributed Control System: Hands-on Experiences.Tanvir Hussain, Georg Frey
2004IRIA Re-Engineering Approach for PLC Programs using Finite Automata and UML.Georg Frey, Mohammed Bani Younis
2001SMCFormal verification of PLC programs generated from signal interpreted Petri nets.Thomas Mertke, Georg Frey
2000SMCFormal methods in PLC programming.Georg Frey, Lothar Litz
2000SMCComplexity metrics for Petri net based logic control algorithms.Georg Frey, Lothar Litz, Frank Klckner
1998SMCVerification and validation of control algorithms by coupling of interpreted Petri nets.Georg Frey, Lothar Litz
1998SMCA senior course on logic process control based on Petri nets.Lothar Litz, Georg Frey