Thomas Klotz

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