J. Greifeneder

Object-oriented engineering data exchange as a base for automatic generation of simulation models

A. Fay, P. Weber, M. Barth, 2009, 2009 35th Annual Conference of IEEE Industrial Electronics.

Determination of delay times in failure afflicted networked automation systems using probabilistic model checking

G. Frey, J. Greifeneder, 2006, 2006 IEEE International Workshop on Factory Communication Systems.