|
|
Synchronous Programming
– Paul Caspi, Pascal Raymond, Stavros Tripakis
- 2006
|
|
71
|
The synchronous languages twelve years later
– Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert De Simone
- 2003
|
|
1
|
SP@CE- An SP-based Programming Model for Consumer Electronics Streaming Applications ⋆
– Ana Lucia Varbanescu, Maik Nijhuis, Arturo González- Escribano, Henk Sips, Herbert Bos, Henri Bal
|
|
1
|
Models of Computation in the Design Process
– Axel Jantsch, Ingo Sander
- 2005
|
|
14
|
Effective heterogeneous design and cosimulation
– W. -t. Chang, A. Kalavade, E. A. Lee
- 1995
|
|
15
|
Causality Interfaces for Actor Networks
– Ye Zhou, Edward A. Lee
- 2006
|
|
2
|
Interface Theories for Causality Analysis in Actor Networks
– Ye Zhou, Ye Zhou, Ye Zhou, Ye Zhou
- 2007
|
|
|
A Modular Formal Semantics for Ptolemy
– Stavros Tripakis, Christos Stergiou, Chris Shaver, Edward A. Lee
- 2011
|
|
16
|
Heterogenous Simulation -- mixing discrete-event model with dataflow
– W.-T. Chang, S. Ha, E. A. Lee
- 1996
|
|
22
|
Models of Computation for Embedded System Design
– Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Ellen Sentovich
- 1998
|
|
92
|
Design of Embedded Systems: Formal Models, Validation, and Synthesis
– S. Edwards, L. Lavagno, E. A. Lee, A. Sangiovanni-Vincentelli
- 1999
|
|
208
|
A Framework for Comparing Models of Computation
– Edward A. Lee, Alberto Sangiovanni-vincentelli
- 1998
|
|
75
|
Taming Heterogeneity - The Ptolemy Approach
– Johan Eker, Jörn W. Janneck, Edward A. Lee, Jie Liu, Xiaojun Liu, Jozsef Ludvig, Stephen Neuendorffer, Sonia Sachs, Yuhong Xiong
- 2003
|
|
8
|
Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers
– S. Tripakis, C. Sofronis, N. Scaife, P. Caspi
- 2005
|
|
|
Defining and translating a “safe ” subset of Simulink/Stateflow into Lustre
– Avenue De Vignate, F- Gieres, N. Scaife, C. Sofronis, P. Caspi, S. Tripakis, F. Maraninchi, N. Scaife, C. Sofronis, P. Caspi, S. Tripakis, F. Maraninchi, N. Scaife, C. Sofronis, P. Caspi, S. Tripakis, F. Maraninchi
- 2004
|
|
|
Separate Compilation of . . .
– Arkadeb Ghosal, Daniel Iercan, Christoph M. Kirsch, Thomas A. Henzinger, Alberto Sangiovanni-Vincentelli
- 2007
|
|
3
|
Step-wise + Algorithmic debugging for Reactive Programs: LuDiC, a debugger for Lustre
– Florence Maraninchi, Fabien Gaucher
- 2000
|
|
8
|
Validation of Synchronous Reactive Systems: from Formal Verification to Automatic Testing
– Nicolas Halbwachs, Pascal Raymond
- 1999
|
|
|
Project-Team Pop Art Programming languages, Operating systems, Parallelism, and Aspects for Real-Time Grenoble- Rhône-Alpes
– Theme Com
|
