Search results for "certification"

Hits ?▲	Authors	Title	Venue	Year	Link
12	André da Silva Oliveira, Henrique Santos 0001	Continuous Industrial Sector Cybersecurity Assessment Paradigm* : Proposed Model of Cybersecurity Certification.	DRCN	2022	DBLP DOI BibTeX RDF
12	Marco Esposito, Leonardo Picchiami	Formal Certification of Surrogate Models for Cyber-Physical Systems Verification.	OVERLAY@AI*IA	2022	DBLP BibTeX RDF
12	Fang Yin, Chengyan Li, Dongpu Sun, Libo Zhou	Research on Effective Teaching Based on the BOPPPS Model Under the Background of Engineering Education Professional Certification.	ICPCSEE (2)	2022	DBLP DOI BibTeX RDF
12	Philipp Danylak, Sebastian Lins, Malte Greulich, Ali Sunyaev	Toward a Unified Framework for Information Systems Certification Internalization.	CBI (1)	2022	DBLP DOI BibTeX RDF
12	Gihan R. Mudalige, István Z. Reguly, Arun Prabhakar, Dario Amirante, Leigh Lapworth, Stephen A. Jarvis	Towards Virtual Certification of Gas Turbine Engines With Performance-Portable Simulations.	CLUSTER	2022	DBLP DOI BibTeX RDF
12	Zhiwei Zhang, Haifeng Xu, Aidong Fang, Lin Cui 0002, Xiaoyin Wu, Yang Bai	Towards Exploring the Engineering Education Certification on Data Science and Big data Technology Specialty: A Case Study of Suzhou University in China.	DSA	2022	DBLP DOI BibTeX RDF
12	Eduardo Illueca Fernández, Nuria Bernabé Mulero, Alejandro Pujante Pérez, Jorge María Merino García, Iris Cuevas Martínez, Antonio Jesús Jara Valera	CEN/TS 17660 in Air Quality Systems for Data Quality Validation and Certification over Smart Spot Air Quality Systems.	UCAmI	2022	DBLP DOI BibTeX RDF
12	Holger Timinger, Matthias Vieth, Harald Wehens	Cross-University Certification System as Proof of Competence in Project Management.	EDUCON	2022	DBLP DOI BibTeX RDF
12	Ellen Kim, Christoph U. Lehmann, William R. Hersh, Clifton D. Fuller, Bruce P. Levy	A debate on the extension of the Practice Pathway for ABMS clinical informatics board certification for physicians in the United States.	AMIA	2022	DBLP BibTeX RDF
12	Esther Félix, Nicolas Hernandez, Issam Rebaï	Exploring the Limits of Lexicon-based Natural Language Processing Techniques for Measuring Engagement and Predicting MOOC's Certification.	CSEDU (2)	2022	DBLP DOI BibTeX RDF
12	Juan María Palmieri	Competency-Based Approach and Learning Plans in Moodle. A Case of International Engineering Educator Certification Program (IEECP) in Latin America.	ICL (1)	2022	DBLP DOI BibTeX RDF
12	Rebecca Haehn, Erika Ábrahám, Niklas Kotowski	Acceleration Techniques for Symbolic Simulation of Railway Timetables.	RSSRail	2022	DBLP DOI BibTeX RDF
12	Benjamin Rother, Frank Golatowski, Zeeshan Ansar, Don Kuzhiyelil, Stefan Resch, Reinhard Hametner, Prashant Pathak	Analysis of Safety-Critical Communication Protocols for On-Premise SIL4 Cloud in Railways.	RSSRail	2022	DBLP DOI BibTeX RDF
12	Tom Peham, Judith Przigoda, Nils Przigoda, Robert Wille	Optimal Railway Routing Using Virtual Subsections.	RSSRail	2022	DBLP DOI BibTeX RDF
12	Ankur Mahtani, Nadia Chouchani, Maxime Herbreteau, Denis Rafin	Enhancing Autonomous Train Safety Through A Priori-Map Based Perception.	RSSRail	2022	DBLP DOI BibTeX RDF
12	José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann Spilere Nandi	Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems.	RSSRail	2022	DBLP DOI BibTeX RDF
12	Josh Hunter, John Alexander McDermid	Investigating Human Error Within GoA-2 Metro Lines.	RSSRail	2022	DBLP DOI BibTeX RDF
12	Alessandro Fantechi, Gloria Gori, Anne E. Haxthausen, Christophe Limbrée	Compositional Verification of Railway Interlockings: Comparison of Two Methods.	RSSRail	2022	DBLP DOI BibTeX RDF
12	Airy Magnien, Gabriele Cecchetti, Anna Lina Ruscelli, Paul Hyde, Jin Liu, Stefan Wegele	Formalization and Processing of Data Requirements for the Development of Next Generation Railway Traffic Management Systems.	RSSRail	2022	DBLP DOI BibTeX RDF
12	Carlos E. Budde, Duncan Jansen, Inka L. M. Locht, Mariëlle Stoelinga	Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground Truth.	RSSRail	2022	DBLP DOI BibTeX RDF
12	Frédéric Badeau, Julien Chappelin, Joris Lamare	Generating and Verifying Configuration Data with OVADO.	RSSRail	2022	DBLP DOI BibTeX RDF
12	Francesco Flammini, Lorenzo De Donato, Alessandro Fantechi, Valeria Vittorini	A Vision of Intelligent Train Control.	RSSRail	2022	DBLP DOI BibTeX RDF
12	Arturo Amendola, Lorenzo Barruffo, Marco Bozzano, Alessandro Cimatti, Salvatore De Simone, Eugenio Fedeli, Artem Gabbasov, Domenico Ernesto Garrubba, Massimiliano Girardi, Diana Serra, Roberto Tiella, Gianni Zampedri	Formal Design and Validation of an Automatic Train Operation Control System.	RSSRail	2022	DBLP DOI BibTeX RDF
12	Lilian Burdy, David Déharbe, Denis Sabatier	Assigning Safe Executed Systems to Meanings.	RSSRail	2022	DBLP DOI BibTeX RDF
12	Utku Tefek, Ertem Esiner, Lin Wei, Yih-Chun Hu	TASC: Transparent, Agnostic, Secure Channel for CBTC Under Failure or Cyberattack.	RSSRail	2022	DBLP DOI BibTeX RDF
12	Franco Mazzanti, Dimitri Belli	The 4SECURail Formal Methods Demonstrator.	RSSRail	2022	DBLP DOI BibTeX RDF
12	Alexei Iliasov, Linas Laibinis, Dominic Taylor, Ilya Lopatkin, Alexander B. Romanovsky	Safety Invariant Verification that Meets Engineers' Expectations.	RSSRail	2022	DBLP DOI BibTeX RDF
12	Daniel Arnström, Alberto Bemporad, Daniel Axehill	Complexity Certification of Proximal-Point Methods for Numerically Stable Quadratic Programming.	IEEE Control. Syst. Lett.	2021	DBLP DOI BibTeX RDF
12	An Braeken, Ji-Jian Chin, Syh-Yuan Tan	ECQV-IBI: Identity-based identification with implicit certification.	J. Inf. Secur. Appl.	2021	DBLP DOI BibTeX RDF
12	Fahim Ahmed, Noor-E. Jannat, Daniel Schmidt, Kyoung-Yun Kim	Data-driven cyber-physical system framework for connected resistance spot welding weldability certification.	Robotics Comput. Integr. Manuf.	2021	DBLP DOI BibTeX RDF
12	Yen-Cheng Chen, Ching-Sung Lee, Ya-Chuan Hsu, Yin-Jui Chen	Why Is Green Hotel Certification Unpopular in Taiwan? An Analytic Hierarchy Process (AHP) Approach.	ISPRS Int. J. Geo Inf.	2021	DBLP DOI BibTeX RDF
12	Antoine Denis, Baudouin Desclée, Silke Migdall, Herbert Hansen, Heike Bach, Pierre Ott, Louis Kouadio, Bernard Tychon	Multispectral Remote Sensing as a Tool to Support Organic Crop Certification: Assessment of the Discrimination Level between Organic and Conventional Maize.	Remote. Sens.	2021	DBLP DOI BibTeX RDF
12	Derek Hunt	LoRa Alliance Certification.	J. ICT Stand.	2021	DBLP DOI BibTeX RDF
12	Michael Fisher 0001, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith	Towards a framework for certification of reliable autonomous systems.	Auton. Agents Multi Agent Syst.	2021	DBLP DOI BibTeX RDF
12	Eunhye (Olivia) Park, Woo-Hyuk Kim, Junehee Kwon	Understanding the relationship between green restaurant certification programs and a green restaurant image: the case of TripAdvisor reviews.	Kybernetes	2021	DBLP DOI BibTeX RDF
12	Claudio A. Ardagna, Rasool Asal, Ernesto Damiani, Theo Dimitrakos, Nabil El Ioini, Claus Pahl	Certification-Based Cloud Adaptation.	IEEE Trans. Serv. Comput.	2021	DBLP DOI BibTeX RDF
12	Wei Xiong, Li Xiong 0002	Data Trading Certification Based on Consortium Blockchain and Smart Contracts.	IEEE Access	2021	DBLP DOI BibTeX RDF
12	Diego Pennino, Maurizio Pizzonia, Andrea Vitaletti, Marco Zecchini	Efficient Certification of Endpoint Control on Blockchain.	IEEE Access	2021	DBLP DOI BibTeX RDF
12	Georgios Kostopoulos, Theodor Panagiotakopoulos, Sotiris Kotsiantis, Christos Pierrakeas, Achilles Kameas	Interpretable Models for Early Prediction of Certification in MOOCs: A Case Study on a MOOC for Smart City Professionals.	IEEE Access	2021	DBLP DOI BibTeX RDF
12	Laurent Feuilloley	Introduction to local certification.	Discret. Math. Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
12	Andrea Stanco, Davide G. Marangon, Giuseppe Vallone, Samuel Burri, Edoardo Charbon, Paolo Villoresi	Certification of the efficient random number generation technique based on single-photon detector arrays and time-to-digital converters.	IET Quantum Commun.	2021	DBLP DOI BibTeX RDF
12	Claude Baron, Vincent Louis	Towards a continuous certification of safety-critical avionics software.	Comput. Ind.	2021	DBLP DOI BibTeX RDF
12	Yuriy Pylypchuk, Wesley Barker, William Encinosa, Talisha Searcy	Impact of the 2015 Health Information Technology Certification Edition on Interoperability among Hospitals.	J. Am. Medical Informatics Assoc.	2021	DBLP DOI BibTeX RDF
12	Laurent Feuilloley, Pierre Fraigniaud, Pedro Montealegre 0001, Ivan Rapaport, Éric Rémila, Ioan Todinca	Compact Distributed Certification of Planar Graphs.	Algorithmica	2021	DBLP DOI BibTeX RDF
12	Paulo S. L. M. Barreto, Marcos A. Simplício Jr., Jefferson E. Ricardini, Harsh Kupwade Patil	Schnorr-Based Implicit Certification: Improving the Security and Efficiency of Vehicular Communications.	IEEE Trans. Computers	2021	DBLP DOI BibTeX RDF
12	Mateus Rodrigues Alves, Mateus de Oliveira Oliveira, Janio Carlos Nascimento Silva, Uéverton dos Santos Souza	Succinct certification of monotone circuits.	Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
12	Peihai Zhao, Mimi Wang	Mobile behavior trusted certification based on multivariate behavior sequences.	Neurocomputing	2021	DBLP DOI BibTeX RDF
12	Leroy Chew, Friedrich Slivovsky	Towards Uniform Certification in QBF.	Electron. Colloquium Comput. Complex.	2021	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.	EURASIP J. Inf. Secur.	2021	DBLP DOI BibTeX RDF
12	Tobias Lorenz 0002, Anian Ruoss, Mislav Balunovic, Gagandeep Singh 0001, Martin T. Vechev	Robustness Certification for Point Cloud Models.	CoRR	2021	DBLP BibTeX RDF
12	Tatiana Tommasi, Silvia Bucci, Barbara Caputo, Pietro Asinari	Towards Fairness Certification in Artificial Intelligence.	CoRR	2021	DBLP BibTeX RDF
12	Katharina Morik, Helena Kotthaus, Lukas Heppe, Danny Heinrich, Raphael Fischer 0001, Sascha Mücke, Andreas Pauly, Matthias Jakobs, Nico Piatkowski	Yes We Care! - Certification for Machine Learning Methods through the Care Label Framework.	CoRR	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.	CoRR	2021	DBLP BibTeX RDF
12	Pierre Fraigniaud, Pedro Montealegre 0001, Ivan Rapaport, Ioan Todinca	A Meta-Theorem for Distributed Certification.	CoRR	2021	DBLP BibTeX RDF
12	Ji Gao, Amin Karbasi, Mohammad Mahmoody	Learning and Certification under Instance-targeted Poisoning.	CoRR	2021	DBLP BibTeX RDF
12	Mark Niklas Müller, Gleb Makarchuk, Gagandeep Singh 0001, Markus Püschel, Martin T. Vechev	Precise Multi-Neuron Abstractions for Neural Network Certification.	CoRR	2021	DBLP BibTeX RDF
12	Katharina Morik, Helena Kotthaus, Lukas Heppe, Danny Heinrich, Raphael Fischer 0001, Andreas Pauly, Nico Piatkowski	The Care Label Concept: A Certification Suite for Trustworthy and Resource-Aware Machine Learning.	CoRR	2021	DBLP BibTeX RDF
12	Nicolas Bousquet, Laurent Feuilloley, Théo Pierron	Local certification of graph decompositions and applications to minor-free classes.	CoRR	2021	DBLP BibTeX RDF
12	Peter Cihon, Moritz J. Kleinaltenkamp, Jonas Schuett, Seth D. Baum	AI Certification: Advancing Ethical Practice by Reducing Information Asymmetries.	CoRR	2021	DBLP BibTeX RDF
12	Sitan Chen, Jerry Li 0001, Ryan O'Donnell	Toward Instance-Optimal State Certification With Incoherent Measurements.	CoRR	2021	DBLP BibTeX RDF
12	Matthew Thorpe, Bao Wang	Robust Certification for Laplace Learning on Geometric Graphs.	CoRR	2021	DBLP BibTeX RDF
12	Tobias Lorenz 0002, Marta Kwiatkowska, Mario Fritz	Backdoor Attacks on Network Certification via Data Poisoning.	CoRR	2021	DBLP BibTeX RDF
12	Virginie Do, Sam Corbett-Davies, Jamal Atif, Nicolas Usunier	Online certification of preference-based fairness for personalized recommender systems.	CoRR	2021	DBLP BibTeX RDF
12	Louis Esperet, Benjamin Lévêque	Local certification of graphs on surfaces.	CoRR	2021	DBLP BibTeX RDF
12	Mark Niklas Müller, Robin Staab, Marc Fischer 0002, Martin T. Vechev	Effective Certification of Monotone Deep Equilibrium Models.	CoRR	2021	DBLP BibTeX RDF
12	Philip Matthias Winter, Sebastian Eder, Johannes Weissenböck, Christoph Schwald, Thomas Doms, Tom Vogt, Sepp Hochreiter, Bernhard Nessler	Trusted Artificial Intelligence: Towards Certification of Machine Learning Applications.	CoRR	2021	DBLP BibTeX RDF
12	Ruoxin Chen, Jie Li 0002, Junchi Yan, Ping Li 0016, Bin Sheng 0001	Input-Specific Robustness Certification for Randomized Smoothing.	CoRR	2021	DBLP BibTeX RDF
12	Adam Kurpisz, Aaron Potechin, Elias Samuel Wirth	SoS certification for symmetric quadratic functions and its connection to constrained Boolean hypercube optimization.	CoRR	2021	DBLP BibTeX RDF
12	Alexandre Didier, Kim Peter Wabersich, Melanie N. Zeilinger	Adaptive Model Predictive Safety Certification for Learning-based Control - Extended Version.	CoRR	2021	DBLP BibTeX RDF
12	Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky	SafeCap: from formal verification of railway interlocking to its certification.	CoRR	2021	DBLP BibTeX RDF
12	Fernando Gualo, Moisés Rodríguez, Javier Verdugo, Ismael Caballero 0001, Mario Piattini	Data Quality Certification using ISO/IEC 25012: Industrial Experiences.	CoRR	2021	DBLP BibTeX RDF
12	Francisco Eiras, Motasem Alfarra, M. Pawan Kumar, Philip H. S. Torr, Puneet K. Dokania, Bernard Ghanem, Adel Bibi	ANCER: Anisotropic Certification via Sample-wise Volume Maximization.	CoRR	2021	DBLP BibTeX RDF
12	Guillaume Vidot, Christophe Gabreau, Ileana Ober, Iulian Ober	Certification of embedded systems based on Machine Learning: A survey.	CoRR	2021	DBLP BibTeX RDF
12	Kevin Roth	A Primer on Multi-Neuron Relaxation-based Adversarial Robustness Certification.	CoRR	2021	DBLP BibTeX RDF
12	Nicolas Bousquet, Laurent Feuilloley, Théo Pierron	Local certification of MSO properties for bounded treedepth graphs.	CoRR	2021	DBLP BibTeX RDF
12	Domenico Cotroneo, Luigi De Simone, Roberto Natella	Timing Covert Channel Analysis of the VxWorks MILS Embedded Hypervisor under the Common Criteria Security Certification.	CoRR	2021	DBLP BibTeX RDF
12	Matt Jordan, Alexandros G. Dimakis	Provable Lipschitz Certification for Generative Models.	CoRR	2021	DBLP BibTeX RDF
12	Sara Nieves Matheu, José Luis Hernández Ramos, Antonio F. Skarmeta, Gianmarco Baldini	A Survey of Cybersecurity Certification for the Internet of Things.	ACM Comput. Surv.	2021	DBLP DOI BibTeX RDF
12	Donald H. Costello, Huan Xu	Relating Sensor Degradation to Vehicle Situational Awareness for Autonomous Air Vehicle Certification.	J. Aerosp. Inf. Syst.	2021	DBLP DOI BibTeX RDF
12	Donald H. Costello, Huan Xu	Generating Certification Evidence for Autonomous Aerial Vehicles Decision-Making.	J. Aerosp. Inf. Syst.	2021	DBLP DOI BibTeX RDF
12	Jean-Daniel Bancal, Kai Redeker, Pavel Sekatski, Wenjamin Rosenfeld, Nicolas Sangouard	Self-testing with finite statistics enabling the certification of a quantum network link.	Quantum	2021	DBLP DOI BibTeX RDF
12	Ivan Supic, Daniel Cavalcanti, Joseph Bowles	Device-independent certification of tensor products of quantum states using single-copy self-testing protocols.	Quantum	2021	DBLP DOI BibTeX RDF
12	Shin-Liang Chen, Huan-Yu Ku, Wenbin Zhou, Jordi Tura, Yueh-Nan Chen	Robust self-testing of steerable quantum assemblages and its applications on device-independent quantum certification.	Quantum	2021	DBLP DOI BibTeX RDF
12	Eric Vétillard	Security Certification: Is It Box Ticking?	IEEE Secur. Priv.	2021	DBLP DOI BibTeX RDF
12	José Luis Hernández Ramos, Sara Nieves Matheu-García, Antonio F. Skarmeta	The Challenges of Software Cybersecurity Certification [Building Security In].	IEEE Secur. Priv.	2021	DBLP DOI BibTeX RDF
12	Aqsa Rashid, Asif Masood, Haider Abbas, Yin Zhang 0002	Blockchain-Based Public Key Infrastructure: A Transparent Digital Certification Mechanism for Secure Communication.	IEEE Netw.	2021	DBLP DOI BibTeX RDF
12	Domenico Cotroneo, Luigi De Simone, Roberto Natella	Timing covert channel analysis of the VxWorks MILS embedded hypervisor under the common criteria security certification.	Comput. Secur.	2021	DBLP DOI BibTeX RDF
12	Jose Luis de la Vara, Alejandra Ruiz 0001, Gaël Blondelle	Assurance and certification of cyber-physical systems: The AMASS open source ecosystem.	J. Syst. Softw.	2021	DBLP DOI BibTeX RDF
12	Fernando Gualo, Moisés Rodríguez, Javier Verdugo, Ismael Caballero 0001, Mario Piattini	Data quality certification using ISO/IEC 25012: Industrial experiences.	J. Syst. Softw.	2021	DBLP DOI BibTeX RDF
12	Domingo Gaitero, Marcela Genero, Mario Piattini	System quality and security certification in seven weeks: A multi-case study in Spanish SMEs.	J. Syst. Softw.	2021	DBLP DOI BibTeX RDF
12	Eliseo Clementini, Brahim Lejdel, Sabrina Mazzagufo, Robert Laurini	Homological relations: A methodology for the certification of irregular tessellations.	Trans. GIS	2021	DBLP DOI BibTeX RDF
12	Osama Zaki, Matthew W. Dunnigan, Valentin Robu, David Flynn	Reliability and Safety of Autonomous Systems Based on Semantic Modelling for Self-Certification.	Robotics	2021	DBLP DOI BibTeX RDF
12	Ricardo Borges dos Santos, Nunzio Marco Torrisi, Rodrigo Palucci Pantoni	Third Party Certification of Agri-Food Supply Chain Using Smart Contracts and Blockchain Tokens.	Sensors	2021	DBLP DOI BibTeX RDF
12	Galina F. Malykhina, Dmitriy A. Tarkhov, Viacheslav P. Shkodyrev, Tatiana V. Lazovskaya	Intelligent LED Certification System in Mass Production.	Sensors	2021	DBLP DOI BibTeX RDF
12	Wenqing Wu, Kun Shi 0005, Yuming Zhai, Guangshu Xu, Xin Jiang	An empirical study between OHSAS 18001 certification and innovation efficiency in green management: the moderating role of pay disparity and ownership.	Int. J. Technol. Manag.	2021	DBLP DOI BibTeX RDF
12	David Santiago Velasco Moncada, Daniel Schneider 0001, Ana Petrovska, Nishanth Laxman, Felix Möhrle, Stefan Rothbauer, Marc Zeller, Chee Hung Koo, Samira Safdari	Dynamic Safety Certification for Collaborative Embedded Systems at Runtime.	Model-Based Engineering of Collaborative Embedded Systems	2021	DBLP DOI BibTeX RDF
12	Tobias Lorenz 0002, Anian Ruoss, Mislav Balunovic, Gagandeep Singh 0001, Martin T. Vechev	Robustness Certification for Point Cloud Models.	ICCV	2021	DBLP DOI BibTeX RDF
12	José-Guillermo Hernández-Calderón, Valeria Soto-Mendoza, Luis Gerardo Montané-Jiménez, Marion Alain Meunier Colula, Janeth Tello-Carrillo	Designing an information visualization dashboard to proctor test-takers during language certification online testing.	MexIHC	2021	DBLP DOI BibTeX RDF
12	Sebastian Copei, Manuel Wickert, Albert Zündorf	Implementation of a Microservice-Based Certification Platform.	XP Workshops	2021	DBLP DOI BibTeX RDF
12	Mirko Bunse, Katharina Morik	Certification of Model Robustness in Active Class Selection.	ECML/PKDD (2)	2021	DBLP DOI BibTeX RDF