| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 22 |       | Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin: Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures. ICFEM 2003: 359-374 |
| 16 | | Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin: Specification and Verification of a Steam-Boiler with Signal-Coq. TPHOLs 2000: 356-371 |
| 15 | | David Nowak, Jean-Pierre Talpin, Paul Le Guernic: Synchronous Structures. CONCUR 1999: 494-509 |
| 13 | | Jean-Pierre Talpin, David Nowak: A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems. FSTTCS 1998: 78-89 |
| 11 | | David Nowak, Jean-René Beauvais, Jean-Pierre Talpin: Co-inductive Axiomatization of a Synchronous Language. TPHOLs 1998: 387-399 |
| 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 |
Selection of 6 from 72 records - Jean-Pierre Talpin has 102 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page