DMITRY PIDAN

Person

Netanya, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Symbolic execution of alternative branches
- Patent number 10,503,633
- Issue date Dec 10, 2019
- International Business Machines Corporation
- Dmitry Pidan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Unit-level formal verification for vehicular software systems
- Patent number 9,898,395
- Issue date Feb 20, 2018
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Unit-level formal verification for vehicular software systems
- Patent number 9,875,175
- Issue date Jan 23, 2018
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Unit-level formal verification for vehicular software systems
- Patent number 9,870,313
- Issue date Jan 16, 2018
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Unit-level formal verification for vehicular software systems
- Patent number 9,588,877
- Issue date Mar 7, 2017
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Directing verification towards bug-prone portions
- Patent number 9,389,984
- Issue date Jul 12, 2016
- International Business Machines Corporation
- Hana Chockler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dominant-state-based coverage metric
- Patent number 8,856,755
- Issue date Oct 7, 2014
- International Business Machines Corporation
- Hana Chockler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verification using directives having local variables
- Patent number 8,219,376
- Issue date Jul 10, 2012
- International Business Machines Corporation
- Dmitry Pidan
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
TECHNIQUES FOR PROVIDING CONCRETE INSTANCES IN TRAFFIC SCENARIOS BY...
- Publication number 20220237343
- Publication date Jul 28, 2022
- Foretellix Ltd.
- Dmitry PIDAN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYMBOLIC EXECUTION OF ALTERNATIVE BRANCHES
- Publication number 20170286271
- Publication date Oct 5, 2017
- International Business Machines Corporation
- Dmitry Pidan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
UNIT-LEVEL FORMAL VERIFICATION FOR VEHICULAR SOFTWARE SYSTEMS
- Publication number 20170109254
- Publication date Apr 20, 2017
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
UNIT-LEVEL FORMAL VERIFICATION FOR VEHICULAR SOFTWARE SYSTEMS
- Publication number 20170109255
- Publication date Apr 20, 2017
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
UNIT-LEVEL FORMAL VERIFICATION FOR VEHICULAR SOFTWARE SYSTEMS
- Publication number 20170091068
- Publication date Mar 30, 2017
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
UNIT-LEVEL FORMAL VERIFICATION FOR VEHICULAR SOFTWARE SYSTEMS
- Publication number 20170091081
- Publication date Mar 30, 2017
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DIRECTING VERIFICATION TOWARDS BUG-PRONE PORTIONS
- Publication number 20150074651
- Publication date Mar 12, 2015
- International Business Machines Corporation
- HANA CHOCKLER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AVOIDING SIMILAR COUNTER-EXAMPLES IN MODEL CHECKING
- Publication number 20150074652
- Publication date Mar 12, 2015
- International Business Machines Corporation
- HANA CHOCKLER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DOMINANT-STATE-BASED COVERAGE METRIC
- Publication number 20140215445
- Publication date Jul 31, 2014
- International Business Machines Corporation
- Hana Chockler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Design verification using directives having local variables
- Publication number 20090216513
- Publication date Aug 27, 2009
- Dmitry Pidan
- G06 - COMPUTING CALCULATING COUNTING

DMITRY PIDAN

Person

Patents Grantslast 30 patents

Symbolic execution of alternative branches

Unit-level formal verification for vehicular software systems

Unit-level formal verification for vehicular software systems

Unit-level formal verification for vehicular software systems

Unit-level formal verification for vehicular software systems

Directing verification towards bug-prone portions

Dominant-state-based coverage metric

Verification using directives having local variables

Patents Applicationslast 30 patents

TECHNIQUES FOR PROVIDING CONCRETE INSTANCES IN TRAFFIC SCENARIOS BY...

SYMBOLIC EXECUTION OF ALTERNATIVE BRANCHES

UNIT-LEVEL FORMAL VERIFICATION FOR VEHICULAR SOFTWARE SYSTEMS

UNIT-LEVEL FORMAL VERIFICATION FOR VEHICULAR SOFTWARE SYSTEMS

UNIT-LEVEL FORMAL VERIFICATION FOR VEHICULAR SOFTWARE SYSTEMS

UNIT-LEVEL FORMAL VERIFICATION FOR VEHICULAR SOFTWARE SYSTEMS

DIRECTING VERIFICATION TOWARDS BUG-PRONE PORTIONS

AVOIDING SIMILAR COUNTER-EXAMPLES IN MODEL CHECKING

DOMINANT-STATE-BASED COVERAGE METRIC

Design verification using directives having local variables