CSDL - Proceedings A

ACSD 2001 Organisation (PDF)

pp. ix

Programme Committee (PDF)

pp. x

Reviewers (PDF)

pp. xi

Invited Talks

From Code to Models (Abstract)

Gerard J. Holzmann, Bell Laboratories, Lucent Technologies

pp. 3

PDF

Making Meaningful Models for Mere Mortal (an extended abstract) (Abstract)

Jeff Kramer, Imperial College of Science, Technology and Medicine

pp. 11

PDF

Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems (Abstract)

Jerry Burch, Cadence Berkeley Laboratories

Roberto Passerone, Cadence Design Systems, Inc.

Alberto L. Sangiovanni-Vincentelli, University of California at Berkeley

pp. 13

PDF

Performance Issues

Correct Performance of Transaction Capabilities (Abstract)

Thomas Arts, Ericsson

Izak Van Langevelde, CWI

pp. 35

PDF

Analysis of Performance Limitations in Multithreaded Multiprocessor Architectures (Abstract)

W.M. Zuberek, Memorial University of Nfld

pp. 43

PDF

Abstracting from Failure Probabilities (Abstract)

Jan Jurjens, University of Oxford

pp. 53

PDF

Asynchronous Communication

Algorithms for Signal and Message Asynchronous Communication Mechanisms and Their Analysis (Abstract)

Fei Xia, University of Newcastle upon Tyne

Ian Clark, King's College London

pp. 65

PDF

Refinement Issues

Property Preserving Transition Refinement with Concurrent Runs: An Example (Abstract)

Sibylle Peuker, Humboldt-Universit?t zu Berlin

pp. 77

PDF

Implementing Communicating Processes in the Event of Interface Difference (Abstract)

Jonathan Burton, University of Newcastle

Maciej Koutny, University of Newcastle

Giuseppe Pappalardo, Universit? di Catania

pp. 87

PDF

Object-Oriented Approach

From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach (Abstract)

Stanislav Chachkov, Swiss Federal Institute of Technology Lausanne

Didier Buchs, Swiss Federal Institute of Technology Lausanne

pp. 99

PDF

Codesign and Embedded Systems

A Petri Net Meta-Model to Develop Software Components for Embedded Systems (Abstract)

Ricardo J. Machado, Universidade do Minho

João M. Fernandes, Universidade do Minho

pp. 113

PDF

Strength and Weaknesses of Genetic List Scheduling for Heterogeneous Systems (Abstract)

Martin Grajcar, University of Passau

pp. 123

PDF

Software Implementation of Synchronous Programs (Abstract)

Charles Andre, University of Nice-Sophia Antipolis/CNRS

Frederic Boulanger, SUPELEC, Service Informatique

Alain Girault, INRIA Rh?ne-Alpes

pp. 133

PDF

Embedding Imperative Synchronous Languages in Interactive Theorem Provers (Abstract)

K. Schneider, Universit?t Karlsruhe

pp. 143

PDF

Asynchronous Circuits

A structural encoding technique for the synthesis of asynchronous circuits (Abstract)

Josep Carmona, Universit? Politecnica de Catalunya

Jordi Cortadella, Universit? Politecnica de Catalunya

Enric Pastor, Universit? Politecnica de Catalunya

pp. 157

PDF

Optimization of Asynchronous Delay-Insensitive Pipeline Latency Using Stage Reorganization and Optimal Stage Parameter Estimation (Abstract)

O. Garnica, Universidad Complutense de Madrid

J. Lanchares, Universidad Complutense de Madrid

R. Hermida, Universidad Complutense de Madrid

pp. 167

PDF

Towards Synthesis of Monotonic Asynchronous Circuits from Signal Transition Graphs (Abstract)

N. Starodoubtsev, Russian Academy of Sciences

S. Bystrov, Russian Academy of Sciences

M. Goncharov, Russian Academy of Sciences

I. Klotchkov, Russian Academy of Sciences

A. Smirnov, Russian Academy of Sciences

pp. 179

PDF

Semi-Hiding Operators and the Analysis of Active-Edge Specifications for Digital Circuits (Abstract)

Radu Negulescu, McGill University

Xiaohua Kong, McGill University

pp. 189

PDF

Verification and Testing

Exploration Testing (Abstract)

Juhana Helovuo, Tampere University of Technology

Sari Leppanen, Nokia Research Center

pp. 201

PDF

Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method (Abstract)

Louise Lorentsen, University of Aarhus

Lars Michael Kristensen, University of South Australia

pp. 211

PDF

Automata Generation for On-the-fly Automatic Verification Using Formulas of an Interval Logic (Abstract)

Miguel J. Hornos, Universidad de Granada

Manuel I. Capel, Universidad de Granada

pp. 221

PDF

The BDD Space Complexity of Different Forms of Concurrency (Abstract)

Michael Baldamus, University of Karlsruhe

Klaus Schneider, University of Karlsruhe

pp. 231

PDF

Petri Net Synthesis

Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems (Abstract)

Marta Pietkiewicz-Koutny, University of Newcastle

pp. 245

PDF

Author Index (PDF)

pp. 255