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 × Belgium
1 × Estonia
1 × France
1 × India
1 × Ireland
1 × Italy
1 × United Kingdom
2 × Germany
Collaborated with:
N.Halbwachs E.Jahier Y.Roux B.Jeannet D.Lesens Y.Proy C.Ratel M.Jourdan F.Lagnier F.Maraninchi P.Caspi J.Colaço L.Gérard M.Pouzet
Talks about:
synchron (2) schedul (2) network (2) system (2) linear (2) verif (2) mean (2) subprogram (1) parameter (1) construct (1)

Person: Pascal Raymond

DBLP DBLP: Raymond:Pascal

Contributed to:

FASE 20092009
LCTES 20092009
SEFM 20062006
SAS 19991999
POPL 19971997
ICALP 19961996
SAS 19941994
PLILP 19931993
PLILP 19911991

Wrote 9 papers:

FASE-2009-JahierHR #inheritance #modelling #validation
Synchronous Modeling and Validation of Priority Inheritance Schedulers (EJ, NH, PR), pp. 140–154.
LCTES-2009-CaspiCGPR #memory management #policy #scheduling
Synchronous objects with scheduling policies: introducing safe shared memory in lustre (PC, JLC, LG, MP, PR), pp. 11–20.
SEFM-2006-RaymondJR #random
Describing and Executing Random Reactive Systems (PR, EJ, YR), pp. 216–225.
SAS-1999-JeannetHR #analysis #clustering
Dynamic Partitioning in Analyses of Numerical Properties (BJ, NH, PR), pp. 39–50.
POPL-1997-Halbwachs #automation #linear #network #process #verification
Automatic Verification of Parameterized Linear Networks of Processes (DL, NH, PR), pp. 346–357.
ICALP-1996-Raymond #data flow #network #regular expression
Recognizing Regular Expressions by Means of Dataflow Networks (PR), pp. 336–347.
SAS-1994-HalbwachsPR #approximate #hybrid #linear #verification
Verification of Linear Hybrid Systems by Means of Convex Approximations (NH, YEP, PR), pp. 223–237.
PLILP-1993-JourdanLMR #declarative #imperative
Embedding Declarative Subprograms into Imperative Constructs (MJ, FL, FM, PR), pp. 414–415.
PLILP-1991-HalbwachsRR #data flow #generative #performance #source code
Generating Efficient Code From Data-Flow Programs (NH, PR, CR), pp. 207–218.

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.