Stefan Leye
University of Rostock
20 Papers
116 Citations
Stefan Leye is an academic researcher from University of Rostock. The author has contributed to research in topics: Modeling and simulation & Discrete event simulation. The author has an hindex of 9, co-authored 20 publications.
Chat about Author
Papers
Flexible experimentation in the modeling and simulation framework JAMES II—implications for computational systems biology
TL;DR: JAMES II, a plug-in-based open source modeling and simulation framework, facilitates the exploitation and configuration of these techniques to facilitate repeatability and reuse in dry-lab experimentation.
47
A Discussion on Experimental Model Validation
Stefan Leye,Jan Himmelspach,Adelinde M. Uhrmacher +2 more
- 25 Mar 2009
TL;DR: This work states that new approaches in modeling and simulation implies new requirements for systems intended to support experimental model validation, and applies model checking techniques for trace inspections, and emphasizes the importance of an explicit description of requirements.
31
Elucidating the sources of β-catenin dynamics in human neural progenitor cells.
TL;DR: A stochastic model of the pathway in single cells from the reference model in literature is derived and extended and it is shown that the impact of the cell cycle asynchrony on wet-lab results that average over cell populations is negligible and additional evidence that self-induced Wnt signaling occurs in RVM cells is provided.
A Grid-Inspired Mechanism for Coarse-Grained Experiment Execution
Stefan Leye,Jan Himmelspach,Matthias Jeschke,Roland Ewald,Adelinde M. Uhrmacher +4 more
- 27 Oct 2008
TL;DR: This paper presents a grid-inspired approach to distribute such independent jobs over a set of computing resources that host simulation services, all of which are managed by a central master service.
25
Parallel and distributed simulation of parallel DEVS models
Jan Himmelspach,Roland Ewald,Stefan Leye,Adelinde M. Uhrmacher +3 more
- 25 Mar 2007
TL;DR: A new simulation algorithm is introduced and partitioning and load balancing techniques that are tailored to the efficient distributed execution of PDEVS are presented, based on the idea of minimizing interprocessor communication.
20