Issued Patents All Time
Showing 1–15 of 15 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12375946 | Configuration of a communications network | Efthymios Stathakis, Arthur Gusmao, Yu Wang, Martha Vlachou-Konchylaki, Joerg Niemoeller | 2025-07-29 |
| 12323432 | In a distributed computing system with untrusted entities method and apparatus for enabling coordinated executions of actions | Ramamurthy Badrinath, Sandhya Baskaran, Perepu SATHEESH KUMAR, Anshu Shukla | 2025-06-03 |
| 12190153 | System and method for efficient execution and monitoring of machine-to-machine device management tasks | Senthamiz Selvi Arumugam, Chakri Padala | 2025-01-07 |
| 11960926 | Automated plan synthesis and action dispatch | Senthamiz Selvi Arumugam, Chakri Padala | 2024-04-16 |
| 11962475 | Estimating properties of units using system state graph models | Martha Vlachou-Konchylaki, Efthymios Stathakis, Arthur Gusmao, Jörg NIEMÖLLER, Yu Wang | 2024-04-16 |
| 11902859 | Monitoring objects capable of wireless communications | Mahesh Babu JAYARAMAN | 2024-02-13 |
| 11722383 | Method for mitigating disruption during maintenance of an edge gateway node | Sambit Nayak, Chakri Padala | 2023-08-08 |
| 11671335 | First node, second node, and methods performed thereby for managing a network slice instance | Nanjangud C. Narendra, Smita Behera, Sai Krishnan Chandrasekar, Venkata Simhadri Nagender Yasalapu | 2023-06-06 |
| 11595784 | Monitoring objects capable of wireless communications | Mahesh Babu JAYARAMAN | 2023-02-28 |
| 11477612 | Method and location service component for providing location of device | Ramamurthy Badrinath | 2022-10-18 |
| 11381644 | Devices and methods for QoS determination of IoT-based applications | Salem Abid Ahmed, Rana Pratap Sircar, Ramani Venkatakrishnan | 2022-07-05 |
| 11050838 | Data from a source device to a data requester | Ramamurthy Badrinath, Sandhya Baskaran, Sambit Nayak | 2021-06-29 |
| 8484009 | Timing analysis using formal methods | Rajeev Ariyattu Chandrasekharan, Manoj G. Dixit, Ramesh Sethu, Devesh B Chokshi | 2013-07-09 |
| 8453119 | Online formal verification of executable models | Prasanna Ganesan, Ramesh Sethu | 2013-05-28 |
| 8412668 | Offline formal verification of executable models | — | 2013-04-02 |