Search results for "certification"

Hits ?▲	Authors	Title	Venue	Year	Link
12	Yuhan Liu, Jayadev Acharya	The role of shared randomness in quantum state certification with unentangled measurements.	CoRR	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.	CoRR	2024	DBLP DOI BibTeX RDF
12	Sven Gronauer, Tom Haider, Felippe Schmoeller da Roza, Klaus Diepold	Reinforcement Learning with Ensemble Model Predictive Safety Certification.	CoRR	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.	IEEE Trans. Engineering Management	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.	IEEE Trans. Engineering Management	2024	DBLP DOI BibTeX RDF
12	Aleksandra Krawiec, Lukasz Pawela, Zbigniew Puchala	Discrimination and certification of unknown quantum measurements.	Quantum	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.	IEEE Softw.	2024	DBLP DOI BibTeX RDF
12	Leroy Chew, Friedrich Slivovsky	Towards Uniform Certification in QBF.	Log. Methods Comput. Sci.	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.	Digit.	2024	DBLP DOI BibTeX RDF
12	Sujeeth Goud Ramagoni, Dennis Brylow	Analyzing State-Level High School CS Teacher Certification Through Dataset Exploration.	SIGCSE (2)	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.	AAAI	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.	AAAI	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.	STACS	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.	CPP	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.	LATIN (1)	2024	DBLP DOI BibTeX RDF
12	Diego Maldonado, Pedro Montealegre 0001, Martín Ríos Wilson, Guillaume Theyssier	Local Certification of Majority Dynamics.	SOFSEM	2024	DBLP DOI BibTeX RDF
12	Sven Gronauer, Tom Haider, Felippe Schmoeller da Roza, Klaus Diepold	Reinforcement Learning with Ensemble Model Predictive Safety Certification.	AAMAS	2024	DBLP BibTeX RDF
12	Frederik Baymler Mathiesen, Simeon C. Calvert, Luca Laurenti	Safety Certification for Stochastic Systems via Neural Barrier Functions.	IEEE Control. Syst. Lett.	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.	Manag. Sci.	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.	Robotics Comput. Integr. Manuf.	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.	J. Mach. Learn. Res.	2023	DBLP BibTeX RDF
12	Marco Anisetti, Claudio A. Ardagna, Nicola Bena, Ernesto Damiani	Rethinking Certification for Trustworthy Machine-Learning-Based Applications.	IEEE Internet Comput.	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.	Electron. Mark.	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.	Maple Trans.	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.	Int. J. Interact. Mob. Technol.	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.	IEEE Embed. Syst. Lett.	2023	DBLP DOI BibTeX RDF
12	Marco Anisetti, Claudio Agostino Ardagna, Nicola Bena	Multi-Dimensional Certification of Modern Distributed Systems.	IEEE Trans. Serv. Comput.	2023	DBLP DOI BibTeX RDF
12	Nesrine Kaaniche, Christophe Kiennert, Maryline Laurent, Joaquín García-Alfaro	Anonymous certification for E-assessment opinion polls.	J. Ambient Intell. Humaniz. Comput.	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.	IEEE Access	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.	Syst.	2023	DBLP DOI BibTeX RDF
12	Sascha Hackel, Martin A. Schneider, Ramon Barakat	Security-by-Design IoT Development and Certification with IoTAC.	ERCIM News	2023	DBLP BibTeX RDF
12	Dorian Knoblauch, Jürgen Großmann	Towards a Risk-Based Continuous Auditing-Based Certification for Machine Learning.	Rev. Socionetwork Strateg.	2023	DBLP DOI BibTeX RDF
12	Sorin Stratulat	Mechanical certification of FOLID cyclic proofs.	Ann. Math. Artif. Intell.	2023	DBLP DOI BibTeX RDF
12	Tony A. Wood, Maryam Kamgarpour	Certification of Bottleneck Task Assignment With Shortest Path Criteria.	IEEE Robotics Autom. Lett.	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.	Comput. Ind.	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?	J. Am. Medical Informatics Assoc.	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.	Interact. Learn. Environ.	2023	DBLP DOI BibTeX RDF
12	Karine Altisen, Pierre Corbineau, Stéphane Devismes	Certification of an exact worst-case self-stabilization time.	Theor. Comput. Sci.	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.	Theor. Comput. Sci.	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.	Comput. Electr. Eng.	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.	Comput. Stand. Interfaces	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.	CoRR	2023	DBLP DOI BibTeX RDF
12	Andreas A. Haupt, Nicole Immorlica, Brendan Lucier	Certification Design for a Competitive Market.	CoRR	2023	DBLP DOI BibTeX RDF
12	Jonas Primbs, Michael Menth	OIDC2: Open Identity Certification with OpenID Connect.	CoRR	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.	CoRR	2023	DBLP DOI BibTeX RDF
12	Alan F. T. Winfield, Matthew Studley	On the relationship between Benchmarking, Standards and Certification in Robotics and AI.	CoRR	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.	CoRR	2023	DBLP DOI BibTeX RDF
12	Paulo Trezentos, Ricardo Capote, Tiago Teodoro, João Carneiro	DCM: A Developers Certification Model for Mobile Ecosystems.	CoRR	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.	CoRR	2023	DBLP DOI BibTeX RDF
12	Diego Maldonado, Pedro Montealegre 0001, Martín Ríos Wilson, Guillaume Theyssier	Local Certification of Majority Dynamics.	CoRR	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.	CoRR	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.	CoRR	2023	DBLP DOI BibTeX RDF
12	Shubham Ugare, Tarun Suresh, Debangshu Banerjee, Gagandeep Singh 0001, Sasa Misailovic	Incremental Randomized Smoothing Certification.	CoRR	2023	DBLP DOI BibTeX RDF
12	Dasa Kusniráková, Barbora Buhnova	Rethinking Certification for Higher Trust and Ethical Safeguarding of Autonomous Systems.	CoRR	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.	CoRR	2023	DBLP DOI BibTeX RDF
12	Kai Hu, Andy Zou, Zifan Wang, Klas Leino, Matt Fredrikson	Scaling in Depth: Unlocking Robustness Certification on ImageNet.	CoRR	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.	CoRR	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.	CoRR	2023	DBLP DOI BibTeX RDF
12	Omar Fawzi, Nicolas Flammarion, Aurélien Garivier, Aadil Oufkir	Quantum Channel Certification with Incoherent Strategies.	CoRR	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.	CoRR	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.	CoRR	2023	DBLP DOI BibTeX RDF
12	Klas Leino	Limitations of Piecewise Linearity for Efficient Robustness Certification.	CoRR	2023	DBLP DOI BibTeX RDF
12	Matthew Wicker, Andrea Patane, Luca Laurenti, Marta Kwiatkowska	Adversarial Robustness Certification for Bayesian Neural Networks.	CoRR	2023	DBLP DOI BibTeX RDF
12	Abel C. H. Chen	Exploring the Techniques of Information Security Certification.	CoRR	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.	CoRR	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.	CoRR	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.	CoRR	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.	CoRR	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.	CoRR	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.	CoRR	2023	DBLP DOI BibTeX RDF
12	Marco Anisetti, Claudio A. Ardagna, Nicola Bena, Ernesto Damiani	Towards Certification of Machine Learning-Based Distributed Systems.	CoRR	2023	DBLP DOI BibTeX RDF
12	Matthew Wicker, Vihari Piratla, Adrian Weller	Certification of Distributional Individual Fairness.	CoRR	2023	DBLP DOI BibTeX RDF
12	Yuanyuan Yuan, Shuai Wang 0011, Zhendong Su 0001	Precise and Generalized Robustness Certification for Neural Networks.	CoRR	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.	CoRR	2023	DBLP DOI BibTeX RDF
12	Dasa Kusniráková, Barbora Buhnova	Future Vision of Dynamic Certification Schemes for Autonomous Systems.	CoRR	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.	CoRR	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.	CoRR	2023	DBLP DOI BibTeX RDF
12	Ashutosh Nirala, Ameya Joshi, Chinmay Hegde, Soumik Sarkar	Fast Certification of Vision-Language Models Using Incremental Randomized Smoothing.	CoRR	2023	DBLP DOI BibTeX RDF
12	Marta Kwiatkowska, Xiyue Zhang	When to Trust AI: Advances and Challenges for Certification of Neural Networks.	CoRR	2023	DBLP DOI BibTeX RDF
12	David Noever, Matthew Ciolino	Professional Certification Benchmark Dataset: The First 500 Jobs For Large Language Models.	CoRR	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.	CoRR	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.	CoRR	2023	DBLP DOI BibTeX RDF
12	Maxime Gariel, Brian Shimanuki, Rob Timpe, Evan Wilson	Framework for Certification of AI-Based Systems.	CoRR	2023	DBLP DOI BibTeX RDF
12	Oscar Defrain, Louis Esperet, Aurélie Lagoutte, Pat Morin, Jean-Florent Raymond	Local certification of geometric graph classes.	CoRR	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.	AI Ethics	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.	Discret. Appl. Math.	2023	DBLP DOI BibTeX RDF
12	Ákos Milánkovich, Katja Tuma	Delta Security Certification for Software Supply Chains.	IEEE Secur. Priv.	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.	IEEE Softw.	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.	J. Comput. Assist. Learn.	2023	DBLP DOI BibTeX RDF
12	Yuheng Huang, Lei Ma 0003, Yuanchun Li	PatchCensor: Patch Robustness Certification for Transformers via Exhaustive Testing.	ACM Trans. Softw. Eng. Methodol.	2023	DBLP DOI BibTeX RDF
12	Nancy G. Leveson, John P. Thomas	Certification of Safety-Critical Systems.	Commun. ACM	2023	DBLP DOI BibTeX RDF
12	Georgios Bakirtzis, Steven Carr, David Danks, Ufuk Topcu	Dynamic Certification for Autonomous Systems.	Commun. ACM	2023	DBLP DOI BibTeX RDF
12	Corey Bonnell	Certification Authority Authorization (CAA) Processing for Email Addresses.	RFC	2023	DBLP DOI BibTeX RDF
12	Anum Khurshid, Shahid Raza	AutoCert: Automated TOCTOU-secure digital certification for IoT with combined authentication and assurance.	Comput. Secur.	2023	DBLP DOI BibTeX RDF
12	Tong Zhao, Ekim Yurtsever, Joel A. Paulson, Giorgio Rizzoni	Formal Certification Methods for Automated Vehicle Safety Assessment.	IEEE Trans. Intell. Veh.	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.	Softw. Qual. J.	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.	Softw. Qual. J.	2023	DBLP DOI BibTeX RDF
12	Brendon G. Anderson, Somayeh Sojoudi	Data-Driven Certification of Neural Networks With Random Input Noise.	IEEE Trans. Control. Netw. Syst.	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.	J. Autom. Reason.	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.	IEEE Trans. Dependable Secur. Comput.	2023	DBLP DOI BibTeX RDF