| 2026 | ICST | Automated REST API Black-box Test Generation in Practice: An Experience Report from Industry. | Davide Corradini, Seung Yeob Shin, Domenico Bianculli |
| 2025 | PROFES | Introduction to Quantum Software Engineering. | Yoann Marquer, Domenico Bianculli |
| 2025 | QCE | A Piece of QAICCC: Towards a Countermeasure Against Crosstalk Attacks in Quantum Servers. | Yoann Marquer, Domenico Bianculli |
| 2025 | QCE | Quantum Program Linting with LLMs: Emerging Results from a Comparative Study. | Seung Yeob Shin, Fabrizio Pastore, Domenico Bianculli |
| 2025 | RE | LLM-assisted Extraction of Regulatory Requirements: A Case Study on the GDPR. | Sallam Abualhaija, Marcello Ceci, Nicolas Sannier, Domenico Bianculli, Salom Lannier, Martina Siclari, Olivier Voordeckers, Stanislaw Tosza |
| 2025 | RE | GDPR Compliance in Privacy Policies of Mobile Apps: An Overview of the State-of-Practice. | Orlando Amaral Cejas, Sallam Abualhaija, Nicolas Sannier, Marcello Ceci, Domenico Bianculli |
| 2024 | QUATIC | Towards Generating Executable Metamorphic Relations Using Large Language Models. | Seung Yeob Shin, Fabrizio Pastore, Domenico Bianculli, Alexandra Baicoianu |
| 2024 | RE | AI-Enabled Regulatory Change Analysis of Legal Requirements. | Sallam Abualhaija, Marcello Ceci, Nicolas Sannier, Domenico Bianculli, Lionel C. Briand, Dirk A. Zetzsche, Marco Bodellini |
| 2024 | RE | Defining a Model for Content Requirements from the Law: An Experience Report. | Marcello Ceci, Domenico Bianculli, Lionel C. Briand |
| 2024 | RE | A Model Toward Formalizing and Monitoring Compliance of Investment Funds Activities. | Nicolas Sannier, Marcello Ceci, Sallam Abualhaija, Domenico Bianculli, Michael Halling |
| 2023 | FASE | Towards Log Slicing. | Joshua Heneage Dawes, Donghwan Shin, Domenico Bianculli |
| 2022 | ICSE | Guidelines for Assessing the Accuracy of Log Message Template Identification Techniques. | Zanis Ali Khan, Donghwan Shin, Domenico Bianculli, Lionel C. Briand |
| 2021 | ICSE | Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap. | Claudio Menghi, Enrico Vigan, Domenico Bianculli, Lionel C. Briand |
| 2021 | ICSE | ThEodorE: a Trace Checker for CPS Properties. | Claudio Menghi, Enrico Vigan, Domenico Bianculli, Lionel C. Briand |
| 2021 | ISSTA | Log-based slicing for system-level test cases. | Salma Messaoudi, Donghwan Shin, Annibale Panichella, Domenico Bianculli, Lionel C. Briand |
| 2021 | RV | Specifying Properties over Inter-procedural, Source Code Level Behaviour of Programs. | Joshua Heneage Dawes, Domenico Bianculli |
| 2021 | RV | A Theoretical Framework for Understanding the Relationship Between Log Parsing and Anomaly Detection. | Donghwan Shin, Zanis Ali Khan, Domenico Bianculli, Lionel C. Briand |
| 2018 | MODELS | Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications. | Wei Dou, Domenico Bianculli, Lionel C. Briand |
| 2017 | ICSE | Search-driven string constraint solving for vulnerability detection. | Julian Thom, Lwin Khin Shar, Domenico Bianculli, Lionel C. Briand |
| 2017 | MODELS | A Model-Driven Approach to Trace Checking of Pattern-Based Temporal Properties. | Wei Dou, Domenico Bianculli, Lionel C. Briand |
| 2017 | RV | TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties. | Wei Dou, Domenico Bianculli, Lionel C. Briand |
| 2017 | RV | On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper). | Domenico Bianculli, Srdjan Krstic |
| 2016 | ICSE | Efficient large-scale trace checking using mapreduce. | Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro |
| 2016 | ICSE | Testing the untestable: model testing of complex software-intensive systems. | Lionel C. Briand, Shiva Nejati, Mehrdad Sabetzadeh, Domenico Bianculli |
| 2016 | SACMAT | GemRBAC-DSL: A High-level Specification Language for Role-based Access Control Policies. | Ameni Ben Fadhel, Domenico Bianculli, Lionel C. Briand |
| 2015 | ICSE | Syntax-Driven Program Verification of Matching Logic Properties. | Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli, Alessandro Maria Rizzi |
| 2014 | FASE | SMT-Based Checking of SOLOIST over Sparse Traces. | Marcello Maria Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro |
| 2014 | ICSE | Towards the formalization of properties of cloud-based elastic systems. | Marcello M. Bersani, Domenico Bianculli, Schahram Dustdar, Alessio Gambi, Carlo Ghezzi, Srdan Krstic |
| 2014 | ISoLA | Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows. | Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli |
| 2014 | SEFM | Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce. | Domenico Bianculli, Carlo Ghezzi, Srdan Krstic |
| 2013 | ICSE | 5th international workshop on principles of engineering service-oriented systems (PESOS 2013). | Domenico Bianculli, Patricia Lago, Grace A. Lewis, Hye-Young Paik |
| 2012 | ICSE | Specification patterns from research to industry: A case study in service-based applications. | Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso, Patrick Senti |
| 2011 | ICSE | Interface decomposition for service compositions. | Domenico Bianculli, Dimitra Giannakopoulou, Corina S. Pasareanu |
| 2010 | ICSE | SOABench: performance evaluation of service-oriented middleware made easy. | Domenico Bianculli, Walter Binder, Mauro Luigi Drago |
| 2010 | WWW | Automated performance assessment for service-oriented middleware: a case study on BPEL engines. | Domenico Bianculli, Walter Binder, Mauro Luigi Drago |
| 2009 | FORTE | Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions. | Luciano Baresi, Domenico Bianculli, Sam Guinea, Paola Spoletini |
| 2009 | ICSE | ReMan: A pro-active reputation management infrastructure for composite Web services. | Domenico Bianculli, Walter Binder, Mauro Luigi Drago, Carlo Ghezzi |
| 2009 | ICSE | Embedding continuous lifelong verification in service life cycles. | Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso |
| 2008 | ICSE | Towards a methodology for lifelong validation of service compositions. | Domenico Bianculli, Carlo Ghezzi |
| 2008 | ICWS | Transparent Reputation Management for Composite Web Services. | Domenico Bianculli, Walter Binder, Mauro Luigi Drago, Carlo Ghezzi |
| 2007 | ICSE | Trio2Promela: A Model Checker for Temporal Metric Specifications. | Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini |
| 2007 | ICSOC | Automated Dynamic Maintenance of Composite Services Based on Service Reputation. | Domenico Bianculli, Radu Jurca, Walter Binder, Carlo Ghezzi, Boi Faltings |
| 2007 | ICWS | A Timed Extension of WSCoL. | Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini |