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: Raymond:Pascal
Contributed to:
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.