7. ACSD 2007:
Bratislava,
Slovak Republic
Twan Basten, Gabriel Juhás, Sandeep K. Shukla (Eds.):
Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic.
IEEE Computer Society 2007, ISBN 978-0-7695-2902-8 
Invited Papers
Regular Papers
- Souheib Baarir, Alexandre Duret-Lutz:
Emptiness Check of Powerset Buchi Automata using Inclusion Tests.
41-50
- Frédéric Béal, Tomohiro Yoneda, Chris J. Myers:
Hazard Checking of Timed Asynchronous Circuits Revisited.
51-60
- Hanifa Boucheneb, Hind Rakkay:
A more efficient time Petri net state space abstraction preserving linear properties.
61-70
- Juliana Küster Filipe Bowles, Behzad Bordbar:
A Formal Model for Integrating Multiple Views.
71-79
- Cécile Braunstein, Emmanuelle Encrenaz:
Using CTL formulae as component abstraction in a design and verification flow.
80-89
- Franck Cassez, Stavros Tripakis, Karine Altisen:
Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis.
90-99
- Yuan Chen, Fei Xia, Delong Shang, Alexandre Yakovlev:
The Design of Virtual Self-timed Block for Activity Communication in SOC.
100-109
- Raymond R. Devillers, Hanna Klaudel, Maciej Koutny:
Modelling Mobility in High-level Petri Nets.
110-119
- Guan Yu, Gauthier Lafruit, Peter Schelkens:
Platform-scalable Task Partition and Multilevel Buffering in Multi-processor Plessey Corner Detector.
120-126
- Jinfeng Huang, Jeroen Voeten, Marcel A. Groothuis, Jan F. Broenink, Henk Corporaal:
A model-driven design approach for mechatronic systems.
127-136
- Victor Khomenko:
Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings.
137-146
- Victor Khomenko, Mark Schäfer, Walter Vogler:
Output-Determinacy and Asynchronous Circuit Synthesis.
147-156
- Robert Lorenz, Robin Bergenthum, Jörg Desel, Sebastian Mauser:
Synthesis of Petri Nets from Finite Partial Languages.
157-166
- Robert Lorenz, Sebastian Mauser, Robin Bergenthum:
Testing the executability of scenarios in general inhibitor nets.
167-176
- Jasen Markovski, Erik P. de Vink:
Real-Time Process Algebra with Stochastic Delays.
177-186
- Siamak Nazari, John Thistle:
Structural Conditions for Model-checking of Parameterized Networks.
187-196
- Danil Sokolov, Ivan Poliakov, Alexandre Yakovlev:
Asynchronous Data Path Models.
197-210
Tool Papers
- Ivana Budinska, V. Oravec, Emil Gatial, Michal Laclavik, Martin Seleng, Zoltan Balogh, Baltazár Frankovic, R. Forgác, I. Mokris, Ladislav Hluchý:
RAPORT - a knowledge support system for administrative workflow processes.
211-215
- Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote:
Sarir: A Rebeca to mCRL2 Translator.
216-222
Tutorial
Extended Abstracts
Copyright © Tue Feb 9 19:19:37 2010
by Michael Ley (ley@uni-trier.de)
