Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(101)
Paul Guernic
31
Thierry Gautier
25
Sandeep Kumar Shukla
19
Loic Besnard (Loïc Besnard)
13
Julien Ouy
10
Conferences
(28)
ACSD
4
DATE
4
EMSOFT
4
MEMOCODE
3
SAS(WSA)
3
Journals
(14)
ENTCS
5
TC
2
JFP
2
JLP
2
IANDC
1
Keywords
(239)
Embed
Subscribe
Academic
Authors
Jean-pierre Talpin
Edit
Jean-pierre Talpin
Institut National De Recherche en Informatique et en Automatique Rhône Alpes
Publications: 92
|
Citations: 1465
|
G-Index: 37
|
H-Index: 12
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Algorithms & Theory
,
Programming Languages
,
Hardware & Architecture
View FAQ about top research area and research interests
Collaborated with
101 co-authors
from 1991 to 2011
; Cited by
1057 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(92)
BibTeX
|
RIS
|
RefWorks
Download
System-level co-simulation of integrated avionics using polychrony
(
Citations: 3
)
Huafeng Yu
,
Yue Ma
,
Yann Glouche
,
Jean-Pierre Talpin
,
Loïc Besnard
,
Thierry Gautier
,
Paul Le Guernic
,
Andres Toom
,
Odile Laurent
Conference:
ACM Symposium on Applied Computing - SAC
, pp. 354-359, 2011
Polychronous controller synthesis from MARTE CCSL timing specifications
Huafeng Yu
,
Jean-Pierre Talpin
,
Loic Besnard
,
Thierry Gautier
,
Herve Marchand
,
Paul Le Guernic
Conference:
International Conference on Formal Methods and Models for Co-Design - MEMOCODE
, 2011
System synthesis from AADL using Polychrony
Yue Ma
,
Huafeng Yu
,
Thierry Gautier
,
Jean-Pierre Talpin
,
Loic Besnard
,
Paul Le Guernic
Conference:
Electronic System Level Synthesis Conference - ESLsyn
, 2011
Two Formal Semantics of a Subset of the AADL
Zhibin Yang
,
Kai Hu
,
Jean-Paul Bodeveix
,
Lei Pi
,
Dianfu Ma
,
Jean-Pierre Talpin
Conference:
International Conference on Engineering of Complex Computer Systems - ICECCS
, 2011
Polychronous controller synthesis from MARTE CCSL timing specifications
Huafeng Yu
,
Jean-Pierre Talpin
,
Thierry Gautier Herv
,
INRIA Rennes
Published in 2011.
Order by:
Citations
(1465 times by 1096 publications)
Implicit invocation meets safe, implicit concurrency
(
Citations: 3
)
Yuheng Long
,
Sean L. Mooney
,
Tyler Sondag
,
Hridesh Rajan
Published in 2011.
An embedded language for programming protocol stacks in embedded systems
(
Citations: 1
)
Yan Wang
,
Verónica Gaspes
Conference:
Partial Evaluation and Semantic-Based Program Manipulation - PEPM
, pp. 63-72, 2011
Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems
(
Citations: 1
)
Abdoulaye Gamatie
,
Laure Gonnord
Conference:
Languages, Compilers, and Tools for Embedded Systems - LCTES
, pp. 71-80, 2011
Linear maps
(
Citations: 1
)
Shuvendu K. Lahiri
,
Shaz Qadeer
,
David Walker
Conference:
Programming Languages meets Program Verification - PLPV
, pp. 3-14, 2011
Secure the Clones - Static Enforcement of Policies for Secure Object Copying
(
Citations: 1
)
Thomas P. Jensen
,
Florent Kirchner
,
David Pichardie
Conference:
European Symposium on Programming - ESOP
, pp. 317-337, 2011
Comments