@inproceedings{ccgrid2012,
author = {Quinson, Martin and Rosa, Cristian and Thiery, Christophe},
title = {Parallel Simulation of Peer-to-Peer Systems},
booktitle = {Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012)},
series = {CCGRID '12},
year = {2012},
isbn = {978-0-7695-4691-9},
pages = {668--675},
numpages = {8},
url = {http://dx.doi.org/10.1109/CCGrid.2012.115},
doi = {10.1109/CCGrid.2012.115},
acmid = {2310122},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
keywords = {Parallel Discrete Event Simulation, Peer-to-Peer}
}
@inproceedings{forte2011,
author = {{M}erz, {S}tephan and {Q}uinson, {M}artin and {R}osa, {C}ristian},
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}
}
@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}
}
@inproceedings{cav,
author = {{R}osa, {C}ristian and {Q}uinson, {M}artin and {M}erz, {S}tephan},
title = {{M}odel-checking {D}istributed {A}pplications with {GRAS}},
booktitle = {Workshop on Exploiting Concurrency Efficiently and Correctly -- (EC)$^2$ (associated to the CAV conference)},
pages = 11,
year = 2009,
address = {Grenoble, France},
month = {June},
note = {Also available as Research Report 7052 INRIA \url{http://hal.inria.fr/inria-00422159/en/}},
url = {http://hal.inria.fr/inria-00422159/en/}
}
@inproceedings{cibsi,
author = {{R}osa, {C}ristian and {L}una, {C}arlos},
title = {{A}nálisis {F}ormal del {E}stándar {NIST} para {M}odelos {RBAC}},
booktitle = {V Congreso Iberoamericano de Seguridad Informática -- CIBSI '09},
pages = {250-269},
year = 2009,
address = {Montevideo, Uruguay}
}
This file was generated by bibtex2html 1.96.