F. Baccelli, D. R. Mcdonald, and J. Reynier, A mean-field model for multiple TCP connections through a buffer implementing RED, Performance Evaluation, vol.49, issue.1-4, pp.77-97, 2002.
DOI : 10.1016/S0166-5316(02)00136-0

URL : https://hal.archives-ouvertes.fr/inria-00072139

I. Baumgart, B. Heep, and S. Krause, OverSim: A Flexible Overlay Network Simulation Framework, 2007 IEEE Global Internet Symposium, pp.79-84, 2007.
DOI : 10.1109/GI.2007.4301435

W. H. Bell, D. G. Cameron, L. Capozza, A. P. Millar, K. Stockinger et al., Optorsim: A Grid Simulator for Studying Dynamic Data Replication Strategies, The International Journal of High Performance Computing Applications, vol.17, issue.4, 2003.
DOI : 10.1155/2000/481921

G. Bianchi, Performance analysis of the IEEE 802.11 distributed coordination function . Selected Areas in Communications, IEEE Journal on, vol.18, issue.3, pp.535-547, 2000.

A. Biere, A. Cima?i, E. M. Clarke, and Y. Zhu, Symbolic Model Checking without BDDs, Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS '99, pp.193-207, 1999.
DOI : 10.21236/ada360973

URL : http://repository.cmu.edu/cgi/viewcontent.cgi?article=1426&context=compsci

B. Boigelot, P. Godefroid, B. Willems, and P. Wolper, The power of QDDs (extended abstract), Proceedings of the 4th International Symposium on Static Analysis, SAS '97, pp.172-186, 1997.
DOI : 10.1007/BFb0032741

I. Talbi and . Touche, Grid'5000 : A large scale and highly reconfigurable experimental grid testbed, International Journal of High Performance Computing Applications, vol.20, issue.4, pp.481-494, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00684943

A. Bouajjani, J. Esparza, and O. Maler, Reachability analysis of pushdown automata: Application to model-checking, Lecture Notes in Computer Science, vol.1243, pp.135-150, 1997.
DOI : 10.1007/3-540-63141-0_10

J. L. Boudec, D. Mcdonald, and J. Mundinger, A Generic Mean Field Convergence Result for Systems of Interacting Objects, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), pp.3-18, 2007.
DOI : 10.1109/QEST.2007.8

J. R. Burch, E. M. Clarke, K. L. Mcmillan, D. L. Dill, and L. J. Hwang, Symbolic model checking: 1020 States and beyond, Information and Computation, vol.98, issue.2, pp.142-170, 1992.
DOI : 10.1016/0890-5401(92)90017-A

URL : https://doi.org/10.1016/0890-5401(92)90017-a

R. Buyya and M. Murshed, GridSim: a toolkit for the modeling and simulation of distributed resource management and scheduling for Grid computing, Concurrency and Computation: Practice and Experience, vol.14, issue.13-15, pp.13-15, 2002.
DOI : 10.1002/cpe.690

R. N. Calheiros, R. Ranjan, A. Beloglazov, C. A. De-rose, and R. Buyya, CloudSim : A Toolkit for Modeling and Simulation of Cloud Computing Environments and Evaluation of Resource Provisioning Algorithms. So?ware : Practice and Experience, pp.23-50, 2011.

H. Casanova, A. Legrand, and M. ?inson, SimGrid: A Generic Framework for Large-Scale Distributed Experiments, Tenth International Conference on Computer Modeling and Simulation (uksim 2008), 2008.
DOI : 10.1109/UKSIM.2008.28

URL : https://hal.archives-ouvertes.fr/inria-00260697

K. M. Chandy and R. Sherman, Space-time and simulation, Proceedings of the SCS Multiconference on Distributed Simulation, pp.53-57, 1989.

E. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith, Counterexample-guided abstraction refinement for symbolic model checking, Journal of the ACM, vol.50, issue.5, pp.752-794, 2003.
DOI : 10.1145/876638.876643

J. Esparza and S. Schwoon, A BDD-Based Model Checker for Recursive Programs, Computer Aided Verification, pp.324-336, 2001.
DOI : 10.1007/3-540-44585-4_30

A. Ferscha, Parallel and Distributed Simulation of Discrete Event Systems, 1995.

]. C. Flanagan and P. Godefroid, Dynamic partial-order reduction for model checking software, ACM SIGPLAN Notices, vol.40, issue.1, pp.110-121, 2005.
DOI : 10.1145/1047659.1040315

S. Floyd and V. Jacobson, Traffic phase effects in packet-switched gateways, ACM SIGCOMM Computer Communication Review, vol.21, issue.2, pp.26-42, 1991.
DOI : 10.1145/122419.122421

R. M. Fujimoto, Parallel discrete event simulation, Communications of the ACM - Special issue on simulation, vol.33, issue.10, pp.30-53, 1990.

V. K. Garg and . Ph, Elements of Distributed Computing, 2002.

