All Stories

  1. LLM meets ML: Data-efficient Anomaly Detection on Unstable Logs

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

    Domenico Bianculli

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

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

    Jordan Samhi, Domenico Bianculli

  3. 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

  4. 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

  5. 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

  6. 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

  7. Toward Automated Change Impact Analysis of Financial Regulations

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

    Domenico Bianculli

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

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

    Domenico Bianculli

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

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

    Domenico Bianculli

  10. 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

  11. 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

  12. 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

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

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

    Domenico Bianculli

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

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

    Domenico Bianculli

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

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

    Domenico Bianculli

  16. ThEodorE: a Trace Checker for CPS Properties

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

    Domenico Bianculli

  17. Trace-checking signal-based temporal properties

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

    Domenico Bianculli

  18. How to accurately identify the format of log messages

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

    Domenico Bianculli

  19. Search-Driven String Constraint Solving for Vulnerability Detection

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

    Domenico Bianculli

  20. Efficient large-scale trace checking using mapreduce

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

    Domenico Bianculli

  21. Testing the untestable

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

    Domenico Bianculli

  22. 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

  23. 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