Prakash Mohan Peranandam

According to our database, Prakash Mohan Peranandam authored at least 14 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Automatic development of requirement linking matrix based on semantic similarity for robust software development.

Dnyanesh Rajpathak, Prakash Mohan Peranandam, S. Ramesh

J. Syst. Softw., 2022

2019

An MBSE Approach for Development of Resilient Automated Automotive Systems.

Joseph D'Ambrosio, Arun Adiththan, Edwin Ordoukhanian, Prakash Mohan Peranandam, S. Ramesh, Azad M. Madni, Padma Sundaram

Syst., 2019

2012

Efficient coverage of parallel and hierarchical stateflow models for test case generation.

Manoranjan Satpathy, Anand Yeolekar, Prakash Mohan Peranandam, S. Ramesh

Softw. Test. Verification Reliab., 2012

SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage.

Sachin Raviram, Prakash Mohan Peranandam, Manoranjan Satpathy, S. Ramesh

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

An integrated test generation tool for enhanced coverage of Simulink/Stateflow models.

Prakash Mohan Peranandam, Sachin Raviram, Manoranjan Satpathy, Anand Yeolekar, Ambar A. Gadkari, S. Ramesh

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2007

Grid Based Fast Falsification For Bounded Property Checking.

Pradeep Kumar Nalla, Jörg Behrend, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the Forum on specification and Design Languages, 2007

2006

Efficient system traversal and property verification by exploiting circuit locality.

Prakash Mohan Peranandam

PhD thesis, 2006

Fast falsification based on symbolic bounded property checking.

Prakash Mohan Peranandam, Pradeep Kumar Nalla, Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the 43rd Design Automation Conference, 2006

2005

Distributed Symbolic Bounded Property Checking.

Pradeep Kumar Nalla, Roland J. Weiss, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, 2005

Overlap reduction in symbolic system traversal.

Prakash Mohan Peranandam, Pradeep Kumar Nalla, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the Tenth IEEE International High-Level Design Validation and Test Workshop 2005, Napa Valley, CA, USA, November 30, 2005

2004

Transactional Level Verification and Coverage Metrics by Means of Symbolic Simulation.

Prakash Mohan Peranandam, Roland J. Weiss, Jürgen Ruf, Thomas Kropf

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004

Dynamic guiding of bounded property checking.

Prakash Mohan Peranandam, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the Ninth IEEE International High-Level Design Validation and Test Workshop 2004, 2004

2003

Bounded Property Checking with Symbolic Simulation.

Jürgen Ruf, Prakash Mohan Peranandam

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2003

Using Symbolic Simulation for Bounded Property Checking.

Jürgen Ruf, Prakash Mohan Peranandam, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the Forum on specification and Design Languages, 2003