Jean-Pierre Talpin

	2009
52		Eric Vecchié, Jean-Pierre Talpin, Klaus Schneider: Separate compilation and execution of imperative synchronous modules. DATE 2009: 1580-1583
51		Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin: Clock-driven distributed real-time implementation of endochronous synchronous programs. EMSOFT 2009: 147-156
50		Bijoy A. Jose, Hiren D. Patel, Sandeep K. Shukla, Jean-Pierre Talpin: Generating Multi-Threaded code from Polychronous Specifications. Electr. Notes Theor. Comput. Sci. 238(1): 57-69 (2009)
49		Sandeep K. Shukla, Jean-Pierre Talpin: Preface. Electr. Notes Theor. Comput. Sci. 245: 1-2 (2009)
	2008
48		Jean-Pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic: Compositional design of isochronous systems. DATE 2008: 928-933
47		Hugo Metivier, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic: Analysis of Periodic Clock Relations in Polychronous Systems. DIPES 2008: 45-56
46		Bijoy A. Jose, Sandeep K. Shukla, Hiren D. Patel, Jean-Pierre Talpin: On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications. MEMOCODE 2008: 129-138
45		Ma Yue, Jean-Pierre Talpin, Thierry Gautier: Virtual prototyping AADL architectures in a polychronous model of computation. MEMOCODE 2008: 139-148
44		Julien Ouy, Jean-Pierre Talpin, Loïc Besnard, Paul Le Guernic: Separate Compilation of Polychronous Specifications. Electr. Notes Theor. Comput. Sci. 200(1): 51-70 (2008)
	2007
43		Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin: Polychronous design of embedded real-time applications. ACM Trans. Softw. Eng. Methodol. 16(2): (2007)
42		Constance L. Heitmeyer, Jean-Pierre Talpin: Guest editorial. Formal Methods in System Design 30(1): 1-3 (2007)
	2006
41		Hamoudi Kalla, Jean-Pierre Talpin, David Berner, Loïc Besnard: Automated Translation of C/C++ Models into a Synchronous Formalism. ECBS 2006: 426-436
40		Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié: Polychronous mode automata. EMSOFT 2006: 83-92
39		Abdoulaye Gamatié, Christian Brunette, Romain Delamare, Thierry Gautier, Jean-Pierre Talpin: A Modeling Paradigm for Integrated Modular Avionics Design. EUROMICRO-SEAA 2006: 134-143
38		Ken S. Stevens, Sandeep K. Shukla, Montek Singh, Jean-Pierre Talpin: Preface. Electr. Notes Theor. Comput. Sci. 146(2): 1-3 (2006)
37		Frederic Doucet, Massimiliano Menarini, Ingolf H. Krüger, Rajesh K. Gupta, Jean-Pierre Talpin: A Verification Approach for GALS Integration of Synchronous Components. Electr. Notes Theor. Comput. Sci. 146(2): 105-131 (2006)
36		Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner, Jean-Pierre Talpin: A Functional Programming Framework for Latency Insensitive Protocol Validation. Electr. Notes Theor. Comput. Sci. 146(2): 169-188 (2006)
35		Jean-Pierre Talpin, Paul Le Guernic: An algebraic theory for behavioral modeling and protocol synthesis in system design. Formal Methods in System Design 28(2): 131-151 (2006)
	2005
34		Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud: From multi-clocked synchronous processes to latency-insensitive modules. EMSOFT 2005: 282-285
33		David Berner, Jean-Pierre Talpin, Hiren D. Patel, Deepak Mathaikutty, Sandeep K. Shukla: SystemCXML: An Exstensible SystemC Front end Using XML. FDL 2005: 405-409
32		Sandeep K. Shukla, Jean-Pierre Talpin: Guest editorial: Special issue on models and methodologies for co-design of embedded systems. ACM Trans. Embedded Comput. Syst. 4(2): 225-227 (2005)
31		Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh Gupta: A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking. International Journal of Parallel Programming 33(6): 613-643 (2005)
30		Mickaël Kerboeuf, Jean-Pierre Talpin: Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation. J. Log. Algebr. Program. 63(2): 241-269 (2005)
	2004
29		Jean-Pierre Talpin, David Berner, Sandeep K. Shukla, Paul Le Guernic, Abdoulaye Gamatié, Rajesh Gupta: A Behavioral Type Inference System for Compositional System-on-Chip Design. ACSD 2004: 47-56
28		David Berner, Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla: Modular design through component abstraction. CASES 2004: 202-211
27		Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierre Talpin, Sandeep K. Shukla, Twan Basten: Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks. DATE 2004: 384-389
26		Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Frederic Doucet, Rajesh K. Gupta: Formal Refinement Checking in a System-level Design Methodology. Fundam. Inform. 62(2): 243-273 (2004)
	2003
25		Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet: Polychrony for Formal Refinement-Checking in a System-Level Design Methodology. ACSD 2003: 9-19
24		Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet: Polychrony for Refinement-Based Design. DATE 2003: 11172-11173
23		Jean-Pierre Talpin, Abdoulaye Gamatié, David Berner, Bruno Le Dez, Paul Le Guernic: Hard Real-Time Implementation of Embedded Software in JAVA. FIDJI 2003: 33-47
22		Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin: Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures. ICFEM 2003: 359-374
21		Sandeep K. Shukla, Jean-Pierre Talpin, Stephen A. Edwards, Rajesh K. Gupta: High Level Modeling and Validation Methodologies for Embedded Systems: Bridging the Productivity Gap. VLSI Design 2003: 9-14
20		Paul Le Guernic, Jean-Pierre Talpin, Jean-Christophe Le Lann: POLYCHRONY for System Design. Journal of Circuits, Systems, and Computers 12(3): 261-304 (2003)
	2002
19		Jean-Pierre Talpin: Model Checking Robustness to Desynchronization. DIPES 2002: 51-60
18		Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis: A Protocol for Loosely Time-Triggered Architectures. EMSOFT 2002: 252-265
	2000
17		Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic: A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems. ISORC 2000: 96-103
16		Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin: Specification and Verification of a Steam-Boiler with Signal-Coq. TPHOLs 2000: 356-371
	1999
15		David Nowak, Jean-Pierre Talpin, Paul Le Guernic: Synchronous Structures. CONCUR 1999: 494-509
14		Frédéric Besson, Thomas P. Jensen, Jean-Pierre Talpin: Polyhedral Analysis for Synchronous Languages. SAS 1999: 51-68
	1998
13		Jean-Pierre Talpin, David Nowak: A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems. FSTTCS 1998: 78-89
12		Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon: BDL, A Language of Distributed Reactive Objects. ISORC 1998: 196-205
11		David Nowak, Jean-René Beauvais, Jean-Pierre Talpin: Co-inductive Axiomatization of a Synchronous Language. TPHOLs 1998: 387-399
	1997
10		David Nowak, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic: An ML-Like Module System for the Synchronous Language SIGNAL. Euro-Par 1997: 1244-1253
9		Jean-Pierre Talpin: Reactive Types. TAPSOFT 1997: 595-606
8		Mads Tofte, Jean-Pierre Talpin: Region-based Memory Management. Inf. Comput. 132(2): 109-176 (1997)
	1996
7		Pieter H. Hartel, Marc Feeley, Martin Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, Emmanuel Chailloux, Christine H. Flood, Wolfgang Grieskamp, John H. G. van Groningen, Kevin Hammond, Bogumil Hausman, Melody Y. Ivory, Richard E. Jones, Jasper Kamperman, Peter Lee, Xavier Leroy, Rafael Dueire Lins, Sandra Loosemore, Niklas Röjemo, Manuel Serrano, Jean-Pierre Talpin, Jon Thackray, Stephen Thomas, Pum Walters, Pierre Weis, Peter Wentworth: Benchmarking Implementations of Functional Languages with `Pseudoknot', a Float-Intensive Benchmark. J. Funct. Program. 6(4): 621-655 (1996)
	1994
6		Mads Tofte, Jean-Pierre Talpin: Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions. POPL 1994: 188-201
5		Jean-Pierre Talpin, Pierre Jouvelot: The Type and Effect Discipline Inf. Comput. 111(2): 245-296 (1994)
	1993
4		Jean-Pierre Talpin, Pierre Jouvelot: Compiling FX on the CM-2. WSA 1993: 87-98
	1992
3		Jean-Pierre Talpin, Pierre Jouvelot: The Type and Effect Discipline LICS 1992: 162-173
2		Jean-Pierre Talpin, Pierre Jouvelot: Polymorphic Type, Region and Effect Inference. J. Funct. Program. 2(3): 245-271 (1992)
	1991
1		Jean-Pierre Talpin, Pierre Jouvelot: Polymorphic Type, Region and Effect Inference. JTASPEFT/WSA 1991: 26-32

Coauthor Index

1	Martin Alt	[7]
2	Lennart Augustsson	[7]
3	Twan Basten	[27]
4	Peter Baumann	[7]
5	Jean-René Beauvais	[11]
6	Marcel Beemster	[7]
7	Albert Benveniste	[12] [17] [18]
8	David Berner	[23] [28] [29] [33] [36] [41]
9	Loïc Besnard	[41] [44] [48]
10	Frédéric Besson	[14]
11	Zakaria Bouziane	[12]
12	Christian Brunette	[39] [40]
13	Benoît Caillaud	[12] [34]
14	Hubert Canon	[12]
15	Paul Caspi	[18]
16	Emmanuel Chailloux	[7]
17	Romain Delamare	[39]
18	Bruno Le Dez	[23]
19	Frederic Doucet	[24] [25] [26] [37]
20	Stephen A. Edwards	[21]
21	Marc Feeley	[7]
22	Christine H. Flood	[7]
23	Abdoulaye Gamatié	[23] [29] [39] [40] [43]
24	Thierry Gautier	[10] [39] [40] [43] [45] [47]
25	Wolfgang Grieskamp	[7]
26	John H. G. van Groningen	[7]
27	Paul Le Guernic	[10] [15] [17] [18] [20] [23] [24] [25] [26] [27] [28] [29] [31] [35] [43] [44] [47] [48]
28	Rajesh K. Gupta (Rajesh Gupta)	[21] [24] [25] [26] [29] [31] [37]
29	Kevin Hammond	[7]
30	Pieter H. Hartel	[7]
31	Bogumil Hausman	[7]
32	Constance L. Heitmeyer (Connie Heitmeyer)	[42]
33	Melody Y. Ivory	[7]
34	Claude Jard	[12]
35	Thomas P. Jensen	[14]
36	Richard E. Jones	[7]
37	Bijoy A. Jose	[46] [50]
38	Pierre Jouvelot	[1] [2] [3] [4] [5]
39	Hamoudi Kalla	[41]
40	Jasper Kamperman	[7]
41	Mickaël Kerboeuf	[16] [22] [30]
42	Ingolf Krüger (Ingolf H. Krüger)	[37]
43	Jean-Christophe Le Lann	[20]
44	Peter Lee	[7]
45	Xavier Leroy	[7]
46	Rafael Dueire Lins	[7]
47	Sandra Loosemore	[7]
48	Hervé Marchand	[18]
49	Deepak Mathaikutty	[33] [36]
50	Massimiliano Menarini	[37]
51	Hugo Metivier	[47]
52	Mohammad Reza Mousavi	[27]
53	David Nowak	[10] [11] [13] [15] [16] [22]
54	Julien Ouy	[34] [44] [48]
55	Hiren D. Patel	[33] [46] [50]
56	Dumitru Potop-Butucaru	[34] [51]
57	Niklas Röjemo	[7]
58	Klaus Schneider	[52]
59	Manuel Serrano	[7]
60	Sandeep K. Shukla	[21] [24] [25] [26] [27] [28] [29] [31] [32] [33] [36] [38] [46] [49] [50]
61	Robert de Simone	[51]
62	Montek Singh	[38]
63	Yves Sorel	[51]
64	Ken S. Stevens	[38]
65	Syed Suhaib	[36]
66	Jon Thackray	[7]
67	Stephen Thomas	[7]
68	Mads Tofte	[6] [8]
69	Stavros Tripakis	[18]
70	Eric Vecchié	[52]
71	Pum Walters	[7]
72	Yunming Wang	[17]
73	Pierre Weis	[7]
74	Peter Wentworth	[7]
75	Ma Yue	[45]

Colors in the list of coauthors