+@inproceedings{clauss:2011:inria-00527150:1,
+ AUTHOR = {Clauss, Pierre-Nicolas and Stillwell, Mark and Genaud, St{\'e}phane and Suter, Fr{\'e}d{\'e}ric and Casanova, Henri and Quinson, Martin},
+ TITLE = {{Single Node On-Line Simulation of MPI Applications with SMPI}},
+ BOOKTITLE = {{International Parallel \& Distributed Processing Symposium}},
+ ORGANIZATION = {IEEE},
+ YEAR = {2011},
+ MONTH = May,
+ ADDRESS = {Anchorange (AK), United States},
+ URL = {http://hal.inria.fr/inria-00527150},
+}
+
+@InProceedings { Schnorr:2011:MAL:1996029.1996037,
+ author = {Schnorr, Lucas Mello and Legrand, Arnaud and Vincent, Jean-Marc},
+ title = {{M}ulti-scale analysis of large distributed computing systems},
+ booktitle = {{P}roceedings of the third international workshop on {L}arge-scale system and application performance},
+ pages = {27--34},
+ year = {2011},
+ series = {LSAP '11},
+ publisher = {ACM},
+ pdf = {http://mescal.imag.fr/membres/arnaud.legrand/articles/2011-lsap-schnorr.pdf},
+ category = {intra}
+}
+
+@InProceedings{forte2011,
+ author = {{R}osa, {C}ristian and {M}erz, {S}tephan and {Q}uinson, {M}artin},
+ title = {{S}imGrid {MC}: {V}erification {S}upport for a {M}ulti-API {S}imulation {P}latform},
+ booktitle = {31th Formal Techniques for Networked and Distributed Systems -- FORTE 2011},
+ pages = {274-288},
+ month = {June},
+ year = {2011},
+ address = {Reykjavik, Iceland},
+ category = {core}
+}
+
+@InProceedings{avocs,
+ author = {{R}osa, {C}ristian and {M}erz, {S}tephan and {Q}uinson, {M}artin},
+ title = {{A} {S}imple {M}odel of {C}ommunication {APIs} -- {A}pplication to {D}ynamic {P}artial-order {R}eduction},
+ booktitle = {10th International Workshop on Automated Verification of Critical Systems -- AVOCS 2010},
+ pages = {137-151},
+ year = 2010,
+ address = {Dusseldorf, Germany},
+ month = {September},
+ category = {core}
+}
+
+
@PhdThesis{pedro_phd,
author = {Pedro Velho},
title = {Accurate and Fast Simulations of Large- Scale Distributed Computing Systems},
pages = {273-282},
category = {extern}
}
-
+@article{10.1109/ISPDC.2008.56,
+author = {Laurent Bobelin and Traian Muntean},
+title = {Algorithms for Network Topology Discovery using End-to-End Measurements},
+journal ={Parallel and Distributed Computing, International Symposium on},
+volume = {0},
+isbn = {978-0-7695-3472-5},
+year = {2008},
+pages = {267-274},
+doi = {http://doi.ieeecomputersociety.org/10.1109/ISPDC.2008.56},
+publisher = {IEEE Computer Society},
+address = {Los Alamitos, CA, USA},
+category = {intra}
+}
@INPROCEEDINGS{Boutamine06*2,
AUTHOR = "Boutammine, Salah-Salim and Millot, Daniel and Parrot,
Christian",