Registered user since Tue 14 Nov 2017
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.
|ASE 2020|| Session Chair of Synthesis (part of Research Papers)|
Committee Member in Program Committee within the Research Papers-track
Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach
|Show activities from other conferences|
View general profile