Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Yang Du
Hao Mao
Ta-tung Lin
Peter Malec
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Steffen Hacker
Home
/
Author
/
MUSAB ALTURKI
Author Info
Open Visualization
Name
Affiliation
Papers
MUSAB ALTURKI
University of Illinois at Urbana-Champaign
12
Collaborators
Citations
PageRank
17
104
9.80
Referers
Referees
References
165
424
253
Search Limit
100
424
Publications (12 rows)
Collaborators (17 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
An Extensible Compiler For Implementing Software Design Patterns As Concise Language Constructs
0
0.34
2021
Enhanced Visualization of Method Invocations by Extending Reverse-engineered Sequence Diagrams
0
0.34
2020
Towards Formal Verification of Orchestration Computations Using the 핂 Framework.
0
0.34
2015
Executable rewriting logic semantics of Orc and formal analysis of Orc programs.
1
0.36
2015
Stable availability under denial of service attacks through formal patterns
26
0.97
2012
PVESTA: a parallel statistical model checking and quantitative analysis tool
4
0.42
2011
Dist-Orc: A Rewriting-Based Distributed Implementation Of Orc With Formal Analysis
7
0.42
2010
PBES: a policy based encryption system with application to data sharing in the power grid
14
4.29
2009
Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol
19
0.76
2009
Model-checking DoS amplification for VoIP session initiation
9
0.54
2009
Formal Specification and Analysis of Timing Properties in Software Systems
9
0.48
2009
Reduction Semantics and Formal Analysis of Orc Programs
15
0.56
2008
1