Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Ankush Desai

Systematic Testing of Asynchronous Reactive Systems

2015English

Related publications

Asynchronous Testing of Synchronous Components in GALS Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Towards Systematic Testing of Distributed Real-Time Systems

English

Executable Interface Specifications for Testing Asynchronous Creol Components

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Asynchronous Programming, Analysis and Testing With State Machines

2015English

Active and Reactive Power Regulation in Doubly Fed Asynchronous Generator

ITM Web of Conferences
2018English

On the Capacity of Asynchronous CDMA Systems

Conference Record of the Asilomar Conference on Signals, Systems and Computers
Computer NetworksSignal ProcessingCommunications
2007English

On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Comparing Transition Systems With Independence and Asynchronous Transition Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

Reactive Clock Synchronization for Wireless Sensor Networks With Asynchronous Wakeup Scheduling

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy