default search action
BibTeX records: Florence Maraninchi
@article{DBLP:journals/cacm/Maraninchi22, author = {Florence Maraninchi}, title = {Let us not put all our eggs in one basket}, journal = {Commun. {ACM}}, volume = {65}, number = {9}, pages = {35--37}, year = {2022}, url = {https://doi.org/10.1145/3528088}, doi = {10.1145/3528088}, timestamp = {Wed, 31 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cacm/Maraninchi22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lites/MoyHBM16, author = {Matthieu Moy and Claude Helmstetter and Tayeb Bouhadiba and Florence Maraninchi}, title = {Modeling Power Consumption and Temperature in {TLM} Models}, journal = {Leibniz Trans. Embed. Syst.}, volume = {3}, number = {1}, pages = {03:1--03:29}, year = {2016}, url = {https://doi.org/10.4230/LITES-v003-i001-a003}, doi = {10.4230/LITES-V003-I001-A003}, timestamp = {Thu, 10 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lites/MoyHBM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/RomenskaM16, author = {Yuliia Romenska and Florence Maraninchi}, editor = {Luca Fanucci and J{\"{u}}rgen Teich}, title = {Efficient monitoring of loose-ordering properties for SystemC/TLM}, booktitle = {2016 Design, Automation {\&} Test in Europe Conference {\&} Exhibition, {DATE} 2016, Dresden, Germany, March 14-18, 2016}, pages = {559--562}, publisher = {{IEEE}}, year = {2016}, url = {https://ieeexplore.ieee.org/document/7459374/}, timestamp = {Mon, 09 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/date/RomenskaM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tecs/BerthierMM13, author = {Nicolas Berthier and Florence Maraninchi and Laurent Mounier}, title = {Synchronous programming of device drivers for global resource control in embedded operating systems}, journal = {{ACM} Trans. Embed. Comput. Syst.}, volume = {12}, number = {1s}, pages = {39:1--39:26}, year = {2013}, url = {https://doi.org/10.1145/2435227.2435235}, doi = {10.1145/2435227.2435235}, timestamp = {Tue, 08 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tecs/BerthierMM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/BouhadibaMM13, author = {Tayeb Bouhadiba and Matthieu Moy and Florence Maraninchi}, editor = {Enrico Macii}, title = {System-level modeling of energy in {TLM} for early validation of power and thermal management}, booktitle = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France, March 18-22, 2013}, pages = {1609--1614}, publisher = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}}, year = {2013}, url = {https://doi.org/10.7873/DATE.2013.327}, doi = {10.7873/DATE.2013.327}, timestamp = {Wed, 16 Oct 2019 14:14:53 +0200}, biburl = {https://dblp.org/rec/conf/date/BouhadibaMM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipps/BouhadibaMMCMM13, author = {Tayeb Bouhadiba and Matthieu Moy and Florence Maraninchi and J{\'{e}}r{\^{o}}me Cornet and Laurent Maillet{-}Contoz and Ilija Materic}, title = {Co-simulation of Functional SystemC {TLM} Models with Power/Thermal Solvers}, booktitle = {2013 {IEEE} International Symposium on Parallel {\&} Distributed Processing, Workshops and Phd Forum, Cambridge, MA, USA, May 20-24, 2013}, pages = {2176--2181}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/IPDPSW.2013.206}, doi = {10.1109/IPDPSW.2013.206}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ipps/BouhadibaMMCMM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emsoft/BenvenisteLPTM12, author = {Albert Benveniste and Edward A. Lee and Marc Pouzet and Stavros Tripakis and Florence Maraninchi}, editor = {Ahmed Jerraya and Luca P. Carloni and Florence Maraninchi and John Regehr}, title = {An overview of the career of Paul Caspi}, booktitle = {Proceedings of the 12th International Conference on Embedded Software, {EMSOFT} 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012}, pages = {195--196}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2380356.2380392}, doi = {10.1145/2380356.2380392}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/emsoft/BenvenisteLPTM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/emsoft/2012, editor = {Ahmed Jerraya and Luca P. Carloni and Florence Maraninchi and John Regehr}, title = {Proceedings of the 12th International Conference on Embedded Software, {EMSOFT} 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012}, publisher = {{ACM}}, year = {2012}, url = {http://dl.acm.org/citation.cfm?id=2380356}, isbn = {978-1-4503-1425-1}, timestamp = {Sun, 06 Jan 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/emsoft/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icon/HeurtefeuxMV11, author = {Karel Heurtefeux and Florence Maraninchi and Fabrice Valois}, editor = {Bharadwaj Veeravalli and Ian T. Foster}, title = {AreaCast: {A} cross-layer approach for a communication by area in Wireless Sensor Networks}, booktitle = {Proceedings of the 17th {IEEE} International Conference on Networks, {ICON} 2011, Singapore, December 14-16, 2011}, pages = {112--117}, publisher = {{IEEE}}, year = {2011}, url = {https://doi.org/10.1109/ICON.2011.6168516}, doi = {10.1109/ICON.2011.6168516}, timestamp = {Wed, 16 Oct 2019 14:14:52 +0200}, biburl = {https://dblp.org/rec/conf/icon/HeurtefeuxMV11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lctrts/BerthierMM11, author = {Nicolas Berthier and Florence Maraninchi and Laurent Mounier}, editor = {Jan Vitek and Bjorn De Sutter}, title = {Synchronous programming of device drivers for global resource control in embedded operating systems}, booktitle = {Proceedings of the {ACM} {SIGPLAN/SIGBED} 2011 conference on Languages, compilers, and tools for embedded systems, {LCTES} 2011, Chicago, IL, USA, April 11-14, 2011}, pages = {81--90}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1967677.1967689}, doi = {10.1145/1967677.1967689}, timestamp = {Thu, 24 Jun 2021 16:19:30 +0200}, biburl = {https://dblp.org/rec/conf/lctrts/BerthierMM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/BesnardGMTJM09, author = {Lo{\"{\i}}c Besnard and Thierry Gautier and Matthieu Moy and Jean{-}Pierre Talpin and Kenneth Johnson and Florence Maraninchi}, title = {Automatic translation of {C/C++} parallel code into synchronous formalism using an {SSA} intermediate form}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {23}, year = {2009}, url = {https://doi.org/10.14279/tuj.eceasst.23.312}, doi = {10.14279/TUJ.ECEASST.23.312}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/BesnardGMTJM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/HelmstetterMM09, author = {Claude Helmstetter and Florence Maraninchi and Laurent Maillet{-}Contoz}, title = {Full simulation coverage for SystemC transaction-level models of systems-on-a-chip}, journal = {Formal Methods Syst. Des.}, volume = {35}, number = {2}, pages = {152--189}, year = {2009}, url = {https://doi.org/10.1007/s10703-009-0075-z}, doi = {10.1007/S10703-009-0075-Z}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/HelmstetterMM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/BouhadibaM09, author = {Tayeb Bouhadiba and Florence Maraninchi}, editor = {John Field and Vasco Thudichum Vasconcelos}, title = {Contract-Based Coordination of Hardware Components for the Development of Embedded Software}, booktitle = {Coordination Models and Languages, 11th International Conference, {COORDINATION} 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5521}, pages = {204--224}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02053-7\_11}, doi = {10.1007/978-3-642-02053-7\_11}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/coordination/BouhadibaM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emsoft/BouhadibaMF09, author = {Tayeb Bouhadiba and Florence Maraninchi and Giovanni Funchal}, editor = {Samarjit Chakraborty and Nicolas Halbwachs}, title = {Formal and executable contracts for transaction-level modeling in SystemC}, booktitle = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16, 2009}, pages = {97--106}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1629335.1629349}, doi = {10.1145/1629335.1629349}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/emsoft/BouhadibaMF09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ejes/MaraninchiMPGR08, author = {Florence Maraninchi and Michael Mendler and Marc Pouzet and Alain Girault and {\'{E}}ric Rutten}, title = {Selected Papers from {SLA++P} 07 and 08 Model-Driven High-Level Programming of Embedded Systems}, journal = {{EURASIP} J. Embed. Syst.}, volume = {2008}, year = {2008}, url = {https://doi.org/10.1155/2008/376920}, doi = {10.1155/2008/376920}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ejes/MaraninchiMPGR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/CornetMM08, author = {J{\'{e}}r{\^{o}}me Cornet and Florence Maraninchi and Laurent Maillet{-}Contoz}, editor = {Donatella Sciuto}, title = {A Method for the Efficient Development of Timed and Untimed Transaction-Level Models of Systems-on-Chip}, booktitle = {Design, Automation and Test in Europe, {DATE} 2008, Munich, Germany, March 10-14, 2008}, pages = {9--14}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1109/DATE.2008.4484652}, doi = {10.1109/DATE.2008.4484652}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/date/CornetMM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gpce/MaraninchiB07, author = {Florence Maraninchi and Tayeb Bouhadiba}, editor = {Charles Consel and Julia L. Lawall}, title = {42: programmable models of computation for a component-based approach to heterogeneous embedded systems}, booktitle = {Generative Programming and Component Engineering, 6th International Conference, {GPCE} 2007, Salzburg, Austria, October 1-3, 2007, Proceedings}, pages = {53--62}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1289971.1289981}, doi = {10.1145/1289971.1289981}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gpce/MaraninchiB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/secon/DohlerBMMADBPRDHV07, author = {Mischa Dohler and Dominique Barthel and Florence Maraninchi and Laurent Mounier and Stephane Aubert and Christophe Dugas and Aur{\'{e}}lien Buhrig and Franck Paugnat and Marc Renaudin and Andrzej Duda and Martin Heusse and Fabrice Valois}, title = {The {ARESA} Project: Facilitating Research, Development and Commercialization of WSNs}, booktitle = {Proceedings of the Fourth Annual {IEEE} Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks, {SECON} 2007, Merged with {IEEE} International Workshop on Wireless Ad-hoc and Sensor Networks (IWWAN), June 18-21, 2007, San Diego, California, {USA}}, pages = {590--599}, publisher = {{IEEE}}, year = {2007}, url = {https://doi.org/10.1109/SAHCN.2007.4292871}, doi = {10.1109/SAHCN.2007.4292871}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/secon/DohlerBMMADBPRDHV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/TraulsenCMM07, author = {Claus Traulsen and J{\'{e}}r{\^{o}}me Cornet and Matthieu Moy and Florence Maraninchi}, editor = {Dragan Bosnacki and Stefan Edelkamp}, title = {A SystemC/TLM Semantics in Promelaand Its Possible Applications}, booktitle = {Model Checking Software, 14th International {SPIN} Workshop, Berlin, Germany, July 1-3, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4595}, pages = {204--222}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73370-6\_14}, doi = {10.1007/978-3-540-73370-6\_14}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/spin/TraulsenCMM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MaraninchiSBV08, author = {Florence Maraninchi and Ludovic Samper and Kevin Baradon and Antoine Vasseur}, editor = {Joaqu{\'{\i}}n Aguado and Michael Mendler}, title = {Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks}, booktitle = {Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems, SLA++P@ETAPS 2007, Braga, Portugal, March 31, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {203}, number = {4}, pages = {95--110}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2008.05.013}, doi = {10.1016/J.ENTCS.2008.05.013}, timestamp = {Mon, 13 Feb 2023 13:24:45 +0100}, biburl = {https://dblp.org/rec/journals/entcs/MaraninchiSBV08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/AltisenMS06, author = {Karine Altisen and Florence Maraninchi and David Stauch}, title = {Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework}, journal = {Sci. Comput. Program.}, volume = {63}, number = {3}, pages = {297--320}, year = {2006}, url = {https://doi.org/10.1016/j.scico.2005.12.001}, doi = {10.1016/J.SCICO.2005.12.001}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/AltisenMS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/HelmstetterMMM06, author = {Claude Helmstetter and Florence Maraninchi and Laurent Maillet{-}Contoz and Matthieu Moy}, title = {Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip}, booktitle = {Formal Methods in Computer-Aided Design, 6th International Conference, {FMCAD} 2006, San Jose, California, USA, November 12-16, 2006, Proceedings}, pages = {171--178}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/FMCAD.2006.10}, doi = {10.1109/FMCAD.2006.10}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fmcad/HelmstetterMMM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmics/HelmstetterMM06, author = {Claude Helmstetter and Florence Maraninchi and Laurent Maillet{-}Contoz}, editor = {Lubos Brim and Boudewijn R. Haverkort and Martin Leucker and Jaco van de Pol}, title = {Test Coverage for Loose Timing Annotations}, booktitle = {Formal Methods: Applications and Technology, 11th International Workshop, {FMICS} 2006 and 5th International Workshop {PDMC} 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4346}, pages = {100--115}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-70952-7\_7}, doi = {10.1007/978-3-540-70952-7\_7}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fmics/HelmstetterMM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/intersense/SamperMMM06, author = {Ludovic Samper and Florence Maraninchi and Laurent Mounier and Louis Mandel}, editor = {Imrich Chlamtac}, title = {{GLONEMO:} global and accurate formal models for the analysis of ad-hoc sensor networks}, booktitle = {Proceedings of the First International Conference in Integrated Internet Ad Hoc and Sensor Networks, InterSense 2006, Nice, France, May 30-31, 2006}, series = {{ACM} International Conference Proceeding Series}, volume = {138}, pages = {3}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1142680.1142684}, doi = {10.1145/1142680.1142684}, timestamp = {Tue, 06 Nov 2018 11:06:50 +0100}, biburl = {https://dblp.org/rec/conf/intersense/SamperMMM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/secon/SamperMJ06, author = {Ludovic Samper and Florence Maraninchi and Erwan Jahier}, title = {On the Importance of Modeling the Environment when Analyzing Sensor Networks}, booktitle = {Proceedings of the Third Annual {IEEE} Communications Society on Sensor and Ad Hoc Communications and Networks, {SECON} 2006, September 25-28, 2006, Reston, VA, {USA}}, pages = {835--841}, publisher = {{IEEE}}, year = {2006}, url = {https://doi.org/10.1109/SAHCN.2006.288569}, doi = {10.1109/SAHCN.2006.288569}, timestamp = {Fri, 30 Apr 2021 18:04:33 +0200}, biburl = {https://dblp.org/rec/conf/secon/SamperMJ06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/soco/AltisenMS06, author = {Karine Altisen and Florence Maraninchi and David Stauch}, editor = {Welf L{\"{o}}we and Mario S{\"{u}}dholt}, title = {Modular Design of Man-Machine Interfaces with Larissa}, booktitle = {Software Composition - 5th International Symposium, SC@ETAPS 2006, Vienna, Austria, March 25-26, 2006, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {4089}, pages = {291--306}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11821946\_19}, doi = {10.1007/11821946\_19}, timestamp = {Thu, 25 Jun 2020 18:19:17 +0200}, biburl = {https://dblp.org/rec/conf/soco/AltisenMS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/slap/2004, editor = {Florence Maraninchi and Alain Girault and Marc Pouzet}, title = {Proceedings of the Third International Workshop on Synchronous Languages, Applications, and Programs, {SLAP} 2004, Satellite Event of {ETAPS} 2004, Barcelona, Spain, March 28, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {153}, number = {4}, publisher = {Elsevier}, year = {2006}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/153/issue/4}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slap/2004.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dafes/MoyMM05, author = {Matthieu Moy and Florence Maraninchi and Laurent Maillet{-}Contoz}, title = {LusSy: An open tool for the analysis of systems-on-a-chip at the transaction level}, journal = {Des. Autom. Embed. Syst.}, volume = {10}, number = {2-3}, pages = {73--104}, year = {2005}, url = {https://doi.org/10.1007/s10617-006-9044-6}, doi = {10.1007/S10617-006-9044-6}, timestamp = {Fri, 02 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dafes/MoyMM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tecs/CaspiSABBBCDEFGKLLLLMPPSSSTVWWWY05, author = {Paul Caspi and Alberto L. Sangiovanni{-}Vincentelli and Lu{\'{\i}}s Almeida and Albert Benveniste and Bruno Bouyssounouse and Giorgio C. Buttazzo and Ivica Crnkovic and Werner Damm and Jakob Engblom and Gerhard Fohler and Marisol Garc{\'{\i}}a{-}Valls and Hermann Kopetz and Yassine Lakhnech and Fran{\c{c}}ois Laroussinie and Luciano Lavagno and Giuseppe Lipari and Florence Maraninchi and Philipp Peti and Juan Antonio de la Puente and Norman Scaife and Joseph Sifakis and Robert de Simone and Martin T{\"{o}}rngren and Paulo Ver{\'{\i}}ssimo and Andy J. Wellings and Reinhard Wilhelm and Tim A. C. Willemse and Wang Yi}, title = {Guidelines for a graduate curriculum on embedded software and systems}, journal = {{ACM} Trans. Embed. Comput. Syst.}, volume = {4}, number = {3}, pages = {587--611}, year = {2005}, url = {https://doi.org/10.1145/1086519.1086526}, doi = {10.1145/1086519.1086526}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tecs/CaspiSABBBCDEFGKLLLLMPPSSSTVWWWY05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsd/MoyMM05, author = {Matthieu Moy and Florence Maraninchi and Laurent Maillet{-}Contoz}, title = {LusSy: {A} Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level}, booktitle = {Fifth International Conference on Application of Concurrency to System Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France}, pages = {26--35}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/ACSD.2005.23}, doi = {10.1109/ACSD.2005.23}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acsd/MoyMM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emsoft/MoyMM05, author = {Matthieu Moy and Florence Maraninchi and Laurent Maillet{-}Contoz}, editor = {Wayne H. Wolf}, title = {Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip}, booktitle = {{EMSOFT} 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th {ACM} International Conference On Embedded Software, Proceedings}, pages = {317--324}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1086228.1086286}, doi = {10.1145/1086228.1086286}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/emsoft/MoyMM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsd/MaraninchiM04, author = {Florence Maraninchi and Lionel Morel}, title = {Arrays and Contracts for the Specification and Analysis of Regular Systems}, booktitle = {4th International Conference on Application of Concurrency to System Design {(ACSD} 2004), 16-18 June 2004, Hamilton, Canada}, pages = {57--66}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/CSD.2004.1309116}, doi = {10.1109/CSD.2004.1309116}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acsd/MaraninchiM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emsoft/ScaifeSCTM04, author = {Norman Scaife and Christos Sofronis and Paul Caspi and Stavros Tripakis and Florence Maraninchi}, editor = {Giorgio C. Buttazzo}, title = {Defining and translating a "safe" subset of simulink/stateflow into lustre}, booktitle = {{EMSOFT} 2004, September 27-29, 2004, Pisa, Italy, Fourth {ACM} International Conference On Embedded Software, Proceedings}, pages = {259--268}, publisher = {{ACM}}, year = {2004}, url = {https://doi.org/10.1145/1017753.1017795}, doi = {10.1145/1017753.1017795}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/emsoft/ScaifeSCTM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/euromicro/MaraninchiM04, author = {Florence Maraninchi and Lionel Morel}, title = {Logical-Time Contracts for Reactive Embedded Components}, booktitle = {30th {EUROMICRO} Conference 2004, 31 August - 3 September 2004, Rennes, France}, pages = {48--55}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/EURMIC.2004.1333355}, doi = {10.1109/EURMIC.2004.1333355}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/euromicro/MaraninchiM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MaraninchiGP06, author = {Florence Maraninchi and Alain Girault and Marc Pouzet}, editor = {Florence Maraninchi and Alain Girault and Marc Pouzet}, title = {Preface}, booktitle = {Proceedings of the Third International Workshop on Synchronous Languages, Applications, and Programs, {SLAP} 2004, Satellite Event of {ETAPS} 2004, Barcelona, Spain, March 28, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {153}, number = {4}, pages = {1--2}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2006.05.001}, doi = {10.1016/J.ENTCS.2006.05.001}, timestamp = {Fri, 20 Jan 2023 11:01:08 +0100}, biburl = {https://dblp.org/rec/journals/entcs/MaraninchiGP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/slap/2003, editor = {Florence Maraninchi and Alain Girault and {\'{E}}ric Rutten}, title = {Synchronous Languages, Applications and Programming, {SLAP} 2003, {A} Satellite Workshop of {ECRTS} 2003, Porto, Portugal, July 1, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {88}, publisher = {Elsevier}, year = {2004}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/88/suppl/C}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slap/2003.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/MaraninchiR03, author = {Florence Maraninchi and Yann R{\'{e}}mond}, title = {Mode-Automata: a new domain-specific construct for the development of safe critical systems}, journal = {Sci. Comput. Program.}, volume = {46}, number = {3}, pages = {219--254}, year = {2003}, url = {https://doi.org/10.1016/S0167-6423(02)00093-X}, doi = {10.1016/S0167-6423(02)00093-X}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/MaraninchiR03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/AltisenCMR03, author = {Karine Altisen and Aur{\'{e}}lie Clodic and Florence Maraninchi and {\'{E}}ric Rutten}, editor = {Pierpaolo Degano}, title = {Using Controller-Synthesis Techniques to Build Property-Enforcing Layers}, booktitle = {Programming Languages and Systems, 12th European Symposium on Programming, {ESOP} 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2618}, pages = {174--188}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-36575-3\_13}, doi = {10.1007/3-540-36575-3\_13}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/esop/AltisenCMR03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MaraninchiGR04, author = {Florence Maraninchi and Alain Girault and {\'{E}}ric Rutten}, editor = {Florence Maraninchi and Alain Girault and {\'{E}}ric Rutten}, title = {Foreword}, booktitle = {Synchronous Languages, Applications and Programming, {SLAP} 2003, {A} Satellite Workshop of {ECRTS} 2003, Porto, Portugal, July 1, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {88}, pages = {1--2}, publisher = {Elsevier}, year = {2003}, url = {https://doi.org/10.1016/j.entcs.2003.05.008}, doi = {10.1016/J.ENTCS.2003.05.008}, timestamp = {Wed, 07 Dec 2022 09:55:43 +0100}, biburl = {https://dblp.org/rec/journals/entcs/MaraninchiGR04.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 15:06:55 +0100}, biburl = {https://dblp.org/rec/journals/entcs/MaraninchiGR02.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} }
@article{DBLP:journals/cl/MaraninchiR01, author = {Florence Maraninchi and Yann R{\'{e}}mond}, title = {Argos: an automaton-based synchronous language}, journal = {Comput. Lang.}, volume = {27}, number = {1/3}, pages = {61--92}, year = {2001}, url = {https://doi.org/10.1016/S0096-0551(01)00016-9}, doi = {10.1016/S0096-0551(01)00016-9}, timestamp = {Thu, 18 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cl/MaraninchiR01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cdc/MaraninchiRR01, author = {Florence Maraninchi and Yann R{\'{e}}mond and {\'{E}}ric Rutten}, title = {Effective programming language support for discrete-continuous mode-switching control systems}, booktitle = {40th {IEEE} Conference on Decision and Control, {CDC} 2001, Orlando, FL, USA, 4-7 Dec., 2001}, pages = {3296--3301}, publisher = {{IEEE}}, year = {2001}, url = {https://doi.org/10.1109/.2001.980330}, doi = {10.1109/.2001.980330}, timestamp = {Thu, 13 Oct 2022 17:08:41 +0200}, biburl = {https://dblp.org/rec/conf/cdc/MaraninchiRR01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aadebug/MaraninchiG00, author = {Florence Maraninchi and Fabien Gaucher}, editor = {Mireille Ducass{\'{e}}}, title = {Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for Lustre}, booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging, {AADEBUG} 2000, Munich, Germany, August 28-30th, 2000}, year = {2000}, timestamp = {Sat, 07 Sep 2019 11:59:25 +0200}, biburl = {https://dblp.org/rec/conf/aadebug/MaraninchiG00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cc/MaraninchiRR00, author = {Florence Maraninchi and Yann R{\'{e}}mond and Yannick Raoul}, editor = {David A. Watt}, title = {{MATOU:} An Implementation of Mode-Automata}, booktitle = {Compiler Construction, 9th International Conference, {CC} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1781}, pages = {249--263}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-46423-9\_17}, doi = {10.1007/3-540-46423-9\_17}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cc/MaraninchiRR00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecrts/MaraninchiR00, author = {Florence Maraninchi and Yann R{\'{e}}mond}, title = {Running-modes of real-time systems: a case-study with mode-automata}, booktitle = {12th Euromicro Conference on Real-Time Systems {(ECRTS} 2000), 19-21 June 2000, Stockholm, Sweden, Proceedings}, pages = {257--264}, publisher = {{IEEE} Computer Society}, year = {2000}, url = {https://doi.org/10.1109/EMRTS.2000.854014}, doi = {10.1109/EMRTS.2000.854014}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ecrts/MaraninchiR00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/MaraninchiR98, author = {Florence Maraninchi and Yann R{\'{e}}mond}, editor = {Chris Hankin}, title = {Mode-Automata: About Modes and States for Reactive Systems}, booktitle = {Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1381}, pages = {185--199}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0053571}, doi = {10.1007/BFB0053571}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/esop/MaraninchiR98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/hal/Maraninchi97, author = {Florence Maraninchi}, title = {Mod{\'{e}}lisation et validation des syst{\`{e}}mes r{\'{e}}actifs : un langage synchrone {\`{a}} base d'automates. (Mod{\'{e}}lisation et validation des syst{\`{e}}mes r{\'{e}}actifs : un langage synchrone {\`{a}} base d'automates)}, year = {1997}, url = {https://tel.archives-ouvertes.fr/tel-03840029}, timestamp = {Mon, 06 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/books/hal/Maraninchi97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compos/MaraninchiR97, author = {Florence Maraninchi and Yann R{\'{e}}mond}, editor = {Willem P. de Roever and Hans Langmaack and Amir Pnueli}, title = {Compositionality Criteria for Defining Mixed-Styles Synchronous Languages}, booktitle = {Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {1536}, pages = {424--438}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-49213-5\_16}, doi = {10.1007/3-540-49213-5\_16}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compos/MaraninchiR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/MaraninchiH96, author = {Florence Maraninchi and Nicolas Halbwachs}, editor = {Hanne Riis Nielson}, title = {Compositional Semantics of Non-Deterministic Synchronous Languages}, booktitle = {Programming Languages and Systems - ESOP'96, 6th European Symposium on Programming, Link{\"{o}}ping, Sweden, April 22-24, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1058}, pages = {235--249}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61055-3\_40}, doi = {10.1007/3-540-61055-3\_40}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/esop/MaraninchiH96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ftrtft/MaraninchiH96, author = {Florence Maraninchi and Nicolas Halbwachs}, editor = {Bengt Jonsson and Joachim Parrow}, title = {Compiling {ARGOS} into Boolean Equations}, booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1135}, pages = {72--89}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61648-9\_35}, doi = {10.1007/3-540-61648-9\_35}, timestamp = {Tue, 31 Aug 2021 12:07:12 +0200}, biburl = {https://dblp.org/rec/conf/ftrtft/MaraninchiH96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lctrts/JourdanM95, author = {Muriel Jourdan and Florence Maraninchi}, editor = {Richard Gerber and Thomas J. Marlowe}, title = {Static Timing Analysis of Real-Time Systems}, booktitle = {Proceedings of the {ACM} {SIGPLAN} 1995 Workshop on Languages, Compilers, {\&} Tools for Real-Time Systems {(LCT-RTS} 1995). La Jolla, California, USA, June 21-22, 1995}, pages = {79--87}, publisher = {{ACM}}, year = {1995}, url = {https://doi.org/10.1145/216636.216664}, doi = {10.1145/216636.216664}, timestamp = {Tue, 26 Apr 2022 11:54:35 +0200}, biburl = {https://dblp.org/rec/conf/lctrts/JourdanM95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccl/JourdanLMR94, author = {Muriel Jourdan and Fabienne Lagnier and Florence Maraninchi and Pascal Raymond}, editor = {Henri E. Bal}, title = {A Multiparadigm Language for Reactive Systems}, booktitle = {Proceedings of the {IEEE} Computer Society 1994 International Conference on Computer Languages, May 16-19, 1994, Toulouse, France}, pages = {211--218}, publisher = {{IEEE} Computer Society}, year = {1994}, url = {https://doi.org/10.1109/ICCL.1994.288379}, doi = {10.1109/ICCL.1994.288379}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccl/JourdanLMR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/procomet/JourdanM94, author = {Muriel Jourdan and Florence Maraninchi}, editor = {Ernst{-}R{\"{u}}diger Olderog}, title = {Studying Synchronous Communication Mechanisms by Abstractions}, booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June, 1994}, series = {{IFIP} Transactions}, volume = {{A-56}}, pages = {189--205}, publisher = {North-Holland}, year = {1994}, timestamp = {Thu, 03 Jan 2002 12:07:43 +0100}, biburl = {https://dblp.org/rec/conf/procomet/JourdanM94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/JourdanMO93, author = {Martin Jourdan and Florence Maraninchi and Alfredo Olivero}, editor = {Costas Courcoubetis}, title = {Verifying Quantitative Real-Time Properties of Synchronous Programs}, booktitle = {Computer Aided Verification, 5th International Conference, {CAV} '93, Elounda, Greece, June 28 - July 1, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {697}, pages = {347--358}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-56922-7\_29}, doi = {10.1007/3-540-56922-7\_29}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/JourdanMO93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/JourdanLMR93, author = {Martin Jourdan and Fabienne Lagnier and Florence Maraninchi and Pascal Raymond}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {Embedding Declarative Subprograms into Imperative Constructs}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {414--415}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_96}, doi = {10.1007/3-540-57186-8\_96}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/plilp/JourdanLMR93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/Maraninchi92, author = {Florence Maraninchi}, editor = {Rance Cleaveland}, title = {Operational and Compositional Semantics of Synchronous Automaton Compositions}, booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {630}, pages = {550--564}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/BFb0084815}, doi = {10.1007/BFB0084815}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/concur/Maraninchi92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/avmfss/Maraninchi89, author = {Florence Maraninchi}, editor = {Joseph Sifakis}, title = {Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra}, booktitle = {Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {407}, pages = {38--53}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-52148-8\_4}, doi = {10.1007/3-540-52148-8\_4}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/avmfss/Maraninchi89.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.