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

Foreword (PDF)

pp. viii
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

Emptiness Check of Powerset Buchi Automata using Inclusion Tests (Abstract)

Souheib Baarir , Universite Pierre et Marie Curie, France
Alexandre Duret-Lutz , Universite Pierre et Marie Curie, France
pp. 41-50

Hazard Checking of Timed Asynchronous Circuits Revisited (Abstract)

Fr?d?ric B?al , Tokyo Institute of Technology, Japan
Chris J. Myers , University of Utah, USA
Tomohiro Yoneda , National Institute of Informatics, Japan
pp. 51-60

A more efficient time Petri net state space abstraction preserving linear properties (Abstract)

Hind Rakkay , Ecole Polytechnique de Montreal, Canada
Hanifa Boucheneb , Ecole Polytechnique de Montreal, Canada
pp. 61-70

A Formal Model for Integrating Multiple Views (Abstract)

J. K. F. Bowles , The University of Birmingham, UK
B. Bordbar , The University of Birmingham, UK
pp. 71-79

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

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

Alex Yakovlev , University of Newcastle upon Tyne, UK
Delong Shang , University of Newcastle upon Tyne, UK
Fei Xia , University of Newcastle upon Tyne, UK
Yuan Chen , University of Newcastle upon Tyne, UK
pp. 100-109

Modelling Mobility in High-level Petri Nets (Abstract)

Maciej Koutny , University of Newcastle, United Kingdom
Raymond Devillers , Universite Libre de Bruxelles, Belgium
Hanna Klaudel , Universite d'Evry, France
pp. 110-119

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

Synthesis of Petri Nets from Finite Partial Languages (Abstract)

Sebastian Mauser , Catholic University of Eichstatt-Ingolstadt, Germany
Robert Lorenz , Catholic University of Eichstatt-Ingolstadt, Germany
J?rg Desel , Catholic University of Eichstatt-Ingolstadt, Germany
Robin Bergenthum , Catholic University of Eichstatt-Ingolstadt, Germany
pp. 157-166

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
102 ms
(Ver 3.1 (10032016))