Points-To Analysis of IEC 61131-3 Programs: Implementation and Application

Angerer, Florian; Prähofer, Herbert; Ramler, Rudolf; Grillenberger, Friedrich

doi:10.1109/ETFA.2013.6648062

by Angerer, Florian, Prähofer, Herbert, Ramler, Rudolf and Grillenberger, Friedrich

Reference:

Angerer, Florian, Prähofer, Herbert, Ramler, Rudolf and Grillenberger, Friedrich: Points-To Analysis of IEC 61131-3 Programs: Implementation and Application, in Proceedings 18th IEEE International Conference on Emerging Technologies & Factory Automation, 2013.

Bibtex Entry:

@Conference{Angerer2013a,
  Title                    = {Points-To Analysis of IEC 61131-3 Programs: Implementation and Application},
  Author                   = {Angerer, Florian and Prähofer, Herbert and Ramler, Rudolf and Grillenberger, Friedrich},
  Booktitle                = {Proceedings 18th IEEE International Conference on Emerging Technologies \& Factory Automation},
  Year                     = {2013},
  Address                  = {Cagliari, Italia},
  Pages                    = {1-8},
ISSN={1946-0740}, 
  Doi                      = {10.1109/ETFA.2013.6648062},
  Keywords                 = {CD Lab MEVSS}
}