rml.bib

@inproceedings{MandelPasteur-JFLA-2013,
  author = {Louis Mandel and C{\'e}dric Pasteur},
  title = {R{\'e}activit{\'e} des syst{\`e}mes coop{\'e}ratifs : le cas de {ReactiveML}},
  booktitle = {Vingt-quatri{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs ({JFLA 2013})},
  year = 2013,
  month = feb,
  address = {Aussois, France},
  url = {MandelPasteur-JFLA-2013.pdf},
  webpage = {http://reactiveml.org/jfla13}
}

@inproceedings{MandelPlateau-SLAP-2008,
  author = {Louis Mandel and Florence Plateau},
  title = {Interactive Programming of Reactive Systems},
  booktitle = {Proceedings of Model-driven High-level Programming of Embedded Systems ({SLA++P'08})},
  year = 2008,
  month = apr,
  address = {Budapest, Hungary},
  url = {MandelPlateau-SLAP-2008.pdf}
}

@article{MandelPouzet-TSI-2008,
  author = {Louis Mandel and Marc Pouzet},
  title = {{ReactiveML} : un langage fonctionnel pour la programmation r{\'e}active},
  journal = {Technique et Science Informatiques ({TSI})},
  year = 2008,
  volume = 27,
  number = {9--10/2008},
  pages = {1097--1128},
  url = {MandelPouzet-TSI-2008.pdf}
}

@inproceedings{MorelMandel-FESCA-2007,
  author = {Lionel Morel and Louis Mandel},
  title = {Executable Contracts for Incremental Prototypes of Embedded Systems},
  booktitle = {Formal Foundations of Embedded Software
                  and Component-Based Software Architectures ({FESCA 2007})},
  month = mar,
  year = 2007,
  url = {MorelMandel-FESCA-2007.pdf}
}

@phdthesis{Mandel-These,
  author = {Louis Mandel},
  title = {Conception, S{\'e}mantique et Implantation de {ReactiveML} : un langage {\`a} la {ML} pour la programmation r{\'e}active},
  school = {Universit{\'e} Paris 6},
  year = {2006},
  url = {Mandel-These.pdf}
}

@inproceedings{SamperMaraninchiMounierMandel-InterSense-2006,
  author = {Ludovic Samper and Florence Maraninchi and Laurent Mounier
                  and Louis Mandel},
  title = {{GLONEMO}: Global and Accurate Formal Models for the Analysis of Ad hoc Sensor Networks},
  booktitle = {Proceedings of the First International Conference on Integrated Internet Ad hoc and Sensor Networks ({InterSense'06})},
  year = {2006},
  address = {Nice, France},
  month = may,
  url = {SamperMaraninchiMounierMandel-InterSense-2006.pdf}
}

@inproceedings{MandelPouzet-PPDP-2005,
  author = {Louis Mandel and Marc Pouzet},
  title = {{ReactiveML}, a Reactive Extension to {ML}},
  booktitle = {Proceedings of 7th {ACM SIGPLAN} International conference on Principles and Practice of Declarative Programming ({PPDP'05})},
  year = 2005,
  address = {Lisbon, Portugal},
  month = jul,
  url = {MandelPouzet-PPDP-2005.pdf},
  url2 = {MandelPouzet-PPDPextended-2005.pdf}
}

@inproceedings{MandelBenbadis-SLAP-2005,
  author = {Louis Mandel and Farid Benbadis},
  title = {Simulation of Mobile Ad hoc Network Protocols in {ReactiveML}},
  booktitle = {Proceedings of Synchronous Languages, Applications, and Programming ({SLAP'05})},
  publisher = {Electronic Notes in Theoretical Computer Science},
  year = 2005,
  month = apr,
  address = {Edinburgh, Scotland},
  url = {MandelBenbadis-SLAP-2005.pdf}
}

@inproceedings{MandelPouzet-JFLA-2005,
  author = {Louis Mandel and Marc Pouzet},
  title = {{ReactiveML}, un langage pour la programmation r{\'e}active en {ML}},
  booktitle = {Journ{\'e}es Francophones des Langages Applicatifs ({JFLA'05})},
  year = 2005,
  address = {Obernai, France},
  month = mar,
  publisher = {INRIA},
  url = {MandelPouzet-JFLA-2005.ps}
}