International Journal on Software Tools for Technology Transfer (STTT), Volume 6

Volume 6, Number 1, July 2004

• Lenore D. Zuck, Paul C. Attie, Agostino Cortesi:
  Preface by the section editors. 1-3
  Electronic Edition (link) BibTeX
• Hardi Hungar, Bernhard Steffen:
  Behavior-based model construction. 4-14
  Electronic Edition (link) BibTeX
• Xavier Rival:
  Certification of compiled assembly code by invariant translation. 15-37
  Electronic Edition (link) BibTeX
• Ping Yang, C. R. Ramakrishnan, Scott A. Smolka:
  A logical encoding of the pi-calculus: model checking mobile processes using tabled resolution. 38-66
  Electronic Edition (link) BibTeX
• Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch:
  Using simulated execution in verifying distributed algorithms. 67-76
  Electronic Edition (link) BibTeX
• Farn Wang:
  Efficient verification of timed automata with BDD-like data structures. 77-97
  Electronic Edition (link) BibTeX

Volume 6, Number 2, August 2004

• Joost-Pieter Katoen, Perdita Stevens:
  Guest editors' introduction: Advancements and extensions of verification techniques. 99-101
  Electronic Edition (link) BibTeX
• HoonSang Jin, Kavita Ravi, Fabio Somenzi:
  Fate and free will in error traces. 102-116
  Electronic Edition (link) BibTeX
• Patrice Godefroid, Sarfraz Khurshid:
  Exploring very large state spaces using genetic algorithms. 117-127
  Electronic Edition (link) BibTeX
• Marta Z. Kwiatkowska, Gethin Norman, David Parker:
  Probabilistic symbolic model checking with PRISM: a hybrid approach. 128-142
  Electronic Edition (link) BibTeX
• Fabrice Bouquet, Bruno Legeard, Fabien Peureux:
  CLPS-B - A constraint solver to animate a B specification. 143-157
  Electronic Edition (link) BibTeX
• Klaus Havelund, Grigore Rosu:
  Efficient monitoring of safety properties. 158-173
  Electronic Edition (link) BibTeX
• Sérgio Vale Aguiar Campos, Orna Grumberg, Karen Yorav, Copty Fady:
  Test sequence generation and model checking using dynamic transition relations. 174-182
  Electronic Edition (link) BibTeX

Volume 6, Number 3, August 2004

• Heiko Dörr, Andy Schürr:
  Introduction. 183-185
  Electronic Edition (link) BibTeX
• G. Schopfer, A. Yang, Lars von Wedel, Wolfgang Marquardt:
  CHEOPS: A tool-integration platform for chemical process modelling and simulation. 186-202
  Electronic Edition (link) BibTeX
• Sven Burmester, Holger Giese, Jörg Niere, Matthias Tichy, Jörg P. Wadsack, Robert Wagner, Lothar Wendehals, Albert Zündorf:
  Tool integration at the meta-model level: the Fujaba approach. 203-218
  Electronic Edition (link) BibTeX
• Klaus Marius Hansen:
  Thoth - A publish/subscribe architecture for peer-to-peer tool integration. 219-230
  Electronic Edition (link) BibTeX
• Flavio Corradini, Leonardo Mariani, Emanuela Merelli:
  An agent-based approach to tool integration. 231-244
  Electronic Edition (link) BibTeX
• Jean-Louis Colaço, Marc Pouzet:
  Type-based initialization analysis of a synchronous dataflow language. 245-255
  Electronic Edition (link) BibTeX

Volume 6, Number 4, August 2004

• Matthew B. Dwyer, Stefan Leue:
  Introductory paper. 257-259
  Electronic Edition (link) BibTeX
• Alex Groce, Willem Visser:
  Heuristics for model checking Java programs. 260-276
  Electronic Edition (link) BibTeX
• Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente:
  Partial-order reduction and trail improvement in directed model checking. 277-301
  Electronic Edition (link) BibTeX
• Radu Iosif:
  Symmetry reductions for model checking of concurrent dynamic software. 302-319
  Electronic Edition (link) BibTeX
• Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli:
  Exploiting transition locality in automatic verification of finite-state concurrent systems. 320-341
  Electronic Edition (link) BibTeX