Margus Veanes

Person

Bellevue, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Finite automaton construction using regular expression derivatives...
- Patent number 11,983,223
- Issue date May 14, 2024
- Microsoft Technology Licensing, LLC
- Olli Ilari Saarikivi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Gesture processing using a domain-specific gesture language
- Patent number 9,946,354
- Issue date Apr 17, 2018
- Microsoft Technology Licensing, LLC
- Benjamin Livshits
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Managing access by applications to perceptual information
- Patent number 9,355,268
- Issue date May 31, 2016
- Microsoft Technology Licensing, LLC
- Loris D'Antoni
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Symbolic finite automata
- Patent number 8,515,891
- Issue date Aug 20, 2013
- Microsoft Corporation
- Margus Veanes
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Symbolic query exploration
- Patent number 8,180,786
- Issue date May 15, 2012
- Microsoft Corporation
- Margus Veanes
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Feature oriented protocol modeling
- Patent number 8,103,495
- Issue date Jan 24, 2012
- Microsoft Corporation
- Margus Veanes
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Symbolic program model compositions
- Patent number 7,926,025
- Issue date Apr 12, 2011
- Microsoft Corporation
- Colin L. Campbell
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Conformance testing of multi-threaded and distributed software systems
- Patent number 7,747,985
- Issue date Jun 29, 2010
- Microsoft Corporation
- Colin L. Campbell
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generating test cases for software with complex preconditions
- Patent number 7,665,072
- Issue date Feb 16, 2010
- Microsoft Corporation
- Nikolai Tillman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Non-deterministic testing
- Patent number 7,590,520
- Issue date Sep 15, 2009
- Microsoft Corporation
- Lev Borisovich Nachmanson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Diagnosing problems in distributed systems
- Patent number 7,548,911
- Issue date Jun 16, 2009
- Microsoft Corporation
- Siddhartha Sen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generating finite state machines for software systems with asynchro...
- Patent number 7,500,149
- Issue date Mar 3, 2009
- Microsoft Corporation
- Wolfgang Grieskamp
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Extending test sequences to accepting states
- Patent number 7,493,544
- Issue date Feb 17, 2009
- Microsoft Corporation
- Andreas Blass
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
State exploration using multiple state groupings
- Patent number 7,363,202
- Issue date Apr 22, 2008
- Microsoft Corporation
- Colin L. Campbell
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Tool-based iterative document management
- Patent number 7,337,388
- Issue date Feb 26, 2008
- Microsoft Corporation
- Michael Barnett
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Creation of content versions using content layers
- Patent number 7,284,235
- Issue date Oct 16, 2007
- Lev Borisovich Nachmanson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
High level executable network abstract machine
- Patent number 7,149,678
- Issue date Dec 12, 2006
- Microsoft Corporation
- Yuri Gurevich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generating a test suite from an abstract state machine
- Patent number 7,088,864
- Issue date Aug 8, 2006
- Microsoft Corporation
- Wolfgang Grieskamp
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
FINITE AUTOMATON CONSTRUCTION USING REGULAR EXPRESSION DERIVATIVES...
- Publication number 20240061885
- Publication date Feb 22, 2024
- Microsoft Technology Licensing, LLC
- Olli Ilari SAARIKIVI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Gesture Processing Using a Domain-Specific Gesture Language
- Publication number 20160062468
- Publication date Mar 3, 2016
- Microsoft Corporation
- Benjamin Livshits
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
String and Password Generation from Regular Expressions
- Publication number 20150371033
- Publication date Dec 24, 2015
- Microsoft Corporation
- Margus Veanes
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Minimizing Symbolic Finite Automata
- Publication number 20150371140
- Publication date Dec 24, 2015
- Microsoft Technology Licensing, LLC
- Margus Veanes
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Managing Access by Applications to Perceptual Information
- Publication number 20150071555
- Publication date Mar 12, 2015
- Microsoft Corporation
- Loris D'Antoni
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STRING OPERATIONS WITH TRANSDUCERS
- Publication number 20120151592
- Publication date Jun 14, 2012
- Microsoft Corporation
- Margus Veanes
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYMBOLIC FINITE AUTOMATA
- Publication number 20120130932
- Publication date May 24, 2012
- Microsoft Corporation
- Margus Veanes
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Symbolic Query Exploration
- Publication number 20110055237
- Publication date Mar 3, 2011
- Microsoft Corporation
- Margus Veanes
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FEATURE ORIENTED PROTOCOL MODELING
- Publication number 20090043560
- Publication date Feb 12, 2009
- Microsoft Corporation
- Margus Veanes
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
Symbolic program model compositions
- Publication number 20070168927
- Publication date Jul 19, 2007
- Microsoft Corporation
- Colin L. Campbell
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Diagnosing problems in distributed systems
- Publication number 20060282419
- Publication date Dec 14, 2006
- Microsoft Corporation
- Siddhartha Sen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Generating test cases for software with complex preconditions
- Publication number 20060242466
- Publication date Oct 26, 2006
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Generating finite state machines for software systems with asynchro...
- Publication number 20060224924
- Publication date Oct 5, 2006
- Microsoft Corporation
- Wolfgang Grieskamp
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Conformance testing of multi-threaded and distributed software systems
- Publication number 20060212759
- Publication date Sep 21, 2006
- Microsoft Corporation
- Colin L. Campbell
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Extending test sequences to accepting states
- Publication number 20060179383
- Publication date Aug 10, 2006
- Microsoft Corporation
- Andreas Blass
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
State exploration using multiple state groupings
- Publication number 20060161404
- Publication date Jul 20, 2006
- Microsoft Corporation
- Colin L. Campbell
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Non-deterministic testing
- Publication number 20050160404
- Publication date Jul 21, 2005
- Microsoft Corporation
- Lev Borisovich Nachmanson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Content layers
- Publication number 20050086633
- Publication date Apr 21, 2005
- Microsoft Corporation
- Lev Borisovich Nachmanson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Tool-based iterative document management
- Publication number 20040133858
- Publication date Jul 8, 2004
- Michael Barnett
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
High level executable network abstract machine
- Publication number 20030191797
- Publication date Oct 9, 2003
- Microsoft Corporation
- Yuri Gurevich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Generating a test suite from an abstract state machine
- Publication number 20030159087
- Publication date Aug 21, 2003
- Microsoft Corporation
- Wolfgang Grieskamp
- G06 - COMPUTING CALCULATING COUNTING

