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