default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational 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 S. 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
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 2025-11-16 23:54 CET 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:
