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

Volume 9, Number 1, February 2007

• Deepak D'Souza, Pavithra Prabhakar:
  On the expressiveness of MTL in the pointwise and continuous semantics. 1-4
  
• Marco Bozzano, Adolfo Villafiorita:
  The FSAP/NuSMV-SA Safety Analysis Platform. 5-24
  
• Michael Huth:
  Some current topics in model checking. 25-36
  
• Aleksandar Dimovski, Ranko Lazic:
  Compositional software verification based on game semantics and process algebra. 37-51
  
• Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens:
  Model-checking the preservation of temporal properties upon feature integration. 53-62
  
• Radu Siminiceanu, Gianfranco Ciardo:
  Formal verification of the NASA runway safety monitor. 63-76
  
• Cécile Braunstein, Emmanuelle Encrenaz:
  CTL-property Transformations along an Incremental Design Process. 77-88
  
• Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham:
  Improved verification of hardware designs through antecedent conditioned slicing. 89-101
  

Volume 9, Number 2, March 2007

• Dragan Gasevic, Dragan Djuric, Vladan Devedzic:
  MDA-based Automatic OWL Ontology Development. 103-117
  
• Orna Grumberg, Shmuel Katz:
  VeriTech: a framework for translating among model description notations. 119-132
  
• Mauro Pezzè:
  Introduction to the special section on FASE 2003. 133-134
  
• Wim Vanderperren, Davy Suvée, Bruno De Fraine, Viviane Jonckers:
  Aspect-oriented Component Composition in PacoSuite Through Invasive Composition Adapters. 135-154
  
• Ioana Sora, Pierre Verbaeten, Yolande Berbers:
  CCDL: the composable components description language. 155-168
  
• Claus Pahl:
  An ontology for software component matching. 169-178
  
• Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso:
  Towards UML-based formal specifications of component-based real-time software. 179-192
  
• Reiko Heckel, Marc Lohmann:
  Model-driven development of reactive information systems: from graph transformation rules to JML contracts. 193-207
  

Volume 9, Numbers 3-4, June 2007

• Kurt Jensen:
  Special section on coloured Petri nets. 209-212
  
• Kurt Jensen, Lars Michael Kristensen, Lisa Wells:
  Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. 213-254
  
• Brice Mitchell, Lars Michael Kristensen, Lin Zhang:
  Formal specification and state space analysis of an operational planning process. 255-267
  
• Jonathan Billington, Bing Han:
  Modelling and analysing the functional behaviour of TCP's connection management procedures. 269-304
  
• Lin Liu, Jonathan Billington:
  Verification of the Capability Exchange Signalling protocol. 305-326
  
• Maja Pesic, Wil M. P. van der Aalst:
  Modelling work distribution mechanisms using Colored Petri Nets. 327-352
  
• Ricardo Jorge Machado, Kristian Bisgaard Lassen, Sérgio Oliveira, Marco Couto, Patrícia Pinto:
  Requirements Validation: Execution of UML Models with CPN Tools. 353-369
  
• Guy Edward Gallasch, Jonathan Billington, Somsak Vanit-Anunchai, Lars Michael Kristensen:
  Checking safety properties on-the-fly with the sweep-line method. 371-391
  
• Charles Lakos, Laure Petrucci:
  Modular state space exploration for timed petri nets. 393-411
  
• Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
  Widening operators for powerset domains. 413-414
  

Volume 9, Numbers 5-6, October 2007

• Michel Wermelinger, Tiziana Margaria, Maura Cerioli:
  Introduction to the special section on fundamental approaches to software engineering. 415-416
  
• Georg Jung, John Hatcliff:
  A correlation framework for the CORBA component model. 417-427
  
• Marsha Chechik, Arie Gurfinkel:
  A framework for counterexample generation and exploration. 429-445
  
• Grégoire Hamon, John M. Rushby:
  An operational semantics for Stateflow. 447-456
  
• Ruth Breu, Gerhard Popp, Muhammad Alam:
  Model based development of access policies. 457-470
  
• Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski:
  Modeling software product lines using color-blind transition systems. 471-487
  
• Venkatesh Prasad Ranganath, John Hatcliff:
  Slicing concurrent Java programs using Indus and Kaveri. 489-504
  
• Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
  The software model checker Blast. 505-525
  
• Jan Jürjens, Pasha Shabalin:
  Tools for secure systems development with UML. 527-544
  

Last update Fri May 24 20:49:58 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page