| 2008 |
|---|
| 48 | EE | Jean-Pierre Talpin,
Julien Ouy,
Loïc Besnard,
Paul Le Guernic:
Compositional design of isochronous systems.
DATE 2008: 928-933 |
| 47 | EE | Hugo Metivier,
Jean-Pierre Talpin,
Thierry Gautier,
Paul Le Guernic:
Analysis of Periodic Clock Relations in Polychronous Systems.
DIPES 2008: 45-56 |
| 46 | EE | 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 | EE | Ma Yue,
Jean-Pierre Talpin,
Thierry Gautier:
Virtual prototyping AADL architectures in a polychronous model of computation.
MEMOCODE 2008: 139-148 |
| 44 | EE | 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 | EE | 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 | EE | Constance L. Heitmeyer,
Jean-Pierre Talpin:
Guest editorial.
Formal Methods in System Design 30(1): 1-3 (2007) |
| 2006 |
|---|
| 41 | EE | 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 | EE | Jean-Pierre Talpin,
Christian Brunette,
Thierry Gautier,
Abdoulaye Gamatié:
Polychronous mode automata.
EMSOFT 2006: 83-92 |
| 39 | EE | 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 | EE | Ken S. Stevens,
Sandeep K. Shukla,
Montek Singh,
Jean-Pierre Talpin:
Preface.
Electr. Notes Theor. Comput. Sci. 146(2): 1-3 (2006) |
| 37 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | David Berner,
Jean-Pierre Talpin,
Paul Le Guernic,
Sandeep K. Shukla:
Modular design through component abstraction.
CASES 2004: 202-211 |
| 27 | EE | 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 | EE | 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 | EE | 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 | EE | Jean-Pierre Talpin,
Paul Le Guernic,
Sandeep K. Shukla,
Rajesh K. Gupta,
Frederic Doucet:
Polychrony for Refinement-Based Design.
DATE 2003: 11172-11173 |
| 23 | EE | 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 | EE | Mickaël Kerboeuf,
David Nowak,
Jean-Pierre Talpin:
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures.
ICFEM 2003: 359-374 |
| 21 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | David Nowak,
Jean-Pierre Talpin,
Paul Le Guernic:
Synchronous Structures.
CONCUR 1999: 494-509 |
| 14 | EE | 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 | EE | 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 |
