Volume 27,
Number 1-2,
September 2005
Volume 27,
Number 3,
November 2005
- Klaus Havelund, Grigore Rosu:
Foreword.
211-212
Electronic Edition (link) BibTeX
- Karthikeyan Bhargavan, Carl A. Gunter:
Network Event Recognition.
213-251
Electronic Edition (link) BibTeX
- Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma:
Collecting Statistics Over Runtime Executions.
253-274
Electronic Edition (link) BibTeX
- Murat Karaorman, Parker Abercrombie:
jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation.
275-312
Electronic Edition (link) BibTeX
- Suan Hsi Yong, Susan Horwitz:
Using Static Analysis to Reduce Dynamic Analysis Overhead.
313-334
Electronic Edition (link) BibTeX
- Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg, Clark W. Barrett, Yi Fang, Ying Hu:
Translation and Run-Time Validation of Loop Transformations.
335-360
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:59:09 2009
by Michael Ley (ley@uni-trier.de)