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

Volume 7, Number 1, February 2005

• Lubos Brim, Orna Grumberg:
  Introductory paper. 1-3
  
• Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik:
  Issues in distributed timed model checking. 4-18
  
• Gerd Behrmann:
  Distributed reachability analysis in timed automata. 19-30
  
• Michael D. Jones, Jacob Sorber:
  Parallel search for LTL violations. 31-42
  
• Alexander Bell, Boudewijn R. Haverkort:
  Sequential and distributed model checking of Petri nets. 43-60
  
• Lubos Brim, Karen Yorav, Jitka Zidkova:
  Assumption-based distribution of CTL model checking. 61-73
  
• Stefan Blom, Simona Orzan:
  A distributed algorithm for strong bisimulation reduction of state spaces. 74-86
  

Volume 7, Number 2, 2005

• Armin Biere, Ofer Strichman:
  Introductory paper. 87-88
  
• Toni Jussila, Keijo Heljanko, Ilkka Niemelä:
  BMC via on-the-fly determinization. 89-101
  
• Gianpiero Cabodi, Alex Kondratyev, Luciano Lavagno, Sergio Nocco, Stefano Quer, Yosinori Watanabe:
  A BMC-based formulation for the scheduling problem of hardware systems. 102-117
  
• Rajeev Alur, P. Madhusudan, Wonhong Nam:
  Symbolic computational techniques for solving games. 118-128
  
• Gianpiero Cabodi, Sergio Nocco, Stefano Quer:
  Are BDDs still alive within sequential verification? 129-142
  
• Bing Li, Chao Wang, Fabio Somenzi:
  Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure. 143-155
  
• Mukul R. Prasad, Armin Biere, Aarti Gupta:
  A survey of recent advances in SAT-based formal verification. 156-173
  
• Edmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman:
  Computational challenges in bounded model checking. 174-183
  
• Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber:
  Functional programming languages for verification tools: a comparison of Standard ML and Haskell. 184-194
  

Volume 7, Number 3, 2005

• Thomas Arts, Jaco van de Pol:
  Introductory paper. 195-196
  
• Richard Bubel, Reiner Hähnle:
  Integration of informal and formal development of object-oriented safety-critical software. 197-211
  
• Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll:
  An overview of JML tools and applications. 212-232
  
• Achim D. Brucker, Burkhart Wolff:
  A verification approach to applied system security. 233-247
  
• Andrew Butterfield, Jim Woodcock:
  prialt in Handel-C: an operational semantics. 248-267
  
• Jerker Hammarberg, Simin Nadjm-Tehrani:
  Formal verification of fault tolerance in safety-critical reconfigurable modules. 268-279
  
• Stefan Blom, Simona Orzan:
  Distributed state space minimization. 280-291
  

Volume 7, Number 4, 2005

• Tiziana Margaria:
  Introductory paper. 293-296
  
• Claude Jard, Thierry Jéron:
  TGV: theory, principles and algorithms. 297-315
  
• César Viho:
  Test distribution: a solution for complex network system testing. 316-325
  
• Andrea Baldini, Alfredo Benso, Paolo Prinetto:
  System-level functional testing from UML specifications in end-of-production industrial environments. 326-340
  
• Annette Bunker, Ganesh Gopalakrishnan, Konrad Slind:
  Live sequence charts applied to hardware requirements specification and verification. 341-350
  
• Ina Schieferdecker, George Din, Dimitrios Apostolidis:
  Distributed functional and load tests for Web services. 351-360
  
• Kenneth J. Turner:
  Test generation for radiotherapy accelerators. 361-375
  
• Bartholomäus Kellerer, Manfred Reitenspieß:
  Practical quality assurance for standards-based, high-availability middleware. 376-387