S. Ramesh

J. Intell. Fuzzy Syst., 2018

Experimental Validation of Impedance Source Network Based Active Power Filter for Interconnection of PV System into Grid.

[BibT_eX]

[DOI]

P. Jamuna

J. Circuits Syst. Comput., 2018

Enhanced brain image retrieval using carrier frequency offset compensated orthogonal frequency division multiplexing for telemedicine applications.

[BibT_eX]

[DOI]

S. Chitra

N. Kumaratharan

Int. J. Imaging Syst. Technol., 2018

Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

Modeling AUTOSAR Implementations in Simulink.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018

Cloud-assisted control of ground vehicles using adaptive computation offloading techniques.

[BibT_eX]

[DOI]

Arun Adiththan

Soheil Samii

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.

[BibT_eX]

[DOI]

S. Smys

Wirel. Pers. Commun., 2017

Situation-Based Autonomic Management of Automobile Cruise Control Systems.

[BibT_eX]

[DOI]

Arun Adiththan

Kaliappa Ravindran

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.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2017

Management of QoS-oriented Adaptation in Automobile Cruise Control Systems.

[BibT_eX]

[DOI]

Arun Adiththan

Kaliappa Ravindran

Proceedings of the 2017 IEEE International Conference on Autonomic Computing, 2017

Specification, Verification and Design of Evolving Automotive Software: Invited.

[BibT_eX]

[DOI]

Proceedings of the 54th Annual Design Automation Conference, 2017

2016

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

[BibT_eX]

[DOI]

Indranil Saha

Suman Roy

Proc. IEEE, 2016

Technologies for Safe and Intelligent Transportation Systems.

[BibT_eX]

[DOI]

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

Trustworthy Cyber Physical Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2016

SymTest: A Framework for Symbolic Testing of Embedded Software.

[BibT_eX]

[DOI]

Sujit Kumar Chakrabarti

Proceedings of the 9th India Software Engineering Conference, 2016

Beyond-Si materials and devices for more Moore and more than Moore applications.

[BibT_eX]

[DOI]

Proceedings of the International Conference on IC Design and Technology, 2016

Multiple Mutation Testing from FSM.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

T. Rama Rao

Wirel. Pers. Commun., 2015

Guest Editorial Special Section on Automotive Embedded Systems and Software.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015

Automated Planning as an Early Verification Tool for Distributed Control.

[BibT_eX]

[DOI]

Kamalesh Ghosh

Pallab Dasgupta

J. Autom. Reason., 2015

Building an interactive test development environment for cyclic executive systems.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

Migrating Automotive Product Lines: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2015

A framework for mining hybrid automata from input/output traces.

[BibT_eX]

[DOI]

Ramy Medhat

Borzoo Bonakdarpour

Sebastian Fischmeister

Proceedings of the 2015 International Conference on Embedded Software, 2015

Model-based testing of automotive software: some challenges and solutions.

[BibT_eX]

[DOI]

Shankara Narayanan Krishna

Proceedings of the 52nd Annual Design Automation Conference, 2015

Compositional modeling and analysis of automotive feature product lines.

[BibT_eX]

[DOI]

Ganesh Khandu Narwane

Ashutosh Trivedi

Proceedings of the 52nd Annual Design Automation Conference, 2015

2014

Reachability in hierarchical machines.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

2013

Model-based engineering of cyber-physical software systems for smart worlds: A case study of automobile control systems.

[BibT_eX]

[DOI]

K. Ravindran

Proceedings of the International Conference on Advances in Computing, 2013

Model-based development and verification of control software for electric vehicles.

[BibT_eX]

[DOI]

Proceedings of the 50th Annual Design Automation Conference 2013, 2013

2012

A dynamic assertion-based verification platform for validation of UML designs.

[BibT_eX]

[DOI]

P. Vignesh V. Ganesan

ACM SIGSOFT Softw. Eng. Notes, 2012

Planning with Action Prioritization and New Benchmarks for Classical Planning.

[BibT_eX]

[DOI]

Kamalesh Ghosh

Pallab Dasgupta

Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012

2011

Scenario-Based Specification of Automotive Requirements With Quantitative Constraints and Synthesis of SL/SF Monitors.

[BibT_eX]

[DOI]

Silky Arora

Ambar A. Gadkari

G. Subrahmanya V. R. K. Rao

IEEE Embed. Syst. Lett., 2011

Intelligent Green IT Management for Enterprises through System Profiling.

[BibT_eX]

