Domenico Bianculli

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 58

Top Venues

CoRR

J. Syst. Softw.

ACM Trans. Softw. Eng. Methodol.

ICSE

University of Lugano, Switzerland (PHD)

Education History

University of Lugano, Switzerland

PHD

Publications

Zanis Ali Khan, Donghwan Shin, Domenico Bianculli, Lionel C. Briand
Impact of log parsing on deep learning-based anomaly detection. Empir. Softw. Eng. 29 (6) (2024)
Fatemeh Hadadi, Joshua Heneage Dawes, Donghwan Shin, Domenico Bianculli, Lionel C. Briand
Systematic Evaluation of Deep Learning Models for Log-based Failure Prediction. Empir. Softw. Eng. 29 (5) (2024)
Fatemeh Hadadi, Qinghua Xu, Domenico Bianculli, Lionel C. Briand
Anomaly Detection on Unstable Logs with GPT Models. CoRR (2024)
Claudio Mandrioli, Seung Yeob Shin, Martina Maggio, Domenico Bianculli, Lionel C. Briand
Stress Testing Control Loops in Cyber-physical Systems. ACM Trans. Softw. Eng. Methodol. 33 (2) (2024)
Hichem Belgacem, Xiaochen Li, Domenico Bianculli, Lionel C. Briand
Learning-based Relaxation of Completeness Requirements for Data Entry Forms. ACM Trans. Softw. Eng. Methodol. 33 (3) (2024)
Donato Clun, Donghwan Shin, Antonio Filieri, Domenico Bianculli
Rigorous Assessment of Model Inference Accuracy using Language Cardinality. ACM Trans. Softw. Eng. Methodol. 33 (4) (2024)
Cristina Stratan, Joshua Heneage Dawes, Domenico Bianculli
Diagnosing Violations of Time-based Properties Captured in iCFTL. FormaliSE@ICSE (2024)
Seung Yeob Shin, Fabrizio Pastore, Domenico Bianculli, Alexandra Baicoianu
Towards Generating Executable Metamorphic Relations Using Large Language Models. CoRR (2024)
Joshua Heneage Dawes, Domenico Bianculli
Checking Complex Source Code-Level Constraints using Runtime Verification. SIGSOFT FSE Companion (2024)
Shan Ali, Chaima Boufaied, Domenico Bianculli, Paula Branco, Lionel C. Briand, Nathan Aschbacher
An Empirical Study on Log-based Anomaly Detection Using Machine Learning. CoRR (2023)
Fatemeh Hadadi, Joshua Heneage Dawes, Donghwan Shin, Domenico Bianculli, Lionel C. Briand
Systematic Evaluation of Deep Learning Models for Failure Prediction. CoRR (2023)
Hichem Belgacem, Xiaochen Li, Domenico Bianculli, Lionel C. Briand
A Machine Learning Approach for Automated Filling of Categorical Fields in Data Entry Forms. ACM Trans. Softw. Eng. Methodol. 32 (2) (2023)
Claudio Mandrioli, Seung Yeob Shin, Martina Maggio, Domenico Bianculli, Lionel C. Briand
Stress Testing of Design Assumptions in Cyper-Physical Systems: A Control Theory-Based Approach. CoRR (2023)
Joshua Heneage Dawes, Donghwan Shin, Domenico Bianculli
Towards Log Slicing. FASE (2023)
Zanis Ali Khan, Donghwan Shin, Domenico Bianculli, Lionel C. Briand
Impact of Log Parsing on Log-based Anomaly Detection. CoRR (2023)
Chaima Boufaied, Claudio Menghi, Domenico Bianculli, Lionel C. Briand
Trace Diagnostics for Signal-Based Temporal Properties. IEEE Trans. Software Eng. 49 (5) (2023)
Hichem Belgacem, Xiaochen Li, Domenico Bianculli, Lionel C. Briand
Learning-Based Relaxation of Completeness Requirements for Data Entry Forms. CoRR (2023)
Chaima Boufaied, Claudio Menghi, Domenico Bianculli, Lionel C. Briand
Trace Diagnostics for Signal-based Temporal Properties. CoRR (2022)
Zanis Ali Khan, Donghwan Shin, Domenico Bianculli, Lionel C. Briand
Guidelines for Assessing the Accuracy of Log Message Template Identification Techniques. ICSE (2022)
Joshua Heneage Dawes, Domenico Bianculli
Specifying Source Code and Signal-based Behaviour of Cyber-Physical System Components. FACS (2022)
Ha Thanh Le, Lwin Khin Shar, Domenico Bianculli, Lionel Claude Briand, Cu Duy Nguyen
Automated reverse engineering of role-based access control policies of web applications. J. Syst. Softw. 184 (2022)
Donghwan Shin, Domenico Bianculli, Lionel C. Briand
PRINS: scalable model inference for component-based system logs. Empir. Softw. Eng. 27 (4) (2022)
Hichem Belgacem, Xiaochen Li, Domenico Bianculli, Lionel C. Briand
A Machine Learning Approach for Automated Filling of Data Entry Forms. CoRR (2022)
Donato Clun, Donghwan Shin, Antonio Filieri, Domenico Bianculli
Rigorous Assessment of Model Inference Accuracy using Language Cardinality. CoRR (2022)
Salma Messaoudi, Donghwan Shin, Annibale Panichella, Domenico Bianculli, Lionel C. Briand
Log-based slicing for system-level test cases. ISSTA (2021)
Xiaochen Li, Domenico Bianculli, Lionel C. Briand
An AI-based Approach for Tracing Content Requirements in Financial Documents. CoRR (2021)
Chaima Boufaied, Maris Jukss, Domenico Bianculli, Lionel Claude Briand, Yago Isasi Parache
Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization. J. Syst. Softw. 174 (2021)
Joshua Heneage Dawes, Domenico Bianculli
Specifying Properties over Inter-procedural, Source Code Level Behaviour of Programs. RV (2021)
Donghwan Shin, Zanis Ali Khan, Domenico Bianculli, Lionel C. Briand
A Theoretical Framework for Understanding the Relationship Between Log Parsing and Anomaly Detection. RV (2021)
Claudio Menghi, Enrico Viganò, Domenico Bianculli, Lionel C. Briand
ThEodorE: a Trace Checker for CPS Properties. ICSE (Companion Volume) (2021)
Claudio Menghi, Enrico Viganò, Domenico Bianculli, Lionel C. Briand
Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap. ICSE (2021)
Donghwan Shin, Domenico Bianculli, Lionel C. Briand
PRINS: Scalable Model Inference for Component-based System Logs. CoRR (2021)
Donghwan Shin, Domenico Bianculli, Lionel C. Briand
Effective Removal of Operational Log Messages: an Application to Model Inference. CoRR (2020)
Chaima Boufaied, Claudio Menghi, Domenico Bianculli, Lionel C. Briand, Yago Isasi Parache
Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach. ASE (2020)
Julian Thomé, Lwin Khin Shar, Domenico Bianculli, Lionel C. Briand
An Integrated Approach for Effective Injection Vulnerability Analysis of Web Applications Through Security Slicing and Hybrid Constraint Solving. IEEE Trans. Software Eng. 46 (2) (2020)
Claudio Menghi, Enrico Viganò, Domenico Bianculli, Lionel C. Briand
Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap. CoRR (2020)
Paul Ralph, Sebastian Baltes, Domenico Bianculli, Yvonne Dittrich, Michael Felderer, Robert Feldt, Antonio Filieri, Carlo Alberto Furia, Daniel Graziotin, Pinjia He, Rashina Hoda, Natalia Juristo, Barbara A. Kitchenham, Romain Robbes, Daniel Méndez, Jefferson Molleri, Diomidis Spinellis, Miroslaw Staron, Klaas-Jan Stol, Damian A. Tamburri, Marco Torchiano, Christoph Treude, Burak Turhan, Sira Vegas
ACM SIGSOFT Empirical Standards. CoRR (2020)
Chaima Boufaied, Domenico Bianculli, Lionel C. Briand
A Model-driven Approach to Trace Checking of Temporal Properties with Aggregations. J. Object Technol. 18 (2) (2019)
Donghwan Shin, Salma Messaoudi, Domenico Bianculli, Annibale Panichella, Lionel C. Briand, Raimondas Sasnauskas
Scalable Inference of System-level Models from Component Logs. CoRR (2019)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 54 (3) (2019)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 55 (1) (2019)
Chaima Boufaied, Maris Jukss, Domenico Bianculli, Lionel Claude Briand, Yago Isasi Parache
Signal-Based Properties: Taxonomy and Logic-based Characterization. CoRR (2019)
Victor R. Basili, Lionel C. Briand, Domenico Bianculli, Shiva Nejati, Fabrizio Pastore, Mehrdad Sabetzadeh
Software Engineering Research and Industry: A Symbiotic Relationship to Foster Impact. IEEE Softw. 35 (5) (2018)
Ameni Ben Fadhel, Domenico Bianculli, Lionel C. Briand
Model-driven run-time enforcement of complex role-based access control policies. ASE (2018)
Salma Messaoudi, Annibale Panichella, Domenico Bianculli, Lionel C. Briand, Raimondas Sasnauskas
A search-based approach for accurate identification of log message formats. ICPC (2018)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). CoRR (2018)
Wei Dou, Domenico Bianculli, Lionel C. Briand
Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications. MoDELS (2018)
Julian Thomé, Lwin Khin Shar, Domenico Bianculli, Lionel C. Briand
Security slicing for auditing common injection vulnerabilities. J. Syst. Softw. 137 (2018)
Domenico Bianculli, Srdjan Krstic
On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper). RV-CuBES (2017)
Julian Thomé, Lwin Khin Shar, Domenico Bianculli, Lionel C. Briand
JoanAudit: a tool for auditing common injection vulnerabilities. ESEC/SIGSOFT FSE (2017)
Lionel C. Briand, Domenico Bianculli, Shiva Nejati, Fabrizio Pastore, Mehrdad Sabetzadeh
The Case for Context-Driven Software Engineering Research: Generalizability Is Overrated. IEEE Softw. 34 (5) (2017)
Wei Dou, Domenico Bianculli, Lionel C. Briand
A Model-Driven Approach to Trace Checking of Pattern-Based Temporal Properties. MoDELS (2017)
Julian Thomé, Lwin Khin Shar, Domenico Bianculli, Lionel C. Briand
Search-driven string constraint solving for vulnerability detection. ICSE (2017)
Wei Dou, Domenico Bianculli, Lionel C. Briand
TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties. RV-CuBES (2017)
Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
Efficient large-scale trace checking using mapreduce. ICSE (2016)
Lionel C. Briand, Shiva Nejati, Mehrdad Sabetzadeh, Domenico Bianculli
Testing the untestable: model testing of complex software-intensive systems. ICSE (Companion Volume) (2016)
Ameni Ben Fadhel, Domenico Bianculli, Lionel C. Briand
GemRBAC-DSL: A High-level Specification Language for Role-based Access Control Policies. SACMAT (2016)
Ameni Ben Fadhel, Domenico Bianculli, Lionel C. Briand, Benjamin Hourte
A Model-driven Approach to Representing and Checking RBAC Contextual Policies. CODASPY (2016)
Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
Efficient Large-scale Trace Checking Using MapReduce. CoRR (2015)
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli
Syntactic-semantic incrementality for agile verification. Sci. Comput. Program. 97 (2015)
Ameni Ben Fadhel, Domenico Bianculli, Lionel C. Briand
A comprehensive modeling framework for role-based access control policies. J. Syst. Softw. 107 (2015)
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli, Alessandro Maria Rizzi
Syntax-Driven Program Verification of Matching Logic Properties. FormaliSE@ICSE (2015)
Wei Dou, Domenico Bianculli, Lionel C. Briand
Revisiting Model-Driven Engineering for Run-Time Verification of Business Processes. SAM (2014)
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
Offline Trace Checking of Quantitative Properties of Service-Based Applications. CoRR (2014)
Marcello M. Bersani, Domenico Bianculli, Schahram Dustdar, Alessio Gambi, Carlo Ghezzi, Srdan Krstic
Towards the formalization of properties of cloud-based elastic systems. PESOS (2014)
Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso, Patrick Senti
Specification Patterns from Research to Industry: A Case Study in Service-Based Applications. Software Engineering (2014)
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic
Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce. SEFM (2014)
Wei Dou, Domenico Bianculli, Lionel C. Briand
OCLR: A More Expressive, Pattern-Based Temporal Extension of OCL. ECMFA (2014)
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic
Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce. CoRR (2014)
Marcello Maria Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
SMT-Based Checking of SOLOIST over Sparse Traces. FASE (2014)
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows. ISoLA (1) (2014)
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
Offline Trace Checking of Quantitative Properties of Service-Based Applications. SOCA (2014)
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli
A Syntactic-Semantic Approach to Incremental Verification CoRR (2013)
Domenico Bianculli, Patricia Lago, Grace A. Lewis, Hye-Young Paik
5th international workshop on principles of engineering service-oriented systems (PESOS 2013). ICSE (2013)
Patricia Lago, Grace A. Lewis, Andreas Metzger, Vladimir Tosic, Domenico Bianculli, Antinisca Di Marco, Andrea Polini, Pierluigi Plebani
Report of the 4th international workshop on principles of engineering service-oriented systems (PESOS 2012): internet of services and the quest for case studies. ACM SIGSOFT Softw. Eng. Notes 38 (1) (2013)
Domenico Bianculli, Carlo Ghezzi, Pierluigi San Pietro
The Tale of SOLOIST: A Specification Language for Service Compositions Interactions. FACS (2012)
Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso, Patrick Senti
Specification patterns from research to industry: A case study in service-based applications. ICSE (2012)
Domenico Bianculli, Dimitra Giannakopoulou, Corina S. Pasareanu
Interface decomposition for service compositions. ICSE (2011)
Domenico Bianculli, Walter Binder, Mauro Luigi Drago
SOABench: performance evaluation of service-oriented middleware made easy. ICSE (2) (2010)
Domenico Bianculli, Walter Binder, Mauro Luigi Drago
Automated performance assessment for service-oriented middleware: a case study on BPEL engines. WWW (2010)
Luciano Baresi, Domenico Bianculli, Sam Guinea, Paola Spoletini
Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions. FMOODS/FORTE (2009)
Domenico Bianculli, Walter Binder, Mauro Luigi Drago, Carlo Ghezzi
ReMan: A pro-active reputation management infrastructure for composite Web services. ICSE (2009)
Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso
Embedding continuous lifelong verification in service life cycles. PESOS@ICSE (2009)
Domenico Bianculli, Walter Binder, Mauro Luigi Drago, Carlo Ghezzi
Transparent Reputation Management for Composite Web Services. ICWS (2008)
Domenico Bianculli, Carlo Ghezzi
Towards a methodology for lifelong validation of service compositions. SDSOA@ICSE (2008)
Domenico Bianculli, Carlo Ghezzi
SAVVY-WS at a glance: Supporting verifiable dynamic service compositions. ASE Workshops (2008)
Domenico Bianculli, Carlo Ghezzi
Monitoring conversational web services. IW-SOSWE (2007)
Domenico Bianculli, Radu Jurca, Walter Binder, Carlo Ghezzi, Boi Faltings
Automated Dynamic Maintenance of Composite Services Based on Service Reputation. ICSOC (2007)
Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro
Model Checking Temporal Metric Specifications with Trio2Promela. FSEN (2007)
Domenico Bianculli, Carlo Ghezzi, Paola Spoletini
A Model Checking Approach to Verify BPEL4WS Workflows. SOCA (2007)
Domenico Bianculli, Carlo Ghezzi, Paola Spoletini, Luciano Baresi, Sam Guinea
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions. Lipari Summer School (2007)
Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini
A Timed Extension of WSCoL. ICWS (2007)
Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini
Validation of web service compositions. IET Softw. 1 (6) (2007)
Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini
Trio2Promela: A Model Checker for Temporal Metric Specifications. ICSE Companion (2007)

Domenico Bianculli.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Domenico Bianculli