Registered user since Tue 14 Nov 2017
Name:Domenico Bianculli
Bio:
Domenico Bianculli is associate professor/chief scientist 2 at the Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg. He holds a PhD degree from University of Lugano (Switzerland), a MSc in Computing Systems Engineering and a BSc in Computer Engineering, both from Politecnico di Milano (Italy). Domenico’s research focuses on the specification and verification of evolvable software systems. His research interests include: trace checking and run-time verification of temporal properties, modeling and enforcing of access control policies, program analysis for security, incremental verification techniques, and verification of service-oriented systems.
Country:Luxembourg
Affiliation:University of Luxembourg
Personal website: http://people.svv.lu/bianculli/
Research interests:software engineering, trace checking and run-time verification, temporal specification languages, model-driven engineering, access control, security analysis, service-based applications
Contributions
2023
ICSE
- Committee Member in New Ideas and Emerging Results within the NIER - New Ideas and Emerging Results-track
- Committee Member in Workshops within the Workshops-track
- Session Chair of Runtime analysis and self-adaptation (part of Technical Track)
- (Journal-First Track) PRINS: Scalable Model Inference for Component-Based System Logs
ICSE 2023-profile
View general profile
View general profile