Concepedia

Daniel Weil

DW

Statistics

Publications

3

Citations

142

H-Index

3

Active since

2000

Affiliations

Orange (France)(Current)

Daniel Weil is an author at Orange (France) specializing in computer science, computer engineering, and embedded systems.

Publications per year

2000–2003

3

Publications

3

Saxo–rt: Interpreting Esterel Semantic on a Sequential Execution Structure

Etienne Closse, M. Poize, Jacques Pulou et al. · Electronic Notes in Theoretical Computer Science · 2002 · 50 citations · Full text

, , +16

TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems

Valérie Bertin, Etienne Closse, M. Poize et al. · Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228) · 2003 · 49 citations · Full text

, , +17

Efficient compilation of ESTEREL for real-time embedded systems

Daniel Weil, Valérie Bertin, Etienne Closse et al. · 2000 · 43 citations

, , +16

1–3 of 3