The SCEAS System
Navigation Menu

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
    SDF3: 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]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002