Items where Author is "Leye, Stefan"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 20.

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.

Leye, Stefan (2014) Toward Guiding Simulation Experiments. PhD thesis, Institute of Computer Science, University of Rostock.

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.

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.

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 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.

Leye, Stefan (2008) Grid-Inspired Simulation of Computationally Intensive Models. Diploma thesis, Institute of Computer Science, University of Rostock.

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.

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.

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.

This list was generated on Sat Jun 22 09:20:08 2024 CEST.