Domenico Bianculli

132 papers A* 12A 11B 7C 2Misc 1Journal 60Unranked 32
YearRankTypeTitle / Venue / Authors
2026 J jnl
SAGA: Detecting Security Vulnerabilities Using Static Aspect Analysis.
CoRR
Yoann Marquer, Domenico Bianculli, Lionel C. Briand
2026 — ed.
Software Architecture. ECSA 2025 Tracks and Workshops - Limassol, Cyprus, September 15-19, 2025, Proceedings
ECSA (Tracks and Workshops)
Domenico Bianculli, Hassan Sartaj, Vasilios Andrikopoulos, Cesare Pautasso, Tommi Mikkonen, Jennifer Pérez, Tomás Bures, Martina De Sanctis, Henry Muccini, Elena Navarro, Mohamed Soliman, Uwe Zdun
2026 B ed.
Software Engineering and Formal Methods - 23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, Proceedings
SEFM
Domenico Bianculli, Elena Gómez-Martínez
2025 J jnl
A Machine Learning Approach for Automated Filling of Categorical Fields in Data Entry Forms - RCR Report.
ACM Trans. Softw. Eng. Methodol.
Hichem Belgacem, Xiaochen Li, Domenico Bianculli, Lionel C. Briand
2025 J jnl
A Piece of QAICCC: Towards a Countermeasure Against Crosstalk Attacks in Quantum Servers.
CoRR
Yoann Marquer, Domenico Bianculli
2025 J jnl
A comprehensive study of machine learning techniques for log-based anomaly detection.
Empir. Softw. Eng.
Shan Ali, Chaima Boufaied, Domenico Bianculli, Paula Branco, Lionel C. Briand
2025 J jnl
Beyond silos: Bridging the gap between law and software engineering - challenges, successes, and lesson drawing.
Internet Policy Rev.
Martina Siclari, Salomé Lannier, Olivier Voordeckers, Stanislaw Tosza, Sallam Abualhaija, Marcello Ceci, Nicolas Sannier, Domenico Bianculli
2025 — conf
Beyond the Digital Judge: Legal Reasoning in Compliance Checking and Compliance Choices.
DIGHUM
Marcello Ceci, Domenico Bianculli
2025 J jnl
CodeAD: Synthesize Code of Rules for Log-based Anomaly Detection with LLMs.
CoRR
Junjie Huang, Minghua He, Jinyang Liu, Yintong Huo, Domenico Bianculli, Michael R. Lyu
2025 J jnl
Diagnosing Violations of State-based Specifications in iCFTL.
CoRR
Cristina Stratan, Claudio Mandrioli, Domenico Bianculli
2025 A* conf
Fault Injection for Simulink-based CPS Models: Insights and Future Directions.
ASE
Drishti Yadav, Claudio Mandrioli, Ezio Bartocci, Domenico Bianculli
2025 A conf
GDPR Compliance in Privacy Policies of Mobile Apps: An Overview of the State-of-Practice.
RE
Orlando Amaral Cejas, Sallam Abualhaija, Nicolas Sannier, Marcello Ceci, Domenico Bianculli
2025 — conf
Introduction to Quantum Software Engineering.
PROFES (Workshop)
Yoann Marquer, Domenico Bianculli
2025 A conf
LLM-assisted Extraction of Regulatory Requirements: A Case Study on the GDPR.
RE
Sallam Abualhaija, Marcello Ceci, Nicolas Sannier, Domenico Bianculli, Salomé Lannier, Martina Siclari, Olivier Voordeckers, Stanislaw Tosza
2025 J jnl
Quantum Program Linting with LLMs: Emerging Results from a Comparative Study.
CoRR
Seung Yeob Shin, Fabrizio Pastore, Domenico Bianculli
2025 J jnl
Relevance of Log Mining and Analytics Papers to IEEE Transactions on Software Engineering.
IEEE Trans. Software Eng.
Massimiliano Di Penta, Domenico Bianculli, Michael R. Lyu, Sebastián Uchitel, Andy Zaidman
2025 J jnl
Stress Testing Control Loops in Cyber-Physical Systems - RCR Report.
ACM Trans. Softw. Eng. Methodol.
Claudio Mandrioli, Seung Yeob Shin, Martina Maggio, Domenico Bianculli, Lionel C. Briand
2025 J jnl
Testing CPS With Design Assumptions-Based Metamorphic Relations and Genetic Programming.
IEEE Trans. Software Eng.
Claudio Mandrioli, Seung Yeob Shin, Domenico Bianculli, Lionel C. Briand
2025 — conf
Toward LLM-Driven GDPR Compliance Checking for Android Apps.
SIGSOFT FSE Companion
Marco Alecci, Nicolas Sannier, Marcello Ceci, Sallam Abualhaija, Jordan Samhi, Domenico Bianculli, Tegawendé F. Bissyandé, Jacques Klein
2025 J jnl
Tracing content requirements in financial documents using multi-granularity text analysis.
Requir. Eng.
Xiaochen Li, Domenico Bianculli, Lionel C. Briand
2025 — conf
When Data Stands Before the Law: An Experience Report on Representing Financial Rules in SPARQL.
RuleML+RR (Companion)
Marcello Ceci, Nicolas Sannier, Sallam Abualhaija, Domenico Bianculli, Michael Halling
2024 — conf
A Model Toward Formalizing and Monitoring Compliance of Investment Funds Activities.
RE Workshops
Nicolas Sannier, Marcello Ceci, Sallam Abualhaija, Domenico Bianculli, Michael Halling
2024 A conf
AI-Enabled Regulatory Change Analysis of Legal Requirements.
RE
Sallam Abualhaija, Marcello Ceci, Nicolas Sannier, Domenico Bianculli, Lionel C. Briand, Dirk A. Zetzsche, Marco Bodellini
2024 J jnl
Anomaly Detection on Unstable Logs with GPT Models.
CoRR
Fatemeh Hadadi, Qinghua Xu, Domenico Bianculli, Lionel C. Briand
2024 J jnl
Automated anomaly detection for categorical data by repurposing a form filling recommender system.
ACM J. Data Inf. Qual.
Hichem Belgacem, Xiaochen Li, Domenico Bianculli, Lionel C. Briand
2024 — conf
Checking Complex Source Code-Level Constraints using Runtime Verification.
SIGSOFT FSE Companion
Joshua Heneage Dawes, Domenico Bianculli
2024 A conf
Defining a Model for Content Requirements from the Law: An Experience Report.
RE
Marcello Ceci, Domenico Bianculli, Lionel C. Briand
2024 — conf
Diagnosing Violations of Time-based Properties Captured in iCFTL.
FormaliSE@ICSE
Cristina Stratan, Joshua Heneage Dawes, Domenico Bianculli
2024 J jnl
GDPR-Relevant Privacy Concerns in Mobile Apps Research: A Systematic Literature Review.
CoRR
Orlando Amaral Cejas, Nicolas Sannier, Sallam Abualhaija, Marcello Ceci, Domenico Bianculli
2024 J jnl
Impact of log parsing on deep learning-based anomaly detection.
Empir. Softw. Eng.
Zanis Ali Khan, Donghwan Shin, Domenico Bianculli, Lionel C. Briand
2024 J jnl
Learning-based Relaxation of Completeness Requirements for Data Entry Forms.
ACM Trans. Softw. Eng. Methodol.
Hichem Belgacem, Xiaochen Li, Domenico Bianculli, Lionel C. Briand
2024 J jnl
Rigorous Assessment of Model Inference Accuracy using Language Cardinality.
ACM Trans. Softw. Eng. Methodol.
Donato Clun, Donghwan Shin, Antonio Filieri, Domenico Bianculli
2024 J jnl
Scoping Software Engineering for AI: The TSE Perspective.
IEEE Trans. Software Eng.
Sebastián Uchitel, Marsha Chechik, Massimiliano Di Penta, Bram Adams, Nazareno Aguirre, Gabriele Bavota, Domenico Bianculli, Kelly Blincoe, Ana Cavalcanti, Yvonne Dittrich, Filomena Ferrucci, Rashina Hoda, Liguo Huang, David Lo, Michael R. Lyu, Lei Ma, Jonathan I. Maletic, Leonardo Mariani, Collin McMillan, Tim Menzies, Martin Monperrus, Ana Moreno, Nachiappan Nagappan, Liliana Pasquale, Patrizio Pelliccione, Michael Pradel, Rahul Purandare, Sukyoung Ryu, Mehrdad Sabetzadeh, Alexander Serebrenik, Jun Sun, Chakkrit Kla Tantithamthavorn, Christoph Treude, Manuel Wimmer, Yingfei Xiong, Tao Yue, Andy Zaidman, Tao Zhang, Hao Zhong
2024 J jnl
Stress Testing Control Loops in Cyber-physical Systems.
ACM Trans. Softw. Eng. Methodol.
Claudio Mandrioli, Seung Yeob Shin, Martina Maggio, Domenico Bianculli, Lionel C. Briand
2024 J jnl
Systematic Evaluation of Deep Learning Models for Log-based Failure Prediction.
Empir. Softw. Eng.
Fatemeh Hadadi, Joshua Heneage Dawes, Donghwan Shin, Domenico Bianculli, Lionel C. Briand
2024 J jnl
Taxonomy of Software Log Smells.
CoRR
Nyyti Saarimäki, Donghwan Shin, Domenico Bianculli
2024 J jnl
Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming.
CoRR
Claudio Mandrioli, Seung Yeob Shin, Domenico Bianculli, Lionel C. Briand
2024 — conf
Toward Automated Change Impact Analysis of Financial Regulations.
FinanSE@ICSE
Sallam Abualhaija, Marcello Ceci, Nicolas Sannier, Domenico Bianculli, Dirk A. Zetzsche, Marco Bodellini
2024 — conf
Toward Automated Compliance Checking of Fund Activities Using Runtime Verification Techniques.
FinanSE@ICSE
Marcello Ceci, Nicolas Sannier, Sallam Abualhaija, Donghwan Shin, Domenico Bianculli, Michael Halling
2024 Misc conf
Towards Generating Executable Metamorphic Relations Using Large Language Models.
QUATIC
Seung Yeob Shin, Fabrizio Pastore, Domenico Bianculli, Alexandra Baicoianu
2024 J jnl
Towards Generating Executable Metamorphic Relations Using Large Language Models.
CoRR
Seung Yeob Shin, Fabrizio Pastore, Domenico Bianculli, Alexandra Baicoianu
2023 J jnl
A Machine Learning Approach for Automated Filling of Categorical Fields in Data Entry Forms.
ACM Trans. Softw. Eng. Methodol.
Hichem Belgacem, Xiaochen Li, Domenico Bianculli, Lionel C. Briand
2023 J jnl
An Empirical Study on Log-based Anomaly Detection Using Machine Learning.
CoRR
Shan Ali, Chaima Boufaied, Domenico Bianculli, Paula Branco, Lionel C. Briand, Nathan Aschbacher
2023 J jnl
Impact of Log Parsing on Log-based Anomaly Detection.
CoRR
Zanis Ali Khan, Donghwan Shin, Domenico Bianculli, Lionel C. Briand
2023 J jnl
Learning-Based Relaxation of Completeness Requirements for Data Entry Forms.
CoRR
Hichem Belgacem, Xiaochen Li, Domenico Bianculli, Lionel C. Briand
2023 J jnl
Stress Testing of Design Assumptions in Cyper-Physical Systems: A Control Theory-Based Approach.
CoRR
Claudio Mandrioli, Seung Yeob Shin, Martina Maggio, Domenico Bianculli, Lionel C. Briand
2023 J jnl
Systematic Evaluation of Deep Learning Models for Failure Prediction.
CoRR
Fatemeh Hadadi, Joshua Heneage Dawes, Donghwan Shin, Domenico Bianculli, Lionel C. Briand
2023 B conf
Towards Log Slicing.
FASE
Joshua Heneage Dawes, Donghwan Shin, Domenico Bianculli
2023 J jnl
Trace Diagnostics for Signal-Based Temporal Properties.
IEEE Trans. Software Eng.
Chaima Boufaied, Claudio Menghi, Domenico Bianculli, Lionel C. Briand
2022 J jnl
A Machine Learning Approach for Automated Filling of Data Entry Forms.
CoRR
Hichem Belgacem, Xiaochen Li, Domenico Bianculli, Lionel C. Briand
2022 J jnl
Automated reverse engineering of role-based access control policies of web applications.
J. Syst. Softw.
Ha Thanh Le, Lwin Khin Shar, Domenico Bianculli, Lionel Claude Briand, Cu Duy Nguyen
2022 A* conf
Guidelines for Assessing the Accuracy of Log Message Template Identification Techniques.
ICSE
Zanis Ali Khan, Donghwan Shin, Domenico Bianculli, Lionel C. Briand
2022 J jnl
PRINS: scalable model inference for component-based system logs.
Empir. Softw. Eng.
Donghwan Shin, Domenico Bianculli, Lionel C. Briand
2022 J jnl
Rigorous Assessment of Model Inference Accuracy using Language Cardinality.
CoRR
Donato Clun, Donghwan Shin, Antonio Filieri, Domenico Bianculli
2022 — conf
Specifying Source Code and Signal-based Behaviour of Cyber-Physical System Components.
FACS
Joshua Heneage Dawes, Domenico Bianculli
2022 J jnl
Trace Diagnostics for Signal-based Temporal Properties.
CoRR
Chaima Boufaied, Claudio Menghi, Domenico Bianculli, Lionel C. Briand
2021 B conf
A Theoretical Framework for Understanding the Relationship Between Log Parsing and Anomaly Detection.
RV
Donghwan Shin, Zanis Ali Khan, Domenico Bianculli, Lionel C. Briand
2021 J jnl
An AI-based Approach for Tracing Content Requirements in Financial Documents.
CoRR
Xiaochen Li, Domenico Bianculli, Lionel C. Briand
2021 A conf
Log-based slicing for system-level test cases.
ISSTA
Salma Messaoudi, Donghwan Shin, Annibale Panichella, Domenico Bianculli, Lionel C. Briand
2021 J jnl
PRINS: Scalable Model Inference for Component-based System Logs.
CoRR
Donghwan Shin, Domenico Bianculli, Lionel C. Briand
2021 J jnl
Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization.
J. Syst. Softw.
Chaima Boufaied, Maris Jukss, Domenico Bianculli, Lionel Claude Briand, Yago Isasi Parache
2021 B conf
Specifying Properties over Inter-procedural, Source Code Level Behaviour of Programs.
RV
Joshua Heneage Dawes, Domenico Bianculli
2021 — conf
ThEodorE: a Trace Checker for CPS Properties.
ICSE (Companion Volume)
Claudio Menghi, Enrico Viganò, Domenico Bianculli, Lionel C. Briand
2021 A* conf
Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap.
ICSE
Claudio Menghi, Enrico Viganò, Domenico Bianculli, Lionel C. Briand
2020 J jnl
ACM SIGSOFT Empirical Standards.
CoRR
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 Seide Molléri, Diomidis Spinellis, Miroslaw Staron, Klaas-Jan Stol, Damian A. Tamburri, Marco Torchiano, Christoph Treude, Burak Turhan, Sira Vegas
2020 J jnl
An Integrated Approach for Effective Injection Vulnerability Analysis of Web Applications Through Security Slicing and Hybrid Constraint Solving.
IEEE Trans. Software Eng.
Julian Thomé, Lwin Khin Shar, Domenico Bianculli, Lionel C. Briand
2020 J jnl
Effective Removal of Operational Log Messages: an Application to Model Inference.
CoRR
Donghwan Shin, Domenico Bianculli, Lionel C. Briand
2020 — ed.
FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020
FormaliSE@ICSE
Kyungmin Bae, Domenico Bianculli, Stefania Gnesi, Nico Plat
2020 J jnl
Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap.
CoRR
Claudio Menghi, Enrico Viganò, Domenico Bianculli, Lionel C. Briand
2020 A* conf
Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach.
ASE
Chaima Boufaied, Claudio Menghi, Domenico Bianculli, Lionel C. Briand, Yago Isasi Parache
2019 J jnl
A Model-driven Approach to Trace Checking of Temporal Properties with Aggregations.
J. Object Technol.
Chaima Boufaied, Domenico Bianculli, Lionel C. Briand
2019 J jnl
A survey of challenges for runtime verification from advanced application domains (beyond software).
Formal Methods Syst. Des.
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
2019 J jnl
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software).
Formal Methods Syst. Des.
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
2019 J jnl
Scalable Inference of System-level Models from Component Logs.
CoRR
Donghwan Shin, Salma Messaoudi, Domenico Bianculli, Annibale Panichella, Lionel C. Briand, Raimondas Sasnauskas
2019 J jnl
Signal-Based Properties: Taxonomy and Logic-based Characterization.
CoRR
Chaima Boufaied, Maris Jukss, Domenico Bianculli, Lionel Claude Briand, Yago Isasi Parache
2018 J jnl
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software).
CoRR
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
2018 A conf
A search-based approach for accurate identification of log message formats.
ICPC
Salma Messaoudi, Annibale Panichella, Domenico Bianculli, Lionel C. Briand, Raimondas Sasnauskas
2018 A conf
Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications.
MoDELS
Wei Dou, Domenico Bianculli, Lionel C. Briand
2018 A* conf
Model-driven run-time enforcement of complex role-based access control policies.
ASE
Ameni Ben Fadhel, Domenico Bianculli, Lionel C. Briand
2018 J jnl
Security slicing for auditing common injection vulnerabilities.
J. Syst. Softw.
Julian Thomé, Lwin Khin Shar, Domenico Bianculli, Lionel C. Briand
2018 J jnl
Software Engineering Research and Industry: A Symbiotic Relationship to Foster Impact.
IEEE Softw.
Victor R. Basili, Lionel C. Briand, Domenico Bianculli, Shiva Nejati, Fabrizio Pastore, Mehrdad Sabetzadeh
2017 A conf
A Model-Driven Approach to Trace Checking of Pattern-Based Temporal Properties.
MoDELS
Wei Dou, Domenico Bianculli, Lionel C. Briand
2017 — conf
JoanAudit: a tool for auditing common injection vulnerabilities.
ESEC/SIGSOFT FSE
Julian Thomé, Lwin Khin Shar, Domenico Bianculli, Lionel C. Briand
2017 — conf
On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper).
RV-CuBES
Domenico Bianculli, Srdjan Krstic
2017 A* conf
Search-driven string constraint solving for vulnerability detection.
ICSE
Julian Thomé, Lwin Khin Shar, Domenico Bianculli, Lionel C. Briand
2017 — conf
TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties.
RV-CuBES
Wei Dou, Domenico Bianculli, Lionel C. Briand
2017 J jnl
The Case for Context-Driven Software Engineering Research: Generalizability Is Overrated.
IEEE Softw.
Lionel C. Briand, Domenico Bianculli, Shiva Nejati, Fabrizio Pastore, Mehrdad Sabetzadeh
2016 — conf
A Model-driven Approach to Representing and Checking RBAC Contextual Policies.
CODASPY
Ameni Ben Fadhel, Domenico Bianculli, Lionel C. Briand, Benjamin Hourte
2016 A* conf
Efficient large-scale trace checking using mapreduce.
ICSE
Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
2016 C conf
GemRBAC-DSL: A High-level Specification Language for Role-based Access Control Policies.
SACMAT
Ameni Ben Fadhel, Domenico Bianculli, Lionel C. Briand
2016 — conf
Testing the untestable: model testing of complex software-intensive systems.
ICSE (Companion Volume)
Lionel C. Briand, Shiva Nejati, Mehrdad Sabetzadeh, Domenico Bianculli
2015 J jnl
A comprehensive modeling framework for role-based access control policies.
J. Syst. Softw.
Ameni Ben Fadhel, Domenico Bianculli, Lionel C. Briand
2015 J jnl
Efficient Large-scale Trace Checking Using MapReduce.
CoRR
Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
2015 — ed.
Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers
SEFM Workshops
Domenico Bianculli, Radu Calinescu, Bernhard Rumpe
2015 J jnl
Syntactic-semantic incrementality for agile verification.
Sci. Comput. Program.
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli
2015 — conf
Syntax-Driven Program Verification of Matching Logic Properties.
FormaliSE@ICSE
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli, Alessandro Maria Rizzi
2014 — ch.
Cloud-Based Systems Need Multi-Level Management.
Advanced Web Services
Luciano Baresi, Domenico Bianculli, Sam Guinea
2014 — conf
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows.
ISoLA (1)
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli
2014 B conf
OCLR: A More Expressive, Pattern-Based Temporal Extension of OCL.
ECMFA
Wei Dou, Domenico Bianculli, Lionel C. Briand
2014 — conf
Offline Trace Checking of Quantitative Properties of Service-Based Applications.
SOCA
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
2014 J jnl
Offline Trace Checking of Quantitative Properties of Service-Based Applications.
CoRR
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
2014 — conf
Revisiting Model-Driven Engineering for Run-Time Verification of Business Processes.
SAM
Wei Dou, Domenico Bianculli, Lionel C. Briand
2014 B conf
SMT-Based Checking of SOLOIST over Sparse Traces.
FASE
Marcello Maria Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
2014 C conf
Specification Patterns from Research to Industry: A Case Study in Service-Based Applications.
Software Engineering
Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso, Patrick Senti
2014 — conf
Towards the formalization of properties of cloud-based elastic systems.
PESOS
Marcello M. Bersani, Domenico Bianculli, Schahram Dustdar, Alessio Gambi, Carlo Ghezzi, Srdan Krstic
2014 B conf
Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce.
SEFM
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic
2014 J jnl
Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce.
CoRR
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic
2013 A* conf
5th international workshop on principles of engineering service-oriented systems (PESOS 2013).
ICSE
Domenico Bianculli, Patricia Lago, Grace A. Lewis, Hye-Young Paik
2013 J jnl
A Syntactic-Semantic Approach to Incremental Verification
CoRR
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli
2013 — ed.
Proceedings of the 2nd International Workshop on Quality Assurance for Service-based Applications, QASBA 2013, in conjunction with ISSTA 2013, Lugano, Switzerland, July 15, 2013
QASBA@ISSTA
Domenico Bianculli, Sam Guinea, Sylvain Hallé, Andrea Polini
2013 J jnl
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
Patricia Lago, Grace A. Lewis, Andreas Metzger, Vladimir Tosic, Domenico Bianculli, Antinisca Di Marco, Andrea Polini, Pierluigi Plebani
2012 — —
Open-world Software: Specification, Verification and Beyond.
Domenico Bianculli
2012 A* conf
Specification patterns from research to industry: A case study in service-based applications.
ICSE
Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso, Patrick Senti
2012 — conf
The Tale of SOLOIST: A Specification Language for Service Compositions Interactions.
FACS
Domenico Bianculli, Carlo Ghezzi, Pierluigi San Pietro
2011 A* conf
Interface decomposition for service compositions.
ICSE
Domenico Bianculli, Dimitra Giannakopoulou, Corina S. Pasareanu
2011 — ed.
Proceedings of the International Workshop on Quality Assurance for Service-Based Applications, QASBA 2011, Lugano, Switzerland, September 14, 2011
QASBA
Domenico Bianculli, Sam Guinea, Andreas Metzger, Andrea Polini
2010 A* conf
Automated performance assessment for service-oriented middleware: a case study on BPEL engines.
WWW
Domenico Bianculli, Walter Binder, Mauro Luigi Drago
2010 — conf
SOABench: performance evaluation of service-oriented middleware made easy.
ICSE (2)
Domenico Bianculli, Walter Binder, Mauro Luigi Drago
2009 — conf
Embedding continuous lifelong verification in service life cycles.
PESOS@ICSE
Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso
2009 — conf
Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions.
FMOODS/FORTE
Luciano Baresi, Domenico Bianculli, Sam Guinea, Paola Spoletini
2009 A* conf
ReMan: A pro-active reputation management infrastructure for composite Web services.
ICSE
Domenico Bianculli, Walter Binder, Mauro Luigi Drago, Carlo Ghezzi
2008 — conf
SAVVY-WS at a glance: Supporting verifiable dynamic service compositions.
ASE Workshops
Domenico Bianculli, Carlo Ghezzi
2008 — conf
Towards a methodology for lifelong validation of service compositions.
SDSOA@ICSE
Domenico Bianculli, Carlo Ghezzi
2008 A conf
Transparent Reputation Management for Composite Web Services.
ICWS
Domenico Bianculli, Walter Binder, Mauro Luigi Drago, Carlo Ghezzi
2007 — conf
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions.
Lipari Summer School
Domenico Bianculli, Carlo Ghezzi, Paola Spoletini, Luciano Baresi, Sam Guinea
2007 — conf
A Model Checking Approach to Verify BPEL4WS Workflows.
SOCA
Domenico Bianculli, Carlo Ghezzi, Paola Spoletini
2007 A conf
A Timed Extension of WSCoL.
ICWS
Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini
2007 A conf
Automated Dynamic Maintenance of Composite Services Based on Service Reputation.
ICSOC
Domenico Bianculli, Radu Jurca, Walter Binder, Carlo Ghezzi, Boi Faltings
2007 — conf
Model Checking Temporal Metric Specifications with Trio2Promela.
FSEN
Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro
2007 — conf
Monitoring conversational web services.
IW-SOSWE
Domenico Bianculli, Carlo Ghezzi
2007 — conf
Trio2Promela: A Model Checker for Temporal Metric Specifications.
ICSE Companion
Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini
2007 J jnl
Validation of web service compositions.
IET Softw.
Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini