Integrating Diverse Reaction Types into Stochastic Models - A Signaling Pathway Case Study in the Imperative pi-Calculus. - Orianne Mazemondet; Mathias John; Carsten Maus; Adelinde M. Uhrmacher; Arndt Rolfs (WSC, 2009)

Parallel Analysis with FAMVal to Speed Up Simulation-based Model Checking. - Stefan Leye; Orianne Mazemondet; Adelinde M. Uhrmacher (EMS, 2010)