Semantic checking

Industry

CPC
G06F8/436

This industry / category may be too specific. Please go to a parent level for more data

Parent Industries

GPHYSICS G06Computing G06FELECTRICAL DIGITAL DATA PROCESSING G06F8/00Arrangements for software engineering

Current Industry

G06F8/436Semantic checking

Industries

Patents Grantslast 30 patents

Information Patent Grant
Machine learning-based universal software component identification
- Patent number 12,175,241
- Issue date Dec 24, 2024
- NetRise, Inc.
- Michael Scott
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Controller with moveable interactive screen
- Patent number 12,156,360
- Issue date Nov 26, 2024
- PASSIVELOGIC, INC.
- Troy Aaron Harvey
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Semantic labeling analysis
- Patent number 12,120,838
- Issue date Oct 15, 2024
- PASSIVELOGIC, INC.
- Troy Aaron Harvey
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for generalized control of devices
- Patent number 12,108,556
- Issue date Oct 1, 2024
- PASSIVELOGIC, INC.
- Troy Aaron Harvey
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for identifying static analysis alarms based on s...
- Patent number 12,099,822
- Issue date Sep 24, 2024
- TATA Consultancy Services Limited
- Anushri Jana
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Semantic analysis of source code using stubs for external references
- Patent number 12,099,835
- Issue date Sep 24, 2024
- Black Duck Software, Inc.
- Cameron Gunnin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Code enrichment through metadata for code synthesis
- Patent number 12,093,654
- Issue date Sep 17, 2024
- Fujitsu Limited
- Mehdi Bahrami
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Perceptible indicators that wires are attached correctly to controller
- Patent number 12,089,360
- Issue date Sep 10, 2024
- PASSIVELOGIC, INC.
- Troy Aaron Harvey
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Building automation programming using UI representations of physica...
- Patent number 12,069,831
- Issue date Aug 20, 2024
- PASSIVELOGIC, INC.
- Troy Aaron Harvey
- F24 - HEATING RANGES VENTILATING
Information Patent Grant
Data unit test-based data management system
- Patent number 12,032,476
- Issue date Jul 9, 2024
- Palantir Technologies Inc.
- Francisco Ferreira
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Software application deployment
- Patent number 12,020,009
- Issue date Jun 25, 2024
- KYNDRYL, INC.
- Dinesh Tripathi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Code enrichment for training language models relating to computer p...
- Patent number 12,019,992
- Issue date Jun 25, 2024
- Fujitsu Limited
- Mehdi Bahrami
- G06 - COMPUTING CALCULATING COUNTING
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

Patents Applicationslast 30 patents

Information Patent Application
CONTROLLER WITH MOVEABLE INTERACTIVE SCREEN
- Publication number 20240422934
- Publication date Dec 19, 2024
- PassiveLogic, Inc.
- Troy Aaron Harvey
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Semantic Labeling Analytics
- Publication number 20240397655
- Publication date Nov 28, 2024
- PassiveLogic, Inc.
- Troy Aaron Harvey
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Perceptible Indicators of Wires Being Attached Correctly to Controller
- Publication number 20240349437
- Publication date Oct 17, 2024
- PassiveLogic, Inc.
- Troy Aaron Harvey
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOFTWARE APPLICATION DEPLOYMENT
- Publication number 20240311115
- Publication date Sep 19, 2024
- Kyndryl, Inc.
- Dinesh TRIPATHI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND APPARATUS FOR GENERALIZED CONTROL OF DEVICES
- Publication number 20240284627
- Publication date Aug 22, 2024
- PassiveLogic, Inc.
- Troy Aaron Harvey
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Methods, controllers, and machine-readable storage media for automa...
- Publication number 20240244783
- Publication date Jul 18, 2024
- PassiveLogic, Inc.
- Troy Aaron Harvey
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPILE-TIME LINK TYPE OBJECT MANAGEMENT
- Publication number 20240241702
- Publication date Jul 18, 2024
- Zoho Corporation Private Limited
- Sridhar Vembu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC CODE RECONFIGURATION BASED ON FUNCTION AND SUBFUNCTION AN...
- Publication number 20240231776
- Publication date Jul 11, 2024
- Aurora Labs Ltd.
- Carmit Sahar
- G06 - COMPUTING CALCULATING COUNTING
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
CODE RETRIEVAL BASED ON MULTI-CLASS CLASSIFICATION
- Publication number 20230100208
- Publication date Mar 30, 2023
- FUJITSU LIMITED
- Mehdi BAHRAMI
- G06 - COMPUTING CALCULATING COUNTING

