Anton Hattendorf

According to our database¹, Anton Hattendorf authored at least 3 papers between 2010 and 2012.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2012

Shared memory protection for spatial separation in multicore architectures.

[DOI]

Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

2011

An Invariant Preserving Transformation for PLC Models.

[DOI]

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011

2010

Towards a Property Preserving Transformation from IEC 61131-3 to BIP

[DOI]

CoRR, 2010