Margus Veanes

Person

Patents Grantslast 30 patents

Finite automaton construction using regular expression derivatives...

Gesture processing using a domain-specific gesture language

Managing access by applications to perceptual information

Symbolic finite automata

Symbolic query exploration

Feature oriented protocol modeling

Symbolic program model compositions

Conformance testing of multi-threaded and distributed software systems

Generating test cases for software with complex preconditions

Non-deterministic testing

Diagnosing problems in distributed systems

Generating finite state machines for software systems with asynchro...

Extending test sequences to accepting states

State exploration using multiple state groupings

Tool-based iterative document management

Creation of content versions using content layers

High level executable network abstract machine

Generating a test suite from an abstract state machine

Patents Applicationslast 30 patents

FINITE AUTOMATON CONSTRUCTION USING REGULAR EXPRESSION DERIVATIVES...

Gesture Processing Using a Domain-Specific Gesture Language

String and Password Generation from Regular Expressions

Minimizing Symbolic Finite Automata

Managing Access by Applications to Perceptual Information

STRING OPERATIONS WITH TRANSDUCERS

SYMBOLIC FINITE AUTOMATA

Symbolic Query Exploration

FEATURE ORIENTED PROTOCOL MODELING

Symbolic program model compositions

Diagnosing problems in distributed systems

Generating test cases for software with complex preconditions

Generating finite state machines for software systems with asynchro...

Conformance testing of multi-threaded and distributed software systems

Extending test sequences to accepting states

State exploration using multiple state groupings

Non-deterministic testing

Content layers

Tool-based iterative document management

High level executable network abstract machine

Generating a test suite from an abstract state machine