Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "SAVCBS@FSE"( http://dblp.L3S.de/Venues/SAVCBS@FSE )

URL (DBLP): http://dblp.uni-trier.de/db/conf/sigsoft

Publication years (Num. hits)
2006 (15)
Publication types (Num. hits)
inproceedings(14) proceedings(1)
Venues (Conferences, Journals, ...)
SAVCBS@FSE(15)
Authors
Jacques Julliand(2) Alan E. Morkan(1) Alexander Ufimtsev(1) Andrew McVeigh(1) Barry Denby(1) Bart Jacobs 0002(1) Bruce W. Weide(1) David R. Cok(1) Emilie Oudot(1) Françoise Bellegarde(1) Frank Piessens(1) Gregory Kulczycki(1) Hassan Mountassir(1) Hendrik Post(1) Jeff Kramer(1) Jeff Magee(1) More (+10 of total 29)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 15 publication records. Showing 15 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1 Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, SAVCBS '06, Portland, Oregon, USA, November 10-11, 2006 Search on Bibsonomy SAVCBS@FSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Bart Jacobs 0002, Frank Piessens, Wolfram Schulte VC generation for functional behavior and non-interference of iterators. Search on Bibsonomy SAVCBS@FSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Julien Groslambert, Jacques Julliand, Olga Kouchnarenko JML-based verification of liveness properties on a class in isolation. Search on Bibsonomy SAVCBS@FSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Andrew McVeigh, Jeff Kramer, Jeff Magee Using resemblance to support component reuse and evolution. Search on Bibsonomy SAVCBS@FSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Joseph R. Kiniry, Alan E. Morkan, Barry Denby Soundness and completeness warnings in ESC/Java2. Search on Bibsonomy SAVCBS@FSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Joan Krone, William F. Ogden, Murali Sitaraman Performance analysis based upon complete profiles. Search on Bibsonomy SAVCBS@FSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Hendrik Post, Wolfgang Küchlin Automatic data environment construction for static device drivers analysis. Search on Bibsonomy SAVCBS@FSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Patrice Chalin Early detection of JML specification errors using ESC/Java2. Search on Bibsonomy SAVCBS@FSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot Experiments in the use of τ-simulations for the components-verification of real-time systems. Search on Bibsonomy SAVCBS@FSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Bruce W. Weide SAVCBS 2006 challenge: specification of iterators. Search on Bibsonomy SAVCBS@FSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Kevin Bierhoff Iterator specification with typestates. Search on Bibsonomy SAVCBS@FSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alexander Ufimtsev, Liam Murphy 0001 Performance modeling of a JavaEE component application using layered queuing networks: revised approach and a case study. Search on Bibsonomy SAVCBS@FSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Neelakantan R. Krishnaswami Reasoning about iterators with separation logic. Search on Bibsonomy SAVCBS@FSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Gregory Kulczycki, Jyotindra Vasudeo Simplifying reasoning about objects with Tako. Search on Bibsonomy SAVCBS@FSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1David R. Cok Specifying java iterators with JML and Esc/Java2. Search on Bibsonomy SAVCBS@FSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #15 of 15 (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