Georg Frey
Orcid: 0000-0001-8483-0295
According to our database1,
Georg Frey
authored at least 118 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
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.
Proceedings of the 8th International Conference on Machine Learning Technologies, 2023
Illuminating the Black Box: A Comparative Study of Explainable AI for Interpreting Time Series Data in Vehicle Power Net Consumption Models.
Proceedings of the International Conference on Machine Learning and Applications, 2023
2022
Selection of multicriteria decision analysis methods for electrification projects in rural Sub-Sahara Africa - A case study in Niger.
Proceedings of the IEEE Global Humanitarian Technology Conference, 2022
2021
On Parametrizing Feasible Reconfigurable Systems Under Real-Time, Energy, and Resource Sharing Constraints.
IEEE Trans Autom. Sci. Eng., 2021
Proceedings of the Software Technologies - 16th International Conference, 2021
A Software Framework for Context-aware Secure Intelligent Applications of Distributed Systems.
Proceedings of the 16th International Conference on Software Technologies, 2021
Modeling Methodology for Reconfigurable Distributed Systems using Transformations from GR-UML to GR-TNCES and IEC 61499.
Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, 2021
2020
Reconfiguration Control of Dynamic Reconfigurable Discrete Event Systems Based on NCESs.
IEEE Trans. Control. Syst. Technol., 2020
Guest Editorial Special Section on the 2018 Conference on Automation Science and Engineering (CASE).
IEEE Trans Autom. Sci. Eng., 2020
Inf. Sci., 2020
Scheduling periodic and aperiodic tasks with time, energy harvesting and precedence constraints on multi-core systems.
Inf. Sci., 2020
IEEE Access, 2020
Stochastic Optimization Scheme to Schedule Energy Supply and Demands in an Islanded Microgrid.
Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, 2020
Office Appliances Identification and Monitoring using Deep Leaning based Energy Disaggregation for Smart Buildings.
Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, 2020
Efficient Scheduling of Periodic, Aperiodic, and Sporadic Real-Time Tasks with Deadline Constraints.
Proceedings of the Software Technologies - 15th International Conference, 2020
New Approach for Deadline Calculation of Periodic, Sporadic and Aperiodic Real-time Software Tasks.
Proceedings of the 15th International Conference on Software Technologies, 2020
Hybrid Context-awareness Modelling and Reasoning Approach for Microgrid's Intelligent Control.
Proceedings of the 15th International Conference on Software Technologies, 2020
2019
Multiobjective Optimization Approach for a Portable Development of Reconfigurable Real-Time Systems: From Specification to Implementation.
IEEE Trans. Syst. Man Cybern. Syst., 2019
Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking.
IEEE Trans Autom. Sci. Eng., 2019
Autom., 2019
Modeling and Verification of a Reliable Multi-Agent Solution Promoting the Autonomy and Self-Sufficiency of Microgrids in an Isolated Location.
IEEE Access, 2019
Proceedings of the 6th International Conference on Control, 2019
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
2018
Modeling and simulation of local flexibilities and their effect to the entire power system.
Comput. Sci. Res. Dev., 2018
IEEE Access, 2018
Proceedings of the IEEE International Conference on Industrial Technology, 2018
Using Modelling and Simulation as a Service (MSaaS) for Facilitating Flexibility-based Optimal Operation of Distribution Grids.
Proceedings of the 15th International Conference on Informatics in Control, 2018
Proceedings of the 15th International Conference on Informatics in Control, 2018
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2018
A New Approach for Optimal Implementation of Multi-core Reconfigurable Real-time Systems.
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018
Shortest Legal Firing Sequence of Net Condition/Event Systems Using Integer Linear Programming.
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018
2017
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017
Proceedings of the Software Technologies - 12th International Joint Conference, 2017
Specification Approach using GR-TNCES: Application to an Automotive Transport System.
Proceedings of the 12th International Conference on Software Technologies, 2017
Proceedings of the 12th International Conference on Software Technologies, 2017
Proceedings of the ENASE 2017, 2017
2016
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016
Proceedings of the IECON 2016, 2016
Proceedings of the 13th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2016), 2016
Proceedings of the 13th IEEE/ACS International Conference of Computer Systems and Applications, 2016
Enabling reconfiguration of adaptive control systems using real-time context-aware framework.
Proceedings of the 13th IEEE/ACS International Conference of Computer Systems and Applications, 2016
2015
Proceedings of the Encyclopedia of Systems and Control, 2015
IEEE Trans. Control. Syst. Technol., 2015
Proceedings of the 2015 IEEE International Conference on Smart Grid Communications, 2015
Proceedings of the Software Technologies - 10th International Joint Conference, 2015
Transformation from R-UML to R-TNCES: New Formal Solution for Verification of Flexible Control Systems.
Proceedings of the ICSOFT-PT 2015, 2015
GR-TNCES: New Extensions of R-TNCES for Modelling and Verification of Flexible Systems under Energy and Memory Constraints.
Proceedings of the ICSOFT-EA 2015, 2015
Proceedings of the 2015 IEEE Global Humanitarian Technology Conference, 2015
Proceedings of the Biomedical Engineering Systems and Technologies, 2015
BROS - A New Robotic Platform for the Treatment of Supracondylar Humerus Fracture.
Proceedings of the HEALTHINF 2015, 2015
ZiZo: Modeling, Simulation and Verification of Reconfigurable Real-time Control Tasks Sharing Adaptive Resources - Application to the Medical Project BROS.
Proceedings of the HEALTHINF 2015, 2015
2014
IEEE Trans. Ind. Electron., 2014
"OWLracle" - Predicting the impact of interdisciplinary energy efficiency methods at German universities using BCVTB.
Proceedings of the IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, Dallas, TX, USA, October 29, 2014
Design of distributed energy systems: Role and requirements of modeling and simulation.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014
Re-use of existing simulation models for DCS engineering via the Functional Mock-up Interface.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014
2013
OOAD-Entwicklungsprozess einer Modelica-Bibliothek für vernetzte Automatisierungssysteme.
Autom., 2013
Proceedings of the Funktionale Sicherheit, 2013
Proceedings of the ICINCO 2013 - Proceedings of the 10th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Reykjavík, Iceland, 29, 2013
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013
Proceedings of the Seventh UKSim/AMSS European Modelling Symposium, 2013
2012
Transformation of Function Block Diagrams to UPPAAL timed automata for the verification of safety applications.
Annu. Rev. Control., 2012
Proceedings of the Kommunikation unter Echtzeitbedingungen, 2012
Modeling and Simulation of a Wastewater Pumping Plant.
Proceedings of the ICINCO 2012 - Proceedings of the 9th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Rome, Italy, 28, 2012
"Safety automata" - A new specification language for the development of PLC safety applications.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012
Modeling of Networked Automation Systems for simulation and model checking of time behavior.
Proceedings of the International Multi-Conference on Systems, Signals & Devices, 2012
2011
J. Softw. Eng. Appl., 2011
Modeling, Simulation and Control of a Water Recovery and Irrigation System.
Proceedings of the ICINCO 2011 - Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Noordwijkerhout, The Netherlands, 28, 2011
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011
Proceedings of the American Control Conference, 2011
2010
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010
2009
Modellierung und Simulation vernetzter Automatisierungs- und Regelungssysteme in Modelica (Modeling and Simulation of Networked Automation and Control Systems in Modelica).
Autom., 2009
Estimating Delays in Networked Control Systems using Colored Petri Nets and Markov Chain Models.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009
2008
Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008
Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008
Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008
Component based colored Petri net model for Ethernet based networked control systems.
Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008
2007
Int. J. Manuf. Res., 2007
Wahrscheinlichkeitsbasierte Modellverifikation Netzbasierter Automatisierungssysteme (Probabilistic Model Checking of Networked Automation Systems).
Autom., 2007
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007
Measuring the impact of vertical integration on response times in ethernet fieldbuses.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007
2006
Designing Generic/reusable Functionality based Controllers for Distributed Control using UML.
Proceedings of the 2006 IEEE International Conference on Robotics and Automation, 2006
A Formal Method Based Re-Implementation Concept for PLC Programs and Its Application.
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006
Combination of UML Modeling and the IEC 61499 Function Block Concept for the Development of Distributed Automation Systems.
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006
Optimizing Quality of Control in Networked Automation Systems using Probabilistic Models.
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006
2005
Migration of a PLC Controller to an IEC 61499 Compliant Distributed Control System: Hands-on Experiences.
Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005
Application of symbolic and bounded model checking to the verification of logic control systems.
Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005
Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005
2004
Proceedings of the 2004 IEEE Conference on Robotics, Automation and Mechatronics, 2004
Proceedings of the 2004 IEEE Conference on Robotics, Automation and Mechatronics, 2004
Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004
Proceedings of the 2004 American Control Conference, 2004
2003
Proceedings of the Applications and Theory of Petri Nets 2003, 2003
Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003
2002
Design and formal analysis of Petri net based logic control algorithms = Entwurf und formale Analyse Petrinetz-basierter Steuerungsalgorithmen.
PhD thesis, 2002
Formal Methods in PLC Control Demonstrated at a Flexible Manufacturing Line.
Proceedings of the Knowledge and Technology Integration in Production and Services: Balancing Knowledge in Product and Service Life Cycle, 2002
Proceedings of the American Control Conference, 2002
Controller design for an FMS using Signal Interpreted Petri Nets and SFC: Validation of both descriptions via model-checking.
Proceedings of the American Control Conference, 2002
2001
Proceedings of the IEEE International Conference on Systems, 2001
2000
Proceedings of the IEEE International Conference on Systems, 2000
Proceedings of the IEEE International Conference on Systems, 2000
Transparency analysis of Petri net based logic controllers-a measure for software quality in automation.
Proceedings of the American Control Conference, 2000
Proceedings of the American Control Conference, 2000
Proceedings of the American Control Conference, 2000
Proceedings of the American Control Conference, 2000
1998
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998
Verification and validation of control algorithms by coupling of interpreted Petri nets.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998