C. Popescu

Modelling interaction-aware services from an orchestration viewpoint

C. Popescu, J. Lastra, 2008, 2008 6th IEEE International Conference on Industrial Informatics.

On Reachable State Space Reduction for Formal Validation of Scan-based Systems

A. Lobov, J.L.M. Lastra, C. Popescu, 2006, 2006 4th IEEE International Conference on Industrial Informatics.

Verification of the Consistency of Timing Constraints of the Orchestration of Factory Automation Web Services

J.L.M. Lastra, C. Popescu, 2007, 2007 5th IEEE International Conference on Industrial Informatics.

An Approach To Computing All Cycles in a Graph

A. Lobov, J.L.M. Lastra, C. Popescu, 2006, 2006 4th IEEE International Conference on Industrial Informatics.