Thomas Klotz

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 7

Top Topics

Embedded Software

Microsoft Windows

Simulation Study

Top Venues

PLoS Comput. Biol.

J. Comput. Sci.

Publications

Benjamin Maier, Dominik Göddeke, Felix Huber, Thomas Klotz, Oliver Röhrle, Miriam Schulte
OpenDiHu: An efficient and scalable framework for biophysical simulations of the neuromuscular system. J. Comput. Sci. 79 (2024)
Laura Schmid, Thomas Klotz, Oliver Röhrle, Randall K. Powers, Francesco Negro, Utku S. Yavuz
Postinhibitory excitation in motoneurons can be facilitated by hyperpolarization-activated inward currents: A simulation study. PLoS Comput. Biol. 20 (1) (2024)
Negin Ghahremani Arekhloo, Siming Zuo, Huxi Wang, Muhammad Imran, Thomas Klotz, Kianoush Nazarpour, Hadi Heidari
Investigating the Volume Conduction Effect in MMG and EMG during Action Potential Recording. ICECS 2022 (2022)
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
Towards realistic HPC models of the neuromuscular system. CoRR (2018)
Thomas Heidlauf, Thomas Klotz, Christian Rode, Tobias Siebert, Oliver Röhrle
A continuum-mechanical skeletal muscle model including actin-titin interaction predicts stable contractions on the descending limb of the force-length relation. PLoS Comput. Biol. 13 (10) (2017)
Thilo Vörtler, Benny Höckner, Petra Hofstedt, Thomas Klotz
Formale Verifikation von eingebetteter Software für das Betriebssystem Contiki unter Berücksichtigung von Interrupts. MBMV (2015)
Thilo Vörtler, Benny Höckner, Petra Hofstedt, Thomas Klotz
Formal Verification of Software for the Contiki Operating System Considering Interrupts. DDECS (2015)
Ronaldo Rodrigues Ferreira, Thomas Klotz, Thilo Vörtler, Jean da Rolt, Gabriel L. Nazar, Álvaro Freitas Moreira, Luigi Carro, Karsten Einwich
Reliable execution of statechart-generated correct embedded software under soft errors. DDECS (2014)
Karin Greimel, Norman Seßler, Thomas Klotz
Model checking specifications of smart cards. IECON (2013)
Thomas Klotz, Jens Schönherr, Norman Seßler, Bernd Straube, Karsten Turek
Automated Formal Verification of Routing in Material Handling Systems. IEEE Trans Autom. Sci. Eng. 10 (4) (2013)
Thomas Klotz, Norman Seßler, Bernd Straube, Eva Fordran, Karsten Turek, Jens Schönherr
Compositional verification of material handling systems. ETFA (2012)
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)
Thomas Klotz, Bernd Straube, Eva Fordran, Norman Seßler, Jürgen Haufe, Frank Schulze
Ein Ansatz zur Verifikation von Materialflusssteuerungen. MBMV (2012)
Thilo Vörtler, Thomas Klotz, Eva Fordran, Petra Hofstedt
Formale Verifikation von Contiki-Anwendungen. MBMV (2011)
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)
Stephan Seidel, Thomas Klotz, Ulrich Donath, Jürgen Haufe
Modellierung des Real-Time-Verhaltens von Steuerungen in der Automatisierungstechnik. MBMV (2010)
Stephan Seidel, Thomas Klotz, Ulrich Donath, Jürgen Haufe
Modelling the real-time behaviour of machine controls using UML statecharts. ETFA (2010)
Frank Rogin, Thomas Klotz, Görschwin Fey, Rolf Drechsler, Steffen Rülke
Advanced verification by automatic property generation. IET Comput. Digit. Tech. 3 (4) (2009)
Thomas Klotz, Eva Fordran, Bernd Straube, Jürgen Haufe
Formal Verification of UML-modeled Machine Controls. ETFA (2009)
Jürgen Haufe, Ulrich Donath, Eva Fordran, Thomas Klotz, Bernd Straube
Modellierung und Verifikation von Steuerungen in der Automatisierungstechnik. MBMV (2009)
Frank Rogin, Thomas Klotz, Görschwin Fey, Rolf Drechsler, Steffen Rülke
Automatic Generation of Complex Properties for Hardware Designs. DATE (2008)