|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 11 keywords
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
74 | Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim 0001, Insup Lee 0001, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan 0001 |
Verisim: Formal Analysis of Network Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 28(2), pp. 129-145, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Verisim, packet radio, population abstraction, packet-type abstraction, simulation, routing, ad hoc networks, testing, network, temporal logic, AODV, formal analysis, tuning, MaC, NS |
37 | Prajish Prasad, Sridhar Iyer |
VeriSIM: A model-based learning pedagogy for fostering software design evaluation skills in computer science undergraduates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Res. Pract. Technol. Enhanc. Learn. ![In: Res. Pract. Technol. Enhanc. Learn. 17(1), pp. 22, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
37 | Spruha Satavlekar, Debarshi Nath, Rajashri Priyadarshini, Prajish Prasad, Daevesh Kumar Singh, Ramkumar Rajendran |
Unraveling Learner Interaction Strategies in VeriSIM for Software Design Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: 21st International Conference on Advanced Learning Technologies, ICALT 2021, Tartu, Estonia, July 12-15, 2021, pp. 308-310, 2021, IEEE, 978-1-6654-4106-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
37 | Prajish Prasad, Sridhar Iyer |
VeriSIM: a learning environment for comprehending class and sequence diagrams using design tracing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (SEET) ![In: ICSE-SEET 2020: 42nd International Conference on Software Engineering, Software Engineering Education and Training, Seoul, South Korea, 27 June - 19 July, 2020, pp. 23-33, 2020, ACM, 978-1-4503-7124-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
37 | Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim 0001, Insup Lee 0001, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan 0001 |
Verisim: Formal analysis of network simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2000, Portland, OR, USA, August 21-24, 2000, pp. 2-13, 2000, ACM, 1-58113-266-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|