|
|
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 | 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 |
|
Displaying result #501 - #600 of 3119 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|