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
(87)
Albert Benveniste
33
Jean-pierre Talpin
31
Thierry Gautier
29
Sandeep Kumar Shukla
11
Eric Rutten (Éric Rutten)
8
Conferences
(34)
ACSD
4
DATE
4
CDC
3
MEMOCODE
2
CONCUR
2
Journals
(18)
SCP
3
IANDC
2
TOSEM
2
ENTCS
2
IJPP
1
Keywords
(198)
Embed
Subscribe
Academic
Authors
Paul Guernic
Edit
Paul Guernic
Publications: 98
|
Citations: 1434
|
G-Index: 35
|
H-Index: 17
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
,
Hardware & Architecture
,
Software Engineering
View FAQ about top research area and research interests
Collaborated with
87 co-authors
from 1981 to 2011
; Cited by
1128 authors
Bing
Cumulative
Annual
Order by:
Publications
(98)
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
Compositional design of isochronous systems
(
Citations: 1
)
Jean-Pierre Talpin
,
Julien Ouy
,
Thierry Gautier
,
Loïc Besnard
,
Paul Le Guernic
Journal:
Science of Computer Programming - SCP
, 2010
A Boolean Algebra of Contracts for Assume-guarantee Reasoning
Yann Glouche
,
Paul Le Guernic
,
Jean-Pierre Talpin
,
Thierry Gautier
Journal:
Electronic Notes in Theoretical Computer Science - ENTCS
, vol. 263, pp. 111-127, 2010
Order by:
Citations
(1434 times by 928 publications)
Building Distributed Controllers for Systems with Priorities
(
Citations: 1
)
Imene Ben-Hafaiedh
,
Susanne Graf
,
Sophie Quinton
Journal:
The Journal of Logic and Algebraic Programming - JLP
, vol. 80, no. 3-5, pp. 194-218, 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
Synchronous programming of device drivers for global resource control in embedded operating systems
(
Citations: 1
)
Nicolas Berthier
,
Florence Maraninchi
,
Laurent Mounier
Conference:
Languages, Compilers, and Tools for Embedded Systems - LCTES
, pp. 81-90, 2011
Quantifier Elimination over Finite Fields Using Gröbner Bases
Sicun Gao
,
André Platzer
,
Edmund M. Clarke
Journal:
Computing Research Repository - CORR
, vol. abs/1104.0, 2011
From design-time concurrency to effective implementation parallelism: The multi-clock reactive case
V. Papailiopoulou
,
D. Potop-Butucaru
,
Y. Sorel
,
R. de Simone
,
L. Besnard
,
J.-P. Talpin
Conference:
Electronic System Level Synthesis Conference - ESLsyn
, 2011
Comments