Membership
Tour
Register
Log in
Semantic checking
Follow
Industry
CPC
G06F8/436
This industry / category may be too specific. Please go to a parent level for more data
Parent Industries
G
PHYSICS
G06
Computing
G06F
ELECTRICAL DIGITAL DATA PROCESSING
G06F8/00
Arrangements for software engineering
Current Industry
G06F8/436
Semantic checking
Industries
Overview
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Methods, controllers, and machine-readable storage media for automa...
Patent number
11,991,851
Issue date
May 21, 2024
PASSIVELOGIC, INC.
Troy Aaron Harvey
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Using natural language latent representation in automated conversio...
Patent number
11,960,867
Issue date
Apr 16, 2024
Google LLC
Rishabh Singh
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Decision logic translation system and method
Patent number
11,954,458
Issue date
Apr 9, 2024
Accenture Global Solutions Limited
Suma S. Joshi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Automatic code reconfiguration based on function and subfunction an...
Patent number
11,941,380
Issue date
Mar 26, 2024
Aurora Labs Ltd.
Carmit Sahar
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Deep learning model for learning program embeddings
Patent number
11,900,250
Issue date
Feb 13, 2024
Visa International Service Association
Ke Wang
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and apparatus for implementing an end-to-end API design and...
Patent number
11,900,074
Issue date
Feb 13, 2024
JPMorgan Chase Bank, N.A.
Shivani Pitchai Muthu
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Serverless environment-based provisioning and deployment system
Patent number
11,900,075
Issue date
Feb 13, 2024
Accenture Global Solutions Limited
Rajendra Prasad Tanniru
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Space- and time-efficient enumerations
Patent number
11,886,838
Issue date
Jan 30, 2024
Oracle International Corporation
Mario Wolczko
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Code retrieval based on multi-class classification
Patent number
11,868,731
Issue date
Jan 9, 2024
Fujitsu Limited
Mehdi Bahrami
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Automated line testing
Patent number
11,871,505
Issue date
Jan 9, 2024
PASSIVELOGIC, INC.
Troy Aaron Harvey
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
What-if analysis for notebooks
Patent number
11,860,766
Issue date
Jan 2, 2024
Microsoft Technology Licensing, LLC
Pavle Subotić
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Cognitive method to split monolithic architecture into microservice...
Patent number
11,860,980
Issue date
Jan 2, 2024
International Business Machines Corporation
Li Juan Gao
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Distributed building automation controllers
Patent number
11,856,723
Issue date
Dec 26, 2023
PASSIVELOGIC, INC.
Troy Aaron Harvey
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method of building automation heat load and user preference inferri...
Patent number
11,832,413
Issue date
Nov 28, 2023
Troy Aaron Harvey
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and apparatus for generalized control of devices
Patent number
11,737,231
Issue date
Aug 22, 2023
Troy Aaron Harvey
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Perceptible indicators of wires being attached correctly to controller
Patent number
11,706,891
Issue date
Jul 18, 2023
Troy Aaron Harvey
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Automatic code reconfiguration based on function and subfunction an...
Patent number
11,693,635
Issue date
Jul 4, 2023
Aurora Labs Ltd.
Carmit Sahar
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Using natural language latent representation in automated conversio...
Patent number
11,693,637
Issue date
Jul 4, 2023
Google LLC
Rishabh Singh
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Reducing semantic errors in code generated by machine learning models
Patent number
11,681,510
Issue date
Jun 20, 2023
International Business Machines Corporation
Julian Timothy Dolby
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method, apparatus, and system for providing a broker for data model...
Patent number
11,640,282
Issue date
May 2, 2023
HERE Global B.V.
Ryan Giltner
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Methods, systems, articles of manufacture and apparatus to identify...
Patent number
11,635,949
Issue date
Apr 25, 2023
Intel Corporation
Justin Gottschlich
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Generating rules for migrating dependencies of a software application
Patent number
11,625,240
Issue date
Apr 11, 2023
Red Hat, Inc.
Marco Rizzi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Systems and methods for code clustering analysis and transformation
Patent number
11,620,117
Issue date
Apr 4, 2023
SMARTSHIFT TECHNOLOGIES, INC.
Albrecht Gass
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Detecting misconfiguration and/or bug(s) in large service(s) using...
Patent number
11,599,354
Issue date
Mar 7, 2023
Microsoft Technology Licensing, LLC
Ranjita Bhagwan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Methods, controllers, and machine-readable storage media for automa...
Patent number
11,596,079
Issue date
Feb 28, 2023
PassiveLogic, Inc.
Troy Aaron Harvey
G05 - CONTROLLING REGULATING
Information
Patent Grant
Methods and apparatus to improve disambiguation and interpretation...
Patent number
11,568,150
Issue date
Jan 31, 2023
CLRV Technologies, LLC
Emmanuel Roche
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Methods and systems of building automation state load and user pref...
Patent number
11,553,618
Issue date
Jan 10, 2023
PassiveLogic, Inc.
Troy Aaron Harvey
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Efficient semantic analysis of program code
Patent number
11,550,556
Issue date
Jan 10, 2023
SAP SE
Julius Bettin
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Automated code generation using analysis of design diagrams
Patent number
11,531,763
Issue date
Dec 20, 2022
Amazon Technologies, Inc.
Akshay Gupta
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Reducing semantic errors in code generated by machine learning models
Patent number
11,507,352
Issue date
Nov 22, 2022
International Business Machines Corporation
Julian Timothy Dolby
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
FINDING COHERENT INFERENCES ACROSS DOMAINS
Publication number
20240143929
Publication date
May 2, 2024
X Development LLC
Garrett Raymond Honke
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Space- And Time-Efficient Enumerations
Publication number
20240126512
Publication date
Apr 18, 2024
Oracle International Corporation
Mario Wolczko
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
DISTRIBUTED BUILDING AUTOMATION CONTROLLERS
Publication number
20240090154
Publication date
Mar 14, 2024
PassiveLogic, Inc.
Troy Aaron Harvey
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
WHAT-IF ANALYSIS FOR NOTEBOOKS
Publication number
20240086310
Publication date
Mar 14, 2024
Microsoft Technology Licensing, LLC
Pavle SUBOTIC
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SYSTEMS AND METHODS FOR CODE CLUSTERING ANALYSIS AND TRANSFORMATION
Publication number
20240078096
Publication date
Mar 7, 2024
smartShift Technologies, Inc.
Albrecht Gass
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
USING A SEMANTIC TREE OF A COMPILER TO EXECUTE A SEMANTIC CODE QUER...
Publication number
20230418574
Publication date
Dec 28, 2023
Microsoft Technology Licensing, LLC
Vatsalya AGRAWAL
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
RESPONDING TO TASK PROMPT ON DECLARATIVE CODE USING LANGUAGE MODEL
Publication number
20230418815
Publication date
Dec 28, 2023
Microsoft Technology Licensing, LLC
Benjamin Goth ZORN
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Space- And Time-Efficient Enumerations
Publication number
20230385028
Publication date
Nov 30, 2023
Oracle International Corporation
Mario Wolczko
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
DECISION LOGIC TRANSLATION SYSTEM AND METHOD
Publication number
20230342114
Publication date
Oct 26, 2023
Accenture Global Solutions Limited
Suma S. Joshi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
CROSS-VALIDATING FILES TO FACILITATE CODE GENERATION
Publication number
20230325156
Publication date
Oct 12, 2023
Red Hat, Inc.
Edoardo Vacchi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Method and Apparatus for Generalized Control of Devices
Publication number
20230328912
Publication date
Oct 12, 2023
PassiveLogic, Inc.
Troy Aaron Harvey
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SERVERLESS ENVIRONMENT-BASED PROVISIONING AND DEPLOYMENT SYSTEM
Publication number
20230315397
Publication date
Oct 5, 2023
Accenture Global Solutions Limited
Rajendra PRASAD TANNIRU
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SYNTHESIZING A COMPUTER PROGRAM TO INCLUDE IDIOMATIC FUNCTION(S) AN...
Publication number
20230280989
Publication date
Sep 7, 2023
Microsoft Technology Licensing, LLC
José Pablo CAMBRONERO SÁNCHEZ
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SYSTEMS AND METHODS FOR CODE ANALYSIS HEAT MAP INTERFACES
Publication number
20230244476
Publication date
Aug 3, 2023
smartShift Technologies, Inc.
Albrecht Gass
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
COGNITIVE METHOD TO SPLIT MONOLITHIC ARCHITECTURE INTO MICROSERVICE...
Publication number
20230229741
Publication date
Jul 20, 2023
International Business Machines Corporation
Li Juan GAO
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHOD FOR CREATING AN APP-CAPABLE BASIC SYSTEM AND A MATCHING APP
Publication number
20230195549
Publication date
Jun 22, 2023
Endress + Hauser Conducta GmbH + Co. KG
Stefan Kempf
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHODS, CONTROLLERS, AND MACHINE-READABLE STORAGE MEDIA FOR AUTOMA...
Publication number
20230180420
Publication date
Jun 8, 2023
PassiveLogic, Inc.
Troy Aaron Harvey
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Quantum Computing with Hybrid Memory Cube for Data Centers
Publication number
20230162072
Publication date
May 25, 2023
Bank of America Corporation
Elvis Nyamwange
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
WHAT-IF ANALYSIS FOR NOTEBOOKS
Publication number
20230161686
Publication date
May 25, 2023
Microsoft Technology Licensing, LLC
Pavle SUBOTIC
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHOD AND SYSTEM FOR IDENTIFYING STATIC ANALYSIS ALARMS BASED ON S...
Publication number
20230129536
Publication date
Apr 27, 2023
TATA CONSULTANCY SERVICES LIMITED
Anushri JANA
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Perceptible Indicators That Wires are Attached Correctly to Controller
Publication number
20230120713
Publication date
Apr 20, 2023
Troy Aaron Harvey
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
GENERATING RULES FOR MIGRATING DEPENDENCIES OF A SOFTWARE APPLICATION
Publication number
20230098941
Publication date
Mar 30, 2023
Red Hat, Inc.
Marco Rizzi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
CODE RETRIEVAL BASED ON MULTI-CLASS CLASSIFICATION
Publication number
20230100208
Publication date
Mar 30, 2023
FUJITSU LIMITED
Mehdi BAHRAMI
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SOFTWARE APPLICATION DEPLOYMENT
Publication number
20230048653
Publication date
Feb 16, 2023
Kyndryl, Inc.
Dinesh TRIPATHI
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
REDUCING SEMANTIC ERRORS IN CODE GENERATED BY MACHINE LEARNING MODELS
Publication number
20230024047
Publication date
Jan 26, 2023
International Business Machines Corporation
Julian Timothy Dolby
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
EFFICIENT SEMANTIC ANALYSIS OF PROGRAM CODE
Publication number
20230025341
Publication date
Jan 26, 2023
SAP SE
Julius BETTIN
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
A method of building automation heat load and user preference infer...
Publication number
20220418141
Publication date
Dec 29, 2022
PassiveLogic, Inc.
Troy Aaron Harvey
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
DISTRIBUTED BUILDING AUTOMATION CONTROLLERS
Publication number
20220408584
Publication date
Dec 22, 2022
PassiveLogic, Inc.
Troy Aaron Harvey
G01 - MEASURING TESTING
Information
Patent Application
REDUCING SEMANTIC ERRORS IN CODE GENERATED BY MACHINE LEARNING MODELS
Publication number
20220398074
Publication date
Dec 15, 2022
International Business Machines Corporation
Julian Timothy Dolby
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Method of Digital Labeling Control System Terminals That Enables Gu...
Publication number
20220312618
Publication date
Sep 29, 2022
PassiveLogic, Inc.
Troy Aaron Harvey
G06 - COMPUTING CALCULATING COUNTING