International Journal on Software Tools for Technology Transfer (STTT), Volume 6
Volume 6, Number 1, July 2004
- Xavier Rival: Certification of compiled assembly code by invariant translation. 15-37
- Ping Yang, C. R. Ramakrishnan, Scott A. Smolka: A logical encoding of the pi-calculus: model checking mobile processes using tabled resolution. 38-66
- Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch: Using simulated execution in verifying distributed algorithms. 67-76
- Farn Wang: Efficient verification of timed automata with BDD-like data structures. 77-97
Volume 6, Number 2, August 2004
- Joost-Pieter Katoen, Perdita Stevens: Guest editors' introduction: Advancements and extensions of verification techniques. 99-101
- Patrice Godefroid, Sarfraz Khurshid: Exploring very large state spaces using genetic algorithms. 117-127
- Marta Z. Kwiatkowska, Gethin Norman, David Parker: Probabilistic symbolic model checking with PRISM: a hybrid approach. 128-142
- Fabrice Bouquet, Bruno Legeard, Fabien Peureux: CLPS-B - A constraint solver to animate a B specification. 143-157
- Sérgio Vale Aguiar Campos, Orna Grumberg, Karen Yorav, Copty Fady: Test sequence generation and model checking using dynamic transition relations. 174-182
Volume 6, Number 3, August 2004
- G. Schopfer, Aidong Yang, Lars von Wedel, Wolfgang Marquardt: CHEOPS: A tool-integration platform for chemical process modelling and simulation. 186-202
- 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
- Klaus Marius Hansen: Thoth - A publish/subscribe architecture for peer-to-peer tool integration. 219-230
- Flavio Corradini, Leonardo Mariani, Emanuela Merelli: An agent-based approach to tool integration. 231-244
- Jean-Louis Colaço, Marc Pouzet: Type-based initialization analysis of a synchronous dataflow language. 245-255
Volume 6, Number 4, August 2004
- Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente: Partial-order reduction and trail improvement in directed model checking. 277-301
- Radu Iosif: Symmetry reductions for model checking of concurrent dynamic software. 302-319
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team