 | Up a level |
Leye, Stefan and Ewald, Roland and Uhrmacher, Adelinde M. (2014) Composing Problem Solvers for Simulation Experimentation: A Case Study on Steady State Estimation. PLoS ONE, 9 (4), e91948. ISSN 1932-6203.
Mazemondet, Orianne and John, Mathias and Leye, Stefan and Rolfs, Arndt and Uhrmacher, Adelinde M. (2012) Elucidating the Sources of β-Catenin Dynamics in Human Neural Progenitor Cells. PLoS ONE, 7 (8), e42792. ISSN 1932-6203.
Ewald, Roland and Himmelspach, Jan and Jeschke, Matthias and Leye, Stefan and Uhrmacher, Adelinde M. (2010) Flexible experimentation in the modeling and simulation framework JAMES II - implications for computational systems biology. Briefings in Bioinformatics, 11 (3), pp. 290-300. ISSN 1467-5463.
Leye, Stefan and Priami, Corrado and Uhrmacher, Adelinde M. (2007) A Parallel Beta-binders Simulator. Technical Report. The Microsoft Research - University of Trento, Centre for Computational and Systems Biology.
Leye, Stefan and Uhrmacher, Adelinde M. (2012) GUISE - a tool for GUIding simulation experiments. In: Winter Simulation Conference (WSC 2012), 09-12 Dec 2012, Berlin, Germany. Proceedings, published by IEEE, 385:1-385:2. Poster.
Rybacki, Stefan and Leye, Stefan and Himmelspach, Jan and Uhrmacher, Adelinde M. (2012) Template and Frame Based Experiment Workflows in Modeling and Simulation Software with WORMS. In: Eighth IEEE World Congress on Services (SERVICES 2012), 24-29 Jun 2012, Honolulu, HI, USA. Proceedings, published by IEEE, pp. 25-32.
Himmelspach, Jan and Ewald, Roland and Leye, Stefan and Uhrmacher, Adelinde M. (2010) Enhancing the Scalability of Simulations by Embracing Multiple Levels of Parallelization. In: Second International Workshop on High Performance Computational Systems Biology, 30 Sep - 01 Oct 2010, Twente, The Netherlands. Proceedings, published by IEEE, pp. 57-66.
Leye, Stefan and Mazemondet, Orianne and Uhrmacher, Adelinde M. (2010) Parallel Analysis with FAMVal to Speed Up Simulation-based Model Checking. In: Fourth UKSim European Symposium on Computer Modeling and Simulation (EMS 2010), 17-19 Nov 2010, Pisa, Italy. Proceedings, published by IEEE, pp. 344-350.
Leye, Stefan and Uhrmacher, Adelinde M. (2010) A flexible and extensible architecture for experimental model validation. In: 3rd International Conference on Simulation Tools and Techniques (SIMUTOOLS 2010), 15-19 Mar 2010, Torremolinos, Malaga, Spain. Proceedings, published by Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering (ICST), Brussels, Belgium, 65:1-65:10.
Haack, Fiete and Leye, Stefan and Uhrmacher, Adelinde M. (2010) A flexible architecture for modeling and simulation of diffusional association. In: 3rd Workshop From Biology To Concurrency and back, FBTC 2010, 27 Mar 2010, Paphos, Cyprus. Proceedings, published by Electronic Proceedings in Theoretical Computer Science (EPTCS), 19, pp. 70-84.
Leye, Stefan and John, Mathias and Uhrmacher, Adelinde M. (2010) A flexible architecture for performance experiments with the pi-Calculus and its extensions. In: 3rd International Conference on Simulation Tools and Techniques (SIMUTOOLS 2010), 15-19 Mar 2010, Torremolinos, Malaga, Spain. Proceedings, published by Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering (ICST), Brussels, Belgium, 35:1-35:10.
Leye, Stefan and Himmelspach, Jan and Uhrmacher, Adelinde M. (2009) A Discussion on Experimental Model Validation. In: Proceedings of the UKSim'11, International Conference on Computer Modelling and Simulation, March 25-27, Cambridge, UK. Proceedings,, pp. 161-167.
Ewald, Roland and Leye, Stefan and Uhrmacher, Adelinde M. (2009) An Efficient and Adaptive Mechanism for Parallel Simulation Replication. In: 23rd Workshop on Principles of Advanced and Distributed Simulation (PADS 2009), 22-25 Jun 2010, Lake Placid, New York, USA. Proceedings, published by IEEE, pp. 104-113.
Ewald, Roland and Himmelspach, Jan and Jeschke, Matthias and Leye, Stefan and Uhrmacher, Adelinde M. (2009) Performance Issues in Evaluating Models and Designing Simulation Algorithms. In: International Workshop on High Performance Computational Systems Biology (HiBi 2009), 14-16 Oct 2010, Trento, Italy. Proceedings, published by IEEE, pp. 71-80.
Leye, Stefan and Uhrmacher, Adelinde M. and Priami, Corrado (2008) A Bounded-Optimistic, Parallel Beta-Binders Simulator. In: 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 2008, October 27-29, Vancouver, BC, Canada. Proceedings,, pp. 139-148.
Leye, Stefan and Himmelspach, Jan and Jeschke, Matthias and Ewald, Roland and Uhrmacher, Adelinde M. (2008) A Grid-Inspired Mechanism for Coarse-Grained Experiment Execution. In: 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 2008, October 27-29, Vancouver, BC, Canada. Proceedings,, pp. 7-16.
Uhrmacher, Adelinde M. and Himmelspach, Jan and Jeschke, Matthias and John, Mathias and Leye, Stefan and Maus, Carsten and Röhl, Mathias and Ewald, Roland (2008) One Modelling Formalism & Simulator Is Not Enough! A Perspective for Computational Biology Based on James II. In: 1st International Workshop Formal Methods in Systems Biology, FMSB 2008, June 4-5, Cambridge, UK. Proceedings,, pp. 123-138.
Himmelspach, Jan and Ewald, Roland and Leye, Stefan and Uhrmacher, Adelinde M. (2007) Parallel and distributed simulation of parallel DEVS models. In: Spring Simulation Conference (SpringSim'07), March 25-29, Norfolk, Virginia, USA. Proceedings,, pp. 249-256.
Leye, Stefan (2014) Toward Guiding Simulation Experiments. PhD thesis, Institute of Computer Science, University of Rostock.
Leye, Stefan (2008) Grid-Inspired Simulation of Computationally Intensive Models. Diploma thesis, Institute of Computer Science, University of Rostock.
