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 BibTeX
Invited Papers
Regular Papers
- Souheib Baarir, Alexandre Duret-Lutz:
Emptiness Check of Powerset Buchi Automata using Inclusion Tests.
41-50
Electronic Edition (link) BibTeX
- Frédéric Béal, Tomohiro Yoneda, Chris J. Myers:
Hazard Checking of Timed Asynchronous Circuits Revisited.
51-60
Electronic Edition (link) BibTeX
- Hanifa Boucheneb, Hind Rakkay:
A more efficient time Petri net state space abstraction preserving linear properties.
61-70
Electronic Edition (link) BibTeX
- Juliana Küster Filipe Bowles, Behzad Bordbar:
A Formal Model for Integrating Multiple Views.
71-79
Electronic Edition (link) BibTeX
- Cécile Braunstein, Emmanuelle Encrenaz:
Using CTL formulae as component abstraction in a design and verification flow.
80-89
Electronic Edition (link) BibTeX
- Franck Cassez, Stavros Tripakis, Karine Altisen:
Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis.
90-99
Electronic Edition (link) BibTeX
- Yuan Chen, Fei Xia, Delong Shang, Alexandre Yakovlev:
The Design of Virtual Self-timed Block for Activity Communication in SOC.
100-109
Electronic Edition (link) BibTeX
- Raymond R. Devillers, Hanna Klaudel, Maciej Koutny:
Modelling Mobility in High-level Petri Nets.
110-119
Electronic Edition (link) BibTeX
- Guan Yu, Gauthier Lafruit, Peter Schelkens:
Platform-scalable Task Partition and Multilevel Buffering in Multi-processor Plessey Corner Detector.
120-126
Electronic Edition (link) BibTeX
- Jinfeng Huang, Jeroen Voeten, Marcel A. Groothuis, Jan F. Broenink, Henk Corporaal:
A model-driven design approach for mechatronic systems.
127-136
Electronic Edition (link) BibTeX
- Victor Khomenko:
Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings.
137-146
Electronic Edition (link) BibTeX
- Victor Khomenko, Mark Schäfer, Walter Vogler:
Output-Determinacy and Asynchronous Circuit Synthesis.
147-156
Electronic Edition (link) BibTeX
- Robert Lorenz, Robin Bergenthum, Jörg Desel, Sebastian Mauser:
Synthesis of Petri Nets from Finite Partial Languages.
157-166
Electronic Edition (link) BibTeX
- Robert Lorenz, Sebastian Mauser, Robin Bergenthum:
Testing the executability of scenarios in general inhibitor nets.
167-176
Electronic Edition (link) BibTeX
- Jasen Markovski, Erik P. de Vink:
Real-Time Process Algebra with Stochastic Delays.
177-186
Electronic Edition (link) BibTeX
- Siamak Nazari, John Thistle:
Structural Conditions for Model-checking of Parameterized Networks.
187-196
Electronic Edition (link) BibTeX
- Danil Sokolov, Ivan Poliakov, Alexandre Yakovlev:
Asynchronous Data Path Models.
197-210
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote:
Sarir: A Rebeca to mCRL2 Translator.
216-222
Electronic Edition (link) BibTeX
Tutorial
Extended Abstracts
Copyright © Sat May 16 22:56:12 2009
by Michael Ley (ley@uni-trier.de)