- Pratik Roy, Muhammad Towhidi, Firoz Ahmed, Alexandre J. Bourgault, Shruthi Mukandan, Aiswarya Balamurali, Narayan C. Kar:
A Comprehensive Review of Thermal Design and Analysis of Traction Motors. ISIE 2019: 203-208 - Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali:
Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding. PODS 2019: 335-352 - Jeethu V. Devasia, Priya Chandran, Anjana Soman, Aiswarya Elezabeth Mathew, Jaya Jharwal:
Graph sparsification with parallelization to optimize the identification of causal genes and dysregulated pathways. SAC 2019: 747-753 - Lucy Ellen Lwakatare, Aiswarya Raj, Jan Bosch, Helena Holmström Olsson, Ivica Crnkovic:
A Taxonomy of Software Engineering Challenges for Machine Learning Systems: An Empirical Investigation. XP 2019: 227-243 - 2018
- C. Aiswarya, Benedikt Bollig, Paul Gastin:
An automata-theoretic approach to the verification of distributed algorithms. Inf. Comput. 259(3): 305-327 (2018) - Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine:
Complexity of Reachability for Data-Aware Dynamic Systems. ACSD 2018: 11-20 - Jayeeta Saha, Arnab Kumar Saha, Aiswarya Chatterjee, Suyash Agrawal, Ankita Saha, Avirup Kar, Himadri Nath Saha:
Advanced IOT based combined remote health monitoring, home automation and alarm system. CCWC 2018: 602-606 - Arnab Kumar Saha, Sachet Sircar, Priyasha Chatterjee, Souvik Dutta, Anwesha Mitra, Aiswarya Chatterjee, Soummyo Priyo Chattopadhyay, Himadri Nath Saha:
A raspberry Pi controlled cloud based air and sound pollution monitoring system with temperature and humidity sensing. CCWC 2018: 607-611 - Rahul Sharma, Hitesh Sarda, Tanisha Bhattacharjee, Aiswarya Roy, Prithwiswar Bhattacharya, Sugata Chowdhury, Shankhadip Mallick, Tapapriya Sengupta, Jayati Banerjee, Priyodarshini Roy, Siddhartha Sarker, Subhasree Chakraborty, Sauvik Bal, Rupayan Das, Somen Nayak:
USB level data security using cryptographic approach. CCWC 2018: 861-866 - S. Deepak, R. Aiswarya, C. Aparna, Jyothisha J. Nair:
Optimization of Gaussian Membership Functions using Unscented Kalman Filter. ICACCI 2018: 957-961 - 2017
- Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig:
Data Multi-Pushdown Automata. CONCUR 2017: 38:1-38:17 - R. C. Jisha, Aiswarya Jyothindranath, L. Sajitha Kumary:
Iot based school bus tracking and arrival time prediction. ICACCI 2017: 509-514 - Aiswarya Balamurali, Guodong Feng, Chunyan Lai, Voiko Loukanov, Narayan C. Kar:
Investigation into variation of permanent magnet synchronous motor-drive losses for system level efficiency improvement. IECON 2017: 2014-2019 - 2016
- Chaitanya Medini, Arathi G. Rajendran, Aiswarya Jijibai, Bipin Nair, Shyam Diwakar:
Computational characterization of cerebellum granule neuron responses to auditory and visual inputs. ICACCI 2016: 22-27 - Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig:
Data Communicating Processes with Unreliable Channels. LICS 2016: 166-175 - Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine:
Recency-Bounded Verification of Dynamic Database-Driven Systems. PODS 2016: 195-210 - Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine:
Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended Version). CoRR abs/1604.03413 (2016) - C. Aiswarya, Paul Gastin, Prakash Saivasan:
Nested Words for Order-2 Pushdown Systems. CoRR abs/1609.06290 (2016) - 2015
- C. Aiswarya, Benedikt Bollig, Paul Gastin:
An Automata-Theoretic Approach to the Verification of Distributed Algorithms. CONCUR 2015: 340-353 - C. Aiswarya:
Model Checking Dynamic Distributed Systems. NETYS 2015: 48-61 - C. Aiswarya, Benedikt Bollig, Paul Gastin:
An Automata-Theoretic Approach to the Verification of Distributed Algorithms. CoRR abs/1504.06534 (2015) - 2014
- Aiswarya Cyriac:
Verification of communicating recursive programs via split-width. (Vérification de programmes récursifs et communicants via split-width). École normale supérieure de Cachan, France, 2014 - Benedikt Bollig, C. Aiswarya, Paul Gastin, Marc Zeitoun:
Temporal logics for concurrent recursive programs: Satisfiability and model checking. J. Appl. Log. 12(4): 395-416 (2014) - P. Shanmugaapriyan, H. Chitra, E. Aiswarya, Vidhya Balasubramanian, S. Ashok Kumar:
A Pragmatic Approach for Effective Indoor Localization Using IEEE 802.11n. ADHOC-NOW Workshops 2014: 203-216 - C. Aiswarya, Paul Gastin, K. Narayan Kumar:
Verifying Communicating Multi-pushdown Systems via Split-Width. ATVA 2014: 1-17 - C. Aiswarya, Paul Gastin, K. Narayan Kumar:
Controllers for the Verification of Communicating Multi-pushdown Systems. CONCUR 2014: 297-311 - C. Aiswarya, Paul Gastin:
Reasoning About Distributed Systems: WYSIWYG (Invited Talk). FSTTCS 2014: 11-30 - 2013
- Sepehr Jalali, Paul J. Seekings, Cheston Tan, Aiswarya Ratheesh, Joo-Hwee Lim, Elizabeth A. Taylor:
The use of optical and sonar images in the human and dolphin brain for image classification. IJCNN 2013: 1-8 - Benedikt Bollig, Aiswarya Cyriac, Loïc Hélouët, Ahmet Kara, Thomas Schwentick:
Dynamic Communicating Automata and Branching High-Level MSCs. LATA 2013: 177-189 - 2012
- K. R. Sarath Chandran, S. Aiswarya, R. Kavitha, T. Suganthi Krishnavathi:
Agent based memory management framework for a multi processor environment. CCSEIT 2012: 294-300