logo

For the Inventor, By the Inventor

Nanjing, China

Linzhang Wang

This inventor holds 7 USPTO granted patents. Top assignees: Nanjing University, Other. Active years: 2017-2023.

IDiyas Innovation Intelligence. (2026). Inventor Profile: Linzhang Wang. Retrieved from https://idiyas.com/inventor/linzhang-wang

Data source: USPTO (United States Patent and Trademark Office) public patent records. Weekly synchronization. How IDiyas builds this profile

USPTO Granted Patents = 7

% Patents Active = 100.0

Average Co-Inventor Count = 4.8

ph-index = 2

Forward Citations = 10(Granted Patents)


Location History:

  • Nanjing, CN (2018 - 2020)
  • Jiangsu, CN (2017 - 2023)

Company Filing History:

goldMedal6 out of 277 
 
Nanjing University
 patents
silverMedal1 out of 834,453 
Other
 patents

Years Active: 2017-2023

Loading Chart...
7 patents (USPTO):Explore Patents
1. 11853721 - Interrupt-driven system verification method based on interrupt sequence diagram (2023-12-26),
2. 11533336 - Security verification method and apparatus for attacked smart home Internet of Things system (2022-12-20),
3. 10719430 - Sketch-guided GUI test generation for mobile applications (2020-07-21),
4. 10664601 - Method and system automatic buffer overflow warning inspection and bug repair (2020-05-26),
5. 10185657 - Method and system for optimizing deterministic garbage collection in NAND flash storage systems (2019-01-22),
6. 9971681 - Lazy real time garbage collection method (2018-05-15),
7. 9594543 - Activity diagram model-based system behavior simulation method (2017-03-14),

Title: Innovations and Contributions of Linzhang Wang

Introduction

Linzhang Wang is a prominent inventor based in Nanjing, China. He has made significant contributions to the field of technology, particularly in system verification methods and security for smart home Internet of Things (IoT) systems. With a total of seven patents to his name, Wang's work reflects a deep understanding of complex systems and their interactions.

Latest Patents

One of Wang's latest patents is an "Interrupt-driven system verification method based on interrupt sequence diagram." This method involves establishing an interrupt-driven system model based on an interrupt sequence diagram. It includes steps such as dividing interaction fragments into basic and composite interaction fragments, converting them into automaton models, and verifying the model with an automaton verification tool.

Another notable patent is the "Security verification method and apparatus for attacked smart home Internet of Things system." This invention provides a method and apparatus for security verification of a smart home IoT system under attack. It utilizes a finite state machine based on device description information and IFTTT rules, along with a formal specification to perform correctness verification. The method identifies smart home devices and associated IFTTT rules that may compromise system security.

Career Highlights

Linzhang Wang has worked at Nanjing University, where he has contributed to various research projects and innovations. His academic background and professional experience have equipped him with the skills necessary to develop advanced verification methods and security solutions.

Collaborations

Wang has collaborated with notable colleagues such as Xuandong Li and Tian Zhang. Their joint efforts have furthered research and development in the fields of system verification and IoT security.

Conclusion

Linzhang Wang's innovative patents and contributions to technology demonstrate his expertise in system verification and security for smart home IoT systems. His work continues to influence advancements in these critical areas.

Profile summary based on public USPTO records.
Data Sources: USPTO Patent Grant XML, Patent Center, EPO & CIPO • Normalized by IDiyas Innovation Graph. Methodology & provenance architecturePlease report any incorrect information to [email protected]
Loading…