Combining dynamic symbolic execution, code static analysis and fuzzing

Gerasimov, A.Yu ; Sargsyan, S.S. ; Kurmangaleev, S.Sh ; Hakobyan, J.A. ; Asryan, S.A. ; Ermakov, M.K.

Ivannikov Institute for System Programming of the Russian Academy of Sciences

Texto completo disponível

Dynamic detection of Use After Free Bugs

Asryan, S.A. ; Gaissaryan, S.S. ; Kurmangaleev, Sh. F. ; Aghabalyan, A.М. ; Hovsepyan, N.H. ; Sargsyan, S.S.

Ivannikov Institute for System Programming of the Russian Academy of Sciences

Texto completo disponível

Charmonium and e super(+) e super(-) pair photoproduction at mid-rapidity in ultra-peripheral Pb-Pb collisions at

Abbas, E ; Abelev, B ; Adam, J ; Adamova, D ; Adare, A M ; Aggarwal, M M ; Aglieri Rinella, G ; Agnello, M ; Agocs, A G ; Agostinelli, A ; Ahammed, Z ; Ahmad, N ; Ahmad Masoodi, A ; Ahmed, I ; Ahn, SA ; Ahn, SU ; Aimo, I ; Ajaz, M ; Akindinov, A ; Aleksandrov, D ; Alessandro, B ; Alexandre, D ; Alici, A ; Alkin, A ; Almaraz Avina, E ; Alme, J ; Alt, T ; Altini, V ; Altinpinar, S ; Altsybeev, I ; Andrei, C ; Andronic, A ; Anguelov, V ; Anielski, J ; Anson, C ; AntiAeic, T ; Antinori, F ; Antonioli, P ; Aphecetche, L ; Appelshaeuser, H ; Arbor, N ; Arcelli, S ; Arend, A ; Armesto, N ; Arnaldi, R ; Aronsson, T ; Arsene, I C ; Arslandok, M ; Asryan, A ; Augustinus, A ; et. al

Texto completo disponível

Measurement of electrons from beauty hadron decays in pp collisions at

Abelev, B ; Adam, J ; Adamova, D ; Adare, A M ; Aggarwal, M M ; Aglieri Rinella, G ; Agocs, A G ; Agostinelli, A ; Aguilar Salazar, S ; Ahammed, Z ; Ahmad, N ; Ahmad Masoodi, A ; Ahn, SA ; Ahn, SU ; Akindinov, A ; Aleksandrov, D ; Alessandro, B ; Alfaro Molina, R ; Alici, A ; Alkin, A ; Almaraz Avina, E ; Alme, J ; Alt, T ; Altini, V ; Altinpinar, S ; Altsybeev, I ; Andrei, C ; Andronic, A ; Anguelov, V ; Anielski, J ; Anson, C ; Anticic, T ; Antinori, F ; Antonioli, P ; Aphecetche, L ; Appelshaeuser, H ; Arbor, N ; Arcelli, S ; Arend, A ; Armesto, N ; Arnaldi, R ; Aronsson, T ; Arsene, I C ; Arslandok, M ; Asryan, A ; Augustinus, A ; Averbeck, R ; Awes, T C ; Aeystoe, J ; Azmi, MD ; et. al

Texto completo disponível

Centrality dependence of charged particle production at large transverse momentum in PbaPb collisions at

Abelev, B ; Adam, J ; Adamova, D ; Adare, A M ; Aggarwal, M M ; Aglieri Rinella, G ; Agocs, A G ; Agostinelli, A ; Aguilar Salazar, S ; Ahammed, Z ; Ahmad, N ; Ahmad Masoodi, A ; Ahn, SA ; Ahn, SU ; Akindinov, A ; Aleksandrov, D ; Alessandro, B ; Alfaro Molina, R ; Alici, A ; Alkin, A ; Almaraz Avina, E ; Alme, J ; Alt, T ; Altini, V ; Altinpinar, S ; Altsybeev, I ; Andrei, C ; Andronic, A ; Anguelov, V ; Anielski, J ; Anson, C ; Anticic, T ; Antinori, F ; Antonioli, P ; Aphecetche, L ; Appelshaeuser, H ; Arbor, N ; Arcelli, S ; Arend, A ; Armesto, N ; Arnaldi, R ; Aronsson, T ; Arsene, I C ; Arslandok, M ; Asryan, A ; Augustinus, A ; Averbeck, R ; Awes, T C ; Aeystoe, J ; Azmi, MD ; et. al

