Author Info
Name
Affiliation
Papers
AGOSTINO CORTESI
Università Ca' Foscari Venezia, Italy
17
Collaborators
Citations 
PageRank 
33
6
6.11
Referers 
Referees 
References 
26
63
21
Title
Citations
PageRank
Year
Completeness of string analysis for dynamic languages00.342021
Requirement-Oriented Risk Management For Incremental Software Development00.342021
Verifiability In Systems And Data Engineering: Preface By The Special Issue Editors00.342021
Construction And Distribution Of Materialized Views In Non-Binary Data Space00.342021
Semantic-driven watermarking of relational textual databases00.342021
Static Analysis For Discovering Iot Vulnerabilities00.342021
Geographic location based secure, dynamic and opportunistic RPL for distributed networks00.342021
Skyline Computation Over Multiple Points And Dimensions10.352021
CARO: A Conflict-Aware Requirement Ordering Tool for DevOps00.342021
Cross-program taint analysis for IoT systems10.352020
Extending Abstract Interpretation to Dependency Analysis of Database Applications00.342020
HQR-Scheme: A High Quality and resilient virtual primary key generation approach for watermarking relational data.00.342019
Black Block Recorder: Immutable Black Box Logging for Robots via Blockchain.10.362019
Static analysis of Android Auto infotainment and on‐board diagnostics II apps20.632019
Vulnerability analysis of Android auto infotainment apps10.362018
M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs00.342018
Procedurally Provisioned Access Control For Robotic Systems00.342018