X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c3ef4beeed3e62a02825ae7a45bbd75b6cb9629c..dad1a0fac4f1a9d2b9f1b04ad58e9ffb318beb65:/website/all.bib?ds=sidebyside

diff --git a/website/all.bib b/website/all.bib
index 6ae0f488e7..786d17545d 100644
--- a/website/all.bib
+++ b/website/all.bib
@@ -1,3 +1,15 @@
+@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},
+  category = {core}    
+}
+
 @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},
@@ -10,6 +22,29 @@
   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},
@@ -68,7 +103,18 @@
   YEAR=2010,
   category = {intra}
 }
-
+@inproceedings{DBLP:conf/3pgcic/QuinsonBS10,
+  author    = {Martin Quinson and
+               Laurent Bobelin and
+               Fr{\'e}d{\'e}ric Suter},
+  title     = {Synthesizing Generic Experimental Environments for Simulation},
+  booktitle = {3PGCIC},
+  year      = {2010},
+  pages     = {222-229},
+  ee        = {http://dx.doi.org/10.1109/3PGCIC.2010.37},
+  bibsource = {DBLP, http://dblp.uni-trier.de},
+  category = {intra}
+}
 @InProceedings{c7,
   Address = {Perth, Australia},
   Author = {Caniou, Yves and Charrier, Ghislain and Desprez, Fr\'ed\'eric},
@@ -139,7 +185,19 @@ month = Aug,
 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",