Search filters

List of works by Domenico Bianculli

A comprehensive modeling framework for role-based access control policies

scientific article published on 29 May 2015

A survey of challenges for runtime verification from advanced application domains (beyond software)

scientific article published in November 2019

An Integrated Approach for Effective Injection Vulnerability Analysis of Web Applications Through Security Slicing and Hybrid Constraint Solving

scientific article published on 06 June 2018

Automated reverse engineering of role-based access control policies of web applications

scientific article published on 13 October 2021

Checking Complex Source Code-Level Constraints using Runtime Verification

scientific article published on 10 July 2024

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software)

scientific article published on 15 November 2019

Diagnosing Violations of Time-based Properties Captured in iCFTL

scientific article published on 06 June 2024

Towards the formalization of properties of cloud-based elastic systems

Paulina is supported by:

About Paulina

Help