Search results for "certification"

Hits ?▲	Authors	Title	Venue	Year	Link
12	Stylianos Karagiannis, Marco Manso, Emmanouil Magkos, Luís L. Ribeiro, Luís Campos	Automated and On-Demand Cybersecurity Certification.	CSR	2021	DBLP DOI BibTeX RDF
12	Eleni-Constantina Davri, Eleni Darra, Isidoros Monogioudis, Athanasios Grigoriadis, Christos Iliou, Notis Mengidis, Theodora Tsikrika, Stefanos Vrochidis, Adamantini Peratikou, Helen Gibson, Damir Haskovic, Dimitrios Kavallieros, Evangelos Chaskos, Peng Zhao, Stavros Shiaeles, Nick Savage 0001, Babak Akhgar, Xavier J. A. Bellekens, Mohamed Amine Ben Farah	Cyber Security Certification Programmes.	CSR	2021	DBLP DOI BibTeX RDF
12	Yang Zhao	An Evaluation Model of the Course of Electrical Control and PLC for Engineering Education Professional Certification.	CIPAE	2021	DBLP DOI BibTeX RDF
12	Kai Burkholder, Kenny Kwock, Yuesheng Xu, Jiaxin Liu, Chao Chen, Sihong Xie	Certification and Trade-off of Multiple Fairness Criteria in Graph-based Spam Detection.	CIKM	2021	DBLP DOI BibTeX RDF
12	Linyi Li, Maurice Weber, Xiaojun Xu, Luka Rimanic, Bhavya Kailkhura, Tao Xie 0001, Ce Zhang 0001, Bo Li 0026	TSS: Transformation-Specific Smoothing for Robustness Certification.	CCS	2021	DBLP DOI BibTeX RDF
12	Andreas Hohenegger, Gerald Krummeck, Janie Baños, Álvaro Ortega, Michal Hager, Jiri Sterba, Tomas Kertis, Petr Novobilsky, Jan Procházka, Benito Caracuel, Ana Lourdes Sanz, Francisco Ramos 0003, Holger Blasum, Mario Brotz, Caspar Gries, Torsten Vögler, Jan Neskudla, Jan Rollo, Lisa Burgstaller, Martina Truskaller, Klaus-Michael Koch, Technikon, Reinhard Hametner, Sandro Rauscher, Peter Tummeltshammer, Thales Austria, Frank Golatowski, Thorsten Schulz	Security certification experience for industrial cyberphysical systems using Common Criteria and IEC 62443 certifications in certMILS.	ICPS	2021	DBLP DOI BibTeX RDF
12	Dionysios Solomos, Nikos Tsianos, Parisa Ghodous, Andreas Riel	The European CHAISE Initiative to Shape the Future of Blockchain Skill Qualification and Certification.	EuroSPI	2021	DBLP DOI BibTeX RDF
12	Maria-Camilla Fiazza, Paolo Fiorini	Design for Interpretability: Meeting the Certification Challenge for Surgical Robots.	ISR	2021	DBLP DOI BibTeX RDF
12	Guglielmo Frigo	Design of a High-Accuracy and Traceable Reference Instrument for Flickermeter Certification.	I2MTC	2021	DBLP DOI BibTeX RDF
12	Mike Hulshof, Maya Daneva	Benefits and Challenges in Information Security Certification - A Systematic Literature Review.	BMSD	2021	DBLP DOI BibTeX RDF
12	Mathieu Damour, Florence de Grancey, Christophe Gabreau, Adrien Gauffriau, Jean-Brice Ginestet, Alexandre Hervieu, Thomas Huraux, Claire Pagetti, Ludovic Ponsolle, Arthur Clavière	Towards Certification of a Reduced Footprint ACAS-Xu System: A Hybrid ML-Based Solution.	SAFECOMP	2021	DBLP DOI BibTeX RDF
12	Imane Lamrani, Ayan Banerjee 0001, Sandeep K. S. Gupta	Certification Game for the Safety Analysis of AI-Based CPS.	SAFECOMP Workshops	2021	DBLP DOI BibTeX RDF
12	Kai Sauerwald, Philip Heltweg	On Using Model Checking for the Certification of Iterated Belief Changes.	FCR@KI	2021	DBLP BibTeX RDF
12	Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska	Certification of iterative predictions in Bayesian neural networks.	UAI	2021	DBLP BibTeX RDF
12	Ji Gao, Amin Karbasi, Mohammad Mahmoody	Learning and certification under instance-targeted poisoning.	UAI	2021	DBLP BibTeX RDF
12	Henrique Santos 0001, André Oliveira, Lúcia Soares, Alan Satis, Alexandre J. T. Santos	Information Security Assessment and Certification within Supply Chains.	ARES	2021	DBLP DOI BibTeX RDF
12	Adam Kurpisz, Aaron Potechin, Elias Samuel Wirth	SoS Certification for Symmetric Quadratic Functions and Its Connection to Constrained Boolean Hypercube Optimization.	ICALP	2021	DBLP DOI BibTeX RDF
12	Daniel Arnström, Alberto Bemporad, Daniel Axehill	Complexity Certification of Proximal-Point Methods for Numerically Stable Quadratic Programming.	ACC	2021	DBLP DOI BibTeX RDF
12	Kristine Hovhannisyan, Piotr Bogacki, Consuelo Assunta Colabuono, Domenico Lofù, Maria Vittoria Marabello, Brady Eugene Maxwell	Towards a Healthcare Cybersecurity Certification Scheme.	CyberSA	2021	DBLP DOI BibTeX RDF
12	Igor Khmelnitsky, Daniel Neider, Rajarshi Roy 0002, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye	Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.	ATVA	2021	DBLP DOI BibTeX RDF
12	Ying Chen	Teaching Reform of Engineering Graphics Course Based on Engineering Certification under Big Data.	ICISCAE (ACM)	2021	DBLP DOI BibTeX RDF
12	Dafeng Liu, Mian Huang	Engineering Certification Practice Teaching Management and Data Mining Based on Complex Hierarchical Model.	ICISCAE (ACM)	2021	DBLP DOI BibTeX RDF
12	Mohammad Alshehri, Ahmed Alamri, Alexandra I. Cristea	Predicting Certification in MOOCs Based on Students' Weekly Activities.	ITS	2021	DBLP DOI BibTeX RDF
12	Karine Altisen, Pierre Corbineau, Stéphane Devismes	Certification of an Exact Worst-Case Self-Stabilization Time.	ICDCN	2021	DBLP DOI BibTeX RDF
12	Alexandre Didier, Kim Peter Wabersich, Melanie N. Zeilinger	Adaptive Model Predictive Safety Certification for Learning-based Control.	CDC	2021	DBLP DOI BibTeX RDF
12	Cori Thompson, Todd Margo, Feliciano Yu, Christoph U. Lehmann	Developing a Pediatric EHR Testing & Certification Program in the USA: Initial Phase.	MedInfo	2021	DBLP DOI BibTeX RDF
12	Xian Chen, Feng Hu, Jun Lai, Chunmei Tao, Hyoseop Shin	Research on Engineering Certification-Oriented Course Design for Software Engineering under the Background of New Engineering.	ICEIT	2021	DBLP DOI BibTeX RDF
12	Mohammed A. Alsheri, Ahmed Alamri, Alexandra I. Cristea, Craig D. Stewart	Forum-based Prediction of Certification in Massive Open Online Courses.	ISD	2021	DBLP BibTeX RDF
12	Nicolas Bousquet, Laurent Feuilloley, Théo Pierron	Brief Announcement: Local Certification of Graph Decompositions and Applications to Minor-Free Classes.	DISC	2021	DBLP DOI BibTeX RDF
12	Pinelopi Kyranoud, Eleni-Maria Kalogeraki, Alexandra K. Michota, Nineta Polemi	Cybersecurity Certification Requirements for Supply Chain Services.	ISCC	2021	DBLP DOI BibTeX RDF
12	Andreas Hohenegger, Gerald Krummeck, Janie Baños, Álvaro Ortega, Michal Hager, Jiri Sterba, Tomas Kertis, Petr Novobilsky, Jan Procházka, Benito Caracuel, Ana Lourdes Sanz, Francisco Ramos 0003, Holger Blasum, Mario Brotz, Rudolf Fuchsen, Guillaume Fumaroli, Jan Neskudla, Jan Rollo, Lisa Burgstaller, Martina Truskaller, Klaus-Michael Koch, Reinhard Hametner, Sandro Rauscher, Peter Tummeltshammer, Frank Golatowski, Thorsten Schulz	Security Certification of Cyber Physical Systems for Critical Infrastructure based on the Compositional MILS Architecture.	IECON	2021	DBLP DOI BibTeX RDF
12	Gary L. Wallace	The Need for Certification-Based Security Curriculum: A Matter of National Security.	CSCI	2021	DBLP DOI BibTeX RDF
12	Anian Ruoss, Maximilian Baader, Mislav Balunovic, Martin T. Vechev	Efficient Certification of Spatial Robustness.	AAAI	2021	DBLP DOI BibTeX RDF
12	Matthias Beckerle, Argyro Chatzopoulou, Simone Fischer-Hübner	Towards Cybersecurity MOOC Certification.	EuroS&P Workshops	2021	DBLP DOI BibTeX RDF
12	Sébastien Dupont, Guillaume Ginis, Mirko Malacario, Claudio Porretti, Nicolò Maunero, Christophe Ponsard, Philippe Massonet	Incremental Common Criteria Certification Processes using DevSecOps Practices.	EuroS&P Workshops	2021	DBLP DOI BibTeX RDF
12	Gregory Bonaert, Dimitar I. Dimitrov, Maximilian Baader, Martin T. Vechev	Fast and precise certification of transformers.	PLDI	2021	DBLP DOI BibTeX RDF
12	Matthew Mirman, Alexander Hägele, Pavol Bielik, Timon Gehr, Martin T. Vechev	Robustness certification with generative models.	PLDI	2021	DBLP DOI BibTeX RDF
12	Shohei Kakei, Yoshiaki Shiraishi, Shoichi Saito	Simplifying Dynamic Public Key Certificate Graph for Certification Path Building in Distributed Public Key Infrastructure.	ICTC	2021	DBLP DOI BibTeX RDF
12	Diego F. Aranha, Anders P. K. Dalskov, Daniel Escudero 0001, Claudio Orlandi	Improved Threshold Signatures, Proactive Secret Sharing, and Input Certification from LSS Isomorphisms.	LATINCRYPT	2021	DBLP DOI BibTeX RDF
12	Denis Mazzucato, Caterina Urban	Reduced Products of Abstract Domains for Fairness Certification of Neural Networks.	SAS	2021	DBLP DOI BibTeX RDF
12		Optimization Design of Teaching Evaluation System Based on B/S Mode in the Context of Normal Majors Certification.	ICIMTECH	2021	DBLP DOI BibTeX RDF
12	Hanna Soroka-Potrzebna	The importance of certification in project management in the labor market.	KES	2021	DBLP DOI BibTeX RDF
12	Oksana Buinytska, Svitlana V. Vasylenko	Modeling of the internal certification system of educational resources view or update.	CoSinE@ICTERI	2021	DBLP BibTeX RDF
12	Nicolas Bousquet, Laurent Feuilloley, Théo Pierron	Local Certification of Graph Decompositions and Applications to Minor-Free Classes.	OPODIS	2021	DBLP DOI BibTeX RDF
12	Youna Jung, Tanner Mallari, Emily Hattman	DRMACert: Certification for Disaster Response Mobile Applications.	CSSE	2021	DBLP DOI BibTeX RDF
12	Francesca Fallucchi, Marco Gerardi, Michele Petito, Ernesto William De Luca	Blockchain Framework in Digital Government for the Certification of Authenticity, Timestamping and Data Property.	HICSS	2021	DBLP BibTeX RDF
12	Andrés Heredia, Gabriel Barros-Gavilanes	Dealing with multi-step verification processes for certification issuance in universities.	UCC Companion	2021	DBLP DOI BibTeX RDF
12	Raman Barakat, Faruk Catal, Sascha Hackel, Axel Rennoch, Martin A. Schneider	Towards a certification scheme for IoT security evaluation.	GI-Jahrestagung	2021	DBLP DOI BibTeX RDF
12	Tong Chen 0002, Jean B. Lasserre, Victor Magron, Edouard Pauwels	Semialgebraic Representation of Monotone Deep Equilibrium Models and Applications to Certification.	NeurIPS	2021	DBLP BibTeX RDF
12	Feng GuanBo, J. I. A. Yue	Innovation of Software Engineering Course with the Background of Engineering Education Professional Certification.	ICCSE	2021	DBLP DOI BibTeX RDF
12	Simon Rohlmann, Vladislav Mladenov, Christian Mainka, Jörg Schwenk	Breaking the Specification: PDF Certification.	SP	2021	DBLP DOI BibTeX RDF
12	Wei Wei, Lin Guo, Yin Zhang, Lina Zhang, Xue Xing, Zhiyuan Pei	Simulating the spatial distribution of agricultural population based on rural contracted land registration and certification data.	Agro-Geoinformatics	2021	DBLP DOI BibTeX RDF
12	Chengqiang Huang, Hu Zheng, Xiaowei Huang 0001, Ke Pei	Statistical Certification of Acceptable Robustness for Neural Networks.	ICANN (1)	2021	DBLP DOI BibTeX RDF
12	Luiz Otavio Duarte, José Augusto de Lima Prestes	IoT solution information security certification conceptual framework: IoT solution information securityOn improving the transparency and accountability of IoT Solutions through an Open World perspective.	SBSI	2021	DBLP DOI BibTeX RDF
12	Juanjo Pérez-Sánchez, Joaquín Nicolás Ros, Juan Manuel Carrillo de Gea	DevOps Certification in IT Industry: Preliminary Findings.	WorldCIST (4)	2021	DBLP DOI BibTeX RDF
12	Alkhansaa A. Abuhashim, Hassan A. Shafei, Chiu C. Tan 0001	Block-VC: A Blockchain-Based Global Vaccination Certification.	Blockchain	2021	DBLP DOI BibTeX RDF
12	Omar S. Saleh, Osman Ghazali, Norbik Bashah Idris	A New Decentralized Certification Verification Privacy Control Protocol.	CRC	2021	DBLP DOI BibTeX RDF
12	Aymeric Fromherz, Klas Leino, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu	Fast Geometric Projections for Local Robustness Certification.	ICLR	2021	DBLP BibTeX RDF
12	Anne Henriksen, Simon Enni, Anja Bechmann	Situated Accountability: Ethical Principles, Certification Standards, and Explanation Methods in Applied AI.	AIES	2021	DBLP DOI BibTeX RDF
12	Matt Jordan, Alex Dimakis	Provable Lipschitz Certification for Generative Models.	ICML	2021	DBLP BibTeX RDF
12	Sung Woo Park, Junseok Kwon	Wasserstein Distributional Normalization For Robust Distributional Certification of Noisy Labeled Data.	ICML	2021	DBLP BibTeX RDF
12	Christophe Gabreau, Béatrice Pesquet-Popescu, Fateh Kaakai, Baptiste Lefèvre	Artificial Intelligence for Future Skies: On-going Standardization Activities to Build the Next Certification/Approval Framework for Airborne and Ground Aeronautic Products.	AISafety@IJCAI	2021	DBLP BibTeX RDF
12	Matthew Thorpe, Bao Wang	Robust Certification for Laplace Learning on Geometric Graphs.	MSML	2021	DBLP BibTeX RDF
12	Jorge Maluenda Albornoz, Marcela Varas Contreras, Diego Chacano-Osses, Celia Galve-González	Implementation of a certification program for the exercise of competent teaching in engineering education.	SCCC	2021	DBLP DOI BibTeX RDF
12	Adriana Di Biase	Student engagement in distance learning environment: the experience of language certification preparation courses during the coronavirus pandemic.	teleXbe	2021	DBLP BibTeX RDF
12	Chin-Lun Lai	A Simulation Learning in Communication Technique Skill by Virtual Reality - Certification of Telecommunication Line Plant.	ICITL	2021	DBLP DOI BibTeX RDF
12	Michael Fisher 0001, Viviana Mascardi, Kristin Y. Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith	Summarising a Framework for the Certification of Reliable Autonomous Systems. (PDF / PS)	AAMAS	2021	DBLP BibTeX RDF
12	Jassim Happa, Anthony Steed, Mashhuda Glencross	Privacy-certification standards for extended-reality devices and services.	VR Workshops	2021	DBLP DOI BibTeX RDF
12	Alina Fanisovna Domracheva, Gulnara F. Khasanova, Mansur Galikhanov	Use of VR in Engineers Certification at Hazardous Production Facilities in Petrochemical Industry.	ICL (2)	2021	DBLP DOI BibTeX RDF
12	Marco Anisetti, Claudio Agostino Ardagna, Filippo Berto, Ernesto Damiani	Security Certification Scheme for Content-centric Networks.	SCC	2021	DBLP DOI BibTeX RDF
12	Pierre-Léo Bégay	Developing and certifying in Coq/MathComp of Datalog optimizations for network verification. (Développement et certification en Coq/MathComp d'optimisations Datalog pour la vérification réseau).		2021	RDF
12	Tanya Amert	Enabling Real-Time Certification of Autonomous driving Applications.		2021	DOI RDF
12	Daniel Arnström, Alberto Bemporad, Daniel Axehill	Exact Complexity Certification of a Nonnegative Least-Squares Method for Quadratic Programming.	IEEE Control. Syst. Lett.	2020	DBLP DOI BibTeX RDF
12	Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang	Perfectly parallel fairness certification of neural networks.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
12	Dapeng Li 0002, Yingru Li, Quynh C. Nguyen, Laura K. Siebeneck	A Study on the GIS Professional (GISP) Certification Program in the U.S.	ISPRS Int. J. Geo Inf.	2020	DBLP DOI BibTeX RDF
12	Shuai Liu 0006, Yuanning Liu, Xiaodong Zhu 0001, Guang Huo, Jingwei Cui, Qixian Zhang, Zukang Wu, Xinlong Li, Chaoqun Wang	Heterogeneous iris certification method with universal sensors and safety output based on multisource fusion features and entropy labels of lightweight samples.	J. Electronic Imaging	2020	DBLP DOI BibTeX RDF
12	Shuai Liu 0006, Yuanning Liu, Xiaodong Zhu 0001, Guang Huo, Jingwei Cui, Qixian Zhang, Zhiyi Dong, Xue Jiang	Current optimal active feedback and stealing response mechanism for low-end device constrained defocused iris certification.	J. Electronic Imaging	2020	DBLP DOI BibTeX RDF
12	Marco Anisetti, Claudio Agostino Ardagna, Ernesto Damiani, Filippo Gaudenzi	A Semi-Automatic and Trustworthy Scheme for Continuous Cloud Service Certification.	IEEE Trans. Serv. Comput.	2020	DBLP DOI BibTeX RDF
12	Shohei Kakei, Yoshiaki Shiraishi, Masami Mohri, Toru Nakamura, Masayuki Hashimoto, Shoichi Saito	Cross-Certification Towards Distributed Authentication Infrastructure: A Case of Hyperledger Fabric.	IEEE Access	2020	DBLP DOI BibTeX RDF
12	Giuseppe Sciumè, Emilio J. Palacios-García, Pierluigi Gallo, Eleonora Riva Sanseverino, Juan C. Vasquez 0001, Josep M. Guerrero	Demand Response Service Certification and Customer Baseline Evaluation Using Blockchain Technology.	IEEE Access	2020	DBLP DOI BibTeX RDF
12	Roberto De Prisco, Alfredo De Santis, Pompeo Faruolo, Marco Mannetta	Design of an outdoor position certification authority.	Int. J. Embed. Syst.	2020	DBLP DOI BibTeX RDF
12	Dennis-Kenji Kipker	EU Cybersecurity Act und Certification Schemes: ein aktueller Fortschrittsbericht.	Datenschutz und Datensicherheit	2020	DBLP DOI BibTeX RDF
12	Dennis-Kenji Kipker	EU Cybersecurity Act and Certification Schemes: an up-to-date progress report.	Datenschutz und Datensicherheit	2020	DBLP DOI BibTeX RDF
12	Milan Randelovic, Slobodan Nedeljkovic, Mihailo Jovanovic, Milan Cabarkapa, Vladica S. Stojanovic, Aleksandar Aleksic, Dragan M. Randelovic	Use of Determination of the Importance of Criteria in Business-Friendly Certification of Cities as Sustainable Local Economic Development Planning Tool.	Symmetry	2020	DBLP DOI BibTeX RDF
12	Shun Zhang	Primal-Dual Reduced Basis Methods for Convex Minimization Variational Problems: Robust True Solution a Posteriori Error Certification and Adaptive Greedy Algorithms.	SIAM J. Sci. Comput.	2020	DBLP DOI BibTeX RDF
12	Archana B. Saxena, Meenu Dave	Certification Attainment - A Gizmo to Evaluate Provider's Trust: Trust Evaluation is Grounded on Provider's Attainment Status Concerning Recommended Certifications.	Int. J. Nat. Comput. Res.	2020	DBLP DOI BibTeX RDF
12	Dan Holle	Certification or Advanced Degrees.	Big Data	2020	DBLP DOI BibTeX RDF
12	Nengkun Yu	Multipartite Entanglement Certification, With or Without Tomography.	IEEE Trans. Inf. Theory	2020	DBLP DOI BibTeX RDF
12	Jeet Mohapatra, Ching-Yun Ko, Tsui-Wei Weng, Pin-Yu Chen, Sijia Liu 0001, Luca Daniel	Higher-Order Certification for Randomized Smoothing.	CoRR	2020	DBLP BibTeX RDF
12	Huijie Feng, Chunpeng Wu, Guoyang Chen, Weifeng Zhang 0003, Yang Ning	Regularized Training and Tight Certification for Randomized Smoothed Classifier with Provable Robustness.	CoRR	2020	DBLP BibTeX RDF
12	Ching-Chia Kao, Jhe-Bang Ko, Chun-Shien Lu	Deterministic Certification to Adversarial Attacks via Bernstein Polynomial Approximation.	CoRR	2020	DBLP BibTeX RDF
12	Aaron Potechin, Goutham Rajendran	Machinery for Proving Sum-of-Squares Lower Bounds on Certification Problems.	CoRR	2020	DBLP BibTeX RDF
12	Sylvaine Picard, Camille Chapdelaine, Cyril Cappi, Laurent Gardes, Eric Jenn, Baptiste Lefèvre, Thomas Soumarmon	Ensuring Dataset Quality for Machine Learning Certification.	CoRR	2020	DBLP BibTeX RDF
12	Laurent Feuilloley, Pierre Fraigniaud, Ivan Rapaport, Eric Rémila, Pedro Montealegre 0001, Ioan Todinca	Compact Distributed Certification of Planar Graphs.	CoRR	2020	DBLP BibTeX RDF
12	Hassan Ashtiani, Vinayak Pathak, Ruth Urner	Black-box Certification and Learning under Adversarial Perturbations.	CoRR	2020	DBLP BibTeX RDF
12	Mike McKerns, Francis J. Alexander, Kyle S. Hickmann, Timothy John Sullivan, Diane E. Vaughan	Optimal Bounds on Nonlinear Partial Differential Equations in Model Certification, Validation, and Experimental Design.	CoRR	2020	DBLP BibTeX RDF
12	Stefano Calzavara, Claudio Lucchese, Federico Marcuzzi, Salvatore Orlando 0001	Feature Partitioning for Robust Tree Ensembles and their Certification in Adversarial Scenarios.	CoRR	2020	DBLP BibTeX RDF
12	Matthew Mirman, Timon Gehr, Martin T. Vechev	Robustness Certification of Generative Models.	CoRR	2020	DBLP BibTeX RDF
12	Jaroslaw Adam Miszczak	Variational certification of quantum devices.	CoRR	2020	DBLP BibTeX RDF
12	Constantin Catalin Dragan, Mark Manulis	KYChain: User-Controlled KYC Data Sharing and Certification.	CoRR	2020	DBLP BibTeX RDF