Jean-Pierre Talpin

Yue Ma, Huafeng Yu, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin, Loïc Besnard, Maurice Heitz: Toward polychronous analysis and validation for timed software architectures in AADL. DATE 2013: 1173-1178

Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla: Constructive Polychronous Systems. LFCS 2013: 335-349

Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Paul Le Guernic: Compositional design of isochronous systems. Sci. Comput. Program. 77(2): 113-128 (2012)

Adnan Bouakaz, Jean-Pierre Talpin, Jan Vitek: Affine Data-Flow Graphs for the Synthesis of Hard Real-Time Applications. ACSD 2012: 183-192

Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard: Formal Verification of Compiler Transformations on Polychronous Equations. IFM 2012: 113-127

Dumitru Potop-Butucaru, Yves Sorel, Robert de Simone, Jean-Pierre Talpin: From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations. Fundam. Inform. 108(1-2): 91-118 (2011)

Sandeep K. Shukla, Jean-Pierre Talpin: Guest Editors' Introduction: Special Section on Science of Design for Safety Critical Systems. IEEE Trans. Computers 60(8): 1057-1058 (2011)

Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin: Integrating system descriptions by clocked guarded actions. FDL 2011: 1-8

Zhibin Yang, Kai Hu, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma, Jean-Pierre Talpin: Two Formal Semantics of a Subset of the AADL. ICECCS 2011: 344-349

Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Hervé Marchand, Paul Le Guernic: Polychronous controller synthesis from MARTE CCSL timing specifications. MEMOCODE 2011: 21-30

Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Paul Le Guernic, Andres Toom, Odile Laurent: System-level co-simulation of integrated avionics using polychrony. SAC 2011: 354-359

Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, Thierry Gautier: A Boolean Algebra of Contracts for Assume-guarantee Reasoning. Electr. Notes Theor. Comput. Sci. 263: 111-127 (2010)

Yue Ma, Jean-Pierre Talpin, Thierry Gautier: Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA. CIT 2010: 2361-2366

Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Alexandre Cortier: Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment. ACSD 2010: 137-146

Eric Vecchié, Jean-Pierre Talpin, Sébastien Boisgérault: A higher-order extension for imperative synchronous languages. SCOPES 2010: 7

Loïc Besnard, Thierry Gautier, Matthieu Moy, Jean-Pierre Talpin, Kenneth Johnson, Florence Maraninchi: Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form. ECEASST 23 (2009)

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)

Sandeep K. Shukla, Jean-Pierre Talpin: Preface. Electr. Notes Theor. Comput. Sci. 245: 1-2 (2009)

Christian Brunette, Jean-Pierre Talpin, Abdoulaye Gamatié, Thierry Gautier: A metamodel for the design of polychronous systems. J. Log. Algebr. Program. 78(4): 233-259 (2009)

Dumitru Potop-Butucaru, Robert de Simone, Jean-Pierre Talpin: Synchronous Hypothesis and Polychronous Languages. Embedded Systems Design and Verification 2009: 6

Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin: From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations. ACSD 2009: 42-51

Eric Vecchié, Jean-Pierre Talpin, Klaus Schneider: Separate compilation and execution of imperative synchronous modules. DATE 2009: 1580-1583

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

Yue Ma, Jean-Pierre Talpin, Sandeep K. Shukla, Thierry Gautier: Distributed Simulation of AADL Specifications in a Polychronous Model of Computation. ICESS 2009: 607-614

Yann Glouche, Jean-Pierre Talpin, Paul Le Guernic, Thierry Gautier: A module language for typing by contracts. NASA Formal Methods 2009: 86-95

Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker, G. Garcia, A. Rugina, Jérémy Buisson, Fabien Dagnat: Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software. FMA 2009: 80-87

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)

Jean-Pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic: Compositional design of isochronous systems. DATE 2008: 928-933

