Thomas Klotz Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Klotz, Norman Seßler, Bernd Straube, Eva Fordran, Karsten Turek, Jens Schönherr: On the formal verification of routing in material handling systems. CASE 2012: 8-13
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Klotz, Norman Seßler, Bernd Straube, Eva Fordran, Karsten Turek, Jens Schönherr: Compositional verification of material handling systems. ETFA 2012: 1-8
c8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Klotz, Bernd Straube, Eva Fordran, Norman Seßler, Jürgen Haufe, Frank Schulze: Ein Ansatz zur Verifikation von Materialflusssteuerungen. MBMV 2012: 61-71
2011
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Klotz, Bernd Straube, Eva Fordran, Jürgen Haufe, Frank Schulze, Karsten Turek, Thorsten Schmidt: An approach to the verification of material handling systems. ETFA 2011: 1-8
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thilo Vörtler, Thomas Klotz, Eva Fordran, Petra Hofstedt: Formale Verifikation von Contiki-Anwendungen. MBMV 2011: 39-48
2010
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stephan Seidel, Thomas Klotz, Ulrich Donath, Jürgen Haufe: Modelling the real-time behaviour of machine controls using UML statecharts. ETFA 2010: 1-8
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stephan Seidel, Thomas Klotz, Ulrich Donath, Jürgen Haufe: Modellierung des Real-Time-Verhaltens von Steuerungen in der Automatisierungstechnik. MBMV 2010: 157-166
2009
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Frank Rogin, Thomas Klotz, Görschwin Fey, Rolf Drechsler, Steffen Rülke: Advanced verification by automatic property generation. IET Computers & Digital Techniques 3(4): 338-353 (2009)
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Klotz, Eva Fordran, Bernd Straube, Jürgen Haufe: Formal Verification of UML-modeled Machine Controls. ETFA 2009: 1-7
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jürgen Haufe, Ulrich Donath, Eva Fordran, Thomas Klotz, Bernd Straube: Modellierung und Verifikation von Steuerungen in der Automatisierungstechnik. MBMV 2009: 197-206
2008
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Frank Rogin, Thomas Klotz, Görschwin Fey, Rolf Drechsler, Steffen Rülke: Automatic Generation of Complex Properties for Hardware Designs. DATE 2008: 545-548

Coauthor Index

1Ulrich Donath
[c5] [c4] [c2]
2Rolf Drechsler
[j1] [c1]
3Görschwin Fey
[j1] [c1]
4Eva Fordran
[c10] [c9] [c8] [c7] [c6] [c3] [c2]
5Jürgen Haufe
[c8] [c7] [c5] [c4] [c3] [c2]
6Petra Hofstedt
[c6]
7Frank Rogin
[j1] [c1]
8Steffen Rülke
[j1] [c1]
9Thorsten Schmidt
[c7]
10Frank Schulze
[c8] [c7]
11Jens Schönherr
[c10] [c9]
12Stephan Seidel
[c5] [c4]
13Norman Seßler
[c10] [c9] [c8]
14Bernd Straube
[c10] [c9] [c8] [c7] [c3] [c2]
15Karsten Turek
[c10] [c9] [c7]
16Thilo Vörtler
[c6]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 19 04:07:40 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page