Angelika Mader

Papers

Total Citations

H-Index

About

Angelika Mader is a researcher whose work bridges formal methods in computer science with innovative applications in wearable technology and sustainable design. Her primary research areas include process algebra, real-time systems modeling, and haptic feedback systems for wearable robotics. Mader made significant contributions to the formal analysis of embedded control systems, notably through her work on schedulability analysis of timed CSP models using the PAT model checker (2012, 5 citations), which advanced the practical verification of real-time concurrent behavior in resource-constrained environments. She also authored foundational educational texts on process algebra, including "Prozessalgebra, Teil 1" (2003, 2 citations), which introduced core concepts of algebraic modeling to German-speaking audiences. Demonstrating remarkable interdisciplinary breadth, Mader later explored the intersection of textile waste recycling and haptic feedback for wearable robotics (2018, 2 citations), investigating how recycled fibers can be integrated into sensory interfaces. This work highlights her commitment to addressing sustainability challenges while advancing human-robot interaction. Mader’s career exemplifies how rigorous theoretical foundations in concurrency theory can inform practical, socially relevant engineering solutions.