Texto completo disponível

meson production at central rapidity in protonaproton collisions at

Abelev, B ; Adam, J ; Adamova, D ; Adare, A M ; Aggarwal, M M ; Aglieri Rinella, G ; Agocs, A G ; Agostinelli, A ; Aguilar Salazar, S ; Ahammed, Z ; Ahmad, N ; Ahmad Masoodi, A ; Ahn, SA ; Ahn, SU ; Akindinov, A ; Aleksandrov, D ; Alessandro, B ; Alfaro Molina, R ; Alici, A ; Alkin, A ; Almaraz Avina, E ; Alme, J ; Alt, T ; Altini, V ; Altinpinar, S ; Altsybeev, I ; Andrei, C ; Andronic, A ; Anguelov, V ; Anielski, J ; Anson, C ; Anticic, T ; Antinori, F ; Antonioli, P ; Aphecetche, L ; Appelshaeuser, H ; Arbor, N ; Arcelli, S ; Arend, A ; Armesto, N ; Arnaldi, R ; Aronsson, T ; Arsene, I C ; Arslandok, M ; Asryan, A ; Augustinus, A ; Averbeck, R ; Awes, T C ; Aeystoe, J ; Azmi, MD

Texto completo disponível

Inclusive production in pp collisions at

Abelev, B ; Adam, J ; Adamova, D ; Adare, A M ; Aggarwal, M M ; Aglieri Rinella, G ; Agocs, A G ; Agostinelli, A ; Aguilar Salazar, S ; Ahammed, Z ; Ahmad Masoodi, A ; Ahmad, N ; Ahn, SU ; Akindinov, A ; Aleksandrov, D ; Alessandro, B ; Alfaro Molina, R ; Alici, A ; Alkin, A ; Almaraz Avina, E ; Alme, J ; Alt, T ; Altini, V ; Altinpinar, S ; Altsybeev, I ; Andrei, C ; Andronic, A ; Anguelov, V ; Anielski, J ; Anson, C ; Anticic, T ; Antinori, F ; Antonioli, P ; Aphecetche, L ; Appelshaeuser, H ; Arbor, N ; Arcelli, S ; Arend, A ; Armesto, N ; Arnaldi, R ; Aronsson, T ; Arsene, I C ; Arslandok, M ; Asryan, A ; Augustinus, A ; Averbeck, R ; Awes, T C ; Aeystoe, J ; Azmi, MD ; Bach, M

Texto completo disponível

Multi-strange baryon production in pp collisions at with ALICE

Abelev, B ; Adam, J ; Adamovl, D ; Adare, A M ; Aggarwal, M M ; Aglieri Rinella, G ; Agocs, A G ; Agostinelli, A ; Aguilar Salazar, S ; Ahammed, Z ; Ahmad, N ; Ahmad Masoodi, A ; Ahn, SU ; Akindinov, A ; Aleksandrov, D ; Alessandro, B ; Alfaro Molina, R ; Alici, A ; Alkin, A ; Almarlz Avic-a, E ; Alme, J ; Alt, T ; Altini, V ; Altinpinar, S ; Altsybeev, I ; Andrei, C ; Andronic, A ; Anguelov, V ; Anielski, J ; Anson, C ; AntiAic, T ; Antinori, F ; Antonioli, P ; Aphecetche, L ; AppelshAOuser, H ; Arbor, N ; Arcelli, S ; Arend, A ; Armesto, N ; Arnaldi, R ; Aronsson, T ; Arsene, I C ; Arslandok, M ; Asryan, A ; Augustinus, A ; Averbeck, R ; Awes, T C ; Aystoe, J ; Azmi, MD ; Bach, M

Texto completo disponível

production as a function of charged particle multiplicity in pp collisions at

Abelev, B ; Adam, J ; Adamovl, D ; Adare, A M ; Aggarwal, M M ; Aglieri Rinella, G ; Agocs, A G ; Agostinelli, A ; Aguilar Salazar, S ; Ahammed, Z ; Ahmad Masoodi, A ; Ahmad, N ; Ahn, SU ; Akindinov, A ; Aleksandrov, D ; Alessandro, B ; Alfaro Molina, R ; Alici, A ; Alkin, A ; Almarlz Avic-a, E ; Alme, J ; Alt, T ; Altini, V ; Altinpinar, S ; Altsybeev, I ; Andrei, C ; Andronic, A ; Anguelov, V ; Anielski, J ; Anson, C ; AntiAic, T ; Antinori, F ; Antonioli, P ; Aphecetche, L ; AppelshAOuser, H ; Arbor, N ; Arcelli, S ; Arend, A ; Armesto, N ; Arnaldi, R ; Aronsson, T ; Arsene, I C ; Arslandok, M ; Asryan, A ; Augustinus, A ; Averbeck, R ; Awes, T C ; Aystoe, J ; Azmi, MD ; Bach, M

Texto completo disponível

Inclusive J/psi production in pp collisions at sqrt(s) = 2.76 TeV

Abelev, B. ; Adam, J. ; Adamova, D. ; Adare, A. M. ; Aggarwal, M. M. ; Rinella, G. Aglieri ; Agocs, A. G. ; Agostinelli, A. ; Salazar, S. Aguilar ; Ahammed, Z. ; Masoodi, A. Ahmad ; Ahmad, N. ; Ahn, Sang Un ; Akindinov, A. ; Aleksandrov, D. ; Alessandro, B. ; Molina, R. Alfaro ; Alici, A. ; Alkin, A. ; Avina, E. Almaraz ; Alme, J. ; Alt, T. ; Altini, V. ; Altinpinar, S. ; Altsybeev, I. ; Andrei, C. ; Andronic, A. ; Anguelov, V. ; Anielski, J. ; Anson, C. ; Anticic, T. ; Antinori, F. ; Antonioli, P. ; Aphecetche, Laurent ; Appelshauser, H. ; Arbor, N. ; Arcelli, S. ; Arend, A. ; Armesto, N. ; Arnaldi, R. ; Aronsson, T. ; Arsene, I. C. ; Arslandok, M. ; Asryan, A. ; Augustinus, A. ; Averbeck, R. ; Awes, T. C. ; Aysto, J. ; Azmi, M. D. ; Bach, M. ; Badala, A. ; Baek, Y.W. ; Bailhache, R. ; Bala, R. ; Ferroli, R. Baldini ; Baldisseri, A. ; Baldit, A. ; Pedrosa, F. Baltasar dos Santos ; Ban, J. ; Baral, R. C. ; Barbera, R. ; Barile, F. ; Barnafoldi, G. G. ; Barnby, L. S. ; Barret, V. ; Bartke, J. ; Basile, M. ; Bastid, N. ; Bathen, B. ; Batigne, Guillaume ; Batyunya, B. ; Baumann, Cédric ; Bearden, I. G. ; Beck, H. ; Belikov, I. ; Bellini, F. ; Bellwied, R. ; Belmont-Moreno, E. ; Bencedi, G. ; Beole, S. ; Berceanu, I. ; Bercuci, A. ; Berdnikov, Y. ; Berenyi, D. ; Bergmann, C. ; Berzano, D. ; Betev, L. ; Bhasin, A. ; Bhati, A. K. ; Bianchi, L. ; Bianchi, N. ; Bianchin, C. ; Bielcik, J. ; Bielcikova, J. ; Bjelogrlic, S. ; Blanco, F. ; Blau, D. ; Blume, C. ; Boccioli, M. ; Bock, N.

Elsevier

Texto completo disponível