Volume 9,
Number 1,
February 2007
Special Section on Advances in Automated Verification of Critical Systems
Volume 9,
Number 2,
March 2007
Special Section on Fundamental Approaches to Software Engineering
- Dragan Gasevic, Dragan Djuric, Vladan Devedzic:
MDA-based Automatic OWL Ontology Development.
103-117
Electronic Edition (link) BibTeX
- Orna Grumberg, Shmuel Katz:
VeriTech: a framework for translating among model description notations.
119-132
Electronic Edition (link) BibTeX
- Mauro Pezzè:
Introduction to the special section on FASE 2003.
133-134
Electronic Edition (link) BibTeX
- Wim Vanderperren, Davy Suvée, Bruno De Fraine, Viviane Jonckers:
Aspect-oriented Component Composition in PacoSuite Through Invasive Composition Adapters.
135-154
Electronic Edition (link) BibTeX
- Ioana Sora, Pierre Verbaeten, Yolande Berbers:
CCDL: the composable components description language.
155-168
Electronic Edition (link) BibTeX
- Claus Pahl:
An ontology for software component matching.
169-178
Electronic Edition (link) BibTeX
- Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso:
Towards UML-based formal specifications of component-based real-time software.
179-192
Electronic Edition (link) BibTeX
- Reiko Heckel, Marc Lohmann:
Model-driven development of reactive information systems: from graph transformation rules to JML contracts.
193-207
Electronic Edition (link) BibTeX
Volume 9,
Numbers 3-4,
June 2007
- Kurt Jensen:
Special section on coloured Petri nets.
209-212
Electronic Edition (link) BibTeX
- Kurt Jensen, Lars Michael Kristensen, Lisa Wells:
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems.
213-254
Electronic Edition (link) BibTeX
- Brice Mitchell, Lars Michael Kristensen, Lin Zhang:
Formal specification and state space analysis of an operational planning process.
255-267
Electronic Edition (link) BibTeX
- Jonathan Billington, Bing Han:
Modelling and analysing the functional behaviour of TCP's connection management procedures.
269-304
Electronic Edition (link) BibTeX
- Lin Liu, Jonathan Billington:
Verification of the Capability Exchange Signalling protocol.
305-326
Electronic Edition (link) BibTeX
- Maja Pesic, Wil M. P. van der Aalst:
Modelling work distribution mechanisms using Colored Petri Nets.
327-352
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Guy Edward Gallasch, Jonathan Billington, Somsak Vanit-Anunchai, Lars Michael Kristensen:
Checking safety properties on-the-fly with the sweep-line method.
371-391
Electronic Edition (link) BibTeX
- Charles Lakos, Laure Petrucci:
Modular state space exploration for timed petri nets.
393-411
Electronic Edition (link) BibTeX
- Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
Widening operators for powerset domains.
413-414
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Georg Jung, John Hatcliff:
A correlation framework for the CORBA component model.
417-427
Electronic Edition (link) BibTeX
- Marsha Chechik, Arie Gurfinkel:
A framework for counterexample generation and exploration.
429-445
Electronic Edition (link) BibTeX
- Grégoire Hamon, John M. Rushby:
An operational semantics for Stateflow.
447-456
Electronic Edition (link) BibTeX
- Ruth Breu, Gerhard Popp, Muhammad Alam:
Model based development of access policies.
457-470
Electronic Edition (link) BibTeX
- Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski:
Modeling software product lines using color-blind transition systems.
471-487
Electronic Edition (link) BibTeX
- Venkatesh Prasad Ranganath, John Hatcliff:
Slicing concurrent Java programs using Indus and Kaveri.
489-504
Electronic Edition (link) BibTeX
- Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
The software model checker Blast.
505-525
Electronic Edition (link) BibTeX
- Jan Jürjens, Pasha Shabalin:
Tools for secure systems development with UML.
527-544
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:22:39 2009
by Michael Ley (ley@uni-trier.de)
