default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational 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 - Hardi Hungar, Bernhard Steffen:
Behavior-based model construction. 4-14 - 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 - HoonSang Jin, Kavita Ravi, Fabio Somenzi:
Fate and free will in error traces. 102-116 - 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 - Klaus Havelund, Grigore Rosu:
Efficient monitoring of safety properties. 158-173 - Sérgio Vale Aguiar Campos, Orna Grumberg, Karen Yorav, Fady Copty:
Test sequence generation and model checking using dynamic transition relations. 174-182
Volume 6, Number 3, August 2004
- Heiko Dörr, Andy Schürr:
Introduction. 183-185 - 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
- Matthew B. Dwyer, Stefan Leue:
Introductory paper. 257-259 - Alex Groce, Willem Visser:
Heuristics for model checking Java programs. 260-276 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-25 00:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
