Domenico Bianculli

Identifiers

• name variant Domenico Bianculli 0.60 · backfill

Papers (9)

1. Fine-grained Claim-level RAG Benchmark for Law cs.CL · 2026 · author #3
2. Can LLMs Solve Science or Just Write Code? Evaluating Quantum Solver Generation cs.SE · 2026 · author #2
3. Randomized and Diverse Input State Generation for Quantum Program Testing cs.SE · 2026 · author #4
4. Beyond Rules: LLM-Powered Linting for Quantum Programs cs.SE · 2026 · author #5
5. A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software) cs.SE · 2018 · author #5
6. Efficient Large-scale Trace Checking Using MapReduce cs.SE · 2015 · author #2
7. Offline Trace Checking of Quantitative Properties of Service-Based Applications cs.SE · 2014 · author #1
8. Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce cs.SE · 2014 · author #1
9. A Syntactic-Semantic Approach to Incremental Verification cs.SE · 2013 · author #1

Mentions

• 1409.4653 #1 · backfill · confidence 0.70 Domenico Bianculli
• 1406.3661 #1 · backfill · confidence 0.70 Domenico Bianculli
• 1304.8034 #1 · backfill · confidence 0.70 Domenico Bianculli
• 2605.21071 #3 · arxiv_oai · confidence 0.70 Domenico Bianculli

Frequent Coauthors

• Carlo Ghezzi 4 shared papers
• Fabrizio Pastore 3 shared papers
• Seung Yeob Shin 3 shared papers
• Srdan Krstic 3 shared papers
• Maryse Ernzer 2 shared papers
• Pierluigi San Pietro 2 shared papers
• Adrian Francalanza 1 shared papers
• Alexander Weiss 1 shared papers
• Antonio Filieri 1 shared papers
• C\'esar S\'anchez 1 shared papers
• Christian Colombo 1 shared papers
• Dejan Nickovic 1 shared papers
• Dino Mandrioli 1 shared papers
• Dmitriy Traytel 1 shared papers
• Ezio Bartocci 1 shared papers
• Gerardo Schneider 1 shared papers
• Giuseppe Scanniello 1 shared papers
• Gordon J. Pace 1 shared papers
• Jo\H{a}o M. Louren\c{c}o 1 shared papers
• Jose Rufino 1 shared papers