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 × Austria
1 × Portugal
1 × South Africa
1 × Sweden
1 × The Netherlands
2 × United Kingdom
3 × France
3 × Germany
5 × USA
Collaborated with:
D.L.Métayer R.Douence ∅ A.Girault S.H.T.Ha S.D.Djoko T.Colcombet D.Burlyaev V.Bebelis P.Poplavko J.Banâtre Y.Radenac M.Südholt V.Issarny S.Rouvrais M.Périn R.Caugne M.Tivoli G.Gößler
Talks about:
properti (5) aspect (5) function (3) detect (3) framework (2) parametr (2) schedul (2) preserv (2) languag (2) toward (2)

Person: Pascal Fradet

DBLP DBLP: Fradet:Pascal

Contributed to:

DATE 20142014
LCTES 20142014
DATE 20122012
PEPM 20082008
SEFM 20082008
GPCE 20072007
SCP, 20102010
TACAS 20072007
SAC 20062006
GPCE 20022002
FASE 20002000
POPL 20002000
ESEC/FSE 19991999
POPL 19971997
ESOP 19961996
PPDP 19951995
ESOP 19941994
LFP 19941994
FPCA 19911991
TAPSOFT, Vol.2: CCIPL 19891989

Wrote 20 papers:

DATE-2014-BurlyaevFG
Verification-guided voter minimization in triple-modular redundant circuits (DB, PF, AG), pp. 1–6.
LCTES-2014-BebelisFG #data flow #framework #manycore #parametricity #platform
A framework to schedule parametric dataflow applications on many-core platforms (VB, PF, AG), pp. 125–134.
DATE-2012-FradetGP #data flow #named #parametricity
SPDF: A schedulable parametric data-flow MoC (PF, AG, PP), pp. 769–774.
PEPM-2008-DjokoDF #aspect-oriented
Aspects preserving properties (SDD, RD, PF), pp. 135–145.
SEFM-2008-DjokoDF #aspect-oriented
Specialized Aspect Languages Preserving Classes of Properties (SDD, RD, PF), pp. 227–236.
GPCE-2007-FradetH #aspect-oriented
Aspects of availability (PF, SHTH), pp. 165–174.
GPCE-J-2007-FradetH10 #aspect-oriented
Aspects of availability: Enforcing timed properties to prevent denial of service (PF, SHTH), pp. 516–542.
TACAS-2007-TivoliFGG #adaptation #component #realtime #synthesis
Adaptor Synthesis for Real-Time Components (MT, PF, AG, GG), pp. 185–200.
SAC-2006-BanatreFR #coordination #towards
Towards chemical coordination for grids (JPB, PF, YR), pp. 445–446.
GPCE-2002-DouenceFS #detection #framework #interactive
A Framework for the Detection and Resolution of Aspect Interactions (RD, PF, MS), pp. 173–188.
FASE-2000-FradetIR #mobile #non-functional
Analyzing Non-functional Properties of Mobile Agents (PF, VI, SR), pp. 319–333.
POPL-2000-ColcombetF #program transformation
Enforcing Trace Properties by Program Transformation (TC, PF), pp. 54–66.
ESEC-FSE-1999-FradetMP #architecture #consistency #multi
Consistency Checking for Multiple View Software Architectures (PF, DLM, MP), pp. 410–428.
POPL-1997-FradetM
Shape Types (PF, DLM), pp. 27–39.
ESOP-1996-FradetCM #algorithm #axiom #detection #fault #pointer #static analysis
Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm (PF, RC, DLM), pp. 125–140.
PLILP-1995-DouenceF #functional #implementation #taxonomy #towards
Towards a Taxonomy of Functional Languages Implementations (RD, PF), pp. 27–44.
ESOP-1994-Fradet #compilation #reduction
Compilation of Head and Strong Reduction (PF), pp. 211–224.
LFP-1994-Fradet #garbage collection
Collecting More Garbage (PF), pp. 24–33.
FPCA-1991-Fradet #continuation #detection #thread #using
Syntactic Detection of Single-Threading Using Continuations (PF), pp. 241–258.
CCIPL-1989-FradetM #compilation #functional #λ-calculus
Compilation of Lambda-Calculus into Functional Machine Code (PF, DLM), pp. 155–166.
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.