Concepedia

R.S. Sreenivas

RS

40

Publications

1.5K

Citations

19

H-Index

1991

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

Harvard University

Carnegie Mellon University

R.S. Sreenivas is an author at University of Illinois Urbana-Champaign specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceFormal MethodsFormal VerificationProcess ControlVerificationAutomated ReasoningAutomationComputer Engineering

Publications per year

1991–2020

40

Publications

40

Ordinal optimization of DEDS

Y. C. Ho, R.S. Sreenivas, Pirooz Vakili · Discrete Event Dynamic Systems · 1992 · 449 citations

Mathematical Programming, Order Theory, Engineering +5

On condition/event systems with discrete state realizations

R.S. Sreenivas, Bruce H. Krogh · Discrete Event Dynamic Systems · 1991 · 132 citations

Engineering, Discrete Event System, Formal Methods +5

On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets

R.S. Sreenivas · IEEE Transactions on Automatic Control · 1997 · 99 citations

Petri Net, Engineering, Reachability Problem +20

Relaying a fountain code across multiple nodes

Ramakrishna Gummadi, R.S. Sreenivas · 2008 · 60 citations

Fountain Code, Distributed Source Coding, Network Science +14

Managing the exchange of information in product development

Ali Yassine, R.S. Sreenivas, Jian Zhu · European Journal of Operational Research · 2006 · 53 citations

Consumer-driven Product Development, Business Intelligence, Product Development +8

Rows per page

1–5 of 40