Conferences in DBLP

International Conference on Application of Concurrency to System Design (acsd)
2005 (conf/acsd/2005)

1. 
   International Program Committee. [Citation Graph (0, 0)][DBLP]
   ACSD, 2005, pp:- [Conf]
   
2. 
   Reviewers. [Citation Graph (0, 0)][DBLP]
   ACSD, 2005, pp:- [Conf]
   
3. 
   Steering Committee. [Citation Graph (0, 0)][DBLP]
   ACSD, 2005, pp:- [Conf]
   
4. 
   Conference Organizers. [Citation Graph (0, 0)][DBLP]
   ACSD, 2005, pp:- [Conf]
   
5. 
   Foreword. [Citation Graph (0, 0)][DBLP]
   ACSD, 2005, pp:- [Conf]
   
6. Blaise Genest, Anca Muscholl
   Message Sequence Charts: A Survey. [Citation Graph (0, 0)][DBLP]
   ACSD, 2005, pp:2-4 [Conf]
   
7. Radu Grosu, Scott A. Smolka
   Safety-Liveness Semantics for UML 2.0 Sequence Diagrams. [Citation Graph (0, 0)][DBLP]
   ACSD, 2005, pp:6-14 [Conf]
   
8. Jukka Honkola, Sari Leppänen, Teemu Tynjälä
   Modeling the SpaceWire Architecture with Lyra. [Citation Graph (0, 0)][DBLP]
   ACSD, 2005, pp:15-24 [Conf]
   
9. Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz
   LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level. [Citation Graph (0, 0)][DBLP]
   ACSD, 2005, pp:26-35 [Conf]
   
10. Nicolas Rivierre, François Horn, Frédéric Dang Tran
    On Monitoring Concurrent Systems with TLA: An Example. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:36-45 [Conf]
    
11. Dumitru Potop-Butucaru, Benoît Caillaud
    Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:48-57 [Conf]
    
12. Hemangee K. Kapoor, Mark B. Josephs
    Controllable Delay-Insensitive Processes and their Reflection, Interaction and Factorisation. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:58-67 [Conf]
    
13. Alexander B. Smirnov, Alexander Taubin, Ming Su, Mark G. Karpovsky
    An Automated Fine-Grain Pipelining Using Domino Style Asynchronous Library. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:68-76 [Conf]
    
14. Keijo Heljanko, Alin Stefanescu
    Complexity Results for Checking Distributed Implementability. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:78-87 [Conf]
    
15. Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten
    An Algebra of Pareto Points. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:88-97 [Conf]
    
16. Stavros Tripakis
    Two-Phase Distributed Observation Problems. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:98-105 [Conf]
    
17. Klaus Schneider, Jens Brandt, Tobias Schüle, Thomas Tuerk
    Maximal Causality Analysis. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:106-115 [Conf]
    
18. Werner Damm
    Controlling Speculative Design Processes Using Rich Component Models. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:118-119 [Conf]
    
19. Robert Clarisó, Jordi Cortadella
    Verification of Concurrent Systems with Parametric Delays Using Octahedra. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:122-131 [Conf]
    
20. Wei Zheng, Jike Chong, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli
    Extensible and Scalable Time Triggered Scheduling. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:132-141 [Conf]
    
21. Juan de Lara, Gabriele Taentzer
    Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:144-153 [Conf]
    
22. Timo Kellomaki, Antti Valmari
    A Method for Analysing the Performance of Certain Testing Techniques for Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:154-163 [Conf]
    
23. Jordi Cortadella, Kyller Costa Gorgônio, Fei Xia, Alexandre Yakovlev
    Automating Synthesis of Asynchronous Communication Mechanisms. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:166-175 [Conf]
    
24. Yinghua Li, Alex Kondratyev, Robert K. Brayton
    Gaining Predictability and Noise Immunity in Global Interconnects. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:176-185 [Conf]
    
25. Kees Goossens
    Formal Methods for Networks on Chips. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:188-189 [Conf]
    
26. Franck van Breugel, Mariya Koshkina
    Dead-Path-Elimination in BPEL4WS. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:192-201 [Conf]
    
27. Samuele Carpineti, Cosimo Laneve, Paolo Milazzo
    BoPi - A Distributed Machine for Experimenting Web Services Technologies. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:202-211 [Conf]
    
28. Marjan Sirjani, Frank S. de Boer, Ali Movaghar, Amin Shali
    Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:212-221 [Conf]
    
29. Rachid Hadjidj, Hanifa Boucheneb
    Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:224-233 [Conf]
    
30. Christian Stahl, Wolfgang Reisig, Milos Krstic
    Hazard Detection in a GALS Wrapper: A Case Study. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:234-243 [Conf]
    
31. Walter Vogler, Ben Kangsah
    Improved Decomposition of STGs. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:244-253 [Conf]