* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
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 2018Session Chair of Runtime verification (part of FormaliSE 2018)
Committee Member in Program Committee within the FormaliSE 2018-track
ICPC 2018Author of A Search-based Approach for Accurate Identification of Log Message Formats within the Technical Research-track
Show activities from other conferences

* ICSE 2018 *-profile
View general profile