BibTeX records: Laurent Fournier

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Laurent Fournier

download as .bib file

@article{DBLP:journals/corr/Fournier15,
  author       = {Laurent Fournier},
  title        = {{RFC} 7800 - Money Over {IP}},
  journal      = {CoRR},
  volume       = {abs/1508.03629},
  year         = {2015},
  url          = {http://arxiv.org/abs/1508.03629},
  eprinttype    = {arXiv},
  eprint       = {1508.03629},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Fournier15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/Fournier14,
  author       = {Laurent Fournier},
  title        = {Merchant Sharing Towards a Zero Marginal Cost Economy},
  journal      = {CoRR},
  volume       = {abs/1405.2051},
  year         = {2014},
  url          = {http://arxiv.org/abs/1405.2051},
  eprinttype    = {arXiv},
  eprint       = {1405.2051},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Fournier14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1210-4014,
  author       = {Laurent Fournier},
  title        = {{\'{E}}conomie des biens immat{\'{e}}riels - Economics of
                  Intangible Goods},
  journal      = {CoRR},
  volume       = {abs/1210.4014},
  year         = {2012},
  url          = {http://arxiv.org/abs/1210.4014},
  eprinttype    = {arXiv},
  eprint       = {1210.4014},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1210-4014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/BarasFFGZ11,
  author       = {Dorit Baras and
                  Shai Fine and
                  Laurent Fournier and
                  Dan Geiger and
                  Avi Ziv},
  title        = {Automatic boosting of cross-product coverage using Bayesian networks},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {13},
  number       = {3},
  pages        = {247--261},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10009-010-0160-z},
  doi          = {10.1007/S10009-010-0160-Z},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/BarasFFGZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/todaes/FournierZKS11,
  author       = {Laurent Fournier and
                  Avi Ziv and
                  Ekaterina Kutsy and
                  Ofer Strichman},
  title        = {A probabilistic analysis of coverage methods},
  journal      = {{ACM} Trans. Design Autom. Electr. Syst.},
  volume       = {16},
  number       = {4},
  pages        = {38:1--38:20},
  year         = {2011},
  url          = {https://doi.org/10.1145/2003695.2003698},
  doi          = {10.1145/2003695.2003698},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/todaes/FournierZKS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/BirnbaumFMZ11,
  author       = {Ariel J. Birnbaum and
                  Laurent Fournier and
                  Steven Mittermaier and
                  Avi Ziv},
  editor       = {Kerstin Eder and
                  Jo{\~{a}}o Louren{\c{c}}o and
                  Onn Shehory},
  title        = {Reverse Coverage Analysis},
  booktitle    = {Hardware and Software: Verification and Testing - 7th International
                  Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
                  6-8, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7261},
  pages        = {190--202},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-34188-5\_17},
  doi          = {10.1007/978-3-642-34188-5\_17},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/BirnbaumFMZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/FineFZ09,
  author       = {Shai Fine and
                  Laurent Fournier and
                  Avi Ziv},
  title        = {Using Bayesian networks and virtual coverage to hit hard-to-reach
                  events},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {11},
  number       = {4},
  pages        = {291--305},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10009-009-0119-0},
  doi          = {10.1007/S10009-009-0119-0},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/FineFZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/BarasFZ08,
  author       = {Dorit Baras and
                  Laurent Fournier and
                  Avi Ziv},
  editor       = {Hana Chockler and
                  Alan J. Hu},
  title        = {Automatic Boosting of Cross-Product Coverage Using Bayesian Networks},
  booktitle    = {Hardware and Software: Verification and Testing, 4th International
                  Haifa Verification Conference, {HVC} 2008, Haifa, Israel, October
                  27-30, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5394},
  pages        = {53--67},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-01702-5\_10},
  doi          = {10.1007/978-3-642-01702-5\_10},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/BarasFZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dac/AdirAFJP07,
  author       = {Allon Adir and
                  Sigal Asaf and
                  Laurent Fournier and
                  Itai Jaeger and
                  Ofer Peled},
  title        = {A Framework for the Validation of Processor Architecture Compliance},
  booktitle    = {Proceedings of the 44th Design Automation Conference, {DAC} 2007,
                  San Diego, CA, USA, June 4-8, 2007},
  pages        = {902--905},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1278480.1278702},
  doi          = {10.1145/1278480.1278702},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/AdirAFJP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/FournierZ07,
  author       = {Laurent Fournier and
                  Avi Ziv},
  editor       = {Karen Yorav},
  title        = {Using Virtual Coverage to Hit Hard-To-Reach Events},
  booktitle    = {Hardware and Software: Verification and Testing, Third International
                  Haifa Verification Conference, {HVC} 2007, Haifa, Israel, October
                  23-25, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4899},
  pages        = {104--119},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-77966-7\_11},
  doi          = {10.1007/978-3-540-77966-7\_11},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/FournierZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tc/AzatchiFMUZZ06,
  author       = {Hezi Azatchi and
                  Laurent Fournier and
                  Eitan Marcus and
                  Shmuel Ur and
                  Avi Ziv and
                  Keren Zohar},
  title        = {Advanced Analysis Techniques for Cross-Product Coverage},
  journal      = {{IEEE} Trans. Computers},
  volume       = {55},
  number       = {11},
  pages        = {1367--1379},
  year         = {2006},
  url          = {https://doi.org/10.1109/TC.2006.173},
  doi          = {10.1109/TC.2006.173},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/AzatchiFMUZZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hldvt/AdirFKK06,
  author       = {Allon Adir and
                  Laurent Fournier and
                  Yoav Katz and
                  Anatoly Koyfman},
  title        = {DeepTrans - Extending the Model-based Approach to Functional Verification
                  of Address Translation Mechanisms},
  booktitle    = {Eleventh Annual {IEEE} International High-Level Design Validation
                  and Test Workshop 2006, Monterey, CA, USA, Nov 9-10, 2006},
  pages        = {102--110},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/HLDVT.2006.319971},
  doi          = {10.1109/HLDVT.2006.319971},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hldvt/AdirFKK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hldvt/AzatchiFZZ05,
  author       = {Hezi Azatchi and
                  Laurent Fournier and
                  Avi Ziv and
                  Keren Zohar},
  title        = {Advanced analysis techniques for cross-product coverage},
  booktitle    = {Tenth {IEEE} International High-Level Design Validation and Test Workshop
                  2005, Napa Valley, CA, USA, November 30 - December 2, 2005},
  pages        = {229--236},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/HLDVT.2005.1568842},
  doi          = {10.1109/HLDVT.2005.1568842},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hldvt/AzatchiFZZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dt/AdirAFMRVZ04,
  author       = {Allon Adir and
                  Eli Almog and
                  Laurent Fournier and
                  Eitan Marcus and
                  Michal Rimon and
                  Michael Vinov and
                  Avi Ziv},
  title        = {Genesys-Pro: Innovations in Test Program Generation for Functional
                  Processor Verification},
  journal      = {{IEEE} Des. Test Comput.},
  volume       = {21},
  number       = {2},
  pages        = {84--93},
  year         = {2004},
  url          = {https://doi.org/10.1109/MDT.2004.1277900},
  doi          = {10.1109/MDT.2004.1277900},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dt/AdirAFMRVZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mtv/BinF04,
  author       = {Eyal Bin and
                  Laurent Fournier},
  title        = {Micro-Architecture Verification for Microprocessors},
  booktitle    = {Fifth International Workshop on Microprocessor Test and Verification
                  {(MTV} 2004), Common Challenges and Solutions, 08-10 September 2004,
                  Austin, Texas, {USA}},
  pages        = {112--113},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/MTV.2004.16},
  doi          = {10.1109/MTV.2004.16},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mtv/BinF04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ZivF03,
  author       = {Avi Ziv and
                  Laurent Fournier},
  title        = {Solving the generalized mask constraint for test generation of binary
                  floating point add operation},
  journal      = {Theor. Comput. Sci.},
  volume       = {291},
  number       = {2},
  pages        = {183--201},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0304-3975(02)00225-6},
  doi          = {10.1016/S0304-3975(02)00225-6},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/ZivF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hldvt/AharoniAFKN03,
  author       = {Merav Aharoni and
                  Sigal Asaf and
                  Laurent Fournier and
                  Anatoly Koyfman and
                  Raviv Nagel},
  title        = {FPgen - a test generation framework for datapath floating-point verification},
  booktitle    = {Eighth {IEEE} International High-Level Design Validation and Test
                  Workshop 2003, San Francisco, CA, USA, November 12-14, 2003},
  pages        = {17--22},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/HLDVT.2003.1252469},
  doi          = {10.1109/HLDVT.2003.1252469},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hldvt/AharoniAFKN03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dac/FournierKL99,
  author       = {Laurent Fournier and
                  Anatoly Koyfman and
                  Moshe Levinger},
  editor       = {Mary Jane Irwin},
  title        = {Developing an Architecture Validation Suite: Applicaiton to the PowerPC
                  Architecture},
  booktitle    = {Proceedings of the 36th Conference on Design Automation, New Orleans,
                  LA, USA, June 21-25, 1999},
  pages        = {189--194},
  publisher    = {{ACM} Press},
  year         = {1999},
  url          = {https://doi.org/10.1145/309847.309911},
  doi          = {10.1145/309847.309911},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/FournierKL99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/date/FournierAL99,
  author       = {Laurent Fournier and
                  Yaron Arbetman and
                  Moshe Levinger},
  title        = {Functional Verification Methodology for Microprocessors Using the
                  Genesys Test-Program Generator-Application to the x86 Microprocessors
                  Family},
  booktitle    = {1999 Design, Automation and Test in Europe {(DATE} '99), 9-12 March
                  1999, Munich, Germany},
  pages        = {434--441},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1109/DATE.1999.761162},
  doi          = {10.1109/DATE.1999.761162},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/FournierAL99.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.