S. Ramesh - Publications, H-index & Citations

S. Ramesh

Department of Research and Development

24H指数

207论文数

1.9K被引数

收录论文 9

发表时间

DiffGAN: A Test Generation Approach for Differential Testing of Deep Neural Networks for Image Analysis DiffGAN: 一种用于图像分析领域深度神经网络差异测试的测试生成方法

IEEE Transactions on Software Engineering

IF5.6

2025-09-19

PREAI

Zohreh Aghababaeyan; Manel Abdellatif; Lionel Briand; Ramesh S.

Applying declarative analysis to industrial automotive software product line models

EMPIRICAL SOFTWARE ENGINEERING

IF3.6

2023-02-04

PREAI

Shahin, Ramy; Toledo, Rafael; Hackman, Robert; Ramesh, S.; Atlee, Joanne M. M.; Chechik, Marsha

A conceptual model for unifying variability in space and time: Rationale, validation, and illustrative applications

EMPIRICAL SOFTWARE ENGINEERING

IF3.6

2022-05-30

OAAI

Ananieva, Sofia; Greiner, Sandra; Kehrer, Timo; Krueger, Jacob; Kuehn, Thomas; Linsbauer, Lukas; Gruener, Sten; Koziolek, Anne; Lonn, Henrik; Ramesh, S.; Reussner, Ralf

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

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2022-04-01

PREAI

Rajpathak, Dnyanesh; Peranandam, Prakash M.; Ramesh, S.

Formal Verification of Fault-Tolerant Startup Algorithms for Time-Triggered Architectures: A Survey 时间触发体系结构的容错启动算法的形式化验证: 调查

PROCEEDINGS OF THE IEEE

IF25.9

2016-05-01

PREAI

Saha, Indranil; Roy, Suman; Ramesh, S.

Scenario-based verification in presence of variability using a synchronous approach

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2013-09-19

OAAI

Millo, Jean-Vivien; Mallet, Frederic; Coadou, Anthony; Ramesh, S.

Assertion checking environment (ACE) for formal verification of C programs 用于C程序形式验证的断言检查环境 (ACE)

RELIABILITY ENGINEERING & SYSTEM SAFETY

IF11

2003-09-01

PREAI

Sharma, B; Dhodapkar, SD; Ramesh, S

Apportioning: A technique for efficient reachability analysis of concurrent object-oriented programs 分配: 一种用于并发面向对象程序的有效可达性分析的技术

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2001-01-01

PREAI

Iyer, S; Ramesh, S

Extending statecharts with temporal logic

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

1998-03-01

PREAI

Sowmya, A; Ramesh, S

研究方向