Jochen Quante

Person

Ludwigsburg, DE

People

Patents Grantslast 30 patents

Information Patent Grant
Compositional verification of embedded software systems
- Patent number 11,977,478
- Issue date May 7, 2024
- Robert Bosch GmbH
- Andrea Flexeder
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Hierarchy detection for block diagrams
- Patent number 11,120,590
- Issue date Sep 14, 2021
- Robert Bosch GmbH
- Fabio Cecchi
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
AUTOMATED GENERATION OF TEST CODE FOR TESTING EMBEDDED SOFTWARE
- Publication number 20250130928
- Publication date Apr 24, 2025
- ROBERT BOSCH GmbH
- Jesko Hecking-Harbusch
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR VERIFYING STATIC WARNINGS OF LLM-GENERATED CODE WITH DIR...
- Publication number 20250130921
- Publication date Apr 24, 2025
- ROBERT BOSCH GmbH
- Christopher Huth
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHODS FOR IMPROVING THE MEMORY ALLOCATION OF LLM-GENERATED CODE
- Publication number 20250130783
- Publication date Apr 24, 2025
- ROBERT BOSCH GmbH
- Christopher Huth
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR CHECKING THE DYNAMIC BEHAVIOR OF LLM-GENERATED CODE USIN...
- Publication number 20250130924
- Publication date Apr 24, 2025
- ROBERT BOSCH GmbH
- Christopher Huth
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATED GENERATIONOF MODELS OF COMPUTATION, SUCH AS PUSHDOWN AUTO...
- Publication number 20250110712
- Publication date Apr 3, 2025
- ROBERT BOSCH GmbH
- Jesko Hecking-Harbusch
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR AUTOMATICALLY TRANSLATING PROGRAM CODE FROM A SOURCE LAN...
- Publication number 20250110853
- Publication date Apr 3, 2025
- ROBERT BOSCH GmbH
- Jesko Hecking-Harbusch
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR PREPROCESSING CODE DATA FOR A SUBSEQUENT EVALUATION
- Publication number 20240354078
- Publication date Oct 24, 2024
- ROBERT BOSCH GmbH
- Jesko Hecking-Harbusch
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPOSITIONAL VERIFICATION OF EMBEDDED SOFTWARE SYSTEMS
- Publication number 20230023480
- Publication date Jan 26, 2023
- ROBERT BOSCH GmbH
- Andrea Flexeder
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR ACQUIRING SIGNALS
- Publication number 20180196090
- Publication date Jul 12, 2018
- ROBERT BOSCH GmbH
- Jochen Quante
- G06 - COMPUTING CALCULATING COUNTING

Jochen Quante

Person

Patents Grantslast 30 patents

Compositional verification of embedded software systems

Hierarchy detection for block diagrams

Patents Applicationslast 30 patents

AUTOMATED GENERATION OF TEST CODE FOR TESTING EMBEDDED SOFTWARE

METHOD FOR VERIFYING STATIC WARNINGS OF LLM-GENERATED CODE WITH DIR...

METHODS FOR IMPROVING THE MEMORY ALLOCATION OF LLM-GENERATED CODE

METHOD FOR CHECKING THE DYNAMIC BEHAVIOR OF LLM-GENERATED CODE USIN...

AUTOMATED GENERATIONOF MODELS OF COMPUTATION, SUCH AS PUSHDOWN AUTO...

METHOD FOR AUTOMATICALLY TRANSLATING PROGRAM CODE FROM A SOURCE LAN...

METHOD FOR PREPROCESSING CODE DATA FOR A SUBSEQUENT EVALUATION

COMPOSITIONAL VERIFICATION OF EMBEDDED SOFTWARE SYSTEMS

METHOD FOR ACQUIRING SIGNALS