• Publications
  • Influence
SSJ: a framework for stochastic simulation in Java
TLDR
We introduce SSJ, an organized set of software tools implemented in the Java programming language and offering general-purpose facilities for stochastic simulation programming. Expand
  • 138
  • 8
  • PDF
A comparison of simulation event list algorithms
TLDR
Four algorithms are considered which can be used to schedule events in a general purpose discrete simulation system. Expand
  • 123
  • 7
From scenarios to timed automata: building specifications from users requirements
TLDR
Automatic construction of specifications from scenarios reduces to the merging of partial behaviors into global specifications, such that these specifications can reproduce them. Expand
  • 77
  • 5
Time-dependent shortest paths through a fixed sequence of nodes: application to a travel planning problem
TLDR
In this paper, we introduce a travel planning problem which is solved by computing time-dependent shortest paths through a fixed sequence of nodes. Expand
  • 48
  • 3
Mineralogical structure of the subsurface of Syrtis Major from OMEGA observations of lobate ejecta blankets
[1] This paper focuses on the spectral characteristics of lobate ejecta across Syrtis Major volcano, a dark region of Mars presenting a mafic composition as revealed from the Observatoire pour laExpand
  • 39
  • 3
  • PDF
Pretty‐printing of trees
TLDR
A pleasing layout of printed tree structures is difficult to achieve automatically. Expand
  • 52
  • 1
Prefixed Procedures: A Structuring Concept For Operations
TLDR
Prefixed procedures extend the notion of procedure type and allow the structuring of similar procedures into a hierarchy. Expand
  • 14
  • 1
Adding performance aspects to specification languages 6
In the area of communication protocol design, so-called Formal Description Techniques (FDTs) are used to describe the behavior of the system components executing the communication protocol. SuchExpand
  • 23
  • 1
A service creation environment based on scenarios
TLDR
This paper presents a service creation environment for elicitation, integration, verification and validation of scenarios. Expand
  • 11
  • 1
On the Distribution of Event Times for the notices in a Simulation Event List
TLDR
In this paper, renewal theory is used to obtain the steady-state distribution for the scheduled event times for the event list algorithm . Expand
  • 20
  • 1