BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Spain
1 × Switzerland
1 × USA
1 × United Kingdom
Collaborated with:
L.Bozzelli ∅ P.Schnoebelen B.Maubert N.Bertrand J.Raclet
Talks about:
logic (2) time (2) constraint (1) adequaci (1) abstract (1) process (1) epistem (1) counter (1) consist (1) concurr (1)

Person: Sophie Pinchinat

DBLP DBLP: Pinchinat:Sophie

Contributed to:

FoSSaCS 20152015
VMCAI 20122012
LATA 20092009
CSL 19911991
ESOP 19901990

Wrote 5 papers:

FoSSaCS-2015-BozzelliMP #logic
Unifying Hyper and Epistemic Temporal Logics (LB, BM, SP), pp. 167–182.
VMCAI-2012-BozzelliP #abstraction #constraints #verification
Verification of Gap-Order Constraint Abstractions of Counter Systems (LB, SP), pp. 88–103.
LATA-2009-BertrandPR #consistency #refinement #specification
Refinement and Consistency of Timed Modal Specifications (NB, SP, JBR), pp. 152–163.
CSL-1991-Pinchinat #comparative #concurrent #process #semantics
Ordinal Processes in Comparative Concurrency Semantics (SP), pp. 293–305.
ESOP-1990-SchnoebelenP #logic #on the
On the Weak Adequacy of Branching-Time Remporal Logic (PS, SP), pp. 377–388.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.