Margus Veanes
18Patents
7h-index
32Co-inventors
66Inventor score
Filing activity: Feb 8, 2002 → Aug 18, 2022
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US7284235B2 | Creation of content versions using content layers | Physics | 21 | Expired |
| US7149678B2 | High level executable network abstract machine | Electricity | 18 | Expired |
| US7747985B2 | Conformance testing of multi-threaded and distributed software systems | Physics | 15 | Active |
| US7665072B2 | Generating test cases for software with complex preconditions | Physics | 10 | Active |
| US7590520B2 | Non-deterministic testing | Physics | 9 | Expired |
| US7926025B2 | Symbolic program model compositions | Physics | 8 | Active |
| US8180786B2 | Symbolic query exploration | Physics | 7 | Active |
| US7500149B2 | Generating finite state machines for software systems with asynchronous callbacks | Physics | 6 | Active |
| US7088864B2 | Generating a test suite from an abstract state machine | Physics | 5 | Expired |
| US7363202B2 | State exploration using multiple state groupings | Physics | 5 | Expired |
| US9355268B2 | Managing access by applications to perceptual information | Physics | 5 | Active |
| US7337388B2 | Tool-based iterative document management | Emerging Cross-Sectional Technologies | 4 | Expired |
| US7548911B2 | Diagnosing problems in distributed systems | Physics | 2 | Active |
| US7493544B2 | Extending test sequences to accepting states | Physics | 2 | Active |
| US8103495B2 | Feature oriented protocol modeling | Electricity | 1 | Active |
| US9946354B2 | Gesture processing using a domain-specific gesture language | Physics | 1 | Active |
| US11983223B2 | Finite automaton construction using regular expression derivatives to simulate behavior of a backtracking engine | Physics | 0 | Active |
| US8515891B2 | Symbolic finite automata | Physics | 0 | Active |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.