Daniel Weil

According to our database, Daniel Weil authored at least 5 papers between 1997 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

SAXO-RT: Interpreting Esterel Semantic on a Sequential Execution Structure.

Etienne Closse, Michel Poize, Jacques Pulou, Patrick Venier, Daniel Weil

Proceedings of the Synchronous Languages, Applications, and Programming, 2002

2001

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

Valérie Bertin, Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems.

Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

Efficient compilation of ESTEREL for real-time embedded systems.

Daniel Weil, Valérie Bertin, Etienne Closse, Michel Poize, Patrick Venier, Jacques Pulou

Proceedings of the 2000 International Conference on Compilers, 2000

1997

A 16×622 Mb/s ATM switch: PRELUDE switch architecture integrated into a 6-million transistor monochip.

Daniel Weil, Alain Botta, Alain Chemarin, Philippe Gallay, Jacques Majos, Michel Servel

IEEE J. Solid State Circuits, 1997