CSDL - Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Table of Contents

Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) (2007)

Bratislava, Slovak Republic

July 10, 2007 to July 13, 2007

ISSN: 1550-4808

ISBN: 0-7695-2902-X

TABLE OF CONTENTS

Seventh International Conference on Application of Concurrency to System Design - Cover (PDF)

pp. c1

Seventh International Conference on Application of Concurrency to System Design-Title (PDF)

pp. i-iii

Seventh International Conference on Application of Concurrency to System Design-Copyright (PDF)

pp. iv

Seventh International Conference on Application of Concurrency to System Design - TOC (PDF)

pp. v-vii

Foreword (PDF)

pp. viii

Using CTL formulae as component abstraction in a design and verification flow (Abstract)

Cecile Braunstein , Universite Paris 6, France

Emmanuelle Encrenaz , LSV & CNRS, France

pp. 80-89

Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis (Abstract)

Franck Cassez , CNRS/IRCCyN, France

Stavros Tripakis , Cadence Berkeley Labs, USA

Karine Altisen , INPG and Verimag Laboratory, France

pp. 90-99

The Design of Virtual Self-timed Block for Activity Communication in SOC (Abstract)

Yuan Chen , University of Newcastle upon Tyne, UK

Fei Xia , University of Newcastle upon Tyne, UK

Delong Shang , University of Newcastle upon Tyne, UK

Alex Yakovlev , University of Newcastle upon Tyne, UK

pp. 100-109

Introduction

Additional Reviewers (PDF)

pp. xi

Invited Papers

Finding Structure in Unstructured Processes: The Case for Process Mining (Abstract)

W. M. P. van der Aalst , Eindhoven University of Technology, the Netherlands

C. W. G?nther , Eindhoven University of Technology, the Netherlands

pp. 3-12

Synthesis and Control of Asynchronous and Distributed Systems (Abstract)

Philippe Darondeau , INRIA-Rennes, France

pp. 13-22

Composable Guarded Atomic Actions: a Bridging Model for SoC Design (Abstract)

Rishiyur S. Nikhil , Bluespec, Inc.

pp. 23-28

Mapping Applications to Tiled Multiprocessor Embedded Systems (Abstract)

Lothar Thiele , Swiss Federal Institute of Technology Zurich, Switzerland

Iuliana Bacivarov , Swiss Federal Institute of Technology Zurich, Switzerland

Wolfgang Haid , Swiss Federal Institute of Technology Zurich, Switzerland

Kai Huang , Swiss Federal Institute of Technology Zurich, Switzerland

pp. 29-40

Synthesis of Petri Nets from Finite Partial Languages (Abstract)

Robert Lorenz , Catholic University of Eichstatt-Ingolstadt, Germany

Robin Bergenthum , Catholic University of Eichstatt-Ingolstadt, Germany

Jorg Desel , Catholic University of Eichstatt-Ingolstadt, Germany

Sebastian Mauser , Catholic University of Eichstatt-Ingolstadt, Germany

pp. 157-166

Testing the executability of scenarios in general inhibitor nets (Abstract)

Robert Lorenz , Department of Applied Computer Science, Catholic University of Eichstatt-Ingolstadt, Germany

Sebastian Mauser , Department of Applied Computer Science, Catholic University of Eichstatt-Ingolstadt, Germany

Robin Bergenthum , Department of Applied Computer Science, Catholic University of Eichstatt-Ingolstadt, Germany

pp. 167-176

Real-Time Process Algebra with Stochastic Delays (Abstract)

J. Markovski , Technische Universiteit Eindhoven, the Netherlands

E. P. de Vink , Technische Universiteit Eindhoven, the Netherlands

pp. 177-186

Structural Conditions for Model-checking of Parameterized Networks (Abstract)

Siamak Nazari , University of Waterloo, Canada

John Thistle , University of Waterloo, Canada

pp. 187-196

Regular Papers

Using CTL formulae as component abstraction in a design and verification flow (Abstract)

C?cile Braunstein , Universite Paris 6, France

Emmanuelle Encrenaz , LSV & CNRS, France

pp. 80-89

Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis (Abstract)

Franck Cassez , CNRS/IRCCyN, France

Stavros Tripakis , Cadence Berkeley Labs, USA

Karine Altisen , INPG and Verimag Laboratory, France

pp. 90-99

Sarir: A Rebeca to mCRL2 Translator (Abstract)

H. Hojjat , University of Tehran and IPM, Iran

M. Sirjani , University of Tehran and IPM, Iran

M. R. Mousavi , Reykjavik University, Iceland

J. F. Groote , Eindhoven University of Technology, The Netherlands

pp. 216-222

Sensor and Ad HocWireless Networks (Abstract)

Martin Drozda , Leibniz University of Hannover, Germany

pp. 223-230

Regular Papers

