-
1مؤتمر
المؤلفون: 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)
-
2مؤتمر
المؤلفون: 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)
-
3
المؤلفون: 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
-
4
المؤلفون: 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
-
5
المؤلفون: 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 -
6
المؤلفون: 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
-
7تقرير
المؤلفون: 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 -
8
مصطلحات موضوعية: reproducible builds, docker images, ÑиÑÑÐµÐ¼Ñ Ð°Ð²ÑомаÑизиÑованнÑÑ ÑбоÑок пÑогÑаммного обеÑпеÑениÑ, воÑпÑоизводимÑе ÑбоÑки, containerization, docker обÑаз, пакеÑнÑе менеджеÑÑ, package manager, конÑейнеÑизаÑиÑ, automated software build systems
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::1d3f721aab41d30ac8133bd222c3da9d
-
9
المؤلفون: 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
-
10
المؤلفون: 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