Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
You-Bin Zhu
S.R. Lockley
Stefano Giorcelli
Y. T. Sun
Masayoshi Noguchi
Chanchal K. Roy
Hiroaki Ogawa
Minghao Zhao
Abderazzak Taime
Indrani Roy
Home
/
Author
/
JOSÉ FRAGOSO SANTOS
Author Info
Open Visualization
Name
Affiliation
Papers
JOSÉ FRAGOSO SANTOS
Inria Sophia Antipolis Méditérranée
12
Collaborators
Citations
PageRank
18
5
4.13
Referers
Referees
References
16
236
114
Search Limit
100
236
Publications (12 rows)
Collaborators (18 rows)
Referers (16 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Poster: A Systems Approach to GDPR Compliance-by-Design in Web Development Stacks
0
0.34
2022
Gillian, part i: a multi-language platform for symbolic execution
0
0.34
2020
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications.
0
0.34
2020
JaVerT 2.0: compositional symbolic execution for JavaScript.
1
0.35
2019
JaVerT: JavaScript verification toolchain
0
0.34
2018
Towards Logic-Based Verification of JavaScript Programs.
1
0.36
2017
Mashic compiler: Mashup sandboxing based on inter-frame communication.
1
0.36
2016
DOM: Specification and Client Reasoning.
0
0.34
2016
Hybrid Typing of Secure Information Flow in a JavaScript-Like Language.
1
0.35
2015
Modular Monitor Extensions for Information Flow Security in JavaScript.
0
0.34
2015
Typing illegal information flows as program effects
1
0.35
2012
Application of compensation techniques in a dsPIC based impedance measuring system
0
0.34
2011
1