Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Hermann Achidi Ndofor
Daniel P. Kennedy
Roland Zumkeller
Maximilian Dürr
Dan Graur
Liangliang Shang
Helen Chedzey
Chen Ma
Sílvio Baldan
Barbara Aquilani
Home
/
Author
/
JASON STANLEY
Author Info
Open Visualization
Name
Affiliation
Papers
JASON STANLEY
Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, USA 48109
7
Collaborators
Citations
PageRank
14
39
3.48
Referers
Referees
References
66
137
95
Search Limit
100
137
Publications (7 rows)
Collaborators (14 rows)
Referers (66 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
SAT-based Control of Concurrent Software for Deadlock Avoidance
3
0.46
2015
Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control.
13
0.66
2013
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
14
0.76
2013
Explicit storage and analysis of billions of states using commodity computers.
2
0.37
2012
Deadlock-Avoidance Control Of Multithreaded Software: An Efficient Siphon-Based Algorithm For Gadara Petri Nets
4
0.41
2011
Active Diagnosis via AUC Maximization: An Efficient Approach for Multiple Fault Identification in Large Scale, Noisy Networks
2
0.45
2011
A Model-Based Approach to Controlling the ST-5 Constellation Lights-Out Using the GMSEC Message Bus and Simulink
1
0.36
2005
1