2008 |
19 | EE | Jürgen Greifeneder,
Georg Frey:
Reactivity analysis of different Networked Automation System architectures.
ETFA 2008: 1031-1038 |
18 | EE | Abouelabbas Ghanaim,
Georg Frey:
Component based colored Petri net model for Ethernet based networked control systems.
ETFA 2008: 1100-1103 |
17 | EE | Florian Wagner,
Joachim Bohl,
Georg Frey:
An IEC 61499 interpretation and implementation focused on usability.
ETFA 2008: 184-191 |
16 | EE | Liu Liu,
Georg Frey:
Feasibility analysis for networked control systems by simulation in Modelica.
ETFA 2008: 729-732 |
2007 |
15 | EE | S. D. Panjaitan,
Georg Frey:
Development process for distributed automation systems combining UML and IEC 61499.
IJMR 2(1): 1-20 (2007) |
2006 |
14 | EE | Tanvir Hussain,
Georg Frey:
UML-based Development Process for IEC 61499 with Automatic Test-case Generation.
ETFA 2006: 1277-1284 |
13 | EE | Mohammed Bani Younis,
Georg Frey:
A Formal Method Based Re-Implementation Concept for PLC Programs and Its Application.
ETFA 2006: 1340-1347 |
12 | EE | Jürgen Greifeneder,
Georg Frey:
Optimizing Quality of Control in Networked Automation Systems using Probabilistic Models.
ETFA 2006: 372-379 |
11 | EE | Gaelle Marsal,
Bruno Denis,
Jean-Marc Faure,
Georg Frey:
Evaluation of Response Time in Ethernet-based Automation Systems.
ETFA 2006: 380-387 |
10 | EE | Seno Panjaitan,
Georg Frey:
Combination of UML Modeling and the IEC 61499 Function Block Concept for the Development of Distributed Automation Systems.
ETFA 2006: 766-773 |
9 | | Seno Panjaitan,
Georg Frey:
Designing Generic/reusable Functionality based Controllers for Distributed Control using UML.
ICRA 2006: 321-326 |
2005 |
8 | EE | K. Loeis,
Mohammed Bani Younis,
Georg Frey:
Application of symbolic and bounded model checking to the verification of logic control systems.
ETFA 2005 |
7 | EE | Jürgen Greifeneder,
Georg Frey:
Probabilistic delay time analysis in networked automation systems.
ETFA 2005 |
6 | | Tanvir Hussain,
Georg Frey:
Migration of a PLC Controller to an IEC 61499 Compliant Distributed Control System: Hands-on Experiences.
ICRA 2005: 3984-3989 |
2004 |
5 | | Georg Frey,
Mohammed Bani Younis:
A Re-Engineering Approach for PLC Programs using Finite Automata and UML.
IRI 2004: 24-29 |
4 | EE | Tanvir Hussain,
Georg Frey:
Developing IEC 61499 compliant distributed systems with network enabled controllers.
RAM 2004: 507-512 |
3 | EE | Mohammed Bani Younis,
Georg Frey:
Formalization of PLC programs to sustain reliability.
RAM 2004: 613-618 |
2003 |
2 | EE | Stéphane Klein,
Georg Frey,
Mark Minas:
PLC Programming with Signal Interpreted Petri Nets.
ICATPN 2003: 440-449 |
2002 |
1 | | Georg Frey:
Formal Methods in PLC Control Demonstrated at a Flexible Manufacturing Line.
BASYS 2002: 501-508 |