Search the dblp DataBase

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]