The Community for Technology Leaders
2010 10th International Conference on Application of Concurrency to System Design (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
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)

Iuliana Bacivarov , Swiss Federal Institute of Technology Zurich, Switzerland
Wolfgang Haid , Swiss Federal Institute of Technology Zurich, Switzerland
Lothar Thiele , Swiss Federal Institute of Technology Zurich, Switzerland
Kai Huang , Swiss Federal Institute of Technology Zurich, Switzerland
pp. 29-40
Regular Papers

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

Stavros Tripakis , Cadence Berkeley Labs, USA
Karine Altisen , INPG and Verimag Laboratory, France
Franck Cassez , CNRS/IRCCyN, France
pp. 90-99
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
Peter Schelkens , Universiteit Brussel, Belgium
Gauthier Lafruit , Inter-university Micro-Electronics Centre, Belgium
pp. 120-126

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

Jinfeng Huang , Eindhoven University of Technology, the Netherlands
Henk Corporaal , 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
pp. 127-136

Output-Determinacy and Asynchronous Circuit Synthesis (Abstract)

Victor Khomenko , Newcastle University, UK
Walter Vogler , University of Augsburg, Germany
Mark Schaefer , University of Augsburg, Germany
pp. 147-156
Regular Papers

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

Robin Bergenthum , Catholic University of Eichstatt-Ingolstadt, Germany
Sebastian Mauser , Catholic University of Eichstatt-Ingolstadt, Germany
Robert Lorenz , 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)

John Thistle , University of Waterloo, Canada
Siamak Nazari , University of Waterloo, Canada
pp. 187-196

Asynchronous Data Path Models (Abstract)

Alex Yakovlev , University of Newcastle, UK
Ivan Poliakov , University of Newcastle, UK
Danil Sokolov , University of Newcastle, UK
pp. 197-210
Tool Papers

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

E. Gatial , Institute of informatics SAS, Slovak Republic
B. Frankovic , Institute of informatics SAS, Slovak Republic
M. Laclav? , Institute of informatics SAS, Slovak Republic
M. Seleng , Institute of informatics SAS, Slovak Republic
R. Forg? , Institute of informatics SAS, Slovak Republic
Z. Balogh , Institute of informatics SAS, Slovak Republic
L. Hluch? , Institute of informatics SAS, Slovak Republic
V. Oravec , Institute of informatics SAS, Slovak Republic
I. Mokris , Institute of informatics SAS, Slovak Republic
I. Budinsk? , 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
J. F. Groote , Eindhoven University of Technology, the Netherlands
M. R. Mousavi , Eindhoven University of Technology, the Netherlands; Reykjavik University, Iceland
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)

Manuela L. Bujorianu , University of Twente, the Netherlands
Marius C. Bujorianu , University of Kent, UK
pp. 240-241
Author Index

Author Index (PDF)

pp. 243
108 ms
(Ver )