J-Sim: An integrated environment for simulation and model checking of network protocols

Ahmed Sobeih; Mahesh Viswanathan; Darko Marinov; Jennifer C. Hou

doi:10.1109/IPDPS.2007.370519

J-Sim: An integrated environment for simulation and model checking of network protocols

Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

In this paper, we report our work [24, 26] on extending the J-Sim network simulator [13] to be an integrated environment for both simulation and model checking of network protocols. We also present a case study in which we modelchecked AODV in J-Sim.

Original language	English (US)
Title of host publication	Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM
DOIs	https://doi.org/10.1109/IPDPS.2007.370519
State	Published - 2007
Event	21st International Parallel and Distributed Processing Symposium, IPDPS 2007 - Long Beach, CA, United States Duration: Mar 26 2007 → Mar 30 2007

Publication series

Name	Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM

Other

Other	21st International Parallel and Distributed Processing Symposium, IPDPS 2007
Country/Territory	United States
City	Long Beach, CA
Period	3/26/07 → 3/30/07

ASJC Scopus subject areas

Hardware and Architecture
Software
Mathematics(all)

Online availability

10.1109/IPDPS.2007.370519

Library availability

Discover UIUC Full Text

Cite this

Sobeih, A., Viswanathan, M., Marinov, D., & Hou, J. C. (2007). J-Sim: An integrated environment for simulation and model checking of network protocols. In Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM Article 4228247 (Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM). https://doi.org/10.1109/IPDPS.2007.370519

J-Sim: An integrated environment for simulation and model checking of network protocols. / Sobeih, Ahmed; Viswanathan, Mahesh ; Marinov, Darko et al.
Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM. 2007. 4228247 (Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Sobeih, A, Viswanathan, M , Marinov, D & Hou, JC 2007, J-Sim: An integrated environment for simulation and model checking of network protocols. in Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM., 4228247, Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM, 21st International Parallel and Distributed Processing Symposium, IPDPS 2007, Long Beach, CA, United States, 3/26/07. https://doi.org/10.1109/IPDPS.2007.370519

Sobeih A, Viswanathan M , Marinov D, Hou JC. J-Sim: An integrated environment for simulation and model checking of network protocols. In Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM. 2007. 4228247. (Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM). doi: 10.1109/IPDPS.2007.370519

Sobeih, Ahmed ; Viswanathan, Mahesh ; Marinov, Darko et al. / J-Sim : An integrated environment for simulation and model checking of network protocols. Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM. 2007. (Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM).

@inproceedings{44dcf6986b7e44d5bc4ce548b8ec82b5,

title = "J-Sim: An integrated environment for simulation and model checking of network protocols",

abstract = "In this paper, we report our work [24, 26] on extending the J-Sim network simulator [13] to be an integrated environment for both simulation and model checking of network protocols. We also present a case study in which we modelchecked AODV in J-Sim.",

author = "Ahmed Sobeih and Mahesh Viswanathan and Darko Marinov and Hou, {Jennifer C.}",

year = "2007",

doi = "10.1109/IPDPS.2007.370519",

language = "English (US)",

isbn = "1424409101",

series = "Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM",

booktitle = "Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM",

note = "21st International Parallel and Distributed Processing Symposium, IPDPS 2007 ; Conference date: 26-03-2007 Through 30-03-2007",

}

TY - GEN

T1 - J-Sim

T2 - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007

AU - Sobeih, Ahmed

AU - Viswanathan, Mahesh

AU - Marinov, Darko

AU - Hou, Jennifer C.

PY - 2007

Y1 - 2007

N2 - In this paper, we report our work [24, 26] on extending the J-Sim network simulator [13] to be an integrated environment for both simulation and model checking of network protocols. We also present a case study in which we modelchecked AODV in J-Sim.

AB - In this paper, we report our work [24, 26] on extending the J-Sim network simulator [13] to be an integrated environment for both simulation and model checking of network protocols. We also present a case study in which we modelchecked AODV in J-Sim.

UR - http://www.scopus.com/inward/record.url?scp=34548769966&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=34548769966&partnerID=8YFLogxK

U2 - 10.1109/IPDPS.2007.370519

DO - 10.1109/IPDPS.2007.370519

M3 - Conference contribution

AN - SCOPUS:34548769966

SN - 1424409101

SN - 9781424409105

T3 - Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM

BT - Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM

Y2 - 26 March 2007 through 30 March 2007

ER -

J-Sim: An integrated environment for simulation and model checking of network protocols

Abstract

Publication series

Other

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this