المؤلفون: Yadav, Vyom, Himanshu

المصدر: 2024 3rd International Conference on Applied Artificial Intelligence and Computing (ICAAIC) Applied Artificial Intelligence and Computing (ICAAIC), 2024 3rd International Conference on. :1781-1787 Jun, 2024

Relation: 2024 3rd International Conference on Applied Artificial Intelligence and Computing (ICAAIC)

المؤلفون: Ren, Zhilei, Sun, Shiwei, Xuan, Jifeng, Li, Xiaochen, Zhou, Zhide, Jiang, He

المصدر: 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2022 IEEE/ACM 44th International Conference on. :200-211 May, 2022

Relation: 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE)

المؤلفون: Butler, Simon, Gamalielsson, Jonas, Lundell, Björn, Brax, Christoffer, Mattsson, Anders, Gustavsson, Tomas, Feist, Jonas, Kvarnström, Bengt, Lönroth, Erik

المصدر: Software quality journal. 31(3):687-719

مصطلحات موضوعية: Reproducible builds, Software integrity, Software engineering, Open source software, Software Systems Research Group (SSRG)

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-22091
https://doi.org/10.1007/s11219-022-09607-z
https://doi.org/10.1007/s11219-024-09664-6
https://his.diva-portal.org/smash/get/diva2:1714688/FULLTEXT03.pdf

المؤلفون: Schlosser, Patrick

مصطلحات موضوعية: Software Supply Chain Attacks, Deterministische Builds, C Language, Reproduzierbare Builds, C Sprache, Software Supply Chain Security, Software Supply Chain Angriffe, Deterministic Builds, Reproducible Builds, Python

وصف الملف: kein Volltext verfügbar

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_____10650::0755de8e208593d07064da50b2818d32

المؤلفون: Moritz, Johan

مصطلحات موضوعية: Model checking, Computer and Information Sciences, Blockchain, TLA+, Reproducible builds, Collaborative intelligence, Reproducerbara byggen, Data- och informationsvetenskap, Modeltestning, Kollaborativ intelligens, Hyperledger Fabric, Blockkedjor

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______260::618f128df5e5022e4662b7c46132c5f4
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-329759

المؤلفون: Simon Butler, Jonas Gamalielsson, Björn Lundell, Christoffer Brax, Anders Mattsson, Tomas Gustavsson, Jonas Feist, Bengt Kvarnström, Erik Lönroth

المصدر: Software Quality Journal.

مصطلحات موضوعية: Software engineering, Programvaruteknik, Reproducible builds, Software integrity, Open source software, Safety, Risk, Reliability and Quality, Software

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::abe1c65a3aee9119890464d18d03b46c
https://doi.org/10.1007/s11219-022-09607-z

المؤلفون: Skrimstad, Yrjan

المصدر: Skrimstad, Yrjan. Improving Trust in Software through Diverse Double-Compiling and Reproducible Builds. Master thesis, University of Oslo, 2018

الإتاحة: http://hdl.handle.net/10852/65737
https://www.duo.uio.no/bitstream/handle/10852/65737/1/thesis_yrjan_skrimstad.pdf

مصطلحات موضوعية: reproducible builds, docker images, системы Ð°Ð²Ñ‚Ð¾Ð¼Ð°Ñ‚Ð¸Ð·Ð¸Ñ€Ð¾Ð²Ð°Ð½Ð½Ñ‹Ñ ÑÐ±Ð¾Ñ€Ð¾Ðº программного обеспечения, воспроизводимые сборки, containerization, docker образ, пакетные менеджеры, package manager, контейнеризация, automated software build systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::1d3f721aab41d30ac8133bd222c3da9d

المؤلفون: Palmskog, Karl, Tassi, Enrico, Zimmermann, Théo

المساهمون: Royal Institute of Technology [Stockholm] (KTH ), Sûreté du logiciel et Preuves Mathématiques Formalisées (STAMP), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Design, study and implementation of languages for proofs and programs (PI.R2), Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Paris Cité (UPCité)-Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)

المصدر: RRRR 2022-Workshop on Reproducibility and Replication of Research Results
RRRR 2022-Workshop on Reproducibility and Replication of Research Results, Apr 2022, Munich, Germany

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Software engineering, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Computer Science - Digital Libraries, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Logic in Computer Science (cs.LO), TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Reproducible builds, Proof assistants, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Coq, [INFO.INFO-DL]Computer Science [cs]/Digital Libraries [cs.DL], Digital Libraries (cs.DL), Software delivery, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::63d31540fe444fa5be25d064850e1787

المؤلفون: Nordberg, Pontus

مصطلحات موضوعية: Datorsystem, Computer Systems, Reproducible Builds, Security Audit, Open Source Software

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______681::34e681fbee21e7ed076033ff440bd560
http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-17637