BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Spain
1 × Taiwan
1 × United Kingdom
2 × Germany
3 × France
3 × Italy
4 × USA
Collaborated with:
P.Jouvelot P.L.Guernic S.K.Shukla H.Yu T.Gautier L.Besnard A.Bouakaz M.Tofte P.Joshi V.C.Ngo E.Vecchié K.Schneider F.Besson T.P.Jensen Y.Ma J.Ouy S.Shiraishi M.R.Mousavi T.Basten R.K.Gupta F.Doucet M.Heitz Y.Glouche A.Toom O.Laurent
Talks about:
synchron (4) design (4) compil (4) model (4) type (4) system (3) valid (3) architectur (2) polychroni (2) transform (2)

Person: Jean-Pierre Talpin

DBLP DBLP: Talpin:Jean=Pierre

Contributed to:

DAC 20152015
FASE 20152015
SAC 20152015
DATE 20132013
LCTES 20132013
IFM 20122012
SAC 20112011
DATE 20092009
DATE 20082008
DATE v1 20042004
DATE 20032003
SAS 19991999
POPL 19941994
WSA 19931993
LICS 19921992

Wrote 17 papers:

DAC-2015-YuJTSS #challenge #integration #modelling
The challenge of interoperability: model-based integration for automotive control software (HY, PJ, JPT, SKS, SS), p. 6.
FASE-2015-NgoTGG #compilation #validation
Translation Validation for Clock Transformations in a Synchronous Compiler (VCN, JPT, TG, PLG), pp. 171–185.
SAC-2015-JoshiSIY #architecture #behaviour #design #embedded #functional #modelling
Mapping functional behavior onto architectural model in a model driven embedded system design (PJ, SKS, JPT, HY), pp. 1624–1630.
DATE-2013-MaYGGTBH #analysis #architecture #towards #validation
Toward polychronous analysis and validation for timed software architectures in AADL (YM, HY, TG, PLG, JPT, LB, MH), pp. 1173–1178.
LCTES-2013-BouakazT #data flow #graph #scheduling
Buffer minimization in earliest-deadline first scheduling of dataflow graphs (AB, JPT), pp. 133–142.
IFM-2012-NgoTGGB #compilation #equation #verification
Formal Verification of Compiler Transformations on Polychronous Equations (VCN, JPT, TG, PLG, LB), pp. 113–127.
SAC-2011-YuMGTBGGTL #using
System-level co-simulation of integrated avionics using polychrony (HY, YM, YG, JPT, LB, TG, PLG, AT, OL), pp. 354–359.
DATE-2009-VecchieTS #compilation #execution #imperative
Separate compilation and execution of imperative synchronous modules (EV, JPT, KS), pp. 1580–1583.
DATE-2008-TalpinOBG #composition #design
Compositional design of isochronous systems (JPT, JO, LB, PLG), pp. 928–933.
DATE-v1-2004-MousaviGTSB #design #framework #modelling #validation
Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks (MRM, PLG, JPT, SKS, TB), pp. 384–389.
DATE-2003-TalpinGSGD #design
Polychrony for Refinement-Based Design (JPT, PLG, SKS, RKG, FD), pp. 11172–11173.
SAS-1999-BessonJT #analysis
Polyhedral Analysis for Synchronous Languages (FB, TPJ, JPT), pp. 51–68.
POPL-1994-TofteT #call-by #implementation #stack #using #λ-calculus
Implementation of the Typed Call-by-Value λ-Calculus using a Stack of Regions (MT, JPT), pp. 188–201.
WSA-1993-TalpinJ #compilation
Compiling FX on the CM-2 (JPT, PJ), pp. 87–98.
The Type and Effect Discipline (JPT, PJ), pp. 162–173.
WSA-1991-TalpinJ #polymorphism
Polymorphic Type, Region and Effect Inference (JPT, PJ), pp. 26–32.
Reactive Types (JPT), pp. 595–606.

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.