Machine Learning and Signal Processing Based Analysis of sEMG Signals for Daily Action Classification.
IEEE Access, 2022
Blockchain Based Data and Energy Trading in Internet of Electric Vehicles.
IEEE Access, 2021
A survey on the use of access permission-based specifications for program verification.
J. Syst. Softw., 2020
Physical Action Categorization using Signal Analysis and Machine Learning.
CoRR, 2020
Towards Generating Thread-Safe Classes Automatically.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020
Efficient Data Trading and Storage in Internet of Vehicles using Consortium Blockchain.
Proceedings of the 16th International Wireless Communications and Mobile Computing Conference, 2020
Automatic Inference of Symbolic Permissions for Single-threaded Java Programs.
PhD thesis, 2019
Sip4J: Statically inferring permission-based specifications for sequential Java programs.
CoRR, 2019
Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019
Simulation, modeling and analysis of master node election algorithm based on signal strength for VANETs through Colored Petri nets.
Neural Comput. Appl., 2018
Voice morphing: An illusion or reality.
Proceedings of the International Conference on Advancements in Computational Sciences, 2018
Component Based Architecture for the Control of Crossing Regions in Railway Networks.
Proceedings of the 16th IEEE International Conference on Machine Learning and Applications, 2017
Extracting Permission-Based Specifications from a Sequential Java Program.
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016
Modeling and analysis of departure routine in air traffic control based on Petri nets.
Neural Comput. Appl., 2014