S. Ramesh

Publication Activity (10 Years)

Years Active: 1987-2023
Publications (10 Years): 51

Top Topics

Top Venues

J. Circuits Syst. Comput.

Comput. Electr. Eng.

Publications

Unmesh D. Bordoloi, Samarjit Chakraborty, Markus Jochim, Prachi Joshi, Arvind Raghuraman, S. Ramesh
Autonomy-driven Emerging Directions in Software-defined Vehicles. DATE (2023)
U. Arul, R. Gnanajeyaraman, A. Selvakumar, S. Ramesh, Thirumalaisamy Manikandan, G. Michael
Integration of IoT and edge cloud computing for smart microgrid energy management in VANET using machine learning. Comput. Electr. Eng. 110 (2023)
S. Rachidi, S. Ramesh, L. Breuil, Z. Tao, Devin Verreck, G. L. Donadio, Antonio Arreghini, G. Van den Bosch, Maarten Rosmeulen
Enabling 3D NAND Trench Cells for Scaled Flash Memories. IMW (2023)
A. Selvakumar, S. Ramesh, Thirumalaisamy Manikandan, G. Michael, U. Arul, R. Gnanajeyaraman
Microgrid based VANET monitoring and energy management in 5G networks by reinforcement deep learning techniques. Comput. Electr. Eng. 111 (Part A) (2023)
K. Vijaya Bhaskar, S. Ramesh, K. Karunanithi, S. P. Raja
Multi-Objective Optimal Power Flow Solutions Using Improved Multi-Objective Mayfly Algorithm (IMOMA). J. Circuits Syst. Comput. 32 (12) (2023)
Laurent Breuil, Mihaela Popovici, J. Stiers, Antonio Arreghini, S. Ramesh, G. Van den Bosch, Jan Van Houdt, Maarten Rosmeulen
Optimization of Retention in Ferroelectricity Boosted Gate Stacks for 3D NAND. IMW (2023)
S. Ramesh, Thirumalaisamy Manikandan, R. Gnanajeyaraman, U. Arul, G. Michael, A. Selvakumar
Vehicular network energy storage system with renewable analysis using deep learning architectures. Comput. Electr. Eng. 110 (2023)
K. Karunanithi, S. P. Raja, S. Ramesh, K. Karthikumar, P. Chandrasekar, K. Aruna Rani
Investigations on Off-Grid Hybrid Renewable Energy Microgrid for Sustainable Development Growth. J. Circuits Syst. Comput. 31 (6) (2022)
S. Ramesh, K. Vijaya Bhaskar, K. Karunanithi, M. Ettappan, P. Chandrasekar, S. P. Raja
An Improved Multi Objective Mayfly Algorithm for Solving Optimal Power Flow Problem Considering Different Loading Conditions. J. Circuits Syst. Comput. 31 (10) (2022)
D. Venugopal, V. Mohan, S. Ramesh, S. Janupriya, Sangsoon Lim, Seifedine Nimer Kadry
Pattern Recognition of Modulation Signal Classification Using Deep Neural Networks. Comput. Syst. Sci. Eng. 43 (2) (2022)
L. Breuil, L. Nyns, S. Rachidi, K. Banerjee, Antonio Arreghini, J. Bastos, S. Ramesh, G. Van den Bosch, Maarten Rosmeulen
High-K incorporated in a SiON tunnel layer for 3D NAND programming voltage reduction. IMW (2022)
Ramy Shahin, Robert Hackman, Rafael Toledo, S. Ramesh, Joanne M. Atlee, Marsha Chechik
Applying Declarative Analysis to Software Product Line Models: An Industrial Study. MoDELS (2021)
K. Karthikeyan, S. Ramesh, Namaskaram Kirubakaran, P. Uma Maheswari, R. Arun Prasath, M. Muthukumar
Advanced resilient data consigning mechanism for mobile adhoc networks. J. Ambient Intell. Humaniz. Comput. 12 (3) (2021)
S. Chitra, N. Kumaratharan, S. Ramesh
A novel subspace method for precise carrier frequency offset estimation in multicarrier modulation scheme under multiuser environment. Int. J. Commun. Syst. 33 (17) (2020)
M. Ettappan, V. Vimala, S. Ramesh, V. Thiruppathy Kesavan
Optimal reactive power dispatch for real power loss minimization and voltage stability enhancement using Artificial Bee Colony Algorithm. Microprocess. Microsystems 76 (2020)
Sofia Ananieva, Sandra Greiner, Thomas Kühn, Jacob Krüger, Lukas Linsbauer, Sten Grüner, Timo Kehrer, Heiko Klare, Anne Koziolek, Henrik Lönn, Sebastian Krieter, Christoph Seidl, S. Ramesh, Ralf H. Reussner, Bernhard Westfechtel
A conceptual model for unifying variability in space and time. SPLC (A) (2020)
A. Senthil Selvi, K. Pradeep Mohan Kumar, S. Dhanasekeran, P. Uma Maheswari, S. Ramesh, S. Senthil Pandi
De-noising of images from salt and pepper noise using hybrid filter, fuzzy logic noise detector and genetic optimization algorithm (HFGOA). Multim. Tools Appl. 79 (5-6) (2020)
Karthik Pandaram, V. Manikandan, S. Ramesh, M. Sivaramakrishna
Automated Deformation Detection System for Tubes and Rods in Manufacturing Industries Using Quasi Digital Sensors. ICCSCE (2019)
Omer Nguena Timo, Alexandre Petrenko, S. Ramesh
Fault model-driven testing from FSM with symbolic inputs. Softw. Qual. J. 27 (2) (2019)
M. Kumar, S. Ramesh
Design and Implementation of Three-Winding Coupled Inductor and Switched Capacitor-Based DC-DC Converter Fed PV-TDVR. J. Circuits Syst. Comput. 28 (9) (2019)
Sofia Ananieva, Timo Kehrer, Heiko Klare, Anne Koziolek, Henrik Lönn, S. Ramesh, Andreas Burger, Gabriele Taentzer, Bernhard Westfechtel
Towards a conceptual model for unifying variability in space and time. SPLC (B) (2019)
Omer Nguena Timo, Alexandre Petrenko, S. Ramesh
Using Imprecise Test Oracles Modelled by FSM. ICST Workshops (2019)
Joseph D'Ambrosio, Arun Adiththan, Edwin Ordoukhanian, Prakash Peranandam, S. Ramesh, Azad M. Madni, Padma Sundaram
An MBSE Approach for Development of Resilient Automated Automotive Systems. Syst. 7 (1) (2019)
Jian Chen, Manar H. Alalfi, Thomas R. Dean, S. Ramesh
Modeling AUTOSAR Implementations in Simulink. ECMFA (2018)
Omer Nguena-Timo, Alexandre Petrenko, S. Ramesh
Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving. ICTAC (2018)
P. Jamuna, S. Ramesh
Experimental Validation of Impedance Source Network Based Active Power Filter for Interconnection of PV System into Grid. J. Circuits Syst. Comput. 27 (14) (2018)
C. Pazhanimuthu, S. Ramesh
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. 35 (1) (2018)
Arun Adiththan, S. Ramesh, Soheil Samii
Cloud-assisted control of ground vehicles using adaptive computation offloading techniques. DATE (2018)
S. Chitra, N. Kumaratharan, S. Ramesh
Enhanced brain image retrieval using carrier frequency offset compensated orthogonal frequency division multiplexing for telemedicine applications. Int. J. Imaging Syst. Technol. 28 (3) (2018)
V. Satheesh Kumar, S. Ramesh
LCP Based Planar High Q Embedded BandPass Filter for Wireless Applications. J. Mobile Multimedia 14 (3) (2018)
S. Ramesh, Birgit Vogel-Heuser, Wanli Chang, Debayan Roy, Licong Zhang, Samarjit Chakraborty
Specification, Verification and Design of Evolving Automotive Software: Invited. DAC (2017)
Omer Nguena-Timo, Alexandre Petrenko, S. Ramesh
Multiple Mutation Testing from Finite State Machines with Symbolic Inputs. ICTSS (2017)
Arun Adiththan, Kaliappa Ravindran, S. Ramesh
Situation-Based Autonomic Management of Automobile Cruise Control Systems. FAS*W@SASO/ICCAC (2017)
S. Ramesh, S. Smys
A Software-Based Heuristic Clustered (SBHC) Architecture for the Performance Improvement in MANET. Wirel. Pers. Commun. 97 (4) (2017)
Arun Adiththan, Kaliappa Ravindran, S. Ramesh
Management of QoS-oriented Adaptation in Automobile Cruise Control Systems. ICAC (2017)
Nadine Collaert, AliReza Alian, H. Arimura, Geert Boccardi, Geert Eneman, Jacopo Franco, Tsvetan Ivanov, Dennis Lin, Jérôme Mitard, S. Ramesh, R. Rooyackers, Marc Schaekers, A. Sibaya-Hernandez, S. Sioncke, Quentin Smets, Abhitosh Vais, A. Vandooren, Anabela Veloso, Anne S. Verhulst, D. Verreck, Niamh Waldron, Amey Walke, Liesbeth Witters, H. Yu, X. Zhou, Aaron Voon-Yew Thean
Beyond-Si materials and devices for more Moore and more than Moore applications. ICICDT (2016)
Sujit Kumar Chakrabarti, S. Ramesh
SymTest: A Framework for Symbolic Testing of Embedded Software. ISEC (2016)
Indranil Saha, Suman Roy, S. Ramesh
Formal Verification of Fault-Tolerant Startup Algorithms for Time-Triggered Architectures: A Survey. Proc. IEEE 104 (5) (2016)
Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh
Multiple Mutation Testing from FSM. FORTE (2016)
Samarjit Chakraborty, S. Ramesh
Technologies for Safe and Intelligent Transportation Systems. VLSI Design (2016)
Boris Madzar, Jalil Boudjadar, Juergen Dingel, Thomas E. Fuhrman, S. Ramesh
Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems. FACS (2016)
Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh
Test Generation by Constraint Solving and FSM Mutant Killing. ICTSS (2016)
Anuradha Annaswamy, Samarjit Chakraborty, Dip Goswami, S. Ramesh, Marilyn Wolf
Trustworthy Cyber Physical Systems. VLSI Design (2016)
Guillaume Langelier, Arnaud Dury, Alexandre Petrenko, S. Ramesh, Tameem Assaf
Building an interactive test development environment for cyclic executive systems. SIES (2015)
Kamalesh Ghosh, Pallab Dasgupta, S. Ramesh
Automated Planning as an Early Verification Tool for Distributed Control. J. Autom. Reason. 54 (1) (2015)
Michalis Famelis, Levi Lucio, Gehan M. K. Selim, Alessio Di Sandro, Rick Salay, Marsha Chechik, James R. Cordy, Jürgen Dingel, Hans Vangheluwe, S. Ramesh
Migrating Automotive Product Lines: A Case Study. ICMT (2015)
Ramy Medhat, S. Ramesh, Borzoo Bonakdarpour, Sebastian Fischmeister
A framework for mining hybrid automata from input/output traces. EMSOFT (2015)
Samarjit Chakraborty, S. Ramesh
Guest Editorial Special Section on Automotive Embedded Systems and Software. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 34 (11) (2015)
Shankara Narayanan Krishna, Ganesh Khandu Narwane, S. Ramesh, Ashutosh Trivedi
Compositional modeling and analysis of automotive feature product lines. DAC (2015)
S. Ramesh, T. Rama Rao
Planar High Gain Dielectric Loaded Exponentially Tapered Slot Antenna for Millimeter Wave Wireless Communications. Wirel. Pers. Commun. 84 (4) (2015)
Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh
Model-based testing of automotive software: some challenges and solutions. DAC (2015)
Omer Nguena-Timo, Alexandre Petrenko, Arnaud Dury, S. Ramesh
Reachability in hierarchical machines. IRI (2014)
Dip Goswami, Martin Lukasiewycz, Matthias Kauer, Sebastian Steinhorst, Alejandro Masrur, Samarjit Chakraborty, S. Ramesh
Model-based development and verification of control software for electric vehicles. DAC (2013)
K. Ravindran, S. Ramesh
Model-based engineering of cyber-physical software systems for smart worlds: A case study of automobile control systems. ICACCI (2013)
Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan
A dynamic assertion-based verification platform for validation of UML designs. ACM SIGSOFT Softw. Eng. Notes 37 (1) (2012)
S. Ramesh, S. Kannan, S. Baskar
Application of modified NSGA-II algorithm to multi-objective reactive power planning. Appl. Soft Comput. 12 (2) (2012)
Kamalesh Ghosh, Pallab Dasgupta, S. Ramesh
Planning with Action Prioritization and New Benchmarks for Classical Planning. Australasian Conference on Artificial Intelligence (2012)
T. Rama Rao, D. Murugesan, S. Ramesh, Vladimir A. Labay
Radio channel characteristics in an indoor corridor environment at 60 GHz for wireless networks. IEEE ANTS (2011)
G. Subrahmanya V. R. K. Rao, S. Ramesh, V. Arun Muthuraj, Karthik Sundararaman, Jinka Parthasarathi
CGLive - A Real Time Power Monitoring Solution for Enterprises. GreenCom (2011)
Silky Arora, Ambar A. Gadkari, S. Ramesh
Scenario-Based Specification of Automotive Requirements With Quantitative Constraints and Synthesis of SL/SF Monitors. IEEE Embed. Syst. Lett. 3 (2) (2011)
S. Ramesh, Ambar A. Gadkari
Rigorous model-based design & verification flow for in-vehicle software. DAC (2011)
G. Subrahmanya V. R. K. Rao, Jeyabalan Saravanakumar, Karthik Sundararaman, Jinka Parthasarathi, S. Ramesh
Intelligent Green IT Management for Enterprises through System Profiling. GreenCom (2011)
Samarjit Chakraborty, S. Ramesh, Jürgen Teich
Model-based analysis, synthesis and testing of automotive hardware/software architectures. EMSOFT (2010)
Karin Avnit, Vijay D'Silva, Arcot Sowmya, S. Ramesh, Sri Parameswaran
Provably correct on-chip communication: A formal approach to automatic protocol converter synthesis. ACM Trans. Design Autom. Electr. Syst. 14 (2) (2009)
S. Ramesh, L. Karunamoorthy, V. S. Senthilkumar, K. Palanikumar
Experimental study on machining of titanium alloy (Ti64) by CVD and PVD coated carbide inserts. Int. J. Manuf. Technol. Manag. 17 (4) (2009)
Purandar Bhaduri, S. Ramesh
Interface synthesis and protocol conversion. Formal Aspects Comput. 20 (2) (2008)
Samarjit Chakraborty, S. Ramesh
Programming and Performance Modelling of Automotive ECU Networks. VLSI Design (2008)
S. Xu, Ratnesh Kumar, Shengbing Jiang, S. Ramesh
A simulation condition for correct asynchronous implementation of synchronous design. ACC (2008)
Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, Partha Pratim Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan
A Dynamic Assertion-Based Verification Platform for Validation of UML Designs. ATVA (2008)
Karin Avnit, Vijay D'Silva, Arcot Sowmya, S. Ramesh, Sri Parameswaran
A Formal Approach To The Protocol Converter Problem. DATE (2008)
Pemadeep Ramsokul, Arcot Sowmya, S. Ramesh
A Test Bed for Web Services Protocols. ICIW (2007)
Vijay D'Silva, Sampada Sonalkar, S. Ramesh
Existential abstractions for distributed reactive systems via syntactic transformations. EMSOFT (2007)
S. Ramesh, P. Vignesh V. Ganesan, Gurulingesh Raravi
A Formal Framework for the Correct-by-construction and Verification of Distributed Time Triggered Systems. SIES (2007)
Alain Girault, S. Ramesh, Jean-Pierre Talpin
Synchronous Paradigm in Embedded Systems. EURASIP J. Embed. Syst. 2007 (2007)
Ambar A. Gadkari, S. Ramesh
Automated Synthesis of Assertion Monitors using Visual Specifications CoRR (2007)
S. Ramesh, Sneha Kumar Kasera
Best Effort Session-Level Congestion Control. ICNP (2007)
R. Manoharan, P. Thambidurai, S. Ramesh
Power aware scalable multicast routing protocol for MANETs. Int. J. Commun. Syst. 19 (10) (2006)
Purandar Bhaduri, S. Ramesh
Synthesis of Synchronous Interfaces. ACSD (2006)
Manjit Singh Sidhu, N. Selvanathan, S. Ramesh
CAL Student Coaching Environment and Virtual Reality in Mechanical Engineering. Int. J. Inf. Commun. Technol. Educ. 2 (1) (2006)
Ambar A. Gadkari, S. Ramesh
Automated Synthesis of Assertion Monitors using Visual Specifications. DATE (2005)
S. Ramesh, Sampada Sonalkar, Vijay D'Silva, Naveen Chandra, B. Vijayalakshmi
A Toolset for Modelling and Verification of GALS Systems. CAV (2004)
Purandar Bhaduri, S. Ramesh
Model Checking of Statechart Models: Survey and Research Directions CoRR (2004)
Subir K. Roy, S. Ramesh, Supratik Chakraborty, Tsuneo Nakata, Sreeranga P. Rajan
Functional Verification of System on Chips-Practices, Issues and Challenges (Tutorial Abstract). VLSI Design (2002)
R. K. Shyamasundar, S. Ramesh
Languages for Reactive Specifications: Synchrony Vs Asynchrony. Int. J. Found. Comput. Sci. 11 (2) (2000)
S. Ramesh
Efficient Translation of Statecharts to Hardware Circuits. VLSI Design (1999)
S. Ramesh, R. Lakshmi, R. Govindarajan
Distributed Shared Memory on IBM SP2. ICPADS (1997)
R. K. Shyamasundar, S. Ramesh
Semantics and Verification of Hierarchical CRP Programs. Hybrid Systems (1994)
R. K. Shyamasundar, S. Ramesh
Languages for Reactive Specifications: Synchrony Vs Asynchrony. FTRTFT (1994)
S. Ramesh, S. L. Mehndiratta
A Methodology for Developing Distributed Programs. IEEE Trans. Software Eng. 13 (8) (1987)