Kathrin Hoffmann

39 papers B 3C 1Journal 18Unranked 16
YearRankTypeTitle / Venue / Authors
2025 — conf
Sampling-based Near Time-Optimal Trajectory Generation for Pneumatic Drives.
CASE
Kathrin Hoffmann, Michaela Baumgart, Gajanan Kanagalingam, Alexander Verl, Oliver Sawodny
2024 C conf
Quasi Time-Optimal Path Tracking for Pneumatic Robots Considering Third-Order Actuator Constraints.
ACC
Gajanan Kanagalingam, Kathrin Hoffmann, Jan Baumgärtner, Bernd Bertschinger, Stephan Reichelt, Jürgen Fleischer, Oliver Sawodny
2024 — conf
Quasi Time-Optimal Trajectory Generation for Pneumatic Drives Considering their Actuator Dynamics and Constraints.
AIM
Yuan-Jen Huang, Kathrin Hoffmann, Gajanan Kanagalingam, Christian Trapp, Alexander Hildebrandt, Oliver Sawodny
2023 — conf
Camera Placement Optimization for a Novel Modular Robot Tracking System.
SENSORS
Jan Baumgärtner, Bernd Bertschinger, Kathrin Hoffmann, Alexander Puchta, Oliver Sawodny, Stephan Reichelt, Jürgen Fleischer
2023 J jnl
Flachheitsbasierte Trajektorienfolgeregelung eines pneumatischen Roboters.
Autom.
Kathrin Hoffmann, Christian Trapp, Alexander Hildebrandt, Oliver Sawodny
2023 — conf
Force/Torque Sensor-Free Online Payload Estimation for a Pneumatically Driven Robot.
CCTA
Kathrin Hoffmann, Christian Trapp, Alexander Hildebrandt, Oliver Sawodny
2022 — conf
Comparison of Cascaded and Flatness-Based Control of a Pneumatically-Driven Rotary Joint.
CCTA
Kathrin Hoffmann, Christian Trapp, Alexander Hildebrandt, Oliver Sawodny
2021 J jnl
On trajectory tracking control of fluid-driven actuators.
Autom.
Kathrin Hoffmann, Daniel Müller, René Simon, Oliver Sawodny
2012 J jnl
On Modelling Communication in Ubiquitous Computing Systems using Algebraic Higher Order Nets.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Susann Gottmann, Nico Nachtigall, Kathrin Hoffmann
2012 J jnl
Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Julia Padberg, Kathrin Hoffmann
2012 J jnl
ReConNet: A Tool for Modeling and Simulating with Reconfigurable Place/Transition Nets.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Julia Padberg, Marvin Ede, Gerhard Oelker, Kathrin Hoffmann
2010 J jnl
Formal Modeling and Analysis of Mobile Ad Hoc Networks and Communication Based Systems using Graph and Net Technologies.
Bull. EATCS
Kathrin Hoffmann
2010 J jnl
Formal Modeling of Communication Platforms using Reconfigurable Algebraic High-Level Nets.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Tony Modica, Kathrin Hoffmann
2010 J jnl
Formalization of Petri Nets with Individual Tokens as Basis for DPO Net Transformations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Tony Modica, Karsten Gabriel, Kathrin Hoffmann
2010 J jnl
Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Ulrike Golas, Kathrin Hoffmann, Hartmut Ehrig, Alexander Rein, Julia Padberg
2010 J jnl
Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Claudia Ermel, Kathrin Hoffmann
2009 B conf
Modeling multicasting in communication spaces by reconfigurable high-level Petri nets.
VL/HCC
Claudia Ermel, Tony Modica, Enrico Biermann, Hartmut Ehrig, Kathrin Hoffmann
2008 — conf
Composition and Independence of High-Level Net Processes.
FMWS@CONCUR
Hartmut Ehrig, Kathrin Hoffmann, Karsten Gabriel, Julia Padberg
2008 J jnl
Flexible Modeling of Emergency Scenarios using Reconfigurable Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Kathrin Hoffmann, Hartmut Ehrig, Julia Padberg
2008 J jnl
Layered Architecture Consistency for MANETs: Introducing New Team Members.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Enrico Biermann, Kathrin Hoffmann, Julia Padberg
2008 J jnl
Negative Application Conditions for Reconfigurable Place/Transition Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg
2008 J jnl
Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Kathrin Hoffmann, Julia Padberg
2008 — conf
Transformations in Reconfigurable Place/Transition Systems.
Concurrency, Graphs and Models
Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg
2007 J jnl
Formal Modeling and Analysis of Flexible Processes in Mobile Ad-Hoc Networks.
Bull. EATCS
Julia Padberg, Hartmut Ehrig, Kathrin Hoffmann
2007 — conf
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems.
ICATPN
Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel
2007 B conf
Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks.
FASE
Julia Padberg, Kathrin Hoffmann, Hartmut Ehrig, Tony Modica, Enrico Biermann, Claudia Ermel
2006 J jnl
Applying algebraic approaches for modeling workflows and their transformations in mobile networks.
Mob. Inf. Syst.
Paolo Bottoni, Fabio De Rosa, Kathrin Hoffmann, Massimo Mecella
2006 J jnl
Termination of Algebraic Rewriting with Inhibitors.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Paolo Bottoni, Kathrin Hoffmann, Francesco Parisi-Presicce
2005 — —
Formal approach and applications of algebraic higher-order nets.
Kathrin Hoffmann
2005 — conf
High-Level Nets with Nets and Rules as Tokens.
ICATPN
Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski
2005 J jnl
High-level replacement units and their termination properties.
J. Vis. Lang. Comput.
Paolo Bottoni, Kathrin Hoffmann, Francesco Parisi-Presicce, Gabriele Taentzer
2004 — conf
Higher-Order Nets for Mobile Policies.
PNGT@ICGT
Kathrin Hoffmann, Till Mossakowski, Francesco Parisi-Presicce
2004 — conf
Transformations of Petri Nets.
FoVMT
Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg
2003 — conf
Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets.
Petri Net Technology for Communication-Based Systems
Kathrin Hoffmann
2002 — conf
Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens.
WADT
Kathrin Hoffmann, Till Mossakowski
2002 — conf
High-Level Net Processes.
Formal and Natural Computing
Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel
2001 — conf
Flexible Modellierung mit Algebraischen Higher Order Netzen.
Modellierung
Kathrin Hoffmann
2000 B conf
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems.
FASE
Julia Padberg, Kathrin Hoffmann, Magdalena Gajewsky
1998 — conf
Incremental Development of Safety Properties in Petri Net Transformations.
TAGT
Julia Padberg, Magdalena Gajewsky, Kathrin Hoffmann