Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Torgny Andersson
Robert J. Zomer
Scott A. Starks
Hikaru Fujisaki
Michael Terry
Anja Hennemuth
madeleine c fombad
Zhihao Li
Radu Timofte
Àngel Jorba
Home
/
Author
/
ANAHEED AYOUB
Author Info
Open Visualization
Name
Affiliation
Papers
ANAHEED AYOUB
Computer and Information Science Department, University of Pennsylvania
11
Collaborators
Citations
PageRank
27
104
8.15
Referers
Referees
References
242
157
80
Search Limit
100
242
Publications (11 rows)
Collaborators (27 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey
1
0.36
2014
A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal.
0
0.34
2014
Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example
18
0.89
2013
Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS
11
0.64
2013
Contract-based blame assignment by trace analysis
3
0.42
2013
A systematic approach to justifying sufficient confidence in software safety arguments
10
0.81
2012
A safety case pattern for model-based development approach
5
0.71
2012
Safety-assured development of the GPCA infusion pump software
46
2.67
2011
Runtime verification of traces under recording uncertainty
8
0.51
2011
Code synthesis for timed automata: a comparison using case study
1
0.36
2010
Automatic code generation from verified timed automata model
1
0.44
2009
1