Suivre
Stefan Leye
Stefan Leye
Limbus Medical Technologies GmbH
Adresse e-mail validée de limbus-medtec.com - Page d'accueil
Titre
Citée par
Citée par
Année
Flexible experimentation in the modeling and simulation framework JAMES II—implications for computational systems biology
R Ewald, J Himmelspach, M Jeschke, S Leye, AM Uhrmacher
Briefings in bioinformatics 11 (3), 290-300, 2010
602010
A discussion on experimental model validation
S Leye, J Himmelspach, AM Uhrmacher
2009 11th International Conference on Computer Modelling and Simulation, 161-167, 2009
412009
Parallel and distributed simulation of parallel DEVS models
J Himmelspach, R Ewald, S Leye, AM Uhrmacher
Proceedings of the 2007 spring simulation multiconference-Volume 2, 249-256, 2007
362007
Elucidating the Sources of β-Catenin Dynamics in Human Neural Progenitor Cells
O Mazemondet, M John, S Leye, A Rolfs, AM Uhrmacher
Public Library of Science 7 (8), e42792, 2012
302012
A grid-inspired mechanism for coarse-grained experiment execution
S Leye, J Himmelspach, M Jeschke, R Ewald, AM Uhrmacher
2008 12th IEEE/ACM International Symposium on Distributed Simulation and …, 2008
302008
Template and frame based experiment workflows in modeling and simulation software with WORMS
S Rybacki, S Leye, J Himmelspach, AM Uhrmacher
2012 IEEE Eighth World Congress on Services, 25-32, 2012
172012
An efficient and adaptive mechanism for parallel simulation replication
R Ewald, S Leye, AM Uhrmacher
2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced and Distributed …, 2009
172009
A bounded-optimistic, parallel beta-binders simulator
S Leye, AM Uhrmacher, C Priami
2008 12th IEEE/ACM International Symposium on Distributed Simulation and …, 2008
172008
A flexible and extensible architecture for experimental model validation
S Leye, AM Uhrmacher
Proceedings of the 3rd International ICST Conference on Simulation Tools and …, 2010
152010
One Modelling Formalism & Simulator Is Not Enough! A Perspective for Computational Biology Based on James II
AM Uhrmacher, J Himmelspach, M Jeschke, M John, S Leye, C Maus, ...
Formal Methods in Systems Biology: First International Workshop, FMSB 2008 …, 2008
142008
Enhancing the scalability of simulations by embracing multiple levels of parallelization
J Himmelspach, R Ewald, S Leye, AM Uhrmacher
2010 Ninth International Workshop on Parallel and Distributed Methods in …, 2010
132010
Composing problem solvers for simulation experimentation: a case study on steady state estimation
S Leye, R Ewald, AM Uhrmacher
PloS one 9 (4), e91948, 2014
82014
GUISE-a tool for GUIding simulation experiments
S Leye, AM Uhrmacher
Proceedings of the Winter Simulation Conference, 1-2, 2012
72012
A flexible architecture for performance experiments with the pi-calculus and its extensions
S Leye, M John, AM Uhrmacher
Proceedings of the 3rd International ICST Conference on Simulation Tools and …, 2010
62010
Performance issues in evaluating models and designing simulation algorithms
R Ewald, J Himmelspach, M Jeschke, S Leye, AM Uhrmacher
2009 International Workshop on High Performance Computational Systems …, 2009
62009
A parallel beta-binders simulator
S Leye, C Priami, A Uhrmacher
University of Trento, 2007
52007
A flexible architecture for modeling and simulation of diffusional association
F Haack, S Leye, AM Uhrmacher
arXiv preprint arXiv:1002.4064, 2010
42010
Toward guiding simulation experiments
S Leye
University of Rostock, 2014
32014
Parallel analysis with FAMVal to speed up simulation-based model checking
S Leye, O Mazemondet, AM Uhrmacher
2010 Fourth UKSim European Symposium on Computer Modeling and Simulation …, 2010
22010
Grid-Inspired Simulation of Computationally Intensive Models
S Leye
University of Rostock, 2008
2008
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20