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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.