Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Bay-Yuan Hsu
Claudia Calabrese
Alan R. Fersht
Hao Mao
Peter Malec
Giovanni Venturelli
Chen Ma
Ma. Auxilio Medina
Radu Timofte
Kuanrui Yin
Home
/
Author
/
M. DEBBABI
Author Info
Open Visualization
Name
Affiliation
Papers
M. DEBBABI
Computer Security Laboratory, Concordia University, Montreal, Canada
14
Collaborators
Citations
PageRank
30
60
6.48
Referers
Referees
References
157
271
165
Search Limit
100
271
Publications (14 rows)
Collaborators (30 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Aspect-Oriented Semantic Framework for Executable Models
0
0.34
2013
Aspect weaver: a model transformation approach for UML models
5
0.46
2010
A Secure Mechanism Design-Based and Game Theoretical Model for MANETs
8
0.55
2010
Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages
16
0.78
2009
Extraction of forensically sensitive information from windows physical memory
10
0.74
2009
Capturing Returned Computable Values in AspectJ for Security Hardening
0
0.34
2009
A Mechanism Design-Based Secure Architecture for Mobile Ad Hoc Networks
1
0.35
2008
New AspectJ Pointcuts for Integer Overflow and Underflow Detection
1
0.35
2008
Common Criteria Approach to J2ME CLDC Security Requirements
0
0.34
2006
Method call acceleration in embedded java virtual machines
2
0.38
2003
Abstract Interpretation for Proving Secrecy Properties in Security Protocols
0
0.34
2001
On object initialization in the Java bytecode
2
0.47
2000
An Environment for the Specification and Analysis of Cryptoprotocols
4
0.42
1998
Formal Automatic Verification of Authentication Cryptographic Protocols
11
0.62
1997
1