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 updated on Fri May 24 06:33:45 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page