|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 6 keywords
|
|
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 123 | Reinhard von Hanxleden |
SyncCharts in C: a proposal for light-weight, deterministic concurrency.  |
EMSOFT  |
2009 |
DBLP DOI BibTeX RDF |
SyncCharts, reactive processing, statecharts, multi-threading, model-based design, esterel, synchronous programming |
| 90 | Charles André, Marie-Agnès Peraldi-Frati |
Behavioral Specification of a Circuit Using SyncCharts: A Case Study. |
EUROMICRO |
2000 |
DBLP DOI BibTeX RDF |
|
| 37 | Claus Traulsen, T. Amende, Reinhard von Hanxleden |
Compiling SyncCharts to Synchronous C. |
DATE |
2011 |
DBLP DOI BibTeX RDF |
|
| 37 | Ivan Radojevic, Zoran A. Salcic, Partha S. Roop |
A New Model for Heterogeneous Embedded Systems - What Esterel and SyncCharts Need to Become a Suitable Specification Platform. |
Int. J. Softw. Eng. Knowl. Eng. |
2005 |
DBLP DOI BibTeX RDF |
|
| 37 | Charles André |
Computing SyncCharts Reactions. |
SLAP |
2003 |
DBLP DOI BibTeX RDF |
|
| 33 | Steffen Prochnow, Claus Traulsen, Reinhard von Hanxleden |
Synthesizing safe state machines from Esterel. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
SyncCharts, safe state machines, textual/graphical languages, Statecharts, reactive systems, Esterel |
| 26 | Sung-Jae Kim, Jin-Young Choi |
Formal Modeling for a Real-Time Scheduler and Schedulability Analysis. |
PaCT |
2003 |
DBLP DOI BibTeX RDF |
|
| 26 | Charles André, Marie-Agnès Peraldi, Jean-Paul Rigault |
Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach. |
ISORC |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license