Semantic checking

Industry

Parent Industries

Current Industry

Patents Grantslast 30 patents

Machine learning-based universal software component identification

Controller with moveable interactive screen

Semantic labeling analysis

Method and apparatus for generalized control of devices

Method and system for identifying static analysis alarms based on s...

Semantic analysis of source code using stubs for external references

Code enrichment through metadata for code synthesis

Perceptible indicators that wires are attached correctly to controller

Building automation programming using UI representations of physica...

Data unit test-based data management system

Software application deployment

Code enrichment for training language models relating to computer p...

Methods, controllers, and machine-readable storage media for automa...

Using natural language latent representation in automated conversio...

Decision logic translation system and method

Automatic code reconfiguration based on function and subfunction an...

Deep learning model for learning program embeddings

Method and apparatus for implementing an end-to-end API design and...

Serverless environment-based provisioning and deployment system

Space- and time-efficient enumerations

Code retrieval based on multi-class classification

Automated line testing

What-if analysis for notebooks

Cognitive method to split monolithic architecture into microservice...

Distributed building automation controllers

Method of building automation heat load and user preference inferri...

Method and apparatus for generalized control of devices

Perceptible indicators of wires being attached correctly to controller

Automatic code reconfiguration based on function and subfunction an...

Using natural language latent representation in automated conversio...

Patents Applicationslast 30 patents

CONTROLLER WITH MOVEABLE INTERACTIVE SCREEN

Semantic Labeling Analytics

Perceptible Indicators of Wires Being Attached Correctly to Controller

SOFTWARE APPLICATION DEPLOYMENT

METHOD AND APPARATUS FOR GENERALIZED CONTROL OF DEVICES

Methods, controllers, and machine-readable storage media for automa...

COMPILE-TIME LINK TYPE OBJECT MANAGEMENT

AUTOMATIC CODE RECONFIGURATION BASED ON FUNCTION AND SUBFUNCTION AN...

FINDING COHERENT INFERENCES ACROSS DOMAINS

Space- And Time-Efficient Enumerations

DISTRIBUTED BUILDING AUTOMATION CONTROLLERS

WHAT-IF ANALYSIS FOR NOTEBOOKS

SYSTEMS AND METHODS FOR CODE CLUSTERING ANALYSIS AND TRANSFORMATION

USING A SEMANTIC TREE OF A COMPILER TO EXECUTE A SEMANTIC CODE QUER...

RESPONDING TO TASK PROMPT ON DECLARATIVE CODE USING LANGUAGE MODEL

Space- And Time-Efficient Enumerations

DECISION LOGIC TRANSLATION SYSTEM AND METHOD

CROSS-VALIDATING FILES TO FACILITATE CODE GENERATION

Method and Apparatus for Generalized Control of Devices

SERVERLESS ENVIRONMENT-BASED PROVISIONING AND DEPLOYMENT SYSTEM

SYNTHESIZING A COMPUTER PROGRAM TO INCLUDE IDIOMATIC FUNCTION(S) AN...

SYSTEMS AND METHODS FOR CODE ANALYSIS HEAT MAP INTERFACES

COGNITIVE METHOD TO SPLIT MONOLITHIC ARCHITECTURE INTO MICROSERVICE...

METHOD FOR CREATING AN APP-CAPABLE BASIC SYSTEM AND A MATCHING APP

METHODS, CONTROLLERS, AND MACHINE-READABLE STORAGE MEDIA FOR AUTOMA...

Quantum Computing with Hybrid Memory Cube for Data Centers

WHAT-IF ANALYSIS FOR NOTEBOOKS

METHOD AND SYSTEM FOR IDENTIFYING STATIC ANALYSIS ALARMS BASED ON S...

Perceptible Indicators That Wires are Attached Correctly to Controller

CODE RETRIEVAL BASED ON MULTI-CLASS CLASSIFICATION