Our work focuses on bone remodeling with a multiscale breadth that ranges from modeling
intracellular and intercellular RANK/RANKL signaling to tissue dynamics, by developing a …

We present a set of formal techniques and a methodology for a composite formal analysis at
the tissue and organ level, focusing on the verification of quantitative properties in the …

One of the primary applications for digital human models (DHMs) is injury prevention. In the
case of orthopedic or soft-tissue injuries, it becomes especially useful to couple whole-body …

Vertebrates come with a skeleton of bones whose inner structure combines two
contradicting properties in a fascinating way: On the one hand, bones are stable and robust …

Our work focuses on bone remodeling with a multiscale breadth that ranges from modeling
intracellular and intercellular RANK/RANKL signaling to tissue dynamics. Several important …

In this chapter, a review of the current state-of-the-art in techniques, efforts and ideas in the
area of modeling skeletal injuries in military scenarios is provided. The review includes …

In considering the human system, multi-scale modeling is critical for providing accurate
modeling and simulation results. The human system is too complex to be modeled on all …

The spirit of sustainable development has inspired our research work. Ecologically
sustainable development needs preventative strategies and measures against …

This thesis addresses the definition and the application of formal techniques in the field of
Computational Systems Biology, with particular focus on bone remodelling (BR), the cellular …

Modeling can enable system-level understanding of biosystems. However, biological
systems exhibit a number of complex properties and characteristics which are not amenable …