S. Ramesh

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.


An Improved Multi Objective Mayfly Algorithm for Solving Optimal Power Flow Problem Considering Different Loading Conditions.
J. Circuits Syst. Comput., 2022

Investigations on Off-Grid Hybrid Renewable Energy Microgrid for Sustainable Development Growth.
J. Circuits Syst. Comput., 2022

Pattern Recognition of Modulation Signal Classification Using Deep Neural Networks.
Comput. Syst. Sci. Eng., 2022

Applying Declarative Analysis to Software Product Line Models: An Industrial Study.
Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021

De-noising of images from salt and pepper noise using hybrid filter, fuzzy logic noise detector and genetic optimization algorithm (HFGOA).
Multim. Tools Appl., 2020

A novel subspace method for precise carrier frequency offset estimation in multicarrier modulation scheme under multiuser environment.
Int. J. Commun. Syst., 2020

Fault model-driven testing from FSM with symbolic inputs.
Softw. Qual. J., 2019

Design and Implementation of Three-Winding Coupled Inductor and Switched Capacitor-Based DC-DC Converter Fed PV-TDVR.
J. Circuits Syst. Comput., 2019

Using Imprecise Test Oracles Modelled by FSM.
Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Automated Deformation Detection System for Tubes and Rods in Manufacturing Industries Using Quasi Digital Sensors.
Proceedings of the 9th IEEE International Conference on Control System, 2019

LCP Based Planar High Q Embedded BandPass Filter for Wireless Applications.
J. Mobile Multimedia, 2018

Grid integration of renewable energy sources (RES) for power quality improvement using adaptive fuzzy logic controller based series hybrid active power filter (SHAPF).
J. Intell. Fuzzy Syst., 2018

Experimental Validation of Impedance Source Network Based Active Power Filter for Interconnection of PV System into Grid.
J. Circuits Syst. Comput., 2018

Enhanced brain image retrieval using carrier frequency offset compensated orthogonal frequency division multiplexing for telemedicine applications.
Int. J. Imaging Syst. Technol., 2018

Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

Modeling AUTOSAR Implementations in Simulink.
Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018

Cloud-assisted control of ground vehicles using adaptive computation offloading techniques.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

A Software-Based Heuristic Clustered (SBHC) Architecture for the Performance Improvement in MANET.
Wirel. Pers. Commun., 2017

Situation-Based Autonomic Management of Automobile Cruise Control Systems.
Proceedings of the 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, 2017

Multiple Mutation Testing from Finite State Machines with Symbolic Inputs.
Proceedings of the Testing Software and Systems, 2017

Management of QoS-oriented Adaptation in Automobile Cruise Control Systems.
Proceedings of the 2017 IEEE International Conference on Autonomic Computing, 2017

Specification, Verification and Design of Evolving Automotive Software: Invited.
Proceedings of the 54th Annual Design Automation Conference, 2017

Formal Verification of Fault-Tolerant Startup Algorithms for Time-Triggered Architectures: A Survey.
Proc. IEEE, 2016

Technologies for Safe and Intelligent Transportation Systems.
Proceedings of the 29th International Conference on VLSI Design and 15th International Conference on Embedded Systems, 2016

Trustworthy Cyber Physical Systems.
Proceedings of the 29th International Conference on VLSI Design and 15th International Conference on Embedded Systems, 2016

Test Generation by Constraint Solving and FSM Mutant Killing.
Proceedings of the Testing Software and Systems, 2016

SymTest: A Framework for Symbolic Testing of Embedded Software.
Proceedings of the 9th India Software Engineering Conference, 2016

Multiple Mutation Testing from FSM.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems.
Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

Planar High Gain Dielectric Loaded Exponentially Tapered Slot Antenna for Millimeter Wave Wireless Communications.
Wirel. Pers. Commun., 2015

Guest Editorial Special Section on Automotive Embedded Systems and Software.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015

Automated Planning as an Early Verification Tool for Distributed Control.
J. Autom. Reason., 2015

Building an interactive test development environment for cyclic executive systems.
Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

Migrating Automotive Product Lines: A Case Study.
Proceedings of the Theory and Practice of Model Transformations, 2015

A framework for mining hybrid automata from input/output traces.
Proceedings of the 2015 International Conference on Embedded Software, 2015

Model-based testing of automotive software: some challenges and solutions.
Proceedings of the 52nd Annual Design Automation Conference, 2015

Compositional modeling and analysis of automotive feature product lines.
Proceedings of the 52nd Annual Design Automation Conference, 2015

Reachability in hierarchical machines.
Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

Model-based engineering of cyber-physical software systems for smart worlds: A case study of automobile control systems.
Proceedings of the International Conference on Advances in Computing, 2013

Model-based development and verification of control software for electric vehicles.
Proceedings of the 50th Annual Design Automation Conference 2013, 2013

A dynamic assertion-based verification platform for validation of UML designs.
ACM SIGSOFT Softw. Eng. Notes, 2012

Planning with Action Prioritization and New Benchmarks for Classical Planning.
Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012

Scenario-Based Specification of Automotive Requirements With Quantitative Constraints and Synthesis of SL/SF Monitors.
IEEE Embed. Syst. Lett., 2011

Intelligent Green IT Management for Enterprises through System Profiling.
Proceedings of the 2011 IEEE/ACM International Conference on Green Computing and Communications (GreenCom), 2011

CGLive - A Real Time Power Monitoring Solution for Enterprises.
Proceedings of the 2011 IEEE/ACM International Conference on Green Computing and Communications (GreenCom), 2011

Rigorous model-based design & verification flow for in-vehicle software.
Proceedings of the 48th Design Automation Conference, 2011

Radio channel characteristics in an indoor corridor environment at 60 GHz for wireless networks.
Proceedings of the Fifth IEEE International Conference on Advanced Telecommunication Systems and Networks, 2011

Model-based analysis, synthesis and testing of automotive hardware/software architectures.
Proceedings of the 10th International conference on Embedded software, 2010

Provably correct on-chip communication: A formal approach to automatic protocol converter synthesis.
ACM Trans. Design Autom. Electr. Syst., 2009

Experimental study on machining of titanium alloy (Ti64) by CVD and PVD coated carbide inserts.
Int. J. Manuf. Technol. Manag., 2009

Interface synthesis and protocol conversion.
Formal Aspects Comput., 2008

Programming and Performance Modelling of Automotive ECU Networks.
Proceedings of the 21st International Conference on VLSI Design (VLSI Design 2008), 2008

A Formal Approach To The Protocol Converter Problem.
Proceedings of the Design, Automation and Test in Europe, 2008

A simulation condition for correct asynchronous implementation of synchronous design.
Proceedings of the American Control Conference, 2008

Synchronous Paradigm in Embedded Systems.
EURASIP J. Embed. Syst., 2007

A Formal Framework for the Correct-by-construction and Verification of Distributed Time Triggered Systems.
Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

Best Effort Session-Level Congestion Control.
Proceedings of the IEEE International Conference on Network Protocols, 2007

A Test Bed for Web Services Protocols.
Proceedings of the International Conference on Internet and Web Applications and Services (ICIW 2007), 2007

Existential abstractions for distributed reactive systems via syntactic transformations.
Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

CAL Student Coaching Environment and Virtual Reality in Mechanical Engineering.
Int. J. Inf. Commun. Technol. Educ., 2006

Power aware scalable multicast routing protocol for MANETs.
Int. J. Commun. Syst., 2006

Synthesis of Synchronous Interfaces.
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

Automated Synthesis of Assertion Monitors using Visual Specifications.
Proceedings of the 2005 Design, 2005

Model Checking of Statechart Models: Survey and Research Directions
CoRR, 2004

A Toolset for Modelling and Verification of GALS Systems.
Proceedings of the Computer Aided Verification, 16th International Conference, 2004

Functional Verification of System on Chips-Practices, Issues and Challenges (Tutorial Abstract).
Proceedings of the 7th Asia and South Pacific Design Automation Conference (ASP-DAC 2002), 2002

Languages for Reactive Specifications: Synchrony Vs Asynchrony.
Int. J. Found. Comput. Sci., 2000

Efficient Translation of Statecharts to Hardware Circuits.
Proceedings of the 12th International Conference on VLSI Design (VLSI Design 1999), 1999

Distributed Shared Memory on IBM SP2.
Proceedings of the 1997 International Conference on Parallel and Distributed Systems (ICPADS '97), 1997

Semantics and Verification of Hierarchical CRP Programs.
Proceedings of the Hybrid Systems II, 1994

A Methodology for Developing Distributed Programs.
IEEE Trans. Software Eng., 1987