Membership
Tour
Register
Log in
Laurent Fournier
Follow
Person
Givat Ela, IL
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Mutations on input for test generation
Patent number
8,938,646
Issue date
Jan 20, 2015
International Business Machines Corporation
Laurent Fournier
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Using reverse time for coverage analysis
Patent number
8,756,574
Issue date
Jun 17, 2014
International Business Machines Corporation
Avi Ziv
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Verification of speculative execution
Patent number
8,589,892
Issue date
Nov 19, 2013
International Business Machines Corporation
Laurent Fournier
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Automatic generation of test suite for processor architecture compl...
Patent number
8,280,713
Issue date
Oct 2, 2012
International Business Machines Corporation
Allon Adir
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Hole query for functional coverage analysis
Patent number
8,019,586
Issue date
Sep 13, 2011
International Business Machines Corporation
Laurent Fournier
G01 - MEASURING TESTING
Information
Patent Grant
Systematic compliance checking of a process
Patent number
7,673,261
Issue date
Mar 2, 2010
International Business Machines Corporation
Alion Adir
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Hole query for functional coverage analysis
Patent number
7,428,715
Issue date
Sep 23, 2008
International Business Machines Corporation
Laurent Fournier
G01 - MEASURING TESTING
Information
Patent Grant
Dynamic test program generator for VLIW simulation
Patent number
7,085,964
Issue date
Aug 1, 2006
International Business Machines Corporation
Laurent Fournier
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Tool for implementing Floating-Point related applications using cus...
Patent number
7,058,926
Issue date
Jun 6, 2006
International Business Machines Corporation
Laurent Fournier
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Automatic verification of external interrupts
Patent number
5,592,674
Issue date
Jan 7, 1997
International Business Machines Corporation
Alon Gluska
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
Mutations on input for test generation
Publication number
20140115396
Publication date
Apr 24, 2014
Laurent Fournier
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
USING REVERSE TIME FOR COVERAGE ANALYSIS
Publication number
20130007528
Publication date
Jan 3, 2013
International Business Machines
Avi Ziv
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
HOLE QUERY FOR FUNCTIONAL COVERAGE ANALYSIS
Publication number
20100042385
Publication date
Feb 18, 2010
Laurent Fournier
G01 - MEASURING TESTING
Information
Patent Application
Automatic Generation of Test Suite for Processor Architecture Compl...
Publication number
20080255822
Publication date
Oct 16, 2008
Allon Adir
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Systematic Compliance Checking of a Process
Publication number
20080189094
Publication date
Aug 7, 2008
Allon Adir
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Hole query for functional coverage analysis
Publication number
20070168727
Publication date
Jul 19, 2007
International Business Machines Corporation
Laurent Fournier
G01 - MEASURING TESTING
Information
Patent Application
Tool for implementing floating-point related applications using cus...
Publication number
20030033591
Publication date
Feb 13, 2003
International Business Machines Corporation
Laurent Fournier
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Dynamic test program generator for VLIW simulation
Publication number
20020116694
Publication date
Aug 22, 2002
International Business Machines Corporation
Laurent Fournier
G01 - MEASURING TESTING