Stefan Leye

20 papers B 2C 2Misc 2Journal 5Unranked 8
YearRankTypeTitle / Venue / Authors
2015 J jnl
Models and Methods of Software Configuration Management.
Appl. Comput. Syst.
Arturs Bartusevics, Leonids Novickis, Stefan Leye
2015 J jnl
Virtual Reality Models and Digital Engineering Solutions for Technology Transfer.
Appl. Comput. Syst.
Marco Schumann, Stefan Leye, Artyom Popov
2014 J jnl
Implementation of Software Configuration Management Process by Models: Practical Experiments and Learned Lessons.
Appl. Comput. Syst.
Arturs Bartusevics, Leonids Novickis, Stefan Leye
2014 J jnl
State Synchronization Approaches in Web-based Applications.
Appl. Comput. Syst.
Aleksejs Grocevs, Natalya Prokofyeva, Stefan Leye
2013 — —
Toward guiding simulation experiments.
Stefan Leye
2012 Misc conf
GUISE - a tool for GUIding simulation experiments.
WSC
Stefan Leye, Adelinde M. Uhrmacher
2012 Misc conf
GUISE - a tool for GUIding simulation experiments.
WSC
Stefan Leye, Adelinde M. Uhrmacher
2012 B conf
Template and Frame Based Experiment Workflows in Modeling and Simulation Software with WORMS.
SERVICES
Stefan Rybacki, Stefan Leye, Jan Himmelspach, Adelinde M. Uhrmacher
2010 — conf
A flexible and extensible architecture for experimental model validation.
SimuTools
Stefan Leye, Adelinde M. Uhrmacher
2010 — conf
A flexible architecture for modeling and simulation of diffusional association
FBTC
Fiete Haack, Stefan Leye, Adelinde M. Uhrmacher
2010 — conf
A flexible architecture for performance experiments with the pi-Calculus and its extensions.
SimuTools
Stefan Leye, Mathias John, Adelinde M. Uhrmacher
2010 — conf
Experimental Model Validation.
AlgoSyn
Stefan Leye
2010 J jnl
Flexible experimentation in the modeling and simulation framework JAMES II - implications for computational systems biology.
Briefings Bioinform.
Roland Ewald, Jan Himmelspach, Matthias Jeschke, Stefan Leye, Adelinde M. Uhrmacher
2010 — conf
Parallel Analysis with FAMVal to Speed Up Simulation-based Model Checking.
EMS
Stefan Leye, Orianne Mazemondet, Adelinde M. Uhrmacher
2009 — conf
A Discussion on Experimental Model Validation.
UKSim
Stefan Leye, Jan Himmelspach, Adelinde M. Uhrmacher
2009 B conf
An Efficient and Adaptive Mechanism for Parallel Simulation Replication.
PADS
Roland Ewald, Stefan Leye, Adelinde M. Uhrmacher
2008 C conf
A Bounded-Optimistic, Parallel Beta-Binders Simulator.
DS-RT
Stefan Leye, Adelinde M. Uhrmacher, Corrado Priami
2008 C conf
A Grid-Inspired Mechanism for Coarse-Grained Experiment Execution.
DS-RT
Stefan Leye, Jan Himmelspach, Matthias Jeschke, Roland Ewald, Adelinde M. Uhrmacher
2008 — conf
One Modelling Formalism & Simulator Is Not Enough! A Perspective for Computational Biology Based on James II.
FMSB
Adelinde M. Uhrmacher, Jan Himmelspach, Matthias Jeschke, Mathias John, Stefan Leye, Carsten Maus, Mathias Röhl, Roland Ewald
2007 — conf
Parallel and distributed simulation of parallel DEVS models.
SpringSim (2)
Jan Himmelspach, Roland Ewald, Stefan Leye, Adelinde M. Uhrmacher