|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 25 occurrences of 23 keywords
|
|
|
|
|
Results
Found 69 publication records. Showing 69 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Paul Le Guernic |
Compositional design of isochronous systems.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandeep K. Shukla, Jean-Pierre Talpin |
Guest Editors' Introduction: Special Section on Science of Design for Safety Critical Systems. |
IEEE Trans. Computers |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dumitru Potop-Butucaru, Yves Sorel, Robert de Simone, Jean-Pierre Talpin |
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin |
Integrating system descriptions by clocked guarded actions. |
FDL |
2011 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, Thierry Gautier |
A Boolean Algebra of Contracts for Assume-guarantee Reasoning. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
embedded software architecture design, program analysis and transformation, domain-specific language |
| 1 | Eric Vecchié, Jean-Pierre Talpin, Sébastien Boisgérault |
A higher-order extension for imperative synchronous languages. |
SCOPES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Ma, Jean-Pierre Talpin, Thierry Gautier |
Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA. |
CIT |
2010 |
DBLP DOI BibTeX RDF |
behavior annex, synchronous, AADL, SSA |
| 1 | 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 |
2009 |
DBLP BibTeX RDF |
|
| 1 | Christian Brunette, Jean-Pierre Talpin, Abdoulaye Gamatié, Thierry Gautier |
A metamodel for the design of polychronous systems. |
J. Log. Algebr. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bijoy A. Jose, Hiren D. Patel, Sandeep K. Shukla, Jean-Pierre Talpin |
Generating Multi-Threaded code from Polychronous Specifications. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandeep K. Shukla, Jean-Pierre Talpin |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin |
Clock-driven distributed real-time implementation of endochronous synchronous programs. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
clock calculus, distributed real-time scheduling, intermediate representation, synchronous model |
| 1 | Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin |
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
synchronous specification, asynchronous implementation, weak endochrony, GALS |
| 1 | Eric Vecchié, Jean-Pierre Talpin, Klaus Schneider |
Separate compilation and execution of imperative synchronous modules. |
DATE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Yue Ma, Jean-Pierre Talpin, Sandeep K. Shukla, Thierry Gautier |
Distributed Simulation of AADL Specifications in a Polychronous Model of Computation. |
ICESS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Ouy, Jean-Pierre Talpin, Loïc Besnard, Paul Le Guernic |
Separate Compilation of Polychronous Specifications. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bijoy A. Jose, Sandeep K. Shukla, Hiren D. Patel, Jean-Pierre Talpin |
On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Ma, Jean-Pierre Talpin, Thierry Gautier |
Virtual prototyping AADL architectures in a polychronous model of computation. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo Metivier, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic |
Analysis of Periodic Clock Relations in Polychronous Systems. |
DIPES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic |
Compositional design of isochronous systems. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Girault, S. Ramesh, Jean-Pierre Talpin |
Synchronous Paradigm in Embedded Systems. |
EURASIP J. Emb. Sys. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin |
Polychronous design of embedded real-time applications. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
IMA, Synchronous approach, Signal, Avionics |
| 1 | Constance L. Heitmeyer, Jean-Pierre Talpin |
Guest editorial. |
Formal Methods in System Design |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken S. Stevens, Sandeep K. Shukla, Montek Singh, Jean-Pierre Talpin |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Talpin, Paul Le Guernic |
An algebraic theory for behavioral modeling and protocol synthesis in system design. |
Formal Methods in System Design |
2006 |
DBLP DOI BibTeX RDF |
GALS design, Process algebra, Synchrony, Compositional modeling |
| 1 | Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié |
Polychronous mode automata. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamoudi Kalla, Jean-Pierre Talpin, David Berner, Loïc Besnard |
Automated Translation of C/C++ Models into a Synchronous Formalism. |
ECBS |
2006 |
DBLP DOI BibTeX RDF |
GNU Compiler Collection, Synchronous Formalism, Functional and Compositional Design Correctness, Formal Methods, SIGNAL, Static Single Assignment |
| 1 | Abdoulaye Gamatié, Christian Brunette, Romain Delamare, Thierry Gautier, Jean-Pierre Talpin |
A Modeling Paradigm for Integrated Modular Avionics Design. |
EUROMICRO-SEAA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2005 |
DBLP DOI BibTeX RDF |
verification, formal methods, program transformation, models of computation, Embedded system design |
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud |
From multi-clocked synchronous processes to latency-insensitive modules. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
compositional mapping, separate compilation |
| 1 | David Berner, Jean-Pierre Talpin, Hiren D. Patel, Deepak Mathaikutty, Sandeep K. Shukla |
SystemCXML: An Exstensible SystemC Front end Using XML. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2004 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | David Berner, Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla |
Modular design through component abstraction. |
CASES |
2004 |
DBLP DOI BibTeX RDF |
behavioral interfaces, synchronous languages, component based design |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Le Guernic, Jean-Pierre Talpin, Jean-Christophe Le Lann |
POLYCHRONY for System Design. |
Journal of Circuits, Systems, and Computers |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin |
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Talpin, Abdoulaye Gamatié, David Berner, Bruno Le Dez, Paul Le Guernic |
Hard Real-Time Implementation of Embedded Software in JAVA. |
FIDJI |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet |
Polychrony for Refinement-Based Design. |
DATE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis |
A Protocol for Loosely Time-Triggered Architectures. |
EMSOFT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Talpin |
Model Checking Robustness to Desynchronization. |
DIPES |
2002 |
DBLP BibTeX RDF |
|
| 1 | Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic |
A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems. |
ISORC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin |
Specification and Verification of a Steam-Boiler with Signal-Coq. |
TPHOLs |
2000 |
DBLP DOI BibTeX RDF |
the steam-boiler problem, theorem proving, synchronous programming |
| 1 | David Nowak, Jean-Pierre Talpin, Paul Le Guernic |
Synchronous Structures. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Besson, Thomas P. Jensen, Jean-Pierre Talpin |
Polyhedral Analysis for Synchronous Languages. |
SAS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon |
BDL, A Language of Distributed Reactive Objects. |
ISORC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | David Nowak, Jean-René Beauvais, Jean-Pierre Talpin |
Co-inductive Axiomatization of a Synchronous Language. |
TPHOLs |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Talpin, David Nowak |
A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems. |
FSTTCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mads Tofte, Jean-Pierre Talpin |
Region-based Memory Management. |
Inf. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | David Nowak, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic |
An ML-Like Module System for the Synchronous Language SIGNAL. |
Euro-Par |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Talpin |
Reactive Types. |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
| 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. |
J. Funct. Program. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Talpin, Pierre Jouvelot |
The Type and Effect Discipline |
Inf. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Mads Tofte, Jean-Pierre Talpin |
Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Talpin, Pierre Jouvelot |
Compiling FX on the CM-2. |
WSA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Talpin, Pierre Jouvelot |
Polymorphic Type, Region and Effect Inference. |
J. Funct. Program. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Talpin, Pierre Jouvelot |
The Type and Effect Discipline |
LICS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Talpin, Pierre Jouvelot |
Polymorphic Type, Region and Effect Inference. |
JTASPEFT/WSA |
1991 |
DBLP BibTeX RDF |
|
Displaying result #1 - #69 of 69 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")