Daniel Weil

Publication Activity (10 Years)

Years Active: 1997-2002
Publications (10 Years): 0

Publications

Etienne Closse, Michel Poize, Jacques Pulou, Patrick Venier, Daniel Weil
SAXO-RT: Interpreting Esterel Semantic on a Sequential Execution Structure. Electron. Notes Theor. Comput. Sci. 65 (5) (2002)
Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine
TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems. CAV (2001)
Valérie Bertin, Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine
TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems. CDC (2001)
Daniel Weil, Valérie Bertin, Etienne Closse, Michel Poize, Patrick Venier, Jacques Pulou
Efficient compilation of ESTEREL for real-time embedded systems. CASES (2000)
Daniel Weil, Alain Botta, Alain Chemarin, Philippe Gallay, Jacques Majos, Michel Servel
A 16×622 Mb/s ATM switch: PRELUDE switch architecture integrated into a 6-million transistor monochip. IEEE J. Solid State Circuits 32 (7) (1997)