P. Godefroid, Using partial orders to improve automatic verification methods, Proceedings of the 2nd International Workshop on Computer Aided Verification, CAV '90, pp.176-185, 1991.

P. Godefroid, Partial-Order Methods for the Verification of Concurrent Systems : An Approa? to the State-Explosion Problem, 1996.
DOI : 10.1007/3-540-60761-7

P. Godefroid, Model checking for programming languages using VeriSo?, Proc. 24th ACM SIGPLAN-SIGACT Symp. Principles of programming languages, pp.174-186, 1997.

T. Hoefler, C. Siebert, and A. Lumsdaine, Group Operation Assembly Language - A Flexible Way to Express Collective Communication, 2009 International Conference on Parallel Processing, pp.574-581, 2009.
DOI : 10.1109/ICPP.2009.70

G. J. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, pp.279-295, 1997.
DOI : 10.1109/32.588521

R. Iosif, Exploiting heap symmetries in explicit-state model checking of so?ware, Proc. 16th IEEE Intl. Conf. Automated so?ware engineering, pp.254-261, 2001.

T. Kiesling and S. Pohl, Time-parallel simulation with approximative state matching, Proceedings of the 18th Workshop on Parallel and Distributed Simulation, pp.195-202, 2004.

C. Killian, J. W. Anderson, R. Jhala, and A. Vahdat, Life, death, and the critical transition : finding liveness bugs in systems code, Proceedings of the 4th USENIX Conference on Networked Systems Design & implementation, NSDI'07, pp.18-18, 2007.

C. E. Killian, J. W. Anderson, R. Braud, R. Jhala, and A. M. Vahdat, Mace : language support for building distributed systems, Proc. ACM SIGPLAN Conf. Programming language design and implementation, pp.179-188, 2007.

C. E. Killian, J. W. Anderson, R. Braud, R. Jhala, and A. M. Vahdat, Mace, ACM SIGPLAN Notices, vol.42, issue.6, pp.179-188, 2007.
DOI : 10.1145/1273442.1250755

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
DOI : 10.1145/359545.359563

L. Lamport, Specifying Systems, 2002.

A. M. Law and D. W. Kelton, Simulation Modelling and Analysis, 2000.

F. Lerda and W. Visser, Addressing dynamic issues of program model checking, Proceedings of the 8th international SPIN workshop on Model ?e?ing of so?ware, SPIN '01, pp.80-102, 2001.
DOI : 10.1007/3-540-45139-0_6

B. Liu, D. Figueiredo, Y. Guo, J. Kurose, and D. Towsley, A study of networks simulation efficiency: fluid simulation vs. packet-level simulation, Proceedings IEEE INFOCOM 2001. Conference on Computer Communications. Twentieth Annual Joint Conference of the IEEE Computer and Communications Society (Cat. No.01CH37213), pp.1244-1253, 2001.
DOI : 10.1109/INFCOM.2001.916619

M. Mathis, J. Semke, J. Mahdavi, and T. O?, The macroscopic behavior of the TCP congestion avoidance algorithm, ACM SIGCOMM Computer Communication Review, vol.27, issue.3, pp.67-82, 1997.
DOI : 10.1145/263932.264023

S. Mccanne, S. Floyd, and K. Fall, ?e Network Simulator (ns2)

M. Mendez-lojo, D. Nguyen, D. Prountzos, X. Sui, M. A. Hassan et al., Structure-driven optimization for amorphous dataparallel programs, PPoPP '10 : Proceedings of the 15th ACM SIGPLAN symposium on Principles and practice of parallel programming, 2010.

M. Mitzenmacher, The power of two choices in randomized load balancing, IEEE Transactions on Parallel and Distributed Systems, vol.12, issue.10, pp.1094-1104, 2001.
DOI : 10.1109/71.963420

M. Musuvathi, D. Y. Park, A. Chou, D. R. Engler, and D. L. Dill, CMC : A pragmatic approach to model checking real code, Proc. Fi?h Symp. Operating Systems Design and Implementation, 2002.

M. Musuvathi and S. Qadeer, Fair stateless model checking, Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation , PLDI '08, pp.362-371, 2008.

M. Musuvathi, S. Qadeer, and T. Ball, Chess : A systematic testing tool for concurrent so?ware, 2007.

T. O?, J. Kemperman, and M. Mathis, Window Size Behavior in TCP/IP with Constant Loss Probabillity, 4th IEEE Workshop on High-Performance Communication Systems, 1997.

J. Padhye, V. Firoiu, D. Towsley, and J. Kurose, Modeling TCP throughput : a simple model and its empirical validation, Proceedings of the ACM SIGCOMM '98 conference on Applications, te?nologies, ar?itectures, and protocols for computer communication , SIGCOMM '98, pp.303-314, 1998.

R. Palmer, G. Gopalakrishnan, and R. M. Kirby, Semantics driven dynamic partialorder reduction of MPI-based parallel programs, Proc. ACM Wsh. Parallel and distributed systems : testing and debugging, pp.43-53, 2007.

