Kathrin Hoffmann

According to our database, Kathrin Hoffmann authored at least 35 papers between 1998 and 2023.

Collaborative distances:

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

2023

Flachheitsbasierte Trajektorienfolgeregelung eines pneumatischen Roboters.

Kathrin Hoffmann, Christian Trapp, Alexander Hildebrandt, Oliver Sawodny

Autom., August, 2023

Camera Placement Optimization for a Novel Modular Robot Tracking System.

Jan Baumgärtner, Bernd Bertschinger, Kathrin Hoffmann, Alexander Puchta, Oliver Sawodny, Stephan Reichelt, Jürgen Fleischer

Proceedings of the 2023 IEEE SENSORS, Vienna, Austria, October 29 - Nov. 1, 2023, 2023

Force/Torque Sensor-Free Online Payload Estimation for a Pneumatically Driven Robot.

Kathrin Hoffmann, Christian Trapp, Alexander Hildebrandt, Oliver Sawodny

Proceedings of the IEEE Conference on Control Technology and Applications, 2023

2022

Comparison of Cascaded and Flatness-Based Control of a Pneumatically-Driven Rotary Joint.

Kathrin Hoffmann, Christian Trapp, Alexander Hildebrandt, Oliver Sawodny

Proceedings of the IEEE Conference on Control Technology and Applications, 2022

2021

On trajectory tracking control of fluid-driven actuators.

Kathrin Hoffmann, Daniel Müller, René Simon, Oliver Sawodny

Autom., 2021

2012

Preface.

Julia Padberg, Kathrin Hoffmann

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

ReConNet: A Tool for Modeling and Simulating with Reconfigurable Place/Transition Nets.

Julia Padberg, Marvin Ede, Gerhard Oelker, Kathrin Hoffmann

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

On Modelling Communication in Ubiquitous Computing Systems using Algebraic Higher Order Nets.

Susann Gottmann, Nico Nachtigall, Kathrin Hoffmann

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

2010

Formal Modeling of Communication Platforms using Reconfigurable Algebraic High-Level Nets.

Tony Modica, Kathrin Hoffmann

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Formalization of Petri Nets with Individual Tokens as Basis for DPO Net Transformations.

Tony Modica, Karsten Gabriel, Kathrin Hoffmann

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks.

Ulrike Golas, Kathrin Hoffmann, Hartmut Ehrig, Alexander Rein, Julia Padberg

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Preface.

Claudia Ermel, Kathrin Hoffmann

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Formal Modeling and Analysis of Mobile Ad Hoc Networks and Communication Based Systems using Graph and Net Technologies.

Kathrin Hoffmann

Bull. EATCS, 2010

2009

Modeling multicasting in communication spaces by reconfigurable high-level Petri nets.

Claudia Ermel, Tony Modica, Enrico Biermann, Hartmut Ehrig, Kathrin Hoffmann

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2009

2008

Composition and Independence of High-Level Net Processes.

Hartmut Ehrig, Kathrin Hoffmann, Karsten Gabriel, Julia Padberg

Proceedings of the First Workshop on Formal Methods for Wireless Systems, 2008

Negative Application Conditions for Reconfigurable Place/Transition Systems.

Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Flexible Modeling of Emergency Scenarios using Reconfigurable Systems.

Kathrin Hoffmann, Hartmut Ehrig, Julia Padberg

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Layered Architecture Consistency for MANETs: Introducing New Team Members.

Enrico Biermann, Kathrin Hoffmann, Julia Padberg

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Transformations in Reconfigurable Place/Transition Systems.

Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg

Proceedings of the Concurrency, 2008

2007

Formal Modeling and Analysis of Flexible Processes in Mobile Ad-Hoc Networks.

Julia Padberg, Hartmut Ehrig, Kathrin Hoffmann

Bull. EATCS, 2007

Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks.

Julia Padberg, Kathrin Hoffmann, Hartmut Ehrig, Tony Modica, Enrico Biermann, Claudia Ermel

Proceedings of the Fundamental Approaches to Software Engineering, 2007

Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems.

Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006

Applying algebraic approaches for modeling workflows and their transformations in mobile networks.

Paolo Bottoni, Fabio De Rosa, Kathrin Hoffmann, Massimo Mecella

Mob. Inf. Syst., 2006

Termination of Algebraic Rewriting with Inhibitors.

Paolo Bottoni, Kathrin Hoffmann, Francesco Parisi-Presicce

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

2005

Formal approach and applications of algebraic higher-order nets.

Kathrin Hoffmann

PhD thesis, 2005

High-level replacement units and their termination properties.

Paolo Bottoni, Kathrin Hoffmann, Francesco Parisi-Presicce, Gabriele Taentzer

J. Vis. Lang. Comput., 2005

High-Level Nets with Nets and Rules as Tokens.

Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski

Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2004

Higher-Order Nets for Mobile Policies.

Kathrin Hoffmann, Till Mossakowski, Francesco Parisi-Presicce

Proceedings of the Workshop on Petri Nets and Graph Transformations, 2004

Transformations of Petri Nets.

Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg

Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques, 2004

2003

Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets.

Kathrin Hoffmann

Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

2002

Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens.

Kathrin Hoffmann, Till Mossakowski

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

High-Level Net Processes.

Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel

Proceedings of the Formal and Natural Computing, 2002

2001

Flexible Modellierung mit Algebraischen Higher Order Netzen.

Kathrin Hoffmann

Proceedings of the Modellierung 2001, 2001

2000

Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems.

Julia Padberg, Kathrin Hoffmann, Magdalena Gajewsky

Proceedings of the Fundamental Approaches to Software Engineering, 2000

1998

Incremental Development of Safety Properties in Petri Net Transformations.

Julia Padberg, Magdalena Gajewsky, Kathrin Hoffmann

Proceedings of the Theory and Application of Graph Transformations, 1998