xAt 11.30 CEST the conf.researchr.org platform will be updated, causing the conference websites to be unresponsive for about 30 seconds. It's recommended to refresh your browser after maintenance has finished.
Write a Blog >>
MSR 2019
Sun 26 - Mon 27 May 2019 Montreal, QC, Canada
co-located with ICSE 2019
Domenico Bianculli

Registered user since Tue 14 Nov 2017

Name: Domenico Bianculli

Bio: Domenico Bianculli is a research scientist 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


FormaliSE 2019 Committee Member in Program Committee within the FormaliSE 2019-track
ICSE 2019 Committee Member in Program Committee within the Technical Track-track
Awards Chair in Organizing Committee
Session Chair of Awards Plenary (part of Plenary)
Session Chair of Thursday Opening Session (part of Plenary)
Recap of ACM SIGSOFT and IEEE TCSE Awards
Session Chair of Analysis and Verification (part of Papers)
Show activities from other conferences

ICSE 2019-profile
View general profile