BibTeX records: M. Ammar Ben Khadra

download as .bib file

@inproceedings{DBLP:conf/sigsoft/KhadraSK20,
  author    = {M. Ammar {Ben Khadra} and
               Dominik Stoffel and
               Wolfgang Kunz},
  editor    = {Prem Devanbu and
               Myra B. Cohen and
               Thomas Zimmermann},
  title     = {Efficient binary-level coverage analysis},
  booktitle = {{ESEC/FSE} '20: 28th {ACM} Joint European Software Engineering Conference
               and Symposium on the Foundations of Software Engineering, Virtual
               Event, USA, November 8-13, 2020},
  pages     = {1153--1164},
  publisher = {{ACM}},
  year      = {2020},
  url       = {https://doi.org/10.1145/3368089.3409694},
  doi       = {10.1145/3368089.3409694},
  timestamp = {Tue, 10 Nov 2020 10:30:27 +0100},
  biburl    = {https://dblp.org/rec/conf/sigsoft/KhadraSK20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-14191,
  author    = {M. Ammar {Ben Khadra} and
               Dominik Stoffel and
               Wolfgang Kunz},
  title     = {Efficient Binary-Level Coverage Analysis},
  journal   = {CoRR},
  volume    = {abs/2004.14191},
  year      = {2020},
  url       = {https://arxiv.org/abs/2004.14191},
  archivePrefix = {arXiv},
  eprint    = {2004.14191},
  timestamp = {Sun, 03 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2004-14191.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/KhadraSK17,
  author    = {M. Ammar {Ben Khadra} and
               Dominik Stoffel and
               Wolfgang Kunz},
  editor    = {Daryl Stewart and
               Georg Weissenbacher},
  title     = {goSAT: Floating-point satisfiability as global optimization},
  booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
               Austria, October 2-6, 2017},
  pages     = {11--14},
  publisher = {{IEEE}},
  year      = {2017},
  url       = {https://doi.org/10.23919/FMCAD.2017.8102235},
  doi       = {10.23919/FMCAD.2017.8102235},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/conf/fmcad/KhadraSK17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/KhadraSK17,
  author    = {M. Ammar {Ben Khadra} and
               Dominik Stoffel and
               Wolfgang Kunz},
  editor    = {Daniel Gro{\ss}e and
               Rolf Drechsler},
  title     = {Speculative disassembly of binary code},
  booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen, {MBMV} 2017, Bremen, Germany, February
               8-9, 2017},
  pages     = {51--52},
  publisher = {Shaker Verlag},
  year      = {2017},
  timestamp = {Mon, 20 Nov 2017 10:25:21 +0100},
  biburl    = {https://dblp.org/rec/conf/mbmv/KhadraSK17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-07021,
  author    = {M. Ammar {Ben Khadra}},
  title     = {E3Solver: decision tree unification by enumeration},
  journal   = {CoRR},
  volume    = {abs/1710.07021},
  year      = {2017},
  url       = {http://arxiv.org/abs/1710.07021},
  archivePrefix = {arXiv},
  eprint    = {1710.07021},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1710-07021.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-06115,
  author    = {M. Ammar {Ben Khadra}},
  title     = {An introduction to approximate computing},
  journal   = {CoRR},
  volume    = {abs/1711.06115},
  year      = {2017},
  url       = {http://arxiv.org/abs/1711.06115},
  archivePrefix = {arXiv},
  eprint    = {1711.06115},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1711-06115.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cases/KhadraSK16,
  author    = {M. Ammar {Ben Khadra} and
               Dominik Stoffel and
               Wolfgang Kunz},
  title     = {Speculative disassembly of binary code},
  booktitle = {2016 International Conference on Compilers, Architectures and Synthesis
               for Embedded Systems, {CASES} 2016, Pittsburgh, Pennsylvania, USA,
               October 1-7, 2016},
  pages     = {16:1--16:10},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2968455.2968505},
  doi       = {10.1145/2968455.2968505},
  timestamp = {Tue, 06 Nov 2018 11:07:42 +0100},
  biburl    = {https://dblp.org/rec/conf/cases/KhadraSK16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/KhadraBS14,
  author    = {Mohamed Ammar {Ben Khadra} and
               Yu Bai and
               Klaus Schneider},
  editor    = {J{\"{u}}rgen Ruf and
               Dirk Allmendinger and
               Matteo Michel},
  title     = {Synthesis of Distributed Synchronous Specifications to SysteMoC},
  booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany},
  pages     = {71--81},
  publisher = {Cuvillier},
  year      = {2014},
  timestamp = {Fri, 28 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/mbmv/KhadraBS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/springsim/KhadraBS14,
  author    = {Mohamed Ammar {Ben Khadra} and
               Yu Bai and
               Klaus Schneider},
  title     = {High level modeling of elastic circuits in SystemC},
  booktitle = {2014 Spring Simulation Multiconference, SpringSim '14, Tampa, FL,
               USA, April 13-16, 2014, Proceedings of the Symposium on Theory of
               Modeling and Simulation - {DEVS} Integrative M{\&}S Symposium},
  pages     = {24},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2665032},
  timestamp = {Fri, 28 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/springsim/KhadraBS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics