|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
|
|
Results
Found 13 publication records. Showing 13 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 | 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 | Julio C. Peralta, Thierry Gautier, Loïc Besnard, Paul Le Guernic |
LTSs for translation validation of (multi-clocked) SIGNAL specifications. |
MEMOCODE |
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 | 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 | 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 | 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 | Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard |
An Interval-Based Solution for Static Analysis in the SIGNAL Language. |
ECBS |
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 | 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é, Thierry Gautier, Loïc Besnard |
Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascalin Amagbégnon, Loïc Besnard, Paul Le Guernic |
Implementation of the Data-Flow Synchronous Language SIGNAL. |
PLDI |
1995 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")