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 G. 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, Viktor Oravec, Emil Gatial, Michal Laclavik, Martin Seleng, Zoltan Balogh, Baltazár Frankovic, Radoslav Forgác, Igor 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
Last update Mon May 20 22:23:27 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page