1. Home
  2. Proceedings
  3. ACSD
  4. ACSD 2007
Default Cover Image

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

July 10 2007 to July 13 2007

Bratislava

Table of Contents

Seventh International Conference on Application of Concurrency to System Design-TitleFreely available from IEEE.
Seventh International Conference on Application of Concurrency to System Design-CopyrightFreely available from IEEE.
Seventh International Conference on Application of Concurrency to System Design - TOCFreely available from IEEE.
Finding Structure in Unstructured Processes: The Case for Process MiningFull-text access may be available. Sign in or learn about subscription options.pp. 3-12
by W.M.P. van der Aalst, C.W. Gunther
Synthesis and Control of Asynchronous and Distributed SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 13-22
by Philippe Darondeau
Introduction
ForewordFreely available from IEEE.
Sensor Minimization Problems with Static or Dynamic Observers for Fault DiagnosisFull-text access may be available. Sign in or learn about subscription options.pp. 90-99
by Franck Cassez, Stavros Tripakis, Karine Altisen
Introduction
ACSD 2007 OrganizationFreely available from IEEE.pp. ix
Introduction
Program CommitteeFreely available from IEEE.pp. x
Introduction
Additional ReviewersFreely available from IEEE.pp. xi
Invited Papers
Synthesis and Control of Asynchronous and Distributed SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 13-22
by Philippe Darondeau
Invited Papers
Composable Guarded Atomic Actions: a Bridging Model for SoC DesignFull-text access may be available. Sign in or learn about subscription options.pp. 23-28
by Rishiyur S. Nikhil
Invited Papers
Mapping Applications to Tiled Multiprocessor Embedded SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 29-40
by Lothar Thiele, Iuliana Bacivarov, Wolfgang Haid, Kai Huang
Synthesis of Petri Nets from Finite Partial LanguagesFull-text access may be available. Sign in or learn about subscription options.pp. 157-166
by Robert Lorenz, Robin Bergenthum, Jorg Desel, Sebastian Mauser
Regular Papers
Emptiness Check of Powerset Buchi Automata using Inclusion TestsFull-text access may be available. Sign in or learn about subscription options.pp. 41-50
by Souheib Baarir, Alexandre Duret-Lutz
Regular Papers
Hazard Checking of Timed Asynchronous Circuits RevisitedFull-text access may be available. Sign in or learn about subscription options.pp. 51-60
by Fr?d?ric B?al, Tomohiro Yoneda, Chris J. Myers
Real-Time Process Algebra with Stochastic DelaysFull-text access may be available. Sign in or learn about subscription options.pp. 177-186
by J. Markovski, E. P. de Vink
Regular Papers
A more efficient time Petri net state space abstraction preserving linear propertiesFull-text access may be available. Sign in or learn about subscription options.pp. 61-70
by Hanifa Boucheneb, Hind Rakkay
Structural Conditions for Model-checking of Parameterized NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 187-196
by Siamak Nazari, John Thistle
Regular Papers
A Formal Model for Integrating Multiple ViewsFull-text access may be available. Sign in or learn about subscription options.pp. 71-79
by J. K. F. Bowles, B. Bordbar
Regular Papers
Using CTL formulae as component abstraction in a design and verification flowFull-text access may be available. Sign in or learn about subscription options.pp. 80-89
by Cecile Braunstein, Emmanuelle Encrenaz
Regular Papers
Sensor Minimization Problems with Static or Dynamic Observers for Fault DiagnosisFull-text access may be available. Sign in or learn about subscription options.pp. 90-99
by Franck Cassez, Stavros Tripakis, Karine Altisen
Regular Papers
The Design of Virtual Self-timed Block for Activity Communication in SOCFull-text access may be available. Sign in or learn about subscription options.pp. 100-109
by Yuan Chen, Fei Xia, Delong Shang, Alex Yakovlev
Sarir: A Rebeca to mCRL2 TranslatorFull-text access may be available. Sign in or learn about subscription options.pp. 216-222
by H. Hojjat, M. Sirjani, M. R. Mousavi, J. F. Groote
Sensor and Ad HocWireless NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 223-230
by Martin Drozda
Regular Papers
Modelling Mobility in High-level Petri NetsFull-text access may be available. Sign in or learn about subscription options.pp. 110-119
by Raymond Devillers, Hanna Klaudel, Maciej Koutny
Regular Papers
Platform-scalable Task Partition and Multilevel Buffering in Multi-processor Plessey Corner DetectorFull-text access may be available. Sign in or learn about subscription options.pp. 120-126
by Guan Yu, Gauthier Lafruit, Peter Schelkens
Regular Papers
A model-driven design approach for mechatronic systemsFull-text access may be available. Sign in or learn about subscription options.pp. 127-136
by Jinfeng Huang, Jeroen Voeten, Marcel Groothuis, Jan Broenink, Henk Corporaal
Regular Papers
Efficient Automatic Resolution of Encoding Conflicts Using STG UnfoldingsFull-text access may be available. Sign in or learn about subscription options.pp. 137-146
by Victor Khomenko
Regular Papers
Output-Determinacy and Asynchronous Circuit SynthesisFull-text access may be available. Sign in or learn about subscription options.pp. 147-156
by Victor Khomenko, Mark Schaefer, Walter Vogler
Towards Hilbertian Formal MethodsFull-text access may be available. Sign in or learn about subscription options.pp. 240-241
by Marius C. Bujorianu, Manuela L. Bujorianu
Regular Papers
Synthesis of Petri Nets from Finite Partial LanguagesFull-text access may be available. Sign in or learn about subscription options.pp. 157-166
by Robert Lorenz, Robin Bergenthum, J?rg Desel, Sebastian Mauser
Regular Papers
Testing the executability of scenarios in general inhibitor netsFull-text access may be available. Sign in or learn about subscription options.pp. 167-176
by Robert Lorenz, Sebastian Mauser, Robin Bergenthum
Regular Papers
Real-Time Process Algebra with Stochastic DelaysFull-text access may be available. Sign in or learn about subscription options.pp. 177-186
by J. Markovski, E. P. de Vink
Regular Papers
Structural Conditions for Model-checking of Parameterized NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 187-196
by Siamak Nazari, John Thistle
Regular Papers
Asynchronous Data Path ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 197-210
by Danil Sokolov, Ivan Poliakov, Alex Yakovlev
RAPORT - a knowledge support system for administrative workflow processesFull-text access may be available. Sign in or learn about subscription options.pp. 211-215
by I. Budinska, V. Oravec, E. Gatial, M. Laclavik, M. Seleng, Z. Balogh, B. Frankovic, R. Forgac, I. Mokris, L. Hluchy
Tool Papers
Sarir: A Rebeca to mCRL2 TranslatorFull-text access may be available. Sign in or learn about subscription options.pp. 216-222
by H. Hojjat, M. Sirjani, M. R. Mousavi, J. F. Groote
Tutorial
Sensor and Ad HocWireless NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 223-230
by Martin Drozda
Extended Abstracts
Modelling Latency-Insensitive Systems in CSPFull-text access may be available. Sign in or learn about subscription options.pp. 231-232
by Hemangee K. Kapoor
Extended Abstracts
Multicomponent Compatibility and its VerificationFull-text access may be available. Sign in or learn about subscription options.pp. 233-235
by Donald C. Craig, Wlodek M. Zuberek
SAT-based Unbounded Model Checking of Timed AutomataFull-text access may be available. Sign in or learn about subscription options.pp. 236-237
by Wojciech Penczek, Maciej Szreter
Extended Abstracts
An Algebraic Approach to Multi-Valued Model CheckingFull-text access may be available. Sign in or learn about subscription options.pp. 238-239
by Jinzhao Wu, Lin Zhao
Extended Abstracts
Towards Hilbertian Formal MethodsFull-text access may be available. Sign in or learn about subscription options.pp. 240-241
by Marius C. Bujorianu, Manuela L. Bujorianu
Author Index
Author IndexFreely available from IEEE.pp. 243
Showing 45 out of 45