Concepedia

Salem Derisavi

SD

Statistics

Publications

13

Citations

1.1K

H-Index

12

Active since

2002

Affiliations

University of Illinois Urbana-Champaign(Current)

IBM (Canada)

University of Twente

Carleton University

Saarland University

Salem Derisavi is an author at University of Illinois Urbana-Champaign specializing in computer science, engineering, and finite state machine modeling.

Publications per year

2002–2010

13

Publications

13

The Mobius framework and its implementation

Daniel D. Deavours, G.M.G. Clark, Tod Courtney et al. · IEEE Transactions on Software Engineering · 2002 · 275 citations

, , +16

Optimal state-space lumping in Markov chains

Salem Derisavi, Holger Hermanns, William H. Sanders · Information Processing Letters · 2003 · 204 citations

, , +13

Enhanced Modeling and Solution of Layered Queueing Networks

Greg Franks, Tariq Al-Omari, Murray Woodside et al. · IEEE Transactions on Software Engineering · 2008 · 204 citations

, , +17

The Mobius modeling tool

G.M.G. Clark, Tod Courtney, David Daly et al. · 2002 · 200 citations

, , +15

Symbolic state-space exploration and numerical analysis of state-sharing composed models

Salem Derisavi, Peter Kemper, William H. Sanders · Linear Algebra and its Applications · 2004 · 42 citations

, , +14

1–5 of 13