|
|
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 | 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 |
|
|
|