Platform-scalable Task Partition and Multilevel Buffering in Multi-processor Plessey Corner Detector (Abstract)

Guan Yu , Vrije Universiteit Brussel, Belgium; Inter-university Micro-Electronics Centre, Belgium

Gauthier Lafruit , Inter-university Micro-Electronics Centre, Belgium

Peter Schelkens , Universiteit Brussel, Belgium

pp. 120-126

A model-driven design approach for mechatronic systems (Abstract)

Jinfeng Huang , Eindhoven University of Technology, the Netherlands

Jeroen Voeten , Eindhoven University of Technology, the Netherlands; Embedded Systems Institute, the Netherlands

Marcel Groothuis , University of Twente, the Netherlands

Jan Broenink , University of Twente, the Netherlands

Henk Corporaal , Eindhoven University of Technology, the Netherlands

pp. 127-136

Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings (Abstract)

Victor Khomenko , Newcastle University, UK

pp. 137-146

Output-Determinacy and Asynchronous Circuit Synthesis (Abstract)

Victor Khomenko , Newcastle University, UK

Mark Schaefer , University of Augsburg, Germany

Walter Vogler , University of Augsburg, Germany

pp. 147-156

Towards Hilbertian Formal Methods (Abstract)

Marius C. Bujorianu , University of Kent, UK

Manuela L. Bujorianu , University of Twente, the Netherlands

pp. 240-241

Regular Papers

Testing the executability of scenarios in general inhibitor nets (Abstract)

Robert Lorenz , Catholic University of Eichstatt-Ingolstadt, Germany

Sebastian Mauser , Catholic University of Eichstatt-Ingolstadt, Germany

Robin Bergenthum , Catholic University of Eichstatt-Ingolstadt, Germany

pp. 167-176

Real-Time Process Algebra with Stochastic Delays (Abstract)

J. Markovski , Technische Universiteit Eindhoven, the Netherlands

E. P. de Vink , Technische Universiteit Eindhoven, the Netherlands

pp. 177-186

Structural Conditions for Model-checking of Parameterized Networks (Abstract)

Siamak Nazari , University of Waterloo, Canada

John Thistle , University of Waterloo, Canada

pp. 187-196

Asynchronous Data Path Models (Abstract)

Danil Sokolov , University of Newcastle, UK

Ivan Poliakov , University of Newcastle, UK

Alex Yakovlev , University of Newcastle, UK

pp. 197-210

Tool Papers

RAPORT - a knowledge support system for administrative workflow processes (Abstract)

I. Budinsk? , Institute of informatics SAS, Slovak Republic

V. Oravec , Institute of informatics SAS, Slovak Republic

E. Gatial , Institute of informatics SAS, Slovak Republic

M. Laclav? , Institute of informatics SAS, Slovak Republic

M. Seleng , Institute of informatics SAS, Slovak Republic

Z. Balogh , Institute of informatics SAS, Slovak Republic

B. Frankovic , Institute of informatics SAS, Slovak Republic

R. Forg? , Institute of informatics SAS, Slovak Republic

I. Mokris , Institute of informatics SAS, Slovak Republic

L. Hluch? , Institute of informatics SAS, Slovak Republic

pp. 211-215

Sarir: A Rebeca to mCRL2 Translator (Abstract)

H. Hojjat , University of Tehran and IPM, Iran

M. Sirjani , University of Tehran and IPM, Iran

M. R. Mousavi , Eindhoven University of Technology, the Netherlands; Reykjavik University, Iceland

J. F. Groote , Eindhoven University of Technology, the Netherlands

pp. 216-222

Tutorial

Sensor and Ad HocWireless Networks (Abstract)

Martin Drozda , Leibniz University of Hannover, Germany

pp. 223-230

Extended Abstracts

Modelling Latency-Insensitive Systems in CSP (PDF)

Hemangee K. Kapoor , Dhirubhai Ambani Institute of Information and Communication Technology, India

pp. 231-232

Multicomponent Compatibility and its Verification (Abstract)

Donald C. Craig , Memorial University, Canada

Wlodek M. Zuberek , Memorial University, Canada

pp. 233-235

SAT-based Unbounded Model Checking of Timed Automata (PDF)

Wojciech Penczek , Institute of Computer Science, PAS, Poland

Maciej Szreter , Institute of Computer Science, PAS, Poland

pp. 236-237

An Algebraic Approach to Multi-Valued Model Checking (PDF)

Jinzhao Wu , University of Electronic Science and Technology, China; Chinese Academy of Sciences, China

Lin Zhao , Chinese Academy of Sciences, China

pp. 238-239

Towards Hilbertian Formal Methods (PDF)

Marius C. Bujorianu , University of Kent, UK

Manuela L. Bujorianu , University of Twente, the Netherlands

pp. 240-241

Author Index

Author Index (PDF)

pp. 243