Search results for "certification"

Hits ?▲	Authors	Title	Venue	Year	Link
12	Nan Guo, Ruiqi Li	Research of knowledge graph product certification index system and its practice analysis.	PCCNT	2023	DBLP DOI BibTeX RDF
12	Nicolò Fassina, Francesco Ranzato, Marco Zanella	Robustness Certification of k-Nearest Neighbors.	ICDM	2023	DBLP DOI BibTeX RDF
12	Ming-Tsun Chen	A study of the influence of introduction of block chain into traceability certification on consumer's acceptance of smart agriculture.	ICCE-Taiwan	2023	DBLP DOI BibTeX RDF
12	Birgit Milius, Simon Collart Dutilleul, Thierry Lecomte (eds.)	Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings	RSSRail	2023	DBLP DOI BibTeX RDF
12	Marco Anisetti, Claudio A. Ardagna, Nicola Bena	Continuous Certification of Non-functional Properties Across System Changes.	ICSOC (1)	2023	DBLP DOI BibTeX RDF
12	Paul Cuddihy, Daniel Russell, Eric Mertens, Kit Siu, David W. Archer, Jenny Williams	Aviation Certification Powered by the Semantic Web Stack.	ISWC	2023	DBLP DOI BibTeX RDF
12	Aysegül Ünal, Taner Özdemir	Challenges in Certification of ISO/IEC 15504 Level 2 for Software for Railway Control and Protection Systems.	EuroSPI (2)	2023	DBLP DOI BibTeX RDF
12	Alexander Ziegler, Thomas Peisl, Alev Ates	The Future of Agile Coaches: Do Large Companies Need a Standardized Agile Coach Certification and What Are the Alternatives?	EuroSPI (2)	2023	DBLP DOI BibTeX RDF
12	Guy Blanc, Caleb Koch, Jane Lange, Carmen Strassle, Li-Yang Tan	Certification with an NP Oracle.	ITCS	2023	DBLP DOI BibTeX RDF
12	Marina Gardella, Pablo Musé, Miguel Colom, Jean-Michel Morel, Denis Perraud	PRNU-Based Source Camera Statistical Certification.	WIFS	2023	DBLP DOI BibTeX RDF
12	Christian Banse, Immanuel Kunz, Nico Haas, Angelika Schneider	A Semantic Evidence-based Approach to Continuous Cloud Service Certification.	SAC	2023	DBLP DOI BibTeX RDF
12	Robert Susik, Robert Nowotniak, Emanuel Kulczycki	Blockchain-based certification of research outputs and academic achievements: A case of scientific conference.	FedCSIS (Communication Papers)	2023	DBLP DOI BibTeX RDF
12	Marta Kwiatkowska, Xiyue Zhang	When to Trust AI: Advances and Challenges for Certification of Neural Networks.	FedCSIS	2023	DBLP DOI BibTeX RDF
12	Dasa Kusniráková, Barbora Buhnova	Rethinking Certification for Higher Trust and Ethical Safeguarding of Autonomous Systems.	ENASE	2023	DBLP DOI BibTeX RDF
12	Fuqun Huang, Bing Huang, Yikun Wang, Yichen Wang	A Taxonomy of Software Defect Forms for Certification Tests in Aviation Industry.	SAFECOMP	2023	DBLP DOI BibTeX RDF
12	Rigo Wenning	The Certification Panacea.	SECRYPT	2023	DBLP BibTeX RDF
12	Tushar Sharma, Anurag Pandey 0003, Sumita Gupta	A Blockchain Approach for Securing Certification Management System.	IC3I	2023	DBLP DOI BibTeX RDF
12	Manuel Boi, Andrea Pinna 0002, Maria Ilaria Lunesu	Blockchain oracles for document certification: A case study.	SANER	2023	DBLP DOI BibTeX RDF
12	Shuangshuang Ying	Research on the Construction of the Curriculum System of "Post-Certification Course Integration" in Higher Vocational Accounting Major under the Background of "Big Data Intelligent Mobile Cloud".	ICSLT	2023	DBLP DOI BibTeX RDF
12	Jacob Bond, Siddhartha Gupta, Thanura R. Elvitigala	Probabilistic Local Equivalence Certification for Robustness Evaluation.	ISVC (1)	2023	DBLP DOI BibTeX RDF
12	Zamira Daw, Scott Beecher	Assuring safety in a flexible aerospace certification - Lessons learned on applying OPs at the system level -.	SysCon	2023	DBLP DOI BibTeX RDF
12	Shamisa Shoja, Daniel Axehill	Exact Complexity Certification of Start Heuristics in Branch-and-Bound Methods for Mixed-Integer Linear Programming.	CDC	2023	DBLP DOI BibTeX RDF
12	Yuanyuan Yuan, Shuai Wang 0011, Zhendong Su 0001	Precise and Generalized Robustness Certification for Neural Networks.	USENIX Security Symposium	2023	DBLP BibTeX RDF
12	Huaqing Shao, Lanjun Wang, Junchi Yan	Robustness Certification for Structured Prediction with General Inputs via Safe Region Modeling in the Semimetric Output Space.	KDD	2023	DBLP DOI BibTeX RDF
12	Kai Wang, Zhiliang Wang, Dongqi Han, Wenqi Chen, Jiahai Yang 0001, Xingang Shi, Xia Yin	BARS: Local Robustness Certification for Deep Learning based Traffic Analysis Systems.	NDSS	2023	DBLP BibTeX RDF
12	Mark Brommeyer, Jen Bichel-Findlay, Tanija Tarabay, Louise K. Schaper, David O'Driscoll, Kerryn Butler-Henderson	The Australian Health Informatics Competency Framework: Conceptual Design, Framework Development, and Certification Delivery.	MedInfo	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.	DISC	2023	DBLP DOI BibTeX RDF
12	Riccardo Petracci, Rosario Culmone, Leonardo Mostarda	Blockchain Application for Fish Origin Certification.	BWCCA	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.	EWAF	2023	DBLP BibTeX RDF
12	Maria Ilaria Lunesu, Roberto Tonelli, Andrea Pinna 0002, Simone Sansoni	Soulbound Token for Covid-19 Vaccination Certification.	PerCom Workshops	2023	DBLP DOI BibTeX RDF
12	Tanvir Ahmed Aadeef, Md Fahad Monir, Sanzar Adnan Alam	Educational Certification on Ethereum blockchain: Analysis on How BCert and UZHBC differ.	EUROCON	2023	DBLP DOI BibTeX RDF
12	Rui Huang, Joanne R. Barrett, Carla Strickland, Maya Israel, Lauren R. Weisberg, Andrea Ramirez Salgado	Transitioning into CS Ed: An Inclusive Model for In-Service Teacher Preparation and Certification.	SIGCSE (2)	2023	DBLP DOI BibTeX RDF
12	Dmitry Namiot, Manfred Sneps-Sneppe	On Audit and Certification of Machine Learning Systems.	FRUCT	2023	DBLP BibTeX RDF
12	Kaoutar Smahi, Ouidad Labouidya, Khalid E. L. Khadiri	Online certification training: Quality and assessment.	CiSt	2023	DBLP DOI BibTeX RDF
12	Grzegorz Szyjewski	Implementation of a hybrid certificate approach: enhancing efficiency and credibility in ICDL certification process.	KES	2023	DBLP DOI BibTeX RDF
12	Valeria Lukaj, Francesco Martella, Maria Fazio, Antonino Galletta, Antonio Celesti, Massimo Villari	Gateway-Based Certification Approach to Include IoT Nodes in a Trusted Edge/Cloud Environment.	CCGridW	2023	DBLP DOI BibTeX RDF
12	Sagar Pathrudkar, Saadhana Venkataraman, Deepika Kanade, Aswin Ajayan, Palash Gupta, Shehzaman Salim 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.	VEHITS	2023	DBLP DOI BibTeX RDF
12	Dianadewi Riswantini, Ekasari Nugraheni, Andria Arisal, Purnomo Husnul Khotimah, Wiwin Suwarningsih, Andri Fachrur Rozie	Classification Model for Assessing Micro and Small Enterprises' Awareness Level Towards Halal Certification Adoption.	IC3INA	2023	DBLP DOI BibTeX RDF
12	Catherine Nuyad Arellano, Cherry Lyn Cando Sta. Romana, Cheryl Balan Pantaleon, Myrliza Areola Villamor	Assessment of the Learning Outcomes through Certification Examination: A Correlational Study.	ICDTE	2023	DBLP DOI BibTeX RDF
12	Said Daoudagh, Eda Marchetti	Breakthroughs in Testing and Certification in Cybersecurity: Research Gaps and Open Problems.	ITASEC	2023	DBLP 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.	MICCAI (4)	2023	DBLP DOI BibTeX RDF
12	Kai Hu, Andy Zou, Zifan Wang, Klas Leino, Matt Fredrikson	Unlocking Deterministic Robustness Certification on ImageNet.	NeurIPS	2023	DBLP BibTeX RDF
12	Matthew Wicker, Vihari Piratla, Adrian Weller	Certification of Distributional Individual Fairness.	NeurIPS	2023	DBLP BibTeX RDF
12	Omar Fawzi, Nicolas Flammarion, Aurélien Garivier, Aadil Oufkir	Quantum Channel Certification with Incoherent Measurements.	COLT	2023	DBLP BibTeX RDF
12	Qilin Zhou, Zhengyuan Wei, Haipeng Wang 0005, W. K. Chan 0001	A Majority Invariant Approach to Patch Robustness Certification for Deep Learning Models.	ASE	2023	DBLP DOI BibTeX RDF
12	Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko	Towards Compositional Hardware Model Checking Certification.	FMCAD	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.	SEET@ICSE	2023	DBLP DOI BibTeX RDF
12	Taras Rumezhak, Francisco Girbal Eiras, Philip H. S. Torr, Adel Bibi	RANCER: Non-Axis Aligned Anisotropic Certification with Randomized Smoothing.	WACV	2023	DBLP DOI BibTeX RDF
12	Rafael Descio-Trineto, Maurício A. Pillon, Guilherme P. Koslovski, Charles Miers	DCANon: Towards Distributed Certification Authority (CA) with Non-fungible Token (NFT).	AINA (1)	2023	DBLP DOI BibTeX RDF
12	Xuejing Wu, Di Che	Analysis and development suggestions of enterprise management system certification in China based on big data.	ICICM	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.	FAccT	2023	DBLP DOI BibTeX RDF
12	Saeed Ali Faris Alketbi, Massudi Bin Mahmuddin	Blockchain International Certification Layer.	Blockchain	2023	DBLP DOI BibTeX RDF
12	Jan Schuchardt, Tom Wollschläger, Aleksandar Bojchevski, Stephan Günnemann	Localized Randomized Smoothing for Collective Robustness Certification.	ICLR	2023	DBLP BibTeX RDF
12	Yi Zeng 0005, Zhouxing Shi, Ming Jin 0002, Feiyang Kang, Lingjuan Lyu, Cho-Jui Hsieh, Ruoxi Jia 0001	Towards Robustness Certification Against Universal Perturbations.	ICLR	2023	DBLP BibTeX RDF
12	Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti	BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming.	ICML	2023	DBLP BibTeX RDF
12	Hong-Ming Chiu, Richard Y. Zhang	Tight Certification of Adversarially Trained Neural Networks via Nonconvex Low-Rank Semidefinite Relaxations.	ICML	2023	DBLP BibTeX RDF
12	Aleksandar Petrov, Francisco Eiras, Amartya Sanyal, Philip H. S. Torr, Adel Bibi	Certifying Ensembles: A General Certification Theory with S-Lipschitzness.	ICML	2023	DBLP BibTeX RDF
12	Zhilu Wang, Chao Huang 0015, Qi Zhu 0002	Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract).	IJCAI	2023	DBLP DOI BibTeX RDF
12	Virginie Do, Sam Corbett-Davies, Jamal Atif, Nicolas Usunier	Online Certification of Preference-Based Fairness for Personalized Recommender Systems (Extended Abstract).	IJCAI	2023	DBLP DOI BibTeX RDF
12	Julius Pfrommer, Matthieu Poyer, Saksham Kiroriwal	Reduce the Handicap: Performance Estimation for AI Systems Safety Certification.	INDIN	2023	DBLP DOI BibTeX RDF
12	Erik Blasch, Anne-Laure Jousselme, Kathryn B. Laskey, Paulo C. G. Costa, Johan Pieter de Villiers, Gregor Pavlin, Claire Laudy	URREF Risk analysis towards Data Fusion Certification.	FUSION	2023	DBLP DOI BibTeX RDF
12	Jian Wang, Wenwen Liu, Jihui Pan	Development and Prospect of UAV Inspection and Certification.	CECNet	2023	DBLP DOI BibTeX RDF
12	Francisco Moya, Francisco J. Quesada, Luis Martínez-López 0001, Francisco Javier Estrella	CertifIoT: An IoT and DLT-Based Solution for Enhancing Trust and Transparency in Data Certification.	UCAmI (3)	2023	DBLP DOI BibTeX RDF
12	Tanja Schramm, Rainer Knauf	A Project to Compose a Modular AI Certification System in University Edu-cation and its inherent chance to verify, validate, and refine AI teaching by AI technologies.	FLAIRS	2023	DBLP DOI BibTeX RDF
12	Devan Ray Donaldson, Samuel Vodicka Russell	Trustworthy Digital Repository Certification: A Longitudinal Study.	iConference (2)	2023	DBLP DOI BibTeX RDF
12	Martina Seidl	Never Trust Your Solver: Certification for SAT and QBF.	CICM	2023	DBLP DOI BibTeX RDF
12	Claudio A. Ardagna, Nicola Bena	Non-Functional Certification of Modern Distributed Systems: A Research Manifesto.	SSE	2023	DBLP DOI BibTeX RDF
12	Abdarahmane Wone	Contribution to the certification of fingerprint systems : towards the reproducibility of the evaluation. (Contribution à la reproductibilité de l'évaluation des systèmes à empreinte digitale).		2023	RDF
12	Madhusree Banerjee, Victor Cai, Sunitha Lakshmanappa, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger, Thomas Werner	A Tool-Chain for the Verification of Geographic Scheme Data.	RSSRail	2023	DBLP DOI BibTeX RDF
12	Michael Leuschel, Nader Nayeri	Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block System.	RSSRail	2023	DBLP DOI BibTeX RDF
12	Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori, Óli Kárason Mikkelsen, Sofie-Amalie Petersen	Automated Compositional Verification of Interlocking Systems.	RSSRail	2023	DBLP DOI BibTeX RDF
12	Amin Fakhereldine, Mohammad Zulkernine, Dan Murdock	TrainSec: A Simulation Framework for Security Modeling and Evaluation in CBTC Networks.	RSSRail	2023	DBLP DOI BibTeX RDF
12	Jan Gruteser, David Geleßus, Michael Leuschel, Jan Roßbach, Fabian Vu	A Formal Model of Train Control with AI-Based Obstacle Detection.	RSSRail	2023	DBLP DOI BibTeX RDF
12	Gustav Zickert, Nikitas Stathatos	Halfway Generic Verification of Railway Control Systems.	RSSRail	2023	DBLP DOI BibTeX RDF
12	Lodiana Beqiri, Zeinab Bakhshi, Sasikumar Punnekkat, Antonio Cicchetti	Remaining Useful Life Estimation for Railway Gearbox Bearings Using Machine Learning.	RSSRail	2023	DBLP DOI BibTeX RDF
12	Ziyue Tang, Ning Zhao, Khalid Khan, Katinka Wolter	Safety Analysis of Automatic Train Operation Based on ETCS.	RSSRail	2023	DBLP DOI BibTeX RDF
12	Ehsan Poorhadi, Elena Troubitsyna	Automating an Analysis of Safety-Security Interactions for Railway Systems.	RSSRail	2023	DBLP DOI BibTeX RDF
12	Giulio Masetti, Felicita Di Giandomenico, Silvano Chiaradonna	Dependability Analysis of UPS Architectures for the Italian Railway Signaling System.	RSSRail	2023	DBLP DOI BibTeX RDF
12	Alexandra Halchin, Adja Ndeye Sylla, Sarah Benyagoub, Abderrahmane Feliachi, Yoann Fonteneau, Sven Leger	Integral Formal Proof: A Verification Approach Bridging the Gap Between System and Software Levels in Railway Systems.	RSSRail	2023	DBLP DOI BibTeX RDF
12	Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky	The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool.	RSSRail	2023	DBLP DOI BibTeX RDF
12	Sebastien Houde	Bunching with the Stars: How Firms Respond to Environmental Certification.	Manag. Sci.	2022	DBLP DOI BibTeX RDF
12	Patricia Avitia Carlos, Norma Candolfi Arballo, José Luis Rodríguez-Verduzco, Bernabé Rodríguez-Tapia	Conditions for the Development and Certification of Industry 4.0 Technical Competencies.	Rev. Iberoam. de Tecnol. del Aprendiz.	2022	DBLP DOI BibTeX RDF
12	Shubham Ugare, Gagandeep Singh 0001, Sasa Misailovic	Proof transfer for fast certification of multiple approximate neural networks.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
12	Mark Niklas Müller, Gleb Makarchuk, Gagandeep Singh 0001, Markus Püschel, Martin T. Vechev	PRIMA: general and precise neural network certification via scalable convex hull approximations.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
12	Joseph Ofori-Mensah, Winfred Yaokumah, Ebenezer Agyemang Sakyi	Design of Authenticated and Trusted Academic Certification Using Blockchain Technology.	Int. J. Softw. Innov.	2022	DBLP DOI BibTeX RDF
12	Francisco Eiras, Motasem Alfarra, Philip H. S. Torr, M. Pawan Kumar, Puneet K. Dokania, Bernard Ghanem, Adel Bibi	ANCER: Anisotropic Certification via Sample-wise Volume Maximization.	Trans. Mach. Learn. Res.	2022	DBLP BibTeX RDF
12	Junhua Wu, Zhenyu Jin, Guangshun Li, Zhuqing Xu, Cang Fan, Yuanwang Zheng	Design of vehicle certification schemes in IoV based on blockchain.	World Wide Web	2022	DBLP DOI BibTeX RDF
12	Riccardo Donà, Sándor Vass, Konstantinos Mattas, Maria Cristina Galassi, Biagio Ciuffo	Virtual Testing in Automated Driving Systems Certification. A Longitudinal Dynamics Validation Example.	IEEE Access	2022	DBLP DOI BibTeX RDF
12	Anum Khurshid, Reem Alsaaidi, Mudassar Aslam, Shahid Raza	EU Cybersecurity Act and IoT Certification: Landscape, Perspective and a Proposed Template Scheme.	IEEE Access	2022	DBLP DOI BibTeX RDF
12	Maoyan She, Yuandi Wang, Die Hu	Effect of HTE certification on external resource acquisition and firm performance: evidence from China.	Technol. Anal. Strateg. Manag.	2022	DBLP DOI BibTeX RDF
12	Benjamin Jacob Mathers, Hervé L'Hours	Increasing the Reuse of Data through FAIR-enabling the Certification of Trustworthy Digital Repositories.	Int. J. Digit. Curation	2022	DBLP BibTeX RDF
12	Mohammad Saidur Rahman 0001, Abdulatif Alabdulatif, Ibrahim Khalil	Privacy Aware Internet of Medical Things Data Certification Framework on Healthcare Blockchain of 5G Edge.	Comput. Commun.	2022	DBLP DOI BibTeX RDF
12	Katharina Morik, Helena Kotthaus, Raphael Fischer 0001, Sascha Mücke, Matthias Jakobs, Nico Piatkowski, Andreas Pauly, Lukas Heppe, Danny Heinrich	Yes we care!-Certification for machine learning methods through the care label framework.	Frontiers Artif. Intell.	2022	DBLP DOI BibTeX RDF
12	Yuriy Pylypchuk, Christian Johnson	New EHR certification requirements and their association with duplicate tests and images.	J. Am. Medical Informatics Assoc.	2022	DBLP DOI BibTeX RDF
12	Sanjeev Dewan, Jooho Kim, Tingting Nian	Economic Impacts of Platform-Endorsed Quality Certification: Evidence from Airbnb.	MIS Q.	2022	DBLP DOI BibTeX RDF
12	Mazen Alamir	Partial Extended Observability Certification and Optimal Design of Moving-Horizon Estimators.	IEEE Trans. Autom. Control.	2022	DBLP DOI BibTeX RDF
12	Kim Peter Wabersich, Lukas Hewing, Andrea Carron, Melanie N. Zeilinger	Probabilistic Model Predictive Safety Certification for Learning-Based Control.	IEEE Trans. Autom. Control.	2022	DBLP DOI BibTeX RDF
12	Daniel Arnström, Daniel Axehill	A Unifying Complexity Certification Framework for Active-Set Methods for Convex Quadratic Programming.	IEEE Trans. Autom. Control.	2022	DBLP DOI BibTeX RDF
12	Louis Esperet, Benjamin Lévêque	Local certification of graphs on surfaces.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
12	Marco Anisetti, Claudio A. Ardagna, Filippo Berto, Ernesto Damiani	A Security Certification Scheme for Information-Centric Networks.	IEEE Trans. Netw. Serv. Manag.	2022	DBLP DOI BibTeX RDF