[DOI]

Jeyabalan Saravanakumar

Karthik Sundararaman

Jinka Parthasarathi

G. Subrahmanya V. R. K. Rao

Proceedings of the 2011 IEEE/ACM International Conference on Green Computing and Communications (GreenCom), 2011

CGLive - A Real Time Power Monitoring Solution for Enterprises.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Ambar A. Gadkari

Proceedings of the 48th Design Automation Conference, 2011

Radio channel characteristics in an indoor corridor environment at 60 GHz for wireless networks.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Advanced Telecommunication Systems and Networks, 2011

2010

Model-based analysis, synthesis and testing of automotive hardware/software architectures.

[BibT_eX]

[DOI]

Jürgen Teich

Proceedings of the 10th International conference on Embedded software, 2010

2009

Provably correct on-chip communication: A formal approach to automatic protocol converter synthesis.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2009

Experimental study on machining of titanium alloy (Ti64) by CVD and PVD coated carbide inserts.

[BibT_eX]

[DOI]

Int. J. Manuf. Technol. Manag., 2009

2008

Interface synthesis and protocol conversion.

[BibT_eX]

[DOI]

Purandar Bhaduri

Formal Aspects Comput., 2008

Programming and Performance Modelling of Automotive ECU Networks.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on VLSI Design (VLSI Design 2008), 2008

A Formal Approach To The Protocol Converter Problem.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2008

A simulation condition for correct asynchronous implementation of synchronous design.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2008

2007

Synchronous Paradigm in Embedded Systems.

[BibT_eX]

[DOI]

Alain Girault

Jean-Pierre Talpin

EURASIP J. Embed. Syst., 2007

A Formal Framework for the Correct-by-construction and Verification of Distributed Time Triggered Systems.

[BibT_eX]

[DOI]

P. Vignesh V. Ganesan

Gurulingesh Raravi

Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

Best Effort Session-Level Congestion Control.

[BibT_eX]

[DOI]

Sneha Kumar Kasera

Proceedings of the IEEE International Conference on Network Protocols, 2007

A Test Bed for Web Services Protocols.

[BibT_eX]

[DOI]

Pemadeep Ramsokul

Arcot Sowmya

Proceedings of the International Conference on Internet and Web Applications and Services (ICIW 2007), 2007

Existential abstractions for distributed reactive systems via syntactic transformations.

[BibT_eX]

[DOI]

Vijay D'Silva

Sampada Sonalkar

Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

2006

CAL Student Coaching Environment and Virtual Reality in Mechanical Engineering.

[BibT_eX]

[DOI]

Manjit Singh Sidhu

N. Selvanathan

Int. J. Inf. Commun. Technol. Educ., 2006

Power aware scalable multicast routing protocol for MANETs.

[BibT_eX]

[DOI]

R. Manoharan

P. Thambidurai

Int. J. Commun. Syst., 2006

Synthesis of Synchronous Interfaces.

[BibT_eX]

[DOI]

Purandar Bhaduri

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

2005

Automated Synthesis of Assertion Monitors using Visual Specifications.

[BibT_eX]

[DOI]

Ambar A. Gadkari

Proceedings of the 2005 Design, 2005

2004

Model Checking of Statechart Models: Survey and Research Directions

[BibT_eX]

[DOI]

Purandar Bhaduri

CoRR, 2004

A Toolset for Modelling and Verification of GALS Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2002

Functional Verification of System on Chips-Practices, Issues and Challenges (Tutorial Abstract).

[BibT_eX]

[DOI]

Proceedings of the 7th Asia and South Pacific Design Automation Conference (ASP-DAC 2002), 2002

2000

Languages for Reactive Specifications: Synchrony Vs Asynchrony.

[BibT_eX]

[DOI]

R. K. Shyamasundar

Int. J. Found. Comput. Sci., 2000

1999

Efficient Translation of Statecharts to Hardware Circuits.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on VLSI Design (VLSI Design 1999), 1999

1997

Distributed Shared Memory on IBM SP2.

[BibT_eX]

[DOI]

R. Lakshmi

R. Govindarajan

Proceedings of the 1997 International Conference on Parallel and Distributed Systems (ICPADS '97), 1997

1994

Semantics and Verification of Hierarchical CRP Programs.

[BibT_eX]

[DOI]

R. K. Shyamasundar

Proceedings of the Hybrid Systems II, 1994

1987

A Methodology for Developing Distributed Programs.

[BibT_eX]

[DOI]