Sophie Pinchinat

	2012
26		Laura Bozzelli, Sophie Pinchinat: Verification of Gap-Order Constraint Abstractions of Counter Systems. VMCAI 2012: 88-103
25		Laura Bozzelli, Hans P. van Ditmarsch, Tim French, James Hales, Sophie Pinchinat: Refinement Modal Logic CoRR abs/1202.3538: (2012)
	2011
24		Bastien Maubert, Sophie Pinchinat, Laura Bozzelli: Opacity Issues in Games with Imperfect Information GandALF 2011: 87-101
23		Laura Bozzelli, Axel Legay, Sophie Pinchinat: Hardness of preorder checking for basic formalisms. Theor. Comput. Sci. 412(49): 6795-6808 (2011)
	2010
22		Hans P. van Ditmarsch, Tim French, Sophie Pinchinat: Future Event Logic - Axioms and Complexity. Advances in Modal Logic 2010: 77-99
21		Laura Bozzelli, Axel Legay, Sophie Pinchinat: Hardness of Preorder Checking for Basic Formalisms. LPAR (Dakar) 2010: 119-135
	2009
20		Laura Bozzelli, Axel Legay, Sophie Pinchinat: On Timed Alternating Simulation for Concurrent Timed Games. FSTTCS 2009: 85-96
19		Christophe Morvan, Sophie Pinchinat: Diagnosability of Pushdown Systems. Haifa Verification Conference 2009: 21-33
18		Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet: A Compositional Approach on Modal Specifications for Timed Systems. ICFEM 2009: 679-697
17		Dietmar Berwanger, Sophie Pinchinat: Game Quantification Patterns. ICLA 2009: 116-130
16		Nathalie Bertrand, Sophie Pinchinat, Jean-Baptiste Raclet: Refinement and Consistency of Timed Modal Specifications. LATA 2009: 152-163
15		Bastien Maubert, Sophie Pinchinat: Games with Opacity Condition. RP 2009: 166-175
14		John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat: On the Expressivity of RoCTL*. TIME 2009: 37-44
13		Andreas Bauer, Sophie Pinchinat: Prognosis of omega-Languages for the Diagnosis of *-Languages: A Topological Perspective. Discrete Event Dynamic Systems 19(4): 451-470 (2009)
	2007
12		Sophie Pinchinat: A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies. ATVA 2007: 253-267
11		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		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		Stéphane Riedweg, Sophie Pinchinat: Quantified Mu-Calculus for Control Synthesis. MFCS 2003: 642-651
	2002
8		Mirabelle Nebut, Sophie Pinchinat: A Decidable Clock Language for Synchronous Specifications. Electr. Notes Theor. Comput. Sci. 65(5): 125-139 (2002)
	1998
7		Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar: Taxonomy and Expressiveness of Preemption: A Syntactic Approach. ASIAN 1998: 125-141
6		Olga Kushnarenko, Sophie Pinchinat: Intensional Approaches for Symbolic Methods. Electr. Notes Theor. Comput. Sci. 18: 112 (1998)
	1995
5		Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar: Preemption Primitives in Reactive Languages (A Preliminary Report). ASIAN 1995: 111-125
4		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

Coauthor Index

1	Andreas Bauer (Andreas Klaus Bauer)	[13]
2	Nathalie Bertrand	[16] [18]
3	Dietmar Berwanger	[17]
4	Laura Bozzelli	[20] [21] [23] [24] [25] [26]
5	Hans P. van Ditmarsch	[22] [25]
6	Guillaume Feuillade	[11]
7	Tim French (Timothy Stewart French)	[14] [22] [25]
8	James Hales	[25]
9	Olga Kushnarenko	[6]
10	François Laroussinie	[3] [4]
11	Axel Legay	[18] [20] [21] [23]
12	Bastien Maubert	[15] [24]
13	John Christopher McCabe-Dansted	[14]
14	Christophe Morvan	[19]
15	Mirabelle Nebut	[8]
16	Jean-Baptiste Raclet	[16] [18]
17	Mark Reynolds	[14]
18	Stéphane Riedweg	[9] [10]
19	Éric Rutten	[5] [7]
20	Ph. Schnoebelen (Philippe Schnoebelen)	[1] [3] [4]
21	R. K. Shyamasundar (Rudrapatna K. Shyamasundar)	[5] [7]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page