All Stories

  1. Summary of the 3rd International Workshop on AI Solutions for Software Engineering Challenges in Financial Firms (FinanSE) co-located with the 48th IEEE/ACM ICSE 2026

    Article • ACM SIGSOFT Software Engineering Notes, October 2026, ACM (Association for Computing Machinery)

    Eileen Kapel, Domenico Bianculli

  2. LLM Meets ML: Data-efficient Anomaly Detection on Unstable Logs

    Article • ACM Transactions on Software Engineering and Methodology, July 2026, ACM (Association for Computing Machinery)

    Domenico Bianculli

  3. Toward LLM-Driven GDPR Compliance Checking for Android Apps

    Article • June 2025, ACM (Association for Computing Machinery)

    Jordan Samhi, Domenico Bianculli

  4. Stress Testing Control Loops in Cyber-Physical Systems - RCR Report

    Article • ACM Transactions on Software Engineering and Methodology, May 2025, ACM (Association for Computing Machinery)

    Domenico Bianculli

  5. A Machine Learning Approach for Automated Filling of Categorical Fields in Data Entry Forms - RCR Report

    Article • ACM Transactions on Software Engineering and Methodology, November 2024, ACM (Association for Computing Machinery)

    Domenico Bianculli

  6. Automated anomaly detection for categorical data by repurposing a form filling recommender system

    Article • Journal of Data and Information Quality, September 2024, ACM (Association for Computing Machinery)

    Domenico Bianculli

  7. Rigorous Assessment of Model Inference Accuracy using Language Cardinality

    Article • ACM Transactions on Software Engineering and Methodology, April 2024, ACM (Association for Computing Machinery)

    Domenico Bianculli

  8. Toward Automated Change Impact Analysis of Financial Regulations

    Article • April 2024, ACM (Association for Computing Machinery)

    Domenico Bianculli

  9. Toward Automated Compliance Checking of Fund Activities Using Runtime Verification Techniques

    Article • April 2024, ACM (Association for Computing Machinery)

    Domenico Bianculli

  10. Diagnosing Violations of Time-based Properties Captured in iCFTL

    Article • April 2024, ACM (Association for Computing Machinery)

    Domenico Bianculli

  11. Learning-Based Relaxation of Completeness Requirements for Data Entry Forms

    Article • ACM Transactions on Software Engineering and Methodology, December 2023, ACM (Association for Computing Machinery)

    Domenico Bianculli

  12. Stress Testing Control Loops in Cyber-Physical Systems

    Article • ACM Transactions on Software Engineering and Methodology, September 2023, ACM (Association for Computing Machinery)

    Domenico Bianculli

  13. A Machine Learning Approach for Automated Filling of Categorical Fields in Data Entry Forms

    Article • ACM Transactions on Software Engineering and Methodology, May 2022, ACM (Association for Computing Machinery)

    Domenico Bianculli

  14. Guidelines for assessing the accuracy of log message template identification techniques

    Article • May 2022, ACM (Association for Computing Machinery)

    Domenico Bianculli

  15. Log-based slicing for system-level test cases

    Article • July 2021, ACM (Association for Computing Machinery)

    Domenico Bianculli

  16. Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap

    Article • May 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Domenico Bianculli

  17. ThEodorE: a Trace Checker for CPS Properties

    Article • May 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Domenico Bianculli

  18. Trace-checking signal-based temporal properties

    Article • December 2020, ACM (Association for Computing Machinery)

    Domenico Bianculli

  19. How to accurately identify the format of log messages

    Article • May 2018, ACM (Association for Computing Machinery)

    Domenico Bianculli

  20. Search-Driven String Constraint Solving for Vulnerability Detection

    Article • May 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Domenico Bianculli

  21. Efficient large-scale trace checking using mapreduce

    Article • May 2016, ACM (Association for Computing Machinery)

    Domenico Bianculli

  22. Testing the untestable

    Article • May 2016, ACM (Association for Computing Machinery)

    Domenico Bianculli

  23. Report of the 4th international workshop on principles of engineering service-oriented systems (PESOS 2012)

    Article • ACM SIGSOFT Software Engineering Notes, January 2013, ACM (Association for Computing Machinery)

    Patricia Lago, Andreas Metzger, Domenico Bianculli

  24. Report of the 4th international workshop on principles of engineering service-oriented systems (PESOS 2012)

    Article • ACM SIGSOFT Software Engineering Notes, November 2012, ACM (Association for Computing Machinery)

    Patricia Lago, Andreas Metzger, Domenico Bianculli