|
|
|||||
|
|
Session Chair/ CoChair
2012
MATHMOD'12
Session Chair of Mini-Symposium "Modelling and Model Transformation in Automation Technologies" at the 7th Vienna International Conference on Mathematical Modelling (MATHMOD 2012). Vienna, February 15-17, 2012
Review Committees
2012
INCOM'12
Reviewer for: 14th IFAC Symposium on Information Control Problems in Manufacturing
(INCOM 2012).Bucharest, Romania. May 23-25, 2012
2011
iATPA'11
Reviewer for: First Workshop on Industrial Automation Tool
Integration for Engineering Project Automation (iATPA 2011), held in
conjunction with the IEEE International conference on Emerging Technologies and Factory Automation (ETFA 2011). Toulouse, France. September 5-9, 2011
Publications
2012
MAT 2012 held in conjunction with Modellierung 2012
Liyong Yu, Gustavo Quirós, Tina Kraußer, Ulrich Epple.
ACPLT + IEC 61131-3: A Dynamically Reconfigurable Automation Platform
.
In Proceedings of MOD 2012
.
GI - Gesellschaft für Informatik
.
2012
.
[bibTex]
[abstract]
Modellierung 2012
Michael Schlereth, Tina Kraußer.
Platform-Independent Specification of Model Transformations @ Runtime Using Higher-Order Transformations
.
In Proceeding MOD 2012
.
GI - Gesellschaft für Informatik
.
Bamberg, Germany
.
2012
.
[bibTex]
[abstract]
ACE 2012
Tina Kraußer, Lars Evertz, Ulrich Epple.
A Hands-On Laboratory on Industrial Hardware, Process Control and Advanced Automation
.
In Proceedings of ACE 2012
.
IFAC
.
Nizhny Novgorod, Russia
.
2012
.
[bibTex]
[abstract]
INCOM 2012
Tina Kraußer, Henning Mersch, Ulrich Epple.
Rule-based Adaption of Distributed
Automation Systems at Operation Time
.
In Proceedings of INCOM 2012
.
IFAC
.
Bucharest, Romania
.
2012
.
[bibTex]
[abstract]
MATHMOD 2012
Tina Kraußer, Marius Lauder, Michael Schlereth, Ulrich Epple, Andy Schürr.
Integrated Graph Transformations in
Automation Systems
.
In Proceedings of MATHMOD 2012
.
IFAC
.
Vienna, Austria
.
2012
.
[bibTex]
[abstract]
2011
INDIN 2011
Tina Kraußer, Gustavo Quirós.
An IEC-61131-based Rule System for Integrated Automation Engineering: Concept and Case Study
.
In Proceedings of INDIN 2011
.
Caparica, Lisbon, Portugal
.
2011
.
[bibTex]
[abstract]
AUTOMATION 2011
Liyong Yu, Tina Kraußer, Gustavo Quirós.
SFC und Ein durchgängiges Beschreibungsmittel über die Grenzen der Basisautomatisierung hinaus?
.
In Automation 2011 : der 12. Branchentreff der Mess- und Automatisierungstechnik
.
VDI-Berichte 2143
.
p. 347-350
.
VDI/VDE-Gesellschaft für Mess- und Automatisierungstechnik
.
VDI Wissensforum GmbH
.
Düsseldorf, Germany
.
2011
.
[bibTex]
[abstract]
2010
AUTOMATION 2010
Tina Kraußer, Stefan Schmitz, Liyong Yu.
Regelbasierte Vollständigkeitsüberprüfung von Automatisierungslösungen
.
In Automation 2010 : der 11. Branchentreff der Mess- und Automatisierungstechnik ; Kongress Baden-Baden, 15. und 16. Juni 2010
.
VDI-Berichte 2092
.
p. 55-58
.
VDI/VDE-Gesellschaft für Mess- und Automatisierungstechnik
.
VDI Wissensforum GmbH
.
Düsseldorf, Germany
.
2010
.
[bibTex]
[abstract]
2008
AUTOMATION 2008
Tina Kraußer, Ulrich Epple, Christina Haus.
UniFeBu - Ein Universeller Feldbuszugang
.
In Automation 2008 : Lösungen für die Zukunft ; Tagung Baden-Baden, 3. und 4. Juni 2008 ; [mit CD-ROM] / Der Automatisierungskongress in Deutschland. VDI/VDE-Gesellschaft Meß- und Automatisierungstechnik
.
VDI-Berichte 2032
.
p. 309-312
.
VDI/VDE-Gesellschaft für Mess- und Automatisierungstechnik
.
VDI Wissensforum GmbH
.
Düsseldorf, Germany
.
2008
.
[bibTex]
[abstract]
2007
Technical Reports 2007
Tina Kraußer, Heiko Mantel, Henning Sudbrock.
A Probabilistic Justification of the Combining Calculus under the Uniform Scheduler Assumption
.
In Technical Reports 2007
.
Department of Computer Science / RWTH Aachen
.
2007
.
[bibTex]
[abstract]
[document]
LNCS, 4407. Springer
Heiko Mantel, Henning Sudbrock, Tina Kraußer.
Combining Different Proof Techniques for Verifying Information Flow Security
.
In Logic Based Program Synthesis and Transformation (LOPSTR'06)
.
4407
.
Springer
.
2007
.
[bibTex]
2006
LOPSTR 2006
Heiko Mantel, Henning Sudbrock, Tina Kraußer.
Combining Different Proof Techniques for Verifying Information Flow Security
.
In Pre-Proceedings of 16th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2006)
.
p. 85--101
.
Raporta di Ricerca CS-2006-5, Universit{`a} Ca' Foscari Di Venezia
.
2006
.
[bibTex]
[abstract]
[document]
2005
Diploma Thesis
Tina Kraußer.
Monadische Hoare-Logik in Isabelle
.
In Diploma Thesis
.
University of Bremen
.
2005
.
[bibTex]
[document]
