BibTeX records: Orianne Mazemondet

• > Home > Persons > Orianne Mazemondet

@inproceedings{DBLP:conf/ems/LeyeMU10,
  author       = {Stefan Leye and
                  Orianne Mazemondet and
                  Adelinde M. Uhrmacher},
  title        = {Parallel Analysis with FAMVal to Speed Up Simulation-based Model Checking},
  booktitle    = {Fourth UKSim European Symposium on Computer Modeling and Simulation,
                  {EMS} 2010, Pisa, Italy, November 17-19, 2010},
  pages        = {344--350},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/EMS.2010.63},
  doi          = {10.1109/EMS.2010.63},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ems/LeyeMU10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wsc/MazemondetJMUR09,
  author       = {Orianne Mazemondet and
                  Mathias John and
                  Carsten Maus and
                  Adelinde M. Uhrmacher and
                  Arndt Rolfs},
  editor       = {Ann Dunkin and
                  Ricki G. Ingalls and
                  Enver Y{\"{u}}cesan and
                  Manuel D. Rossetti and
                  Ray Hill and
                  Bj{\"{o}}rn Johansson},
  title        = {Integrating Diverse Reaction Types into Stochastic Models - {A} Signaling
                  Pathway Case Study in the Imperative pi-Calculus},
  booktitle    = {Proceedings of the 2009 Winter Simulation Conference, {WSC} 2009,
                  Hilton Austin Hotel, Austin, TX, USA, December 13-16, 2009},
  pages        = {932--943},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/WSC.2009.5429723},
  doi          = {10.1109/WSC.2009.5429723},
  timestamp    = {Thu, 10 Jun 2021 22:18:58 +0200},
  biburl       = {https://dblp.org/rec/conf/wsc/MazemondetJMUR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}