BibTeX records: Daniel Weil

• > Home > Persons > Daniel Weil

@inproceedings{DBLP:journals/entcs/ClossePPVW02,
  author       = {Etienne Closse and
                  Michel Poize and
                  Jacques Pulou and
                  Patrick Venier and
                  Daniel Weil},
  editor       = {Florence Maraninchi and
                  Alain Girault and
                  {\'{E}}ric Rutten},
  title        = {{SAXO-RT:} Interpreting Esterel Semantic on a Sequential Execution
                  Structure},
  booktitle    = {Synchronous Languages, Applications, and Programming, {SLAP} 2002,
                  Satellite Event of {ETAPS} 2002, Grenoble, France, April 13, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {65},
  number       = {5},
  pages        = {80--94},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80443-8},
  doi          = {10.1016/S1571-0661(05)80443-8},
  timestamp    = {Mon, 05 Dec 2022 15:06:55 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ClossePPVW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ClossePPSVWY01,
  author       = {Etienne Closse and
                  Michel Poize and
                  Jacques Pulou and
                  Joseph Sifakis and
                  Patrick Venier and
                  Daniel Weil and
                  Sergio Yovine},
  editor       = {G{\'{e}}rard Berry and
                  Hubert Comon and
                  Alain Finkel},
  title        = {{TAXYS:} {A} Tool for the Development and Verification of Real-Time
                  Embedded Systems},
  booktitle    = {Computer Aided Verification, 13th International Conference, {CAV}
                  2001, Paris, France, July 18-22, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2102},
  pages        = {391--395},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44585-4\_39},
  doi          = {10.1007/3-540-44585-4\_39},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/ClossePPSVWY01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cdc/BertinCPPSVWY01,
  author       = {Val{\'{e}}rie Bertin and
                  Etienne Closse and
                  Michel Poize and
                  Jacques Pulou and
                  Joseph Sifakis and
                  Patrick Venier and
                  Daniel Weil and
                  Sergio Yovine},
  title        = {TAXYS=Esterel+Kronos. {A} tool for verifying real-time properties
                  of embedded systems},
  booktitle    = {40th {IEEE} Conference on Decision and Control, {CDC} 2001, Orlando,
                  FL, USA, 4-7 Dec., 2001},
  pages        = {2875--2880},
  publisher    = {{IEEE}},
  year         = {2001},
  url          = {https://doi.org/10.1109/.2001.980712},
  doi          = {10.1109/.2001.980712},
  timestamp    = {Thu, 13 Oct 2022 17:08:41 +0200},
  biburl       = {https://dblp.org/rec/conf/cdc/BertinCPPSVWY01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cases/WeilBCPVP00,
  author       = {Daniel Weil and
                  Val{\'{e}}rie Bertin and
                  Etienne Closse and
                  Michel Poize and
                  Patrick Venier and
                  Jacques Pulou},
  title        = {Efficient compilation of {ESTEREL} for real-time embedded systems},
  booktitle    = {Proceedings of the 2000 International Conference on Compilers, Architectures
                  and Synthesis for Embedded Systems, {CASES} 2000, San Jose, California,
                  USA, November 7-18, 2000},
  pages        = {2--8},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/354880.354882},
  doi          = {10.1145/354880.354882},
  timestamp    = {Tue, 06 Nov 2018 11:07:42 +0100},
  biburl       = {https://dblp.org/rec/conf/cases/WeilBCPVP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jssc/WeilBCGMS97,
  author       = {Daniel Weil and
                  Alain Botta and
                  Alain Chemarin and
                  Philippe Gallay and
                  Jacques Majos and
                  Michel Servel},
  title        = {A 16{\texttimes}622 Mb/s {ATM} switch: {PRELUDE} switch architecture
                  integrated into a 6-million transistor monochip},
  journal      = {{IEEE} J. Solid State Circuits},
  volume       = {32},
  number       = {7},
  pages        = {1108--1114},
  year         = {1997},
  url          = {https://doi.org/10.1109/4.597301},
  doi          = {10.1109/4.597301},
  timestamp    = {Tue, 26 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jssc/WeilBCGMS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}