The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jean-Pierre Talpin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (1, 0)][DBLP]
    J. Funct. Program., 1996, v:6, n:4, pp:621-655 [Journal]
  2. 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. [Citation Graph (0, 0)][DBLP]
    ACSD, 2004, pp:47-56 [Conf]
  3. 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. [Citation Graph (0, 0)][DBLP]
    ACSD, 2003, pp:9-19 [Conf]
  4. David Berner, Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla
    Modular design through component abstraction. [Citation Graph (0, 0)][DBLP]
    CASES, 2004, pp:202-211 [Conf]
  5. David Nowak, Jean-Pierre Talpin, Paul Le Guernic
    Synchronous Structures. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:494-509 [Conf]
  6. Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierre Talpin, Sandeep K. Shukla, Twan Basten
    Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks. [Citation Graph (0, 0)][DBLP]
    DATE, 2004, pp:384-389 [Conf]
  7. Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet
    Polychrony for Refinement-Based Design. [Citation Graph (0, 0)][DBLP]
    DATE, 2003, pp:11172-11173 [Conf]
  8. Hamoudi Kalla, Jean-Pierre Talpin, David Berner, Loïc Besnard
    Automated Translation of C/C++ Models into a Synchronous Formalism. [Citation Graph (0, 0)][DBLP]
    ECBS, 2006, pp:426-436 [Conf]
  9. Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis
    A Protocol for Loosely Time-Triggered Architectures. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:252-265 [Conf]
  10. Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud
    From multi-clocked synchronous processes to latency-insensitive modules. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2005, pp:282-285 [Conf]
  11. Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié
    Polychronous mode automata. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2006, pp:83-92 [Conf]
  12. David Nowak, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic
    An ML-Like Module System for the Synchronous Language SIGNAL. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1997, pp:1244-1253 [Conf]
  13. Jean-Pierre Talpin, Abdoulaye Gamatié, David Berner, Bruno Le Dez, Paul Le Guernic
    Hard Real-Time Implementation of Embedded Software in JAVA. [Citation Graph (0, 0)][DBLP]
    FIDJI, 2003, pp:33-47 [Conf]
  14. Jean-Pierre Talpin, David Nowak
    A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1998, pp:78-89 [Conf]
  15. Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin
    Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2003, pp:359-374 [Conf]
  16. Jean-Pierre Talpin
    Model Checking Robustness to Desynchronization. [Citation Graph (0, 0)][DBLP]
    DIPES, 2002, pp:51-60 [Conf]
  17. Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon
    BDL, A Language of Distributed Reactive Objects. [Citation Graph (0, 0)][DBLP]
    ISORC, 1998, pp:196-205 [Conf]
  18. Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic
    A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems. [Citation Graph (0, 0)][DBLP]
    ISORC, 2000, pp:96-103 [Conf]
  19. Jean-Pierre Talpin, Pierre Jouvelot
    The Type and Effect Discipline [Citation Graph (0, 0)][DBLP]
    LICS, 1992, pp:162-173 [Conf]
  20. Mads Tofte, Jean-Pierre Talpin
    Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions. [Citation Graph (0, 0)][DBLP]
    POPL, 1994, pp:188-201 [Conf]
  21. Frédéric Besson, Thomas P. Jensen, Jean-Pierre Talpin
    Polyhedral Analysis for Synchronous Languages. [Citation Graph (0, 0)][DBLP]
    SAS, 1999, pp:51-68 [Conf]
  22. Jean-Pierre Talpin, Pierre Jouvelot
    Polymorphic Type, Region and Effect Inference. [Citation Graph (0, 0)][DBLP]
    JTASPEFT/WSA, 1991, pp:26-32 [Conf]
  23. Jean-Pierre Talpin, Pierre Jouvelot
    Compiling FX on the CM-2. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:87-98 [Conf]
  24. Jean-Pierre Talpin
    Reactive Types. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:595-606 [Conf]
  25. Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin
    Specification and Verification of a Steam-Boiler with Signal-Coq. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2000, pp:356-371 [Conf]
  26. David Nowak, Jean-René Beauvais, Jean-Pierre Talpin
    Co-inductive Axiomatization of a Synchronous Language. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1998, pp:387-399 [Conf]
  27. 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. [Citation Graph (0, 0)][DBLP]
    VLSI Design, 2003, pp:9-14 [Conf]
  28. Frederic Doucet, Massimiliano Menarini, Ingolf H. Krüger, Rajesh K. Gupta, Jean-Pierre Talpin
    A Verification Approach for GALS Integration of Synchronous Components. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:146, n:2, pp:105-131 [Journal]
  29. Ken S. Stevens, Sandeep K. Shukla, Montek Singh, Jean-Pierre Talpin
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:146, n:2, pp:1-3 [Journal]
  30. Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner, Jean-Pierre Talpin
    A Functional Programming Framework for Latency Insensitive Protocol Validation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:146, n:2, pp:169-188 [Journal]
  31. Jean-Pierre Talpin, Paul Le Guernic
    An algebraic theory for behavioral modeling and protocol synthesis in system design. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2006, v:28, n:2, pp:131-151 [Journal]
  32. Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Frederic Doucet, Rajesh K. Gupta
    Formal Refinement Checking in a System-level Design Methodology. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:62, n:2, pp:243-273 [Journal]
  33. Jean-Pierre Talpin, Pierre Jouvelot
    The Type and Effect Discipline [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:111, n:2, pp:245-296 [Journal]
  34. Mads Tofte, Jean-Pierre Talpin
    Region-based Memory Management. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1997, v:132, n:2, pp:109-176 [Journal]
  35. Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh Gupta
    A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking. [Citation Graph (0, 0)][DBLP]
    International Journal of Parallel Programming, 2005, v:33, n:6, pp:613-643 [Journal]
  36. Paul Le Guernic, Jean-Pierre Talpin, Jean-Christophe Le Lann
    POLYCHRONY for System Design. [Citation Graph (0, 0)][DBLP]
    Journal of Circuits, Systems, and Computers, 2003, v:12, n:3, pp:261-304 [Journal]
  37. Jean-Pierre Talpin, Pierre Jouvelot
    Polymorphic Type, Region and Effect Inference. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1992, v:2, n:3, pp:245-271 [Journal]
  38. Mickaël Kerboeuf, Jean-Pierre Talpin
    Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2005, v:63, n:2, pp:241-269 [Journal]
  39. Sandeep K. Shukla, Jean-Pierre Talpin
    Guest editorial: Special issue on models and methodologies for co-design of embedded systems. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Embedded Comput. Syst., 2005, v:4, n:2, pp:225-227 [Journal]
  40. Abdoulaye Gamatié, Christian Brunette, Romain Delamare, Thierry Gautier, Jean-Pierre Talpin
    A Modeling Paradigm for Integrated Modular Avionics Design. [Citation Graph (0, 0)][DBLP]
    EUROMICRO-SEAA, 2006, pp:134-143 [Conf]
  41. Constance L. Heitmeyer, Jean-Pierre Talpin
    Guest editorial. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2007, v:30, n:1, pp:1-3 [Journal]
  42. Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin
    Polychronous design of embedded real-time applications. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2007, v:16, n:2, pp:- [Journal]

  43. Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA. [Citation Graph (, )][DBLP]


  44. From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations. [Citation Graph (, )][DBLP]


  45. Compositional design of isochronous systems. [Citation Graph (, )][DBLP]


  46. Separate compilation and execution of imperative synchronous modules. [Citation Graph (, )][DBLP]


  47. Clock-driven distributed real-time implementation of endochronous synchronous programs. [Citation Graph (, )][DBLP]


  48. Analysis of Periodic Clock Relations in Polychronous Systems. [Citation Graph (, )][DBLP]


  49. On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications. [Citation Graph (, )][DBLP]


  50. Virtual prototyping AADL architectures in a polychronous model of computation. [Citation Graph (, )][DBLP]


  51. SystemCXML: An Exstensible SystemC Front end Using XML. [Citation Graph (, )][DBLP]


  52. Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software [Citation Graph (, )][DBLP]


  53. Separate Compilation of Polychronous Specifications. [Citation Graph (, )][DBLP]


  54. Generating Multi-Threaded code from Polychronous Specifications. [Citation Graph (, )][DBLP]


  55. Preface. [Citation Graph (, )][DBLP]


  56. A Boolean Algebra of Contracts for Assume-guarantee Reasoning. [Citation Graph (, )][DBLP]


Search in 0.030secs, Finished in 0.032secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002