D. Peled, Combining partial order reductions with on-the-fly model-checking, Proceedings of the 6th International Conference on Computer Aided Verification, CAV '94, pp.377-390, 1994.

A. Lee, R. Lenharth, M. Manevich, D. Méndez-lojo, X. Prountzos et al., ?e tao of parallelism in algorithms, SIGPLAN Not, vol.46, pp.12-25, 2011.

J. Pujol-ahulló, P. García-lópez, M. Sànchez-artigas, and M. Arrufat-arias, An extensible simulation tool for overlay networks and services, Proceedings of the 2009 ACM symposium on Applied Computing, SAC '09, pp.2072-2076, 2009.
DOI : 10.1145/1529282.1529740

S. Qadeer and J. Rehof, Context-Bounded Model Checking of Concurrent So?ware, TACAS'05, pp.93-107, 2005.

G. Ramalingam, Context-sensitive synchronization-sensitive analysis is undecidable, ACM Transactions on Programming Languages and Systems, vol.22, issue.2, pp.416-430, 2000.
DOI : 10.1145/349214.349241

K. Ranganathan and I. Foster, Decoupling computation and data scheduling in distributed data-intensive applications, Proceedings 11th IEEE International Symposium on High Performance Distributed Computing, p.352, 2002.
DOI : 10.1109/HPDC.2002.1029935

G. F. Riley, Large-scale network simulations with GTNetS, Proceedings of the 2003 International Conference on Machine Learning and Cybernetics (IEEE Cat. No.03EX693), 2003.
DOI : 10.1109/WSC.2003.1261483

URL : http://users.ece.gatech.edu/~riley/ece6110/handouts/wsc03.pdf

R. Schollmeier, A definition of peer-to-peer networking for the classification of peer-to-peer architectures and applications, Proceedings First International Conference on Peer-to-Peer Computing, p.101, 2001.
DOI : 10.1109/P2P.2001.990434

I. Stoica, R. Morris, D. Liben-nowell, D. Karger, M. Kaashoek et al., Chord: a scalable peer-to-peer lookup protocol for internet applications, IEEE/ACM Transactions on Networking, vol.11, issue.1, pp.17-32, 2003.
DOI : 10.1109/TNET.2002.808407

E. Strohmaier, Japan Reclaims Top Ranking on Latest TOP500 List of World's Supercomputers . http://www.top500.org/lists, 2011.

D. Terry, TechPack -cloud computing, 2010.

I. ?e, . ?e-open, and . Group, ?e Open Group Base Specifications Issue 6 ? IEEE Std 1003, Edition, vol.1, 2004.

S. Vakkalanka, A. Vo, G. Gopalakrishnan, and R. M. Kirby, Reduced Execution Semantics of MPI : From ?eory to Practice, Proceedings of the 2nd World Congress on Formal Methods, FM '09, pp.724-740, 2009.

A. Valmari, A stubborn a?ack on state explosion, Proceedings of the 2nd International Workshop on Computer Aided Verification, CAV '90, pp.156-165, 1991.

A. Varga, Omnet++ community site

P. Velho and A. Legrand, Accuracy study and improvement of network simulation in the SimGrid framework, Proceedings of the Second International ICST Conference on Simulation Tools and Techniques, pp.1-10, 2009.
DOI : 10.4108/ICST.SIMUTOOLS2009.5592

URL : https://hal.archives-ouvertes.fr/inria-00361031

]. W. Visser, K. Havelund, G. Brat, and S. Park, Model checking programs, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering, pp.3-12, 2000.
DOI : 10.1109/ASE.2000.873645

URL : http://www.cs.cmu.edu/~flerda/publications/visser03model.pdf

A. Vo, S. Aananthakrishnan, G. Gopalakrishnan, B. R. Supinski, M. Schulz et al., A Scalable and Distributed Dynamic Formal Verifier for MPI Programs, 2010 ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis, pp.1-10, 2010.
DOI : 10.1109/SC.2010.7

A. Vo, S. Vakkalanka, M. Delisi, G. Gopalakrishnan, R. M. Kirby et al., Formal verification of practical MPI programs, ACM SIGPLAN Notices, vol.44, issue.4, pp.261-270, 2009.
DOI : 10.1145/1594835.1504214

P. Wolper and P. Godefroid, Partial-order methods for temporal verification, Proceedings of the 4th International Conference on Concurrency ?eory, CONCUR '93, pp.233-246, 1993.
DOI : 10.1007/3-540-57208-2_17

M. Yabandeh, N. Knezevic, D. Kostic, and V. Kuncak, CrystalBall : Predicting and preventing inconsistencies in deployed distributed systems, Proceedings of the 6th USENIX symposium on Networked systems design and implementation, pp.229-244, 2009.

V. Yee-vee and W. Hsu, Parallel discrete event simulation : A survey, 1999.