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: Talpin:Jean=Pierre
Contributed to:
2015
2015
2015
2013
2013
201220112009200820042003
1999
19941993
19921991
1997Wrote 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.
- LICS-1992-TalpinJ
- 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.
- TAPSOFT-1997-Talpin
- Reactive Types (JPT), pp. 595–606.