+@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},
+ 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}
+}
+
+