Orianne Mazemondet

Publication Activity (10 Years)

Years Active: 2009-2010
Publications (10 Years): 0

Publications

Stefan Leye, Orianne Mazemondet, Adelinde M. Uhrmacher
Parallel Analysis with FAMVal to Speed Up Simulation-based Model Checking. EMS (2010)
Orianne Mazemondet, Mathias John, Carsten Maus, Adelinde M. Uhrmacher, Arndt Rolfs
Integrating Diverse Reaction Types into Stochastic Models - A Signaling Pathway Case Study in the Imperative pi-Calculus. WSC (2009)