Stefan Leye

According to our database, Stefan Leye authored at least 19 papers between 2007 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Virtual Reality Models and Digital Engineering Solutions for Technology Transfer.

Marco Schumann, Stefan Leye, Artyom Popov

Appl. Comput. Syst., 2015

Models and Methods of Software Configuration Management.

Arturs Bartusevics, Leonids Novickis, Stefan Leye

Appl. Comput. Syst., 2015

2014

State Synchronization Approaches in Web-based Applications.

Aleksejs Grocevs, Natalya Prokofyeva, Stefan Leye

Appl. Comput. Syst., 2014

Implementation of Software Configuration Management Process by Models: Practical Experiments and Learned Lessons.

Arturs Bartusevics, Leonids Novickis, Stefan Leye

Appl. Comput. Syst., 2014

2013

Toward guiding simulation experiments.

Stefan Leye

PhD thesis, 2013

2012

GUISE - a tool for GUIding simulation experiments.

Stefan Leye, Adelinde M. Uhrmacher

Proceedings of the Winter Simulation Conference, 2012

Template and Frame Based Experiment Workflows in Modeling and Simulation Software with WORMS.

Stefan Rybacki, Stefan Leye, Jan Himmelspach, Adelinde M. Uhrmacher

Proceedings of the Eighth IEEE World Congress on Services, 2012

2010

A flexible architecture for modeling and simulation of diffusional association

Fiete Haack, Stefan Leye, Adelinde M. Uhrmacher

Proceedings of the Proceedings Third Workshop From Biology To Concurrency and back, 2010

Flexible experimentation in the modeling and simulation framework JAMES II - implications for computational systems biology.

Roland Ewald, Jan Himmelspach, Matthias Jeschke, Stefan Leye, Adelinde M. Uhrmacher

Briefings Bioinform., 2010

A flexible and extensible architecture for experimental model validation.

Stefan Leye, Adelinde M. Uhrmacher

Proceedings of the 3rd International Conference on Simulation Tools and Techniques, 2010

A flexible architecture for performance experiments with the pi-Calculus and its extensions.

Stefan Leye, Mathias John, Adelinde M. Uhrmacher

Proceedings of the 3rd International Conference on Simulation Tools and Techniques, 2010

Parallel Analysis with FAMVal to Speed Up Simulation-based Model Checking.

Stefan Leye, Orianne Mazemondet, Adelinde M. Uhrmacher

Proceedings of the Fourth UKSim European Symposium on Computer Modeling and Simulation, 2010

Experimental Model Validation.

Stefan Leye

Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2010

2009

A Discussion on Experimental Model Validation.

Stefan Leye, Jan Himmelspach, Adelinde M. Uhrmacher

Proceedings of the UKSim'11, 2009

An Efficient and Adaptive Mechanism for Parallel Simulation Replication.

Roland Ewald, Stefan Leye, Adelinde M. Uhrmacher

Proceedings of the 23rd International Workshop on Principles of Advanced and Distributed Simulation, 2009

2008

One Modelling Formalism & Simulator Is Not Enough! A Perspective for Computational Biology Based on James II.

Adelinde M. Uhrmacher, Jan Himmelspach, Matthias Jeschke, Mathias John, Stefan Leye, Carsten Maus, Mathias Röhl, Roland Ewald

Proceedings of the Formal Methods in Systems Biology, First International Workshop, 2008

A Bounded-Optimistic, Parallel Beta-Binders Simulator.

Stefan Leye, Adelinde M. Uhrmacher, Corrado Priami

Proceedings of the 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 2008

A Grid-Inspired Mechanism for Coarse-Grained Experiment Execution.

Stefan Leye, Jan Himmelspach, Matthias Jeschke, Roland Ewald, Adelinde M. Uhrmacher

Proceedings of the 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 2008

2007

Parallel and distributed simulation of parallel DEVS models.

Jan Himmelspach, Roland Ewald, Stefan Leye, Adelinde M. Uhrmacher

Proceedings of the 2007 Spring Simulation Multiconference, 2007