The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Blaise Genest: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Blaise Genest, Anca Muscholl, Doron Peled
    Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:537-558 [Conf]
  2. Blaise Genest, Anca Muscholl
    Message Sequence Charts: A Survey. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:2-4 [Conf]
  3. Blaise Genest
    On Implementation of Global Concurrent Systems with Local Asynchronous Controllers. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2005, pp:443-457 [Conf]
  4. Blaise Genest, Loïc Hélouët, Anca Muscholl
    High-Level Message Sequence Charts and Projections. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2003, pp:308-322 [Conf]
  5. Blaise Genest, Anca Muscholl, Dietrich Kuske
    A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms. [Citation Graph (0, 0)][DBLP]
    Developments in Language Theory, 2004, pp:30-48 [Conf]
  6. Edith Elkind, Blaise Genest, Doron Peled, Hongyang Qu
    Grey-Box Checking. [Citation Graph (0, 0)][DBLP]
    FORTE, 2006, pp:420-435 [Conf]
  7. Blaise Genest, Marius Minea, Anca Muscholl, Doron Peled
    Specifying and Verifying Partial Order Properties Using Template MSCs. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2004, pp:195-210 [Conf]
  8. Blaise Genest, Anca Muscholl
    Constructing Exponential-Size Deterministic Zielonka Automata. [Citation Graph (0, 0)][DBLP]
    ICALP (2), 2006, pp:565-576 [Conf]
  9. Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun
    Infinite-State High-Level MSCs: Model-Checking and Realizability. [Citation Graph (0, 0)][DBLP]
    ICALP, 2002, pp:657-668 [Conf]
  10. Blaise Genest, Anca Muscholl
    Pattern Matching and Membership for Hierarchical Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    LATIN, 2002, pp:326-340 [Conf]
  11. Blaise Genest
    Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:429-444 [Conf]
  12. Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron Peled
    Snapshot Verification. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:510-525 [Conf]
  13. Blaise Genest, Dietrich Kuske, Anca Muscholl
    A Kleene theorem and model checking algorithms for existentially bounded communicating automata. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2006, v:204, n:6, pp:920-956 [Journal]
  14. Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun
    Infinite-state high-level MSCs: Model-checking and realizability. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2006, v:72, n:4, pp:617-647 [Journal]
  15. Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini
    Quantifying the Discord: Order Discrepancies in Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:378-393 [Conf]
  16. Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang
    Causal Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:166-180 [Conf]
  17. Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled
    On Commutativity Based Edge Lean Search. [Citation Graph (0, 0)][DBLP]
    ICALP, 2007, pp:158-170 [Conf]
  18. Edith Elkind, Blaise Genest, Doron Peled
    Detecting Races in Ensembles of Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:420-434 [Conf]

  19. Tree Pattern Rewriting Systems. [Citation Graph (, )][DBLP]


  20. Quasi-Static Scheduling of Communicating Tasks. [Citation Graph (, )][DBLP]


  21. Products of Message Sequence Charts. [Citation Graph (, )][DBLP]


  22. Small Logs for Transactional Services: Distinction is Much More Accurate than (Positive) Discrimination. [Citation Graph (, )][DBLP]


  23. Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata. [Citation Graph (, )][DBLP]


  24. Qualitative Determinacy and Decidability of Stochastic Games with Signals. [Citation Graph (, )][DBLP]


  25. Minimal Observability for Transactional Hierarchical Services. [Citation Graph (, )][DBLP]


  26. Atomicity for XML Databases. [Citation Graph (, )][DBLP]


  27. On commutativity based Edge Lean search. [Citation Graph (, )][DBLP]


  28. Determinacy and Decidability of Reachability Games with Partial Observation on Both Sides [Citation Graph (, )][DBLP]


  29. Verifying Recursive Active Documents with Positive Data Tree Rewriting [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
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