The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Wil M. P. van der Aalst, Christian W. Günther
    Finding Structure in Unstructured Processes: The Case for Process Mining. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:3-12 [Conf]
  2. Philippe Darondeau
    Synthesis and Control of Asynchronous and Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:13-22 [Conf]
  3. Rishiyur S. Nikhil
    Composable Guarded Atomic Actions: a Bridging Model for SoC Design. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:23-28 [Conf]
  4. Lothar Thiele, Iuliana Bacivarov, Wolfgang Haid, Kai Huang
    Mapping Applications to Tiled Multiprocessor Embedded Systems. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:29-40 [Conf]
  5. Souheib Baarir, Alexandre Duret-Lutz
    Emptiness Check of Powerset Buchi Automata using Inclusion Tests. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:41-50 [Conf]
  6. Frédéric Béal, Tomohiro Yoneda, Chris J. Myers
    Hazard Checking of Timed Asynchronous Circuits Revisited. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:51-60 [Conf]
  7. Hanifa Boucheneb, Hind Rakkay
    A more efficient time Petri net state space abstraction preserving linear properties. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:61-70 [Conf]
  8. Juliana Küster Filipe Bowles, Behzad Bordbar
    A Formal Model for Integrating Multiple Views. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:71-79 [Conf]
  9. Cécile Braunstein, Emmanuelle Encrenaz
    Using CTL formulae as component abstraction in a design and verification flow. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:80-89 [Conf]
  10. Franck Cassez, Stavros Tripakis, Karine Altisen
    Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:90-99 [Conf]
  11. Yuan Chen, Fei Xia, Delong Shang, Alexandre Yakovlev
    The Design of Virtual Self-timed Block for Activity Communication in SOC. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:100-109 [Conf]
  12. Raymond R. Devillers, Hanna Klaudel, Maciej Koutny
    Modelling Mobility in High-level Petri Nets. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:110-119 [Conf]
  13. Guan Yu, Gauthier Lafruit, Peter Schelkens
    Platform-scalable Task Partition and Multilevel Buffering in Multi-processor Plessey Corner Detector. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:120-126 [Conf]
  14. Jinfeng Huang, Jeroen Voeten, Marcel Groothuis, Jan F. Broenink, Henk Corporaal
    A model-driven design approach for mechatronic systems. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:127-136 [Conf]
  15. Victor Khomenko
    Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:137-146 [Conf]
  16. Victor Khomenko, Mark Schäfer, Walter Vogler
    Output-Determinacy and Asynchronous Circuit Synthesis. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:147-156 [Conf]
  17. Robert Lorenz, Robin Bergenthum, Jörg Desel, Sebastian Mauser
    Synthesis of Petri Nets from Finite Partial Languages. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:157-166 [Conf]
  18. Robert Lorenz, Sebastian Mauser, Robin Bergenthum
    Testing the executability of scenarios in general inhibitor nets. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:167-176 [Conf]
  19. Jasen Markovski, Erik P. de Vink
    Real-Time Process Algebra with Stochastic Delays. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:177-186 [Conf]
  20. Siamak Nazari, John Thistle
    Structural Conditions for Model-checking of Parameterized Networks. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:187-196 [Conf]
  21. Danil Sokolov, Ivan Poliakov, Alex Yakovlev
    Asynchronous Data Path Models. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:197-210 [Conf]
  22. Ivana Budinska, V. Oravec, Emil Gatial, Michal Laclavik, M. Seleng, Zoltan Balogh, Baltazár Frankovic, R. Forgác, I. Mokris, Ladislav Hluchý
    RAPORT - a knowledge support system for administrative workflow processes. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:211-215 [Conf]
  23. Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote
    Sarir: A Rebeca to mCRL2 Translator. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:216-222 [Conf]
  24. Martin Drozda
    Sensor and Ad HocWireless Networks. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:223-230 [Conf]
  25. Hemangee K. Kapoor
    Modelling Latency-Insensitive Systems in CSP. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:231-232 [Conf]
  26. Donald C. Craig, Wlodek M. Zuberek
    Multicomponent Compatibility and its Verification. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:233-235 [Conf]
  27. Wojciech Penczek, Maciej Szreter
    SAT-based Unbounded Model Checking of Timed Automata. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:236-237 [Conf]
  28. Jinzhao Wu, Lin Zhao
    An Algebraic Approach to Multi-Valued Model Checking. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:238-239 [Conf]
  29. Marius C. Bujorianu, Manuela L. Bujorianu
    Towards Hilbertian Formal Methods. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:240-241 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002