Domenico Bianculli

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
Research interests:software engineering, trace checking and run-time verification, temporal specification languages, model-driven engineering, access control, security analysis, service-based applications

Contributions

ASE 2021 Author of Signal-based properties of cyber-physical systems: Taxonomy and logic-based characterization within the Journal-first Papers-track
FormaliSE 2021 Committee Member in Programme Committee within the FormaliSE 2021-track
ESEC/FSE 2022 Tutorials Chair in Organizing Committee
ESEC/FSE 2021 Session Chair of Dependability—Vulnerabilities 2 (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
Session Chair of Analysis—Model Checking (part of Research Papers)
ISSTA 2021 Author of Log-Based Slicing for System-Level Test Cases within the Technical Papers-track
ASE 2020 Session Chair of Synthesis (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
Author of Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach within the Research Papers-track
ICSE 2022 Committee Member in Program Committee within the Technical Track-track
FormaliSE 2020 Program Co-Chair in Program Committee within the FormaliSE 2020-track
ICSE 2021 Committee Member in Program Committee within the Workshops-track
Author of Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap within the Technical Track-track
Author of ThEodorE: a Trace Checker for CPS Properties within the AE - Artifact Evaluation-track
ASE 2019 Committee Member in Program Committee within the Journal First Presentations-track
FormaliSE 2019 Committee Member in Program Committee within the FormaliSE 2019-track
FormaliSE 2018 Session Chair of Runtime verification (part of FormaliSE 2018)
Committee Member in Program Committee within the FormaliSE 2018-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)
Author of Recap of ACM SIGSOFT and IEEE TCSE Awards within the Plenary-track
Session Chair of Analysis and Verification (part of Papers)
ICPC 2018 Author of A Search-based Approach for Accurate Identification of Log Message Formats within the Technical Research-track