Search the dblp DataBase

Publications of Author

1. François Laroussinie, Sophie Pinchinat, Ph. Schnoebelen
   Translation Results for Modal Logics of Reactive Systems. [Citation Graph (0, 0)][DBLP]
   AMAST, 1993, pp:297-306 [Conf]
   
2. Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar
   Preemption Primitives in Reactive Languages (A Preliminary Report). [Citation Graph (0, 0)][DBLP]
   ASIAN, 1995, pp:111-125 [Conf]
   
3. Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar
   Taxonomy and Expressiveness of Preemption: A Syntactic Approach. [Citation Graph (0, 0)][DBLP]
   ASIAN, 1998, pp:125-141 [Conf]
   
4. Sophie Pinchinat
   Ordinal Processes in Comparative Concurrency Semantics. [Citation Graph (0, 0)][DBLP]
   CSL, 1991, pp:293-305 [Conf]
   
5. Ph. Schnoebelen, Sophie Pinchinat
   On the Weak Adequacy of Branching-Time Remporal Logic. [Citation Graph (0, 0)][DBLP]
   ESOP, 1990, pp:377-388 [Conf]
   
6. Stéphane Riedweg, Sophie Pinchinat
   Quantified Mu-Calculus for Control Synthesis. [Citation Graph (0, 0)][DBLP]
   MFCS, 2003, pp:642-651 [Conf]
   
7. Olga Kushnarenko, Sophie Pinchinat
   Intensional Approaches for Symbolic Methods. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal]
   
8. Mirabelle Nebut, Sophie Pinchinat
   A Decidable Clock Language for Synchronous Specifications. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:5, pp:- [Journal]
   
9. Sophie Pinchinat, Stéphane Riedweg
   A decidable class of problems for control under partial observation. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 2005, v:95, n:4, pp:454-460 [Journal]
   
10. François Laroussinie, Sophie Pinchinat, Ph. Schnoebelen
    Translations Between Modal Logics of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:140, n:1, pp:53-71 [Journal]
    
11. Sophie Pinchinat
    A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:253-267 [Conf]
    
12. Guillaume Feuillade, Sophie Pinchinat
    Modal Specifications for the Control Theory of Discrete Event Systems. [Citation Graph (0, 0)][DBLP]
    Discrete Event Dynamic Systems, 2007, v:17, n:2, pp:211-232 [Journal]
    
13. 
    On Timed Alternating Simulation for Concurrent Timed Games. [Citation Graph (, )][DBLP]
    
    
14. 
    A Compositional Approach on Modal Specifications for Timed Systems. [Citation Graph (, )][DBLP]
    
    
15. 
    On the Expressivity of RoCTL*. [Citation Graph (, )][DBLP]
    
    
16. 
    Refinement and Consistency of Timed Modal Specifications. [Citation Graph (, )][DBLP]
    
    
17. 
    Game Quantification Patterns. [Citation Graph (, )][DBLP]
    
    
18. 
    Games with Opacity Condition. [Citation Graph (, )][DBLP]