Thomas Klotz

According to our database, Thomas Klotz authored at least 21 papers between 2008 and 2024.

Collaborative distances:

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

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., January, 2024

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

2022

Investigating the Volume Conduction Effect in MMG and EMG during Action Potential Recording.

Negin Ghahremani Arekhloo, Siming Zuo, Huxi Wang, Muhammad Imran, Thomas Klotz, Kianoush Nazarpour, Hadi Heidari

Proceedings of the 29th IEEE International Conference on Electronics, Circuits and Systems, 2022

2018

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

2017

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

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

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2015

Formal Verification of Software for the Contiki Operating System Considering Interrupts.

Thilo Vörtler, Benny Höckner, Petra Hofstedt, Thomas Klotz

Proceedings of the 18th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2015

2014

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

Proceedings of the 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2014

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

Model checking specifications of smart cards.

Karin Greimel, Norman Seßler, Thomas Klotz

Proceedings of the IECON 2013, 2013

2012

Ein Ansatz zur Verifikation von Materialflusssteuerungen.

Thomas Klotz, Bernd Straube, Eva Fordran, Norman Seßler, Jürgen Haufe, Frank Schulze

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2012

Compositional verification of material handling systems.

Thomas Klotz, Norman Seßler, Bernd Straube, Eva Fordran, Karsten Turek, Jens Schönherr

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

On the formal verification of routing in material handling systems.

Thomas Klotz, Norman Seßler, Bernd Straube, Eva Fordran, Karsten Turek, Jens Schönherr

Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

2011

Formale Verifikation von Contiki-Anwendungen.

Thilo Vörtler, Thomas Klotz, Eva Fordran, Petra Hofstedt

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

An approach to the verification of material handling systems.

Thomas Klotz, Bernd Straube, Eva Fordran, Jürgen Haufe, Frank Schulze, Karsten Turek, Thorsten Schmidt

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

2010

Modellierung des Real-Time-Verhaltens von Steuerungen in der Automatisierungstechnik.

Stephan Seidel, Thomas Klotz, Ulrich Donath, Jürgen Haufe

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010

Modelling the real-time behaviour of machine controls using UML statecharts.

Stephan Seidel, Thomas Klotz, Ulrich Donath, Jürgen Haufe

Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

2009

Advanced verification by automatic property generation.

Frank Rogin, Thomas Klotz, Görschwin Fey, Rolf Drechsler, Steffen Rülke

IET Comput. Digit. Tech., 2009

Modellierung und Verifikation von Steuerungen in der Automatisierungstechnik.

Jürgen Haufe, Ulrich Donath, Eva Fordran, Thomas Klotz, Bernd Straube

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2009

Formal Verification of UML-modeled Machine Controls.

Thomas Klotz, Eva Fordran, Bernd Straube, Jürgen Haufe

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

2008

Automatic Generation of Complex Properties for Hardware Designs.

Frank Rogin, Thomas Klotz, Görschwin Fey, Rolf Drechsler, Steffen Rülke

Proceedings of the Design, Automation and Test in Europe, 2008