Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Verisim with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2000 (1) 2002 (1) 2020 (1) 2021 (1) 2022 (1)
Publication types (Num. hits)
article(2) inproceedings(3)
Venues (Conferences, Journals, ...)
ICALT(1) ICSE (SEET)(1) IEEE Trans. Software Eng.(1) ISSTA(1) Res. Pract. Technol. Enhanc. L...(1)
Authors
Prajish Prasad(3) Carl A. Gunter(2) Davor Obradovic(2) Insup Lee 0001(2) Karthikeyan Bhargavan(2) Mahesh Viswanathan 0001(2) Moonjoo Kim 0001(2) Oleg Sokolsky(2) Sridhar Iyer(2) Daevesh Kumar Singh(1) Debarshi Nath(1) Rajashri Priyadarshini(1) Ramkumar Rajendran(1) Spruha Satavlekar(1)
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
74Karthikeyan 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 IEEE Trans. Software Eng. The full citation details ... 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
37Prajish Prasad, Sridhar Iyer VeriSIM: A model-based learning pedagogy for fostering software design evaluation skills in computer science undergraduates. Search on Bibsonomy Res. Pract. Technol. Enhanc. Learn. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
37Spruha 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 ICALT The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
37Prajish Prasad, Sridhar Iyer VeriSIM: a learning environment for comprehending class and sequence diagrams using design tracing. Search on Bibsonomy ICSE (SEET) The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
37Karthikeyan 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 ISSTA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #5 of 5 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license