Conferences in DBLP

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

1. Nicolas Halbwachs, Louis Mandel
   Simulation and Verification of Asynchronous Systems by means of a Synchronous Model. [Citation Graph (0, 0)][DBLP]
   ACSD, 2006, pp:3-14 [Conf]
   
2. Tiberiu Seceleanu, Axel Jantsch
   Communicating with Synchronized Environments. [Citation Graph (0, 0)][DBLP]
   ACSD, 2006, pp:15-24 [Conf]
   
3. Amir Hossein Ghamarian, Marc Geilen, Sander Stuijk, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, A. J. M. Moonen, Marco Bekooij
   Throughput Analysis of Synchronous Data Flow Graphs. [Citation Graph (0, 0)][DBLP]
   ACSD, 2006, pp:25-36 [Conf]
   
4. Xu Wang, Marta Z. Kwiatkowska
   On process-algebraic verification of asynchronous circuits. [Citation Graph (0, 0)][DBLP]
   ACSD, 2006, pp:37-46 [Conf]
   
5. Javier Esparza, Petr Jancar, Alexander Miller
   On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs. [Citation Graph (0, 0)][DBLP]
   ACSD, 2006, pp:47-56 [Conf]
   
6. Victor Khomenko, Agnes Madalinski, Alexandre Yakovlev
   Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings. [Citation Graph (0, 0)][DBLP]
   ACSD, 2006, pp:57-68 [Conf]
   
7. Cong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli, Jorg Desel
   Schedulability Analysis of Petri Nets Based on Structural Properties. [Citation Graph (0, 0)][DBLP]
   ACSD, 2006, pp:69-78 [Conf]
   
8. Sunan Tugsinavisut, Roger Su, Peter A. Beerel
   High-level Synthesis for Highly Concurrent Hardware Systems. [Citation Graph (0, 0)][DBLP]
   ACSD, 2006, pp:79-90 [Conf]
   
9. Patricia Bouyer, Pierre-Alain Reynier, Serge Haddad
   Extended Timed Automata and Time Petri Nets. [Citation Graph (0, 0)][DBLP]
   ACSD, 2006, pp:91-100 [Conf]
   
10. Karine Altisen, Franck Cassez, Stavros Tripakis
    Monitoring and fault-diagnosis with digital clocks [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:101-110 [Conf]
    
11. Rachid Hadjidj, Hanifa Boucheneb
    On-the-fly TCTL model checking for Time Petri Nets using state class graphs. [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:111-122 [Conf]
    
12. Mark Schäfer, Walter Vogler, Ralf Wollowski, Victor Khomenko
    Strategies for Optimised STG Decomposition. [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:123-132 [Conf]
    
13. Henri Hansen, Antti Kervinen
    Minimal Counterexamples in O(n log n) Memory and O(n^2) Time. [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:133-142 [Conf]
    
14. Davide Cerotti, Davide D'Aprile, Susanna Donatelli, Jeremy Sproston
    Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools. [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:143-152 [Conf]
    
15. Leïla Kloul, Juliana Küster Filipe
    Modelling Mobility with UML2.0 and PEPA Nets. [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:153-164 [Conf]
    
16. Axel Jantsch
    Models of Computation for Networks on Chip. [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:165-178 [Conf]
    
17. Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz
    Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language). [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:179-188 [Conf]
    
18. Jörg Bauer, Ina Schaefer, Tobe Toben, Bernd Westphal
    Specification and Verification of Dynamic Communication Systems. [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:189-200 [Conf]
    
19. Jun Xu, Reza Sotudeh, Mark B. Josephs
    Asynchronous Packet-Switching for Networks-on-Chip. [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:201-207 [Conf]
    
20. Purandar Bhaduri, S. Ramesh
    Synthesis of Synchronous Interfaces. [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:208-216 [Conf]
    
21. Geoffrey M. Brown
    Verification of a Data Synchronization Circuit For All Time. [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:217-228 [Conf]
    
22. Shinjiro Kakita, Yosinori Watanabe, Douglas Densmore, Abhijit Davare, Alberto L. Sangiovanni-Vincentelli
    Functional Model Exploration for Multimedia Applications via Algebraic Operators. [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:229-238 [Conf]
    
23. Maciej Koutny, Giuseppe Pappalardo, Marta Pietkiewicz-Koutny
    Towards an Algebra of Abstractions for Communicating Processes. [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:239-250 [Conf]
    
24. Arnim Wedig, Horst F. Wedde, Anca Lazarescu, Elisei Rotaru
    Concurrency in Distributed Systems under Autonomous and Enforced Actions. [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:251-260 [Conf]
    
25. Gabriel Juhás, Robert Lorenz, Sebastian Mauser
    Synchronous + Concurrent + Sequential = Earlier than + Not later than. [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:261-272 [Conf]
    
26. Alexandre Hamez, Lom Hillah, Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet, X. Renault, Yann Thierry-Mieg
    New features in CPN-AMI 3: focusing on the analysis of complex distributed systems. [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:273-275 [Conf]
    
27. Sander Stuijk, Marc Geilen, Twan Basten
    SDF³: SDF For Free. [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:276-278 [Conf]
    
28. Kees M. van Hee, Olivia Oanea, Reinier Post, Lou J. Somers, Jan Martijn E. M. van der Werf
    Yasper: a tool for workflow modeling and analysis. [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:279-282 [Conf]