Formal Executable Descriptions of Biological Systems. - Michele Curti; Davide Prandi; Linda Brodo (QEST, 2005)

Process Calculi in a Biological Context. - Davide Prandi; Corrado Priami; Paola Quaglia (Bull. EATCS, 2005)

A Formal Approach to Molecular Docking. - Davide Prandi (CMSB, 2006)

Developing An Hierarchical Simulator for Beta-binders. - Jan Himmelspach; Paola Lecca; Davide Prandi; Corrado Priami; Paola Quaglia; Adelinde M. Uhrmacher (PADS, 2006)

Beta-binders for Biological Quantitative Experiments. - Pierpaolo Degano; Davide Prandi; Corrado Priami; Paola Quaglia (QAPL, 2006)

Stochastic COWS. - Davide Prandi; Paola Quaglia (ICSOC, 2007)

Formal Analysis of BPMN Via a Translation into COWS. - Davide Prandi; Paola Quaglia; Nicola Zannone (COORDINATION, 2008)

Communicating by compatibility. - Davide Prandi; Corrado Priami; Paola Quaglia (J. Log. Algebraic Methods Program., 2008)

Process Calculi Abstractions for Biology. - Maria Luisa Guerriero; Davide Prandi; Corrado Priami; Paola Quaglia (Algorithmic Bioprocesses, 2009)

Taming the complexity of biological pathways through parallel computing. - Paolo Ballarini; Rosita Guido; Tommaso Mazza; Davide Prandi (Briefings Bioinform., 2009)

Efficient Parallel Statistical Model Checking of Biochemical Networks - Paolo Ballarini; Michele Forlin; Tommaso Mazza; Davide Prandi (PDMC, 2009)

Exploiting non-Markovian Bio-Processes. - Ivan Mura; Davide Prandi; Corrado Priami; Alessandro Romanel (QAPL, 2009)

GPU computing for systems biology. - Lorenzo Dematté; Davide Prandi (Briefings Bioinform., 2010)

Purpose Control: Did You Process the Data for the Intended Purpose? - Milan Petkovic; Davide Prandi; Nicola Zannone (Secure Data Management, 2011)

Stability analysis of biological network topologies during stochastic simulation. - Tommaso Mazza; Davide Prandi (SimuTools, 2011)

The Relevance of Topology in Parallel Simulation of Biological Networks. - Tommaso Mazza; Paolo Ballarini; Rosita Guido; Davide Prandi (IEEE ACM Trans. Comput. Biol. Bioinform., 2012)

TPES: tumor purity estimation from SNVs. - Alessio Locallo; Davide Prandi; Tarcisio Fedrizzi; Francesca Demichelis (Bioinform., 2019)

Search-Based Automated Play Testing of Computer Games: A Model-Based Approach. - Raihana Ferdous; Fitsum Meshesha Kifetew; Davide Prandi; I. S. W. B. Prasetya; Samira Shirzadehhajimahmood; Angelo Susi (SSBSE, 2021)

Towards Agent-Based Testing of 3D Games using Reinforcement Learning. - Raihana Ferdous; Fitsum Meshesha Kifetew; Davide Prandi; Angelo Susi (ASE, 2022)

EvoMBT at the SBST 2022 Tool Competition. - Raihana Ferdous; Chia-kang Hung; Fitsum Meshesha Kifetew; Davide Prandi; Angelo Susi (SBST@ICSE, 2022)

An agent-based approach to automated game testing: an experience report. - I. S. W. B. Prasetya; Fernando Pastor Ricós; Fitsum Meshesha Kifetew; Davide Prandi; Samira Shirzadehhajimahmood; Tanja E. J. Vos; Premysl Paska; Karel Hovorka; Raihana Ferdous; Angelo Susi; Joseph Davidson (A-TEST@ESEC/SIGSOFT FSE, 2022)

Model-based Player Experience Testing with Emotion Pattern Verification. - Saba Gholizadeh Ansari; I. S. W. B. Prasetya; Davide Prandi; Fitsum Meshesha Kifetew; Mehdi Dastani; Frank Dignum; Gabriele Keller (FASE, 2023)

EvoMBT at the SBFT 2023 Tool Competition. - Raihana Ferdous; Chia-kang Hung; Fitsum Meshesha Kifetew; Davide Prandi; Angelo Susi (SBFT, 2023)

EvoMBT: Evolutionary model based testing. - Raihana Ferdous; Chia-kang Hung; Fitsum Meshesha Kifetew; Davide Prandi; Angelo Susi (Sci. Comput. Program., 2023)

Model-Based Testing of Railway Interlocking Systems. - Alessandro Cimatti; Shaker Khandaker; Fitsum Meshesha Kifetew; Lorenzo Leone; Davide Prandi; Giuseppe Scaglione; Angelo Susi; Orazio Turboli (ISoLA (5), 2024)

PX-MBT: A framework for model-based player experience testing. - Saba Gholizadeh Ansari; I. S. W. B. Prasetya; Mehdi Dastani; Gabriele Keller; Davide Prandi; Fitsum Meshesha Kifetew; Frank Dignum (Sci. Comput. Program., 2024)

Curiosity Driven Multi-agent Reinforcement Learning for 3D Game Testing. - Raihana Ferdous; Fitsum Meshesha Kifetew; Davide Prandi; Angelo Susi (ICSTW, 2025)

AugmenTest: Enhancing Tests with LLM-Driven Oracles. - Shaker Mahmud Khandaker; Fitsum Meshesha Kifetew; Davide Prandi; Angelo Susi (ICST, 2025)

On the Energy Consumption of Test Generation. - Fitsum Meshesha Kifetew; Davide Prandi; Angelo Susi (ICST, 2025)

Evolv-1 at the ICST 2025 Tool Competition - UAV Testing Track. - Pietro Lechthaler; Davide Prandi; Fitsum Meshesha Kifetew; Angelo Susi (ICST, 2025)

SBFT Tool Competition 2025 - Java Test Case Generation Track. - Fitsum Meshesha Kifetew; Lin Yun; Davide Prandi (CoRR, 2025)