Juan Rodriguez HORTALA

Follow

Person

Seattle, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Automatically generating a machine-readable threat model using a te...
- Patent number 11,128,653
- Issue date Sep 21, 2021
- Amazon Technologies, Inc.
- Oksana Tkachuk
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Constraint solver execution service and infrastructure therefor
- Patent number 10,977,111
- Issue date Apr 13, 2021
- Amazon Technologies, Inc.
- Neha Rungta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated software verification service
- Patent number 10,664,379
- Issue date May 26, 2020
- Amazon Technologies, Inc.
- Juan Rodriguez Hortala
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
CONSTRAINT SOLVER EXECUTION SERVICE AND INFRASTRUCTURE THEREFOR
- Publication number 20200073739
- Publication date Mar 5, 2020
- AMAZON TECHNOLOGIES, INC.
- Neha RUNGTA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATED SOFTWARE VERIFICATION SERVICE
- Publication number 20200073783
- Publication date Mar 5, 2020
- Juan Rodriguez Hortala
- G06 - COMPUTING CALCULATING COUNTING