dblp.uni-trier.dewww.uni-trier.de

Jean-Pierre Talpin Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
51EEEric Vecchié, Jean-Pierre Talpin, Klaus Schneider: Separate compilation and execution of imperative synchronous modules. DATE 2009: 1580-1583
50EEDumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin: Clock-driven distributed real-time implementation of endochronous synchronous programs. EMSOFT 2009: 147-156
49EEBijoy 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)
2008
48EEJean-Pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic: Compositional design of isochronous systems. DATE 2008: 928-933
47EEHugo Metivier, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic: Analysis of Periodic Clock Relations in Polychronous Systems. DIPES 2008: 45-56
46EEBijoy 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
45EEMa Yue, Jean-Pierre Talpin, Thierry Gautier: Virtual prototyping AADL architectures in a polychronous model of computation. MEMOCODE 2008: 139-148
44EEJulien 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
43EEAbdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin: Polychronous design of embedded real-time applications. ACM Trans. Softw. Eng. Methodol. 16(2): (2007)
42EEConstance L. Heitmeyer, Jean-Pierre Talpin: Guest editorial. Formal Methods in System Design 30(1): 1-3 (2007)
2006
41EEHamoudi Kalla, Jean-Pierre Talpin, David Berner, Loïc Besnard: Automated Translation of C/C++ Models into a Synchronous Formalism. ECBS 2006: 426-436
40EEJean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié: Polychronous mode automata. EMSOFT 2006: 83-92
39EEAbdoulaye Gamatié, Christian Brunette, Romain Delamare, Thierry Gautier, Jean-Pierre Talpin: A Modeling Paradigm for Integrated Modular Avionics Design. EUROMICRO-SEAA 2006: 134-143
38EEKen S. Stevens, Sandeep K. Shukla, Montek Singh, Jean-Pierre Talpin: Preface. Electr. Notes Theor. Comput. Sci. 146(2): 1-3 (2006)
37EEFrederic 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)
36EESyed 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)
35EEJean-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
34EEJean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud: From multi-clocked synchronous processes to latency-insensitive modules. EMSOFT 2005: 282-285
33EEDavid Berner, Jean-Pierre Talpin, Hiren D. Patel, Deepak Mathaikutty, Sandeep K. Shukla: SystemCXML: An Exstensible SystemC Front end Using XML. FDL 2005: 405-409
32EESandeep 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)
31EEJean-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)
30EEMickaë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
29EEJean-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
28EEDavid Berner, Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla: Modular design through component abstraction. CASES 2004: 202-211
27EEMohammad 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
26EEJean-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
25EEJean-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
24EEJean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet: Polychrony for Refinement-Based Design. DATE 2003: 11172-11173
23EEJean-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
22EEMickaël Kerboeuf, David Nowak, Jean-Pierre Talpin: Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures. ICFEM 2003: 359-374
21EESandeep 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
20EEPaul 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
18EEAlbert 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
17EEYunming 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
16EEMickaël Kerboeuf, David Nowak, Jean-Pierre Talpin: Specification and Verification of a Steam-Boiler with Signal-Coq. TPHOLs 2000: 356-371
1999
15EEDavid Nowak, Jean-Pierre Talpin, Paul Le Guernic: Synchronous Structures. CONCUR 1999: 494-509
14EEFrédéric Besson, Thomas P. Jensen, Jean-Pierre Talpin: Polyhedral Analysis for Synchronous Languages. SAS 1999: 51-68
1998
13EEJean-Pierre Talpin, David Nowak: A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems. FSTTCS 1998: 78-89
12EEJean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon: BDL, A Language of Distributed Reactive Objects. ISORC 1998: 196-205
11EEDavid Nowak, Jean-René Beauvais, Jean-Pierre Talpin: Co-inductive Axiomatization of a Synchronous Language. TPHOLs 1998: 387-399
1997
10EEDavid Nowak, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic: An ML-Like Module System for the Synchronous Language SIGNAL. Euro-Par 1997: 1244-1253
9EEJean-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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)