Prakash Mohan Peranandam

15 papers A* 1A 2C 3Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2025 A conf
Specifying Operational Design Domain in Autonomous Driving for Comprehensive Data Evaluation.
RE
Hamed Barzamini, Ramesh S., Arun Adiththan, Prakash Mohan Peranandam, Mona Rahimi
2022 J jnl
Automatic development of requirement linking matrix based on semantic similarity for robust software development.
J. Syst. Softw.
Dnyanesh Rajpathak, Prakash Mohan Peranandam, S. Ramesh
2019 J jnl
An MBSE Approach for Development of Resilient Automated Automotive Systems.
Syst.
Joseph D'Ambrosio, Arun Adiththan, Edwin Ordoukhanian, Prakash Mohan Peranandam, S. Ramesh, Azad M. Madni, Padma Sundaram
2012 A conf
An integrated test generation tool for enhanced coverage of Simulink/Stateflow models.
DATE
Prakash Mohan Peranandam, Sachin Raviram, Manoranjan Satpathy, Anand Yeolekar, Ambar A. Gadkari, S. Ramesh
2012 J jnl
Efficient coverage of parallel and hierarchical stateflow models for test case generation.
Softw. Test. Verification Reliab.
Manoranjan Satpathy, Anand Yeolekar, Prakash Mohan Peranandam, S. Ramesh
2012 C conf
SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage.
ICTAC
Sachin Raviram, Prakash Mohan Peranandam, Manoranjan Satpathy, S. Ramesh
2007 C conf
Grid Based Fast Falsification For Bounded Property Checking.
FDL
Pradeep Kumar Nalla, Jörg Behrend, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2006 — —
Efficient system traversal and property verification by exploiting circuit locality.
Prakash Mohan Peranandam
2006 A* conf
Fast falsification based on symbolic bounded property checking.
DAC
Prakash Mohan Peranandam, Pradeep Kumar Nalla, Jürgen Ruf, Roland Weiss, Thomas Kropf, Wolfgang Rosenstiel
2005 — conf
Distributed Symbolic Bounded Property Checking.
PDMC@ICALP
Pradeep Kumar Nalla, Roland Weiss, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2005 — conf
Overlap reduction in symbolic system traversal.
HLDVT
Prakash Mohan Peranandam, Pradeep Kumar Nalla, Roland Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2004 — conf
Dynamic guiding of bounded property checking.
HLDVT
Prakash Mohan Peranandam, Roland Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2004 — conf
Transactional Level Verification and Coverage Metrics by Means of Symbolic Simulation.
MBMV
Prakash Mohan Peranandam, Roland Weiss, Jürgen Ruf, Thomas Kropf
2003 — conf
Bounded Property Checking with Symbolic Simulation.
MBMV
Jürgen Ruf, Prakash Mohan Peranandam
2003 C conf
Using Symbolic Simulation for Bounded Property Checking.
FDL
Jürgen Ruf, Prakash Mohan Peranandam, Thomas Kropf, Wolfgang Rosenstiel