Automatic Generation of Complex Properties for Hardware Designs. - Frank Rogin; Thomas Klotz; Görschwin Fey; Rolf Drechsler; Steffen Rülke (DATE, 2008)

Formal Verification of UML-modeled Machine Controls. - Thomas Klotz; Eva Fordran; Bernd Straube; Jürgen Haufe (ETFA, 2009)

Modellierung und Verifikation von Steuerungen in der Automatisierungstechnik. - Jürgen Haufe; Ulrich Donath; Eva Fordran; Thomas Klotz; Bernd Straube (MBMV, 2009)

Advanced verification by automatic property generation. - Frank Rogin; Thomas Klotz; Görschwin Fey; Rolf Drechsler; Steffen Rülke (IET Comput. Digit. Tech., 2009)

Modelling the real-time behaviour of machine controls using UML statecharts. - Stephan Seidel; Thomas Klotz; Ulrich Donath; Jürgen Haufe (ETFA, 2010)

Modellierung des Real-Time-Verhaltens von Steuerungen in der Automatisierungstechnik. - Stephan Seidel; Thomas Klotz; Ulrich Donath; Jürgen Haufe (MBMV, 2010)

An approach to the verification of material handling systems. - Thomas Klotz; Bernd Straube; Eva Fordran; Jürgen Haufe; Frank Schulze; Karsten Turek; Thorsten Schmidt (ETFA, 2011)

Formale Verifikation von Contiki-Anwendungen. - Thilo Vörtler; Thomas Klotz; Eva Fordran; Petra Hofstedt (MBMV, 2011)

On the formal verification of routing in material handling systems. - Thomas Klotz; Norman Seßler; Bernd Straube; Eva Fordran; Karsten Turek; Jens Schönherr (CASE, 2012)

Compositional verification of material handling systems. - Thomas Klotz; Norman Seßler; Bernd Straube; Eva Fordran; Karsten Turek; Jens Schönherr (ETFA, 2012)

Ein Ansatz zur Verifikation von Materialflusssteuerungen. - Thomas Klotz; Bernd Straube; Eva Fordran; Norman Seßler; Jürgen Haufe; Frank Schulze (MBMV, 2012)

Model checking specifications of smart cards. - Karin Greimel; Norman Seßler; Thomas Klotz (IECON, 2013)

Automated Formal Verification of Routing in Material Handling Systems. - Thomas Klotz; Jens Schönherr; Norman Seßler; Bernd Straube; Karsten Turek (IEEE Trans Autom. Sci. Eng., 2013)

Reliable execution of statechart-generated correct embedded software under soft errors. - Ronaldo Rodrigues Ferreira; Thomas Klotz; Thilo Vörtler; Jean da Rolt; Gabriel L. Nazar; Álvaro Freitas Moreira; Luigi Carro; Karsten Einwich (DDECS, 2014)

Formal Verification of Software for the Contiki Operating System Considering Interrupts. - Thilo Vörtler; Benny Höckner; Petra Hofstedt; Thomas Klotz (DDECS, 2015)

Formale Verifikation von eingebetteter Software für das Betriebssystem Contiki unter Berücksichtigung von Interrupts. - Thilo Vörtler; Benny Höckner; Petra Hofstedt; Thomas Klotz (MBMV, 2015)

A continuum-mechanical skeletal muscle model including actin-titin interaction predicts stable contractions on the descending limb of the force-length relation. - Thomas Heidlauf; Thomas Klotz; Christian Rode; Tobias Siebert; Oliver Röhrle (PLoS Comput. Biol., 2017)

Towards realistic HPC models of the neuromuscular system. - Chris Bradley; Nehzat Emamy; Thomas Ertl; Dominik Göddeke; Andreas Hessenthaler; Thomas Klotz; Aaron Krämer; Michael Krone; Benjamin Maier; Miriam Mehl; Tobias Rau; Oliver Röhrle (CoRR, 2018)

Investigating the Volume Conduction Effect in MMG and EMG during Action Potential Recording. - Negin Ghahremani Arekhloo; Siming Zuo; Huxi Wang; Muhammad Imran 008; Thomas Klotz; Kianoush Nazarpour; Hadi Heidari (ICECS 2022, 2022)

OpenDiHu: An efficient and scalable framework for biophysical simulations of the neuromuscular system. - Benjamin Maier; Dominik Göddeke; Felix Huber; Thomas Klotz; Oliver Röhrle; Miriam Schulte (J. Comput. Sci., 2024)

Postinhibitory excitation in motoneurons can be facilitated by hyperpolarization-activated inward currents: A simulation study. - Laura Schmid; Thomas Klotz; Oliver Röhrle; Randall K. Powers; Francesco Negro; Utku S. Yavuz (PLoS Comput. Biol., 2024)