| 2008 |
|---|
| 5 | EE | Juha Puttonen,
Andrei Lobov,
Jose L. Martinez Lastra:
An application of BPEL for service orchestration in an industrial environment.
ETFA 2008: 530-537 |
| 2006 |
|---|
| 4 | EE | Andrei Lobov,
Corina Popescu,
Jose L. Martinez Lastra:
An Algorithm for Siemens STL representation in TNCES.
ETFA 2006: 641-647 |
| 3 | EE | Hans-Michael Hanisch,
Andrei Lobov,
Jose L. Martinez Lastra,
Reijo Tuokko,
Valeriy Vyatkin:
Formal validation of intelligent-automated production systems: towards industrial applications.
IJMTM 8(1/2/3): 75-106 (2006) |
| 2005 |
|---|
| 2 | EE | Jose L. Martinez Lastra,
Andrei Lobov,
L. Godinho:
Closed loop control using an IEC 61499 application generator for scan-based controllers.
ETFA 2005 |
| 1 | EE | Andrei Lobov,
Jose L. Martinez Lastra,
Reijo Tuokko:
On controller and plant modeling for model-based formal verification.
ETFA 2005 |
