-
S.
Yuan,
L.
Yoong,
P.
Roop
(2011)
Compiling Esterel for Multi-core Execution
2011 14th Euromicro Conference on Digital System Design
-
R.
Hanxleden,
Michael
Mendler,
J.
Aguado,
Björn
Duderstadt,
Insa
Fuhrmann,
Christian
Motika,
Stephen
Loftus-Mercer,
Owen
O'Brien
(2014)
Sequentially constructive concurrency A conservative extension of the synchronous model of computation
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE)
-
Marian
Boldt,
C.
Traulsen,
R.
Hanxleden
(2008)
Worst Case Reaction Time Analysis of Concurrent Reactive Programs
-
R.
Hanxleden,
Björn
Duderstadt,
Christian
Motika,
Steven
Smyth,
Michael
Mendler,
J.
Aguado,
Stephen
Loftus-Mercer,
Owen
O'Brien
(2014)
SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation
-
R.
Hanxleden
(2009)
SyncCharts in C: a proposal for light-weight, deterministic concurrency
-
Francisco
Figueiredo,
Goytacaz
Sant’Anna,
Francisco
Goytacaz,
Luiz
Soares
(2013)
Francisco Figueiredo Goytacaz Sant ' Anna Safe System-level Concurrency on Resource-Constrained Nodes with Céu
-
(2000)
The Esterel-V5 Language Primer (Version 5.10, Release 2.0)
-
M.
Karpinski,
V.
Cahill
(2007)
High-Level Application Development is Realistic for Wireless Sensor Networks
2007 4th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks
-
Adriano
Branco,
Francisco
Sant'anna,
R.
Ierusalimschy,
N.
Rodriguez,
Silvana
Rossetto
(2015)
Terra: Flexibility and Safety in Wireless Sensor Networks
ACM Trans. Sens. Networks, 11
-
D.
Weil,
V.
Bertin,
E.
Closse,
M.
Poize,
P.
Venier,
J.
Pulou
(2000)
Efficient compilation of ESTEREL for real-time embedded systems
-
D.
Harel,
A.
Naamad
(1996)
The STATEMATE semantics of statecharts
ACM Trans. Softw. Eng. Methodol., 5
-
G.
Berry,
S.
Ramesh,
R.
Shyamasundar
(1993)
Communicating reactive processes
-
Francisco
Sant'anna,
R.
Ierusalimschy,
N.
Rodriguez
(2015)
Structured synchronous reactive programming with Céu
Proceedings of the 14th International Conference on Modularity
-
F.
Boussinot,
R.
Simone
(1991)
The ESTEREL language
Proc. IEEE, 79
-
C.
Agreement
(1991)
The Boeing Company
-
Jeong-Han
Yun,
Chul-Joo
Kim,
Seong-Pyo
Kim,
K.
Choe,
Taisook
Han
(2013)
Detection of harmful schizophrenic statements in esterel
ACM Trans. Embed. Comput. Syst., 12
-
Sidharta
Andalam,
P.
Roop,
A.
Girault
(2010)
Predictable multithreading of embedded applications using PRET-C
Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010)
-
M.
Beeck
(1994)
A Comparison of Statecharts Variants
-
K.
Schneider,
Michael
Wenz
(2001)
A new method for compiling schizophrenic synchronous programs
-
Francisco
Sant'anna,
N.
Rodriguez,
R.
Ierusalimschy,
O.
Landsiedel,
P.
Tsigas
(2013)
Safe system-level concurrency on resource-constrained nodes
-
Stephen
Edwards
(2003)
Tutorial: Compiling concurrent languages for sequential processors
ACM Trans. Design Autom. Electr. Syst., 8
-
赤間
世紀
(2008)
Java Swing 教科書
-
Stefan
Tilkov,
S.
Vinoski
(2010)
Node.js: Using JavaScript to Build High-Performance Network Programs
IEEE Internet Computing, 14
-
N.
Halbwachs
(1992)
Synchronous Programming of Reactive Systems
-
Jean-Christophe
Baillie
(2005)
URBI: towards a universal robotic low-level programming language
2005 IEEE/RSJ International Conference on Intelligent Robots and Systems
-
J.
Chaffer,
K.
Swedberg
(2007)
Learning jquery: better interaction design and web development with simple javascript techniques
-
Faisal
Aslam,
L.
Fennell,
C.
Schindelhauer,
Peter
Thiemann,
G.
Ernst,
Elmar
Haussmann,
Stefan
Rührup,
Z.
Uzmi
(2010)
Optimized Java Binary and Virtual Machine for Tiny Motes
-
T.
Shiple,
G.
Berry,
H.
Touati
(1996)
Constructive analysis of cyclic circuits
Proceedings ED&TC European Design and Test Conference
-
E.
Closse,
M.
Poize,
J.
Pulou,
P.
Venier,
D.
Weil
(2002)
SAXO-RT: Interpreting Esterel Semantic on a Sequential Execution Structure
-
G.
Berry
(1996)
The constructive semantics of pure esterel
-
Louis
Mandel,
Marc
Pouzet
(2005)
ReactiveML: a reactive extension to ML
Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
-
O.
Tardieu,
R.
Simone
(2004)
Curing schizophrenia by program rewriting in Esterel
Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04.
-
P.
Roop,
Z.
Salcic,
M.
Dayaratne
(2004)
Towards direct execution of esterel programs on reactive processors
-
A.
Dunkels,
Oliver
Schmidt,
T.
Voigt,
Muneeb
Ali
(2006)
Protothreads: simplifying event-driven programming of memory-constrained embedded systems
-
J.
Ousterhout
(2013)
Why Threads Are A Bad Idea
-
Oliver
Kasten,
K.
Römer
(2005)
Beyond event handlers: programming wireless sensors with attributed state machines
IPSN 2005. Fourth International Symposium on Information Processing in Sensor Networks, 2005.
-
G.
Berry
(1993)
Preemption in Concurrent Systems
-
F.
Boussinot
(1998)
SugarCubes Implementation of Causality
-
J.
Ousterhout
(1991)
An X11 Toolkit Based on the Tcl Language
-
T.
Bourke,
A.
Sowmya
Delays in Esterel
-
Jason
Hill,
R.
Szewczyk,
A.
Woo,
S.
Hollar,
D.
Culler,
K.
Pister
(2000)
System architecture directions for networked sensors
-
G.
Bollella,
James
Gosling
(2000)
The Real-Time Specification for Java
Computer, 33
-
A.
Moura,
R.
Ierusalimschy
(2009)
Revisiting coroutines
ACM Trans. Program. Lang. Syst., 31
-
Stephen
Edwards
(2000)
Compiling Esterel into sequential code
Proceedings of the Seventh International Workshop on Hardware/Software Codesign (CODES'99) (IEEE Cat. No.99TH8450)
-
Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) An Operational Semantics for Stateflow ⋆
-
N.
Brouwers,
Peter
Corke,
K.
Langendoen
(2008)
Darjeeling, a Java compatible virtual machine for microcontrollers
-
David
Gay,
P.
Levis,
R.
Behren,
M.
Welsh,
E.
Brewer,
D.
Culler
(2003)
The nesC language: A holistic approach to networked embedded systems
-
Xin
Li,
Jan
Lukoschus,
Marian
Boldt,
Michael
Harder,
R.
Hanxleden
(2005)
An Esterel processor with full preemption support and its worst case reaction time analysis
-
Becky
Plummer,
Mukul
Khajanchi,
Stephen
Edwards
(2006)
An Esterel Virtual Machine for Embedded Systems
-
David
Gay,
P.
Levis,
R.
Behren,
M.
Welsh,
E.
Brewer,
D.
Culler
(2003)
The nesC language: a holistic approach to networked embedded systems
ACM SIGPLAN Notices, 49
-
E.
Sentovich
(1997)
Quick conservative causality analysis
Proceedings. Tenth International Symposium on System Synthesis (Cat. No.97TB100114)
-
F.
Boussinot
(1991)
Reactive C: An extension of C to program reactive systems
Software: Practice and Experience, 21
-
R.
Nystrom
(2014)
Game Programming Patterns
-
Francisco
Sant'anna,
N.
Rodriguez,
R.
Ierusalimschy
(2013)
Advanced Control Reactivity for Embedded Systems
-
(2005)
Using and Compiling Esterel
-
A.
Benveniste,
P.
Caspi,
Stephen
Edwards,
N.
Halbwachs,
R.
Simone
(1997)
The Synchronous Languages Twelve Years Later
Proceedings of the IEEE
-
Francisco
Sant'anna,
N.
Rodriguez,
R.
Ierusalimschy
(2018)
CÉU: EMBEDDED, SAFE, AND REACTIVE PROGRAMMING
-
A.
Benveniste,
P.
Caspi,
Stephen
Edwards,
N.
Halbwachs,
P.
Guernic,
R.
Simone
(2003)
The synchronous languages 12 years later
Proc. IEEE, 91
-
R.
Simone,
J.
Talpin,
D.
Potop-Butucaru
(2005)
The Synchronous Hypothesis and Synchronous Languages
-
Hans
Hansson,
Mikael
Nolin,
Thomas
Nolte
(2018)
Real-time systems
-
M.
Dayaratne,
P.
Roop,
Z.
Salcic
(2005)
Direct Execution of Esterel Using Reactive Microprocessors