Search dblp for Publications

export results for "toc:db/conf/etaps/slap2002.bht:"

 download as .bib file

@inproceedings{DBLP:journals/entcs/BaldamusS02,
  author       = {Michael Baldamus and
                  Thomas Stauner},
  editor       = {Florence Maraninchi and
                  Alain Girault and
                  {\'{E}}ric Rutten},
  title        = {Modifying Esterel Concepts to Model Hybrid Systems},
  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        = {35--49},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80439-6},
  doi          = {10.1016/S1571-0661(05)80439-6},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BaldamusS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Bharadwaj02,
  author       = {Ramesh Bharadwaj},
  editor       = {Florence Maraninchi and
                  Alain Girault and
                  {\'{E}}ric Rutten},
  title        = {{SOL:} {A} Verifiable Synchronous Language for Reactive Systems},
  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        = {140--154},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82565-4},
  doi          = {10.1016/S1571-0661(05)82565-4},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Bharadwaj02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ClossePPVW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ColacoP02,
  author       = {Jean{-}Louis Cola{\c{c}}o and
                  Marc Pouzet},
  editor       = {Florence Maraninchi and
                  Alain Girault and
                  {\'{E}}ric Rutten},
  title        = {Type-Based Initialisation Analysis of a Synchronous Data-Flow Language},
  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        = {65--78},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80441-4},
  doi          = {10.1016/S1571-0661(05)80441-4},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ColacoP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Edwards02,
  author       = {Stephen Edwards},
  editor       = {Florence Maraninchi and
                  Alain Girault and
                  {\'{E}}ric Rutten},
  title        = {{ESUIF:} An Open Esterel Compiler},
  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        = {79},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80442-6},
  doi          = {10.1016/S1571-0661(05)80442-6},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Edwards02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GanapathyR02,
  author       = {Vinod Ganapathy and
                  S. Ramesh},
  editor       = {Florence Maraninchi and
                  Alain Girault and
                  {\'{E}}ric Rutten},
  title        = {Slicing Synchronous Reactive Programs},
  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        = {50--64},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80440-2},
  doi          = {10.1016/S1571-0661(05)80440-2},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GanapathyR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Garriou02,
  author       = {David Garriou},
  editor       = {Florence Maraninchi and
                  Alain Girault and
                  {\'{E}}ric Rutten},
  title        = {Symbolic Simulation of Synchronous Programs},
  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        = {11--18},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80436-0},
  doi          = {10.1016/S1571-0661(05)80436-0},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Garriou02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LuttgenM02,
  author       = {Gerald L{\"{u}}ttgen and
                  Michael Mendler},
  editor       = {Florence Maraninchi and
                  Alain Girault and
                  {\'{E}}ric Rutten},
  title        = {Towards a Model-Theory for Esterel},
  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        = {95--109},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80444-X},
  doi          = {10.1016/S1571-0661(05)80444-X},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LuttgenM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MaraninchiGR02,
  author       = {Florence Maraninchi and
                  Alain Girault and
                  {\'{E}}ric Rutten},
  editor       = {Florence Maraninchi and
                  Alain Girault and
                  {\'{E}}ric Rutten},
  title        = {Preface},
  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        = {1--2},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80434-7},
  doi          = {10.1016/S1571-0661(05)80434-7},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MaraninchiGR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Morel02,
  author       = {Lionel Morel},
  editor       = {Florence Maraninchi and
                  Alain Girault and
                  {\'{E}}ric Rutten},
  title        = {Efficient Compilation of Array Iterators for Lustre},
  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        = {19--26},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80437-2},
  doi          = {10.1016/S1571-0661(05)80437-2},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Morel02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/NebutP02,
  author       = {Mirabelle Nebut and
                  Sophie Pinchinat},
  editor       = {Florence Maraninchi and
                  Alain Girault and
                  {\'{E}}ric Rutten},
  title        = {A Decidable Clock Language for Synchronous Specifications},
  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        = {125--139},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80447-5},
  doi          = {10.1016/S1571-0661(05)80447-5},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/NebutP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Pandya02,
  author       = {Paritosh K. Pandya},
  editor       = {Florence Maraninchi and
                  Alain Girault and
                  {\'{E}}ric Rutten},
  title        = {The Saga of Synchronous Bus Arbiter: On Model Checking Quantitative
                  Timing Properties of Synchronous Programs},
  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        = {110--124},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80445-1},
  doi          = {10.1016/S1571-0661(05)80445-1},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Pandya02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/RaymondR02,
  author       = {Pascal Raymond and
                  Yvan Roux},
  editor       = {Florence Maraninchi and
                  Alain Girault and
                  {\'{E}}ric Rutten},
  title        = {Describing Non-Deterministic Reactive Systems by Means of Regular
                  Expressions},
  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        = {27--34},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80438-4},
  doi          = {10.1016/S1571-0661(05)80438-4},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/RaymondR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SowmyaST02,
  author       = {Arcot Sowmya and
                  David Tsz{-}Wang So and
                  Wan Hung Tang},
  editor       = {Florence Maraninchi and
                  Alain Girault and
                  {\'{E}}ric Rutten},
  title        = {Design of a Mobile Robot Controller Using Esterel Tools},
  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        = {3--10},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80435-9},
  doi          = {10.1016/S1571-0661(05)80435-9},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SowmyaST02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/etaps/2002slap,
  editor       = {Florence Maraninchi and
                  Alain Girault and
                  {\'{E}}ric Rutten},
  title        = {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},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/65/issue/5},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/etaps/2002slap.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.