Hugo Metivier, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic: Analysis of Periodic Clock Relations in Polychronous Systems. DIPES 2008: 45-56

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

Yue Ma, Jean-Pierre Talpin, Thierry Gautier: Virtual prototyping AADL architectures in a polychronous model of computation. MEMOCODE 2008: 139-148

Alain Girault, S. Ramesh, Jean-Pierre Talpin: Synchronous Paradigm in Embedded Systems. EURASIP J. Emb. Sys. 2007 (2007)

Constance L. Heitmeyer, Jean-Pierre Talpin: Guest editorial. Formal Methods in System Design 30(1): 1-3 (2007)

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)

Ken S. Stevens, Sandeep K. Shukla, Montek Singh, Jean-Pierre Talpin: Preface. Electr. Notes Theor. Comput. Sci. 146(2): 1-3 (2006)

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)

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)

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)

Hamoudi Kalla, Jean-Pierre Talpin, David Berner, Loïc Besnard: Automated Translation of C/C++ Models into a Synchronous Formalism. ECBS 2006: 426-436

Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié: Polychronous mode automata. EMSOFT 2006: 83-92

Abdoulaye Gamatié, Christian Brunette, Romain Delamare, Thierry Gautier, Jean-Pierre Talpin: A Modeling Paradigm for Integrated Modular Avionics Design. EUROMICRO-SEAA 2006: 134-143

Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, Jean-Pierre Talpin: Polychronous Methodology For System Design: A True Concurrency Approach. HLDVT 2006: 211-214

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)

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)

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)

Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud: From multi-clocked synchronous processes to latency-insensitive modules. EMSOFT 2005: 282-285

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

Jean-Pierre Talpin, Sandeep Kumar Shukla: Automated clock inference for stream function-based system level specifications. HLDVT 2005: 63-70

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)

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

David Berner, Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla: Modular design through component abstraction. CASES 2004: 202-211

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

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)

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

Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet: Polychrony for Refinement-Based Design. DATE 2003: 11172-11173

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

Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin: Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures. ICFEM 2003: 359-374

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

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

Jean-Pierre Talpin: Model Checking Robustness to Desynchronization. DIPES 2002: 51-60

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

Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin: Specification and Verification of a Steam-Boiler with Signal-Coq. TPHOLs 2000: 356-371

David Nowak, Jean-Pierre Talpin, Paul Le Guernic: Synchronous Structures. CONCUR 1999: 494-509

Frédéric Besson, Thomas P. Jensen, Jean-Pierre Talpin: Polyhedral Analysis for Synchronous Languages. SAS 1999: 51-68

Jean-Pierre Talpin, David Nowak: A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems. FSTTCS 1998: 78-89

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

David Nowak, Jean-René Beauvais, Jean-Pierre Talpin: Co-inductive Axiomatization of a Synchronous Language. TPHOLs 1998: 387-399

Mads Tofte, Jean-Pierre Talpin: Region-based Memory Management. Inf. Comput. 132(2): 109-176 (1997)

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

Jean-Pierre Talpin: Reactive Types. TAPSOFT 1997: 595-606

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)

Jean-Pierre Talpin, Pierre Jouvelot: The Type and Effect Discipline. Inf. Comput. 111(2): 245-296 (1994)

Mads Tofte, Jean-Pierre Talpin: Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions. POPL 1994: 188-201

Jean-Pierre Talpin, Pierre Jouvelot: Compiling FX on the CM-2. WSA 1993: 87-98

Jean-Pierre Talpin, Pierre Jouvelot: Polymorphic Type, Region and Effect Inference. J. Funct. Program. 2(3): 245-271 (1992)

Jean-Pierre Talpin, Pierre Jouvelot: The Type and Effect Discipline. LICS 1992: 162-173

Jean-Pierre Talpin, Pierre Jouvelot: Polymorphic Type, Region and Effect Inference. JTASPEFT/WSA 1991: 26-32