 | 2012 |
|---|
| 7 |       | Prakash Peranandam,
Sachin Raviram,
Manoranjan Satpathy,
Anand Yeolekar,
Ambar A. Gadkari,
S. Ramesh:
An integrated test generation tool for enhanced coverage of Simulink/Stateflow models.
DATE 2012: 308-311 |
| 2011 |
|---|
| 6 | | S. Ramesh,
Ambar A. Gadkari:
Rigorous model-based design & verification flow for in-vehicle software.
DAC 2011: 13-16 |
| 5 | | Silky Arora,
Ambar A. Gadkari,
S. Ramesh:
Scenario-Based Specification of Automotive Requirements With Quantitative Constraints and Synthesis of SL/SF Monitors.
Embedded Systems Letters 3(2): 62-65 (2011) |
| 2008 |
|---|
| 4 | | Ambar A. Gadkari,
Anand Yeolekar,
J. Suresh,
S. Ramesh,
Swarup Mohalik,
K. C. Shashidhar:
AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems.
CAV 2008: 204-208 |
| 2007 |
|---|
| 3 | | Ambar A. Gadkari,
S. Ramesh:
Automated Synthesis of Assertion Monitors using Visual Specifications
CoRR abs/0710.4698: (2007) |
| 2005 |
|---|
| 2 | | Ambar A. Gadkari,
S. Ramesh:
Automated Synthesis of Assertion Monitors using Visual Specifications.
DATE 2005: 390-395 |
| 2004 |
|---|
| 1 | | Ambar A. Gadkari,
S. Ramesh,
Rubin A. Parekhji:
CESC: a visual formalism for specification and verification of SoCs.
ACM Great Lakes Symposium on VLSI 2004: 354-357 |
Data released under the ODC-BY 1.0 license — See also our legal information page