|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1529 occurrences of 882 keywords
|
|
|
Results
Found 3119 publication records. Showing 3119 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Yuhan Liu, Jayadev Acharya |
The role of shared randomness in quantum state certification with unentangled measurements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.09650, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Romeo Valentin |
Towards a Framework for Deep Learning Certification in Safety-Critical Applications Using Inherently Safe Design and Run-Time Error Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.14678, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Sven Gronauer, Tom Haider, Felippe Schmoeller da Roza, Klaus Diepold |
Reinforcement Learning with Ensemble Model Predictive Safety Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.04182, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Yusen Dong, Senhua Chen, Pengcheng Ma, Hai-jian Liu, Xiajing Xu |
Effects of Peer Firms' Government Certification on Focal Firm's Innovation Investment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Engineering Management ![In: IEEE Trans. Engineering Management 71, pp. 1702-1713, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Ahmad Musamih, Ibrar Yaqoob, Khaled Salah 0001, Raja Jayaraman, Mohammed A. Omar, Samer Ellahham |
Using NFTs for Product Management, Digital Certification, Trading, and Delivery in the Healthcare Supply Chain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Engineering Management ![In: IEEE Trans. Engineering Management 71, pp. 4480-4501, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Aleksandra Krawiec, Lukasz Pawela, Zbigniew Puchala |
Discrimination and certification of unknown quantum measurements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum ![In: Quantum 8, pp. 1269, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Javier Verdugo, Jesús Ramon Oviedo, Moisés Rodríguez, Mario Piattini |
Connecting Research and Practice for Software Product Quality Evaluation and Certification: A Software Laboratory's 25-Year Journey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 41(3), pp. 33-40, May - June 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Leroy Chew, Friedrich Slivovsky |
Towards Uniform Certification in QBF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 20(1), 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Bartlomiej Hadasik, Maria Mach-Król |
On Enhancing the COVID-19 Certification System for the Digitally-Illiterate People Inclusion in the European Union. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digit. ![In: Digit. 4(1), pp. 182-194, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Sujeeth Goud Ramagoni, Dennis Brylow |
Analyzing State-Level High School CS Teacher Certification Through Dataset Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE (2) ![In: Proceedings of the 55th ACM Technical Symposium on Computer Science Education, SIGCSE 2024, Volume 2, Portland, OR, USA, March 20-23, 2024, pp. 1786-1787, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Ronghui Mu, Leandro Soriano Marcolino, Yanghao Zhang, Tianle Zhang, Xiaowei Huang, Wenjie Ruan |
Reward Certification for Policy Smoothed Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 21429-21437, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Yunruo Zhang, Lujia Shen, Shanqing Guo, Shouling Ji |
GaLileo: General Linear Relaxation Framework for Tightening Robustness Certification of Transformers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 21797-21805, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Nicolas Bousquet, Laurent Feuilloley, Sébastien Zeitoun |
Local Certification of Local Properties: Tight Bounds, Trade-Offs and New Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: 41st International Symposium on Theoretical Aspects of Computer Science, STACS 2024, March 12-14, 2024, Clermont-Ferrand, France, pp. 21:1-21:18, 2024, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-311-9. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Nao Hirokawa, Dohan Kim 0001, Kiraku Shintani, René Thiemann |
Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024, pp. 147-161, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Diego Maldonado, Pedro Montealegre 0001, Martín Ríos Wilson |
The Hardness of Local Certification of Finite-State Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN (1) ![In: LATIN 2024: Theoretical Informatics - 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part I, pp. 51-65, 2024, Springer, 978-3-031-55597-8. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Diego Maldonado, Pedro Montealegre 0001, Martín Ríos Wilson, Guillaume Theyssier |
Local Certification of Majority Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2024: Theory and Practice of Computer Science - 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings, pp. 369-382, 2024, Springer, 978-3-031-52112-6. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Sven Gronauer, Tom Haider, Felippe Schmoeller da Roza, Klaus Diepold |
Reinforcement Learning with Ensemble Model Predictive Safety Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024, Auckland, New Zealand, May 6-10, 2024, pp. 724-732, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
12 | Frederik Baymler Mathiesen, Simeon C. Calvert, Luca Laurenti |
Safety Certification for Stochastic Systems via Neural Barrier Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 7, pp. 973-978, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Xiang Hui, Zekun Liu, Weiqing Zhang |
From High Bar to Uneven Bars: The Impact of Information Granularity in Quality Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Manag. Sci. ![In: Manag. Sci. 69(10), pp. 6109-6127, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Fahim Ahmed, Kyoung-Yun Kim |
Recursive approach to combine expert knowledge and data-driven RSW weldability certification decision making process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics Comput. Integr. Manuf. ![In: Robotics Comput. Integr. Manuf. 79, pp. 102428, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Gavin Zhang, Salar Fattahi, Richard Y. Zhang |
Preconditioned Gradient Descent for Overparameterized Nonconvex Burer-Monteiro Factorization with Global Optimality Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Mach. Learn. Res. ![In: J. Mach. Learn. Res. 24, pp. 163:1-163:55, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
12 | Marco Anisetti, Claudio A. Ardagna, Nicola Bena, Ernesto Damiani |
Rethinking Certification for Trustworthy Machine-Learning-Based Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Comput. ![In: IEEE Internet Comput. 27(6), pp. 22-28, November - December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Tobias Guggenberger, Daniela Kühne, Vincent Schlatt, Nils Urbach |
Designing a cross-organizational identity management system: Utilizing SSI for the certification of retailer attributes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Mark. ![In: Electron. Mark. 33(1), pp. 3, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Alexandre Lê, Fabrice Rouillier, Damien Chablat, Guillaume Rance |
On the Certification of the Kinematics of 3-DOF Spherical Parallel Manipulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Maple Trans. ![In: Maple Trans. 3(2), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Dony Novaliendry, Ahyanuardi, Irma Yulia Basri, Noper Ardi, Nathasyah Utami Hakim, Muhammad Fadilh Putra Pratama, Nenny Mahyuddin |
The Development of Professional Competency Certification Assessment Model for Junior Mobile Programmers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Interact. Mob. Technol. ![In: Int. J. Interact. Mob. Technol. 17(8), pp. 181-196, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Santiago Germino, Martín N. Menéndez, Ariel Lutenberg |
An XSLT-Based Proposal to Ease Embedded Critical Systems Tools Implementation, Verification, Validation, Testing, and Certification Efforts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Embed. Syst. Lett. ![In: IEEE Embed. Syst. Lett. 15(3), pp. 165-168, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Marco Anisetti, Claudio Agostino Ardagna, Nicola Bena |
Multi-Dimensional Certification of Modern Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Serv. Comput. ![In: IEEE Trans. Serv. Comput. 16(3), pp. 1999-2012, May - June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Nesrine Kaaniche, Christophe Kiennert, Maryline Laurent, Joaquín García-Alfaro |
Anonymous certification for E-assessment opinion polls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Ambient Intell. Humaniz. Comput. ![In: J. Ambient Intell. Humaniz. Comput. 14(11), pp. 14979-14993, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Senay A. Gebreab, Khaled Salah 0001, Raja Jayaraman, Jamal Zemerly |
Trusted Traceability and Certification of Refurbished Medical Devices Using Dynamic Composable NFTs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 30373-30389, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Iris Gräßler, Dominik Wiechel, Anna-Sophie Koch, Tim Sturm, Thomas Markfelder |
Methodology for Certification-Compliant Effect-Chain Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. ![In: Syst. 11(3), pp. 154, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Sascha Hackel, Martin A. Schneider, Ramon Barakat |
Security-by-Design IoT Development and Certification with IoTAC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ERCIM News ![In: ERCIM News 2023(134), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
12 | Dorian Knoblauch, Jürgen Großmann |
Towards a Risk-Based Continuous Auditing-Based Certification for Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Socionetwork Strateg. ![In: Rev. Socionetwork Strateg. 17(2), pp. 255-273, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Sorin Stratulat |
Mechanical certification of FOLID cyclic proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 91(5), pp. 651-673, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Tony A. Wood, Maryam Kamgarpour |
Certification of Bottleneck Task Assignment With Shortest Path Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 8(8), pp. 4545-4552, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Claude Baron, Vincent Louis |
Framework and tooling proposals for Agile certification of safety-critical embedded software in avionic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. ![In: Comput. Ind. 148, pp. 103887, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yaa A. Kumah-Crystal, Scott Mankowitz, Peter J. Embí, Christoph U. Lehmann |
ChatGPT and the clinical informatics board examination: the end of unproctored maintenance of certification? ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Medical Informatics Assoc. ![In: J. Am. Medical Informatics Assoc. 30(9), pp. 1558-1560, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ting-Chia Hsu, Wen-Li Chen, Gwo-Jen Hwang |
Impacts of interactions between peer assessment and learning styles on students' mobile learning achievements and motivations in vocational design certification courses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interact. Learn. Environ. ![In: Interact. Learn. Environ. 31(3), pp. 1351-1363, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Karine Altisen, Pierre Corbineau, Stéphane Devismes |
Certification of an exact worst-case self-stabilization time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 941, pp. 262-277, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Virginia Ardévol Martínez, Marco Caoduro, Laurent Feuilloley, Jonathan Narboni, Pegah Pournajafi, Jean-Florent Raymond |
A lower bound for constant-size local certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 971, pp. 114068, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Mohammed Alsadi, Junaid Arshad, Jahid Ali, Alousseynou Prince, Shishank Shishank |
TruCert: Blockchain-based trustworthy product certification within autonomous automotive supply chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electr. Eng. ![In: Comput. Electr. Eng. 109(Part B), pp. 108738, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Giovanni Giachetti, José Luis de la Vara, Beatriz Marín |
A model-driven approach to adopt good practices for agile process configuration and certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stand. Interfaces ![In: Comput. Stand. Interfaces 86, pp. 103737, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jean-Guillaume Durand, Arthur Dubois, Robert J. Moss |
Formal and Practical Elements for the Certification of Machine Learning Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.03217, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Andreas A. Haupt, Nicole Immorlica, Brendan Lucier |
Certification Design for a Competitive Market. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.13449, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jonas Primbs, Michael Menth |
OIDC2: Open Identity Certification with OpenID Connect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.16607, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Nicolas Bousquet, Laurent Feuilloley, Sébastien Zeitoun |
Local certification of local properties: tight bounds, trade-offs and new parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.13702, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Alan F. T. Winfield, Matthew Studley |
On the relationship between Benchmarking, Standards and Certification in Robotics and AI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.12139, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Aleksandar Petrov, Francisco Eiras, Amartya Sanyal, Philip H. S. Torr, Adel Bibi |
Certifying Ensembles: A General Certification Theory with S-Lipschitzness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.13019, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Paulo Trezentos, Ricardo Capote, Tiago Teodoro, João Carneiro |
DCM: A Developers Certification Model for Mobile Ecosystems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.05278, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Sagar Pathrudkar, Saadhana Venkataraman, Deepika Kanade, Aswin Ajayan, Palash Gupta, Shehzaman S. Khatib, Vijaya Sarathi Indla, Saikat Mukherjee |
SAFR-AV: Safety Analysis of Autonomous Vehicles using Real World Data - An end-to-end solution for real world data driven scenario-based testing for pre-certification of AV stacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.14601, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Diego Maldonado, Pedro Montealegre 0001, Martín Ríos Wilson, Guillaume Theyssier |
Local Certification of Majority Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.01852, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Pablo Krupa, Omar Inverso, Mirco Tribastone, Alberto Bemporad |
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.16786, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Adam Janovsky, Jan Jancar, Petr Svenda, Lukasz Chmielewski, Jiri Michalik, Vashek Matyas |
sec-certs: Examining the security certification practice for better vulnerability mitigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.17603, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Shubham Ugare, Tarun Suresh, Debangshu Banerjee, Gagandeep Singh 0001, Sasa Misailovic |
Incremental Randomized Smoothing Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.19521, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Dasa Kusniráková, Barbora Buhnova |
Rethinking Certification for Higher Trust and Ethical Safeguarding of Autonomous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.09388, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Benjamin Jauregui, Pedro Montealegre 0001, Diego Ramírez-Romero, Ivan Rapaport |
Local Certification of Some Geometric Intersection Graph Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.04789, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Kai Hu, Andy Zou, Zifan Wang, Klas Leino, Matt Fredrikson |
Scaling in Depth: Unlocking Robustness Certification on ImageNet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.12549, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jonathan C. Rowanhill, Ashlie B. Hocking, Aditya Zutshi 0003, Kerianne L. Hobbs |
Bridging the Gap: Applying Assurance Arguments to MIL-HDBK-516C Certification of a Neural Network Control System with ASIF Run Time Assurance Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.15568, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Diego Maldonado, Pedro Montealegre 0001, Martín Ríos Wilson |
The Hardness of Local Certification of Finite-State Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.12278, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Omar Fawzi, Nicolas Flammarion, Aurélien Garivier, Aadil Oufkir |
Quantum Channel Certification with Incoherent Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.01188, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Nicolas Scharowski, Michaela Benk, Swen J. Kühne, Léane Wettstein, Florian Brühlmann |
Certification Labels for Trustworthy AI: Insights From an Empirical Mixed-Method Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.18307, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Othmane Laousy, Alexandre Araujo, Guillaume Chassagnon, Nikos Paragios, Marie-Pierre Revel, Maria Vakalopoulou |
Certification of Deep Learning Models for Medical Image Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.03664, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Klas Leino |
Limitations of Piecewise Linearity for Efficient Robustness Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.08842, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Matthew Wicker, Andrea Patane, Luca Laurenti, Marta Kwiatkowska |
Adversarial Robustness Certification for Bayesian Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.13614, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Abel C. H. Chen |
Exploring the Techniques of Information Security Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.07431, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ronghui Mu, Leandro Soriano Marcolino, Tianle Zhang, Yanghao Zhang, Xiaowei Huang 0001, Wenjie Ruan |
Reward Certification for Policy Smoothed Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.06436, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Nicholas Rober, Karan Mahesh, Tyler M. Paine, Max L. Greene, Steven Lee, Sildomar T. Monteiro, Michael R. Benjamin, Jonathan P. How |
Online Data-Driven Safety Certification for Systems Subject to Unknown Disturbances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.19256, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Lei Yuan, Tao Jiang, Lihe Li, Feng Chen 0042, Zongzhang Zhang, Yang Yu 0001 |
Robust Multi-agent Communication via Multi-view Message Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.13936, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti |
BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.10742, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Eng Lieh Ouh, Benjamin Kok Siew Gan |
Are you cloud-certified? Preparing Computing Undergraduates for Cloud Certification with Experiential Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.13662, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Shengjie Wang, Fengbo Lan, Xiang Zheng, Yuxue Cao, Oluwatosin Oseni, Haotian Xu, Yang Gao, Tao Zhang |
A RL-based Policy Optimization Method Guided by Adaptive Stability Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.00521, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Marco Anisetti, Claudio A. Ardagna, Nicola Bena, Ernesto Damiani |
Towards Certification of Machine Learning-Based Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.16822, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Matthew Wicker, Vihari Piratla, Adrian Weller |
Certification of Distributional Individual Fairness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.11911, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yuanyuan Yuan, Shuai Wang 0011, Zhendong Su 0001 |
Precise and Generalized Robustness Certification for Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.06747, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Qilin Zhou, Zhengyuan Wei, Haipeng Wang 0005, Wing Kwong Chan |
A Majority Invariant Approach to Patch Robustness Certification for Deep Learning Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.00452, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Dasa Kusniráková, Barbora Buhnova |
Future Vision of Dynamic Certification Schemes for Autonomous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.10340, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Robert Trager, Ben Harack, Anka Reuel, Allison Carnegie, Lennart Heim, Lewis Ho, Sarah Kreps, Ranjit Lall, Owen Larter, Seán Ó hÉigeartaigh, Simon Staffell, José Jaime Villalobos |
International Governance of Civilian AI: A Jurisdictional Certification Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.15514, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Pierre Fraigniaud, Frédéric Mazoit, Pedro Montealegre 0001, Ivan Rapaport, Ioan Todinca |
Distributed Certification for Classes of Dense Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.14292, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ashutosh Nirala, Ameya Joshi, Chinmay Hegde, Soumik Sarkar |
Fast Certification of Vision-Language Models Using Incremental Randomized Smoothing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.09024, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Marta Kwiatkowska, Xiyue Zhang |
When to Trust AI: Advances and Challenges for Certification of Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.11196, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | David Noever, Matthew Ciolino |
Professional Certification Benchmark Dataset: The First 500 Jobs For Large Language Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.05377, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Wesley Joon-Wie Tann, Yuancheng Liu, Jun Heng Sim, Choon Meng Seah, Ee-Chien Chang |
Using Large Language Models for Cybersecurity Capture-The-Flag Challenges and Certification Questions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.10443, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Fátima Castro-Jul, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Sophie Chabridon, Denis Conan |
Fog Architectures and Sensor Location Certification in Distributed Event-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.09921, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Maxime Gariel, Brian Shimanuki, Rob Timpe, Evan Wilson |
Framework for Certification of AI-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.11049, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Oscar Defrain, Louis Esperet, Aurélie Lagoutte, Pat Morin, Jean-Florent Raymond |
Local certification of geometric graph classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.16953, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Avinash Agarwal, Harsh Agarwal, Nihaarika Agarwal |
Fairness Score and process standardization: framework for fairness certification in artificial intelligence systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Ethics ![In: AI Ethics 3(1), pp. 267-279, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Laurent Feuilloley, Pierre Fraigniaud, Pedro Montealegre 0001, Ivan Rapaport, Éric Rémila, Ioan Todinca |
Local certification of graphs with bounded genus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 325, pp. 9-36, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ákos Milánkovich, Katja Tuma |
Delta Security Certification for Software Supply Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 21(6), pp. 24-33, November - December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Iñigo Luja Beraza, Juan Manuel Vara, David Granada, Cristian Gómez Macías, Francisco Javier Pérez Blanco |
On the Impact of Project Management Certification for Software Projects and Practitioners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 40(5), pp. 100-107, September - October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Giora Alexandron, Mary Ellen Wiltrout, Aviram Berg, Sa'ar Karp Gershon, José A. Ruipérez Valiente |
The effects of assessment design on academic dishonesty, learner engagement, and certification rates in MOOCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Assist. Learn. ![In: J. Comput. Assist. Learn. 39(1), pp. 141-153, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yuheng Huang, Lei Ma 0003, Yuanchun Li |
PatchCensor: Patch Robustness Certification for Transformers via Exhaustive Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 32(6), pp. 154:1-154:34, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Nancy G. Leveson, John P. Thomas |
Certification of Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 66(10), pp. 22-26, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Georgios Bakirtzis, Steven Carr, David Danks, Ufuk Topcu |
Dynamic Certification for Autonomous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 66(9), pp. 64-72, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Corey Bonnell |
Certification Authority Authorization (CAA) Processing for Email Addresses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 9495, pp. 1-8, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Anum Khurshid, Shahid Raza |
AutoCert: Automated TOCTOU-secure digital certification for IoT with combined authentication and assurance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Secur. ![In: Comput. Secur. 124, pp. 102952, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Tong Zhao, Ekim Yurtsever, Joel A. Paulson, Giorgio Rizzoni |
Formal Certification Methods for Automated Vehicle Safety Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Intell. Veh. ![In: IEEE Trans. Intell. Veh. 8(1), pp. 232-249, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Sahin Dirim, Okan Örsan Özener, Hasan Sözer |
Prioritization and parallel execution of test cases for certification testing of embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 31(2), pp. 471-496, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Luigi De Simone, Nuno Laranjeiro, Domenico Cotroneo |
Guest editorial: special issue on emerging challenges in software certification and verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 31(2), pp. 305-306, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Brendon G. Anderson, Somayeh Sojoudi |
Data-Driven Certification of Neural Networks With Random Input Noise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Control. Netw. Syst. ![In: IEEE Trans. Control. Netw. Syst. 10(1), pp. 249-260, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Aart Middeldorp, Alexander Lochmann, Fabian Mitterwallner |
First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 67(2), pp. 14, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Servio Palacios, Aaron Ault, James V. Krogmeier, Bharat K. Bhargava, Christopher G. Brinton |
AGAPECert: An Auditable, Generalized, Automated, Privacy-Enabling Certification Framework With Oblivious Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 20(4), pp. 3269-3286, July - August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 3119 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|