 | 2011 |
|---|
| 27 |       | Kleanthis Thramboulidis,
Doaa Soliman,
Georg Frey:
Towards an automated verification process for industrial safety applications.
CASE 2011: 482-487 |
| 26 |  | Mohamed Abdelati,
Felix Felgner,
Georg Frey:
Modeling, Simulation and Control of a Water Recovery and Irrigation System.
ICINCO (1) 2011: 323-329 |
| 25 | | Lucia Lo Bello,
Georg Frey:
Guest Editorial.
IEEE Trans. Industrial Informatics 7(4): 688 (2011) |
| 24 | | Kleanthis Thramboulidis,
Georg Frey:
Towards a Model-Driven IEC 61131-Based Development Process in Industrial Automation.
JSEA 4(4): 217-226 (2011) |
| 2010 |
|---|
| 23 | | Liu Liu,
Felix Felgner,
Georg Frey:
Comparison of 4 numerical solvers for stiff and hybrid systems simulation.
ETFA 2010: 1-8 |
| 2009 |
|---|
| 22 | | Abouelabbas Ghanaim,
Geovany Borges,
Georg Frey:
Estimating Delays in Networked Control Systems using Colored Petri Nets and Markov Chain Models.
ETFA 2009: 1-6 |
| 21 | | Georg Frey,
Liu Liu:
Modellierung und Simulation vernetzter Automatisierungs- und Regelungssysteme in Modelica (Modeling and Simulation of Networked Automation and Control Systems in Modelica).
Automatisierungstechnik 57(9): 466-476 (2009) |
| 2008 |
|---|
| 20 | | Jürgen Greifeneder,
Georg Frey:
Reactivity analysis of different Networked Automation System architectures.
ETFA 2008: 1031-1038 |
| 19 | | Abouelabbas Ghanaim,
Georg Frey:
Component based colored Petri net model for Ethernet based networked control systems.
ETFA 2008: 1100-1103 |
| 18 | | Florian Wagner,
Joachim Bohl,
Georg Frey:
An IEC 61499 interpretation and implementation focused on usability.
ETFA 2008: 184-191 |
| 17 | | Liu Liu,
Georg Frey:
Feasibility analysis for networked control systems by simulation in Modelica.
ETFA 2008: 729-732 |
| 2007 |
|---|
| 16 | | Jürgen Greifeneder,
Georg Frey:
Wahrscheinlichkeitsbasierte Modellverifikation Netzbasierter Automatisierungssysteme (Probabilistic Model Checking of Networked Automation Systems).
Automatisierungstechnik 55(12): 624-633 (2007) |
| 15 | | S. D. Panjaitan,
Georg Frey:
Development process for distributed automation systems combining UML and IEC 61499.
IJMR 2(1): 1-20 (2007) |
| 2006 |
|---|
| 14 | | Tanvir Hussain,
Georg Frey:
UML-based Development Process for IEC 61499 with Automatic Test-case Generation.
ETFA 2006: 1277-1284 |
| 13 | | Mohammed Bani Younis,
Georg Frey:
A Formal Method Based Re-Implementation Concept for PLC Programs and Its Application.
ETFA 2006: 1340-1347 |
| 12 | | Jürgen Greifeneder,
Georg Frey:
Optimizing Quality of Control in Networked Automation Systems using Probabilistic Models.
ETFA 2006: 372-379 |
| 11 | | Gaëlle Marsal,
Bruno Denis,
Jean-Marc Faure,
Georg Frey:
Evaluation of Response Time in Ethernet-based Automation Systems.
ETFA 2006: 380-387 |
| 10 | | 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 | | K. Loeis,
Mohammed Bani Younis,
Georg Frey:
Application of symbolic and bounded model checking to the verification of logic control systems.
ETFA 2005 |
| 7 | | 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 | | Tanvir Hussain,
Georg Frey:
Developing IEC 61499 compliant distributed systems with network enabled controllers.
RAM 2004: 507-512 |
| 3 | | Mohammed Bani Younis,
Georg Frey:
Formalization of PLC programs to sustain reliability.
RAM 2004: 613-618 |
| 2003 |
|---|
| 2 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page