8. ACSD 2008: Xi'an, China

• Michael Kishinevsky, Jordi Cortadella:
  Time elastic digital systems and Petri Nets. 1-2
  Electronic Edition (link) BibTeX
• Mark Schäfer, Walter Vogler, Dominic Wist, Ralf Wollowski:
  Avoiding irreducible CSC conflicts by internal communication. 3-12
  Electronic Edition (link) BibTeX
• Navid Toosizadeh, Safwat G. Zaky:
  Using edge-triggering in the asynchronous synthesis of write-after-read operations. 13-20
  Electronic Edition (link) BibTeX
• Masashi Imai, Takashi Nanya:
  A design method for 1-out-of-4 encoded low-power self-timed circuits using standard cell libraries. 21-26
  Electronic Edition (link) BibTeX
• Yan Xiao, Zhenhua Duan:
  Dynamic Critical-Path based on Fit Degree scheduling for reconfigurable multi-FPGAs. 27-32
  Electronic Edition (link) BibTeX
• Silvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, Sabina Rossi:
  PicNIc - Pi-calculus non-interference checker. 33-38
  Electronic Edition (link) BibTeX
• Hendrik Oberheid, Dennis Gamrad, Dirk Söffker:
  Closed loop state space analysis and simulation for Cognitive Systems. 39-44
  Electronic Edition (link) BibTeX
• Vinod A. Muganthan, Andrew Phillips, Maria Grazia Vigliotti:
  BAM: BioAmbient machine. 45-49
  Electronic Edition (link) BibTeX
• Naohiro Hamada, Yuuki Shiga, Hiroshi Saito, Tomohiro Yoneda, Chris J. Myers, Takashi Nanya:
  A behavioral synthesis method for asynchronous circuits with bundled-data implementation (Tool paper). 50-55
  Electronic Edition (link) BibTeX
• Razieh Behjati, Hamideh Sabouri, Niloofar Razavi, Marjan Sirjani:
  An effective approach for model checking SystemC designs. 56-61
  Electronic Edition (link) BibTeX
• Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani:
  Process algebraic verification of SystemC codes. 62-67
  Electronic Edition (link) BibTeX
• Agnes Madalinski, Eric Fabre:
  Modular construction of finite and complete prefixes of Petri net unfoldings. 68-77
  Electronic Edition (link) BibTeX
• Klaus Schneider, Jens Brandt:
  Performing causality analysis by bounded model checking. 78-87
  Electronic Edition (link) BibTeX
• Kais Klai, Laure Petrucci:
  Modular construction of the symbolic observation graph. 88-97
  Electronic Edition (link) BibTeX
• Lijun Zhang, Holger Hermanns, E. Moritz Hahn, Björn Wachter:
  Time-bounded model checking of infinite-state continuous-time Markov chains. 98-107
  Electronic Edition (link) BibTeX
• Jori Dubrovin, Tommi A. Junttila:
  Symbolic model checking of hierarchical UML state machines. 108-117
  Electronic Edition (link) BibTeX
• Chammika Mannakkara, Tomohiro Yoneda:
  Asynchronous pipeline controller based on early acknowledgement protocol. 118-127
  Electronic Edition (link) BibTeX
• Andrey Mokhov, Alexandre Yakovlev:
  Verification of conditional partial order graphs. 128-137
  Electronic Edition (link) BibTeX
• Kyller Costa Gorgônio, Fei Xia:
  Modeling and verifying asynchronous communication mechanisms using coloured Petri nets. 138-147
  Electronic Edition (link) BibTeX
• Shijun Lin, Li Su, Haibo Su, Guofei Zhou, Depeng Jin, Lieguang Zeng:
  A method for latency/bandwidth guarantees in Network-on-Chip. 148-153
  Electronic Edition (link) BibTeX
• Tieqiang Mo, Peng Hao:
  Removing causality cycle of synchronous programs with sequential data-flow recursion. 154-159
  Electronic Edition (link) BibTeX
• Sun Meng, Farhad Arbab:
  QoS-driven service selection and composition. 160-169
  Electronic Edition (link) BibTeX
• Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser:
  Synthesis of Petri nets from infinite partial languages. 170-179
  Electronic Edition (link) BibTeX
• Jasen Markovski, Erik P. de Vink:
  Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems. 180-189
  Electronic Edition (link) BibTeX
• Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro:
  On the interplay between fault handling and request-response service invocations. 190-198
  Electronic Edition (link) BibTeX
• Shufan Yang, Steve Furber, Yebin Shi, Luis A. Plana:
  An admission control system for QoS provision on a best-effort GALS interconnect. 200-207
  Electronic Edition (link) BibTeX
• Ping Gong, Keqing He, Jian Wang, Zaiwen Feng:
  Dynamic semantics of OWL-S in CSP-OZ. 208-213
  Electronic Edition (link) BibTeX