Tina Kraußer

According to our database, Tina Kraußer authored at least 4 papers between 2006 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2012

IEC 61131-3 + ACPLT = Dynamic Reconfigurable Models.

Liyong Yu, Gustavo Quiros, Tina Krausser, Ulrich Epple

Softwaretechnik-Trends, 2012

A Hands-On Laboratory on Industrial Hardware, Process Control and Advanced Automation.

Tina Krausser, Lars Evertz, Ulrich Epple

Proceedings of the 9th IFAC Symposium Advances in Control Education, 2012

Platform-Independent Specification of Model Transformations @ Runtime Using Higher-Order Transformations.

Michael Schlereth, Tina Krausser

Proceedings of the Modellierung 2012, 14.-16. März 2012, Bamberg, Deutschland, 2012

2006

Combining Different Proof Techniques for Verifying Information Flow Security.

Heiko Mantel, Henning Sudbrock, Tina Kraußer

Proceedings of the Logic-Based Program Synthesis and Transformation, 2006