The Community for Technology Leaders
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

Foreword (PDF)

pp. viii

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
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

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

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

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
96 ms
(Ver 3.3 (11022016))