S. Ramesh

According to our database1, S. Ramesh authored at least 111 papers between 1987 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Formal Modeling and Verification of a Victim DRAM Cache.
ACM Trans. Design Autom. Electr. Syst., 2019

An MBSE Approach for Development of Resilient Automated Automotive Systems.
Systems, 2019

Fault model-driven testing from FSM with symbolic inputs.
Software Quality Journal, 2019

Towards a conceptual model for unifying variability in space and time.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

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

2018
Formal Modeling and Verification of Controllers for a Family of DRAM Caches.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2018

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

Experimental Validation of Impedance Source Network Based Active Power Filter for Interconnection of PV System into Grid.
Journal of Circuits, Systems, and Computers, 2018

Enhanced brain image retrieval using carrier frequency offset compensated orthogonal frequency division multiplexing for telemedicine applications.
Int. J. Imaging Systems and Technology, 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

2017
A Software-Based Heuristic Clustered (SBHC) Architecture for the Performance Improvement in MANET.
Wireless Personal Communications, 2017

An Efficient Secure Routing for Intermittently Connected Mobile Networks.
Wireless Personal Communications, 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

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

Traceability Analyses between Features and Assets in Software Product Lines.
Entropy, 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

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

Guest Editorial Special Section on Automotive Embedded Systems and Software.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2015

Automated Planning as an Early Verification Tool for Distributed Control.
J. Autom. Reasoning, 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

2014
Automatic test case generation from Simulink/Stateflow models using model checking.
Softw. Test., Verif. Reliab., 2014

Time-budgeting: a component based development methodology for real-time embedded systems.
Formal Asp. Comput., 2014

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

Translation Validation for Stateflow to C.
Proceedings of the 51st Annual Design Automation Conference 2014, 2014

Early Time-Budgeting for Component-Based Embedded Control Systems.
Proceedings of the Embedded Systems Development, From Functional Models to Implementations, 2014

2013
Scenario-based verification in presence of variability using a synchronous approach.
Frontiers Comput. Sci., 2013

Systematic Development of Control Designs via Formal Refinement.
Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

Compositional Verification of Software Product Lines.
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

A Method and Tool for Test Optimization for Automotive Controllers.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

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 mixed approach to rigorous development of control designs.
Proceedings of the 2013 IEEE International Symposium on Computer-Aided Control System Design, 2013

Scalable model-checking for precise end-to-end latency computation.
Proceedings of the 2013 IEEE International Symposium on Computer-Aided Control System Design, 2013

2012
Efficient coverage of parallel and hierarchical stateflow models for test case generation.
Softw. Test., Verif. Reliab., 2012

Application of modified NSGA-II algorithm to multi-objective reactive power planning.
Appl. Soft Comput., 2012

Tracing SPLs precisely and efficiently.
Proceedings of the 16th International Software Product Line Conference, 2012

Resolving uncertainty in automotive feature interactions.
Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

Verifying timing synchronization constraints in distributed embedded architectures.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

An integrated test generation tool for enhanced coverage of Simulink/Stateflow models.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

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

Relating Requirement and Design Variabilities.
Proceedings of the 19th Asia-Pacific Software Engineering Conference - Workshops, 2012

2011
Some results on Parametric Temporal Logic.
Inf. Process. Lett., 2011

Scenario-Based Specification of Automotive Requirements With Quantitative Constraints and Synthesis of SL/SF Monitors.
Embedded Systems Letters, 2011

Evolving specifications formally.
Proceedings of the RE 2011, 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29 2011, 2011

Integrated analysis of software product lines: a constraint based framework for consistency, liveness, and commonness checking.
Proceedings of the Proceeding of the 4th Annual India Software Engineering Conference, 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

Cross-layer analysis, testing and verification of automotive control software.
Proceedings of the 11th International Conference on Embedded Software, 2011

When to stop verification?: Statistical trade-off between expected loss and simulation cost.
Proceedings of the Design, Automation and Test in Europe, 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

2010
CoGenTe: a tool for code generator testing.
Proceedings of the ASE 2010, 2010

Schedulability and end-to-end latency in distributed ECU networks: formal modeling and precise estimation.
Proceedings of the 10th International conference on Embedded software, 2010

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

Taming the component timing: A CBD methodology for real-time embedded systems.
Proceedings of the Design, Automation and Test in Europe, 2010

2009
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.
IJMTM, 2009

Power & variability test chip architecture and 45nm-generation silicon-based analysis for robust, power-aware SoC design.
Proceedings of the 10th International Symposium on Quality of Electronic Design (ISQED 2009), 2009

Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

Supervisory control for real-time systems based on conflict-tolerant controllers.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

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

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

Behaviour Directed Testing of Auto-code Generators.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Conflict-Tolerant Real-Time Features.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Randomized directed testing (REDIRECT) for Simulink/Stateflow models.
Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

Symbolic analysis for improving simulation coverage of Simulink/Stateflow models.
Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

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

Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts.
Proceedings of the 45th Design Automation Conference, 2008

AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

A Dynamic Assertion-Based Verification Platform for Validation of UML Designs.
Proceedings of the Automated Technology for Verification and Analysis, 2008

2007
Synchronous Paradigm in Embedded Systems.
EURASIP J. Emb. Sys., 2007

Automatic Testing from Formal Specifications.
Proceedings of the Tests and Proofs, First International Conference, 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

How to Test Program Generators? A Case Study using flex.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Testing Model-Processing Tools for Embedded Systems.
Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, 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

Performance Analysis of FlexRay-based ECU Networks.
Proceedings of the 44th Design Automation Conference, 2007

Test case generation from formal models through abstraction refinement and model checking.
Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

2006
CAL Student Coaching Environment and Virtual Reality in Mechanical Engineering.
IJICTE, 2006

Power aware scalable multicast routing protocol for MANETs.
Int. J. Communication Systems, 2006

The Statistics of Device Variations and its Impact on SRAM Bitcell Performance, Leakage and Stability.
Proceedings of the 7th International Symposium on Quality of Electronic Design (ISQED 2006), 2006

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

2005
Impact of Interconnect Process Variations on Memory Performance and Design.
Proceedings of the 6th International Symposium on Quality of Electronic Design (ISQED 2005), 2005

A High-Performance SRAM Technology With Reduced Chip-Level Routing Congestion for SoC.
Proceedings of the 6th International Symposium on Quality of Electronic Design (ISQED 2005), 2005

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

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

2003
Design and Use of Memory-Specific Test Structures to Ensure SRAM Yield and Manufacturability.
Proceedings of the 4th International Symposium on Quality of Electronic Design (ISQED 2003), 2003

2002
Functional Verification of System on Chips-Practices, Issues and Challenges (Tutorial Abstract).
Proceedings of the ASPDAC 2002 / VLSI Design 2002, 2002

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

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

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

Languages for Reactive Specifications: Synchrony Vs Asynchrony.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

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


  Loading...