Davide Prandi

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 10

Top Topics

Model Based Testing

Reinforcement Learning

Top Venues

Sci. Comput. Program.

Publications

Saba Gholizadeh Ansari, I. S. W. B. Prasetya, Mehdi Dastani, Gabriele Keller, Davide Prandi, Fitsum Meshesha Kifetew, Frank Dignum
PX-MBT: A framework for model-based player experience testing. Sci. Comput. Program. 236 (2024)
Saba Gholizadeh Ansari, I. S. W. B. Prasetya, Davide Prandi, Fitsum Meshesha Kifetew, Mehdi Dastani, Frank Dignum, Gabriele Keller
Model-based Player Experience Testing with Emotion Pattern Verification. FASE (2023)
Raihana Ferdous, Chia-kang Hung, Fitsum Meshesha Kifetew, Davide Prandi, Angelo Susi
EvoMBT at the SBFT 2023 Tool Competition. SBFT (2023)
Raihana Ferdous, Chia-kang Hung, Fitsum Meshesha Kifetew, Davide Prandi, Angelo Susi
EvoMBT: Evolutionary model based testing. Sci. Comput. Program. 227 (2023)
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
An agent-based approach to automated game testing: an experience report. A-TEST@ESEC/SIGSOFT FSE (2022)
Raihana Ferdous, Chia-kang Hung, Fitsum Meshesha Kifetew, Davide Prandi, Angelo Susi
EvoMBT at the SBST 2022 Tool Competition. SBST@ICSE (2022)
Raihana Ferdous, Fitsum Meshesha Kifetew, Davide Prandi, Angelo Susi
Towards Agent-Based Testing of 3D Games using Reinforcement Learning. ASE (2022)
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
An Agent-based Approach to Automated Game Testing: an Experience Report. CoRR (2022)
Raihana Ferdous, Fitsum Meshesha Kifetew, Davide Prandi, I. S. W. B. Prasetya, Samira Shirzadehhajimahmood, Angelo Susi
Search-Based Automated Play Testing of Computer Games: A Model-Based Approach. SSBSE (2021)
Alessio Locallo, Davide Prandi, Tarcisio Fedrizzi, Francesca Demichelis
TPES: tumor purity estimation from SNVs. Bioinform. 35 (21) (2019)
Tommaso Mazza, Paolo Ballarini, Rosita Guido, Davide Prandi
The Relevance of Topology in Parallel Simulation of Biological Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 9 (3) (2012)
Tommaso Mazza, Davide Prandi
Stability analysis of biological network topologies during stochastic simulation. SimuTools (2011)
Milan Petkovic, Davide Prandi, Nicola Zannone
Purpose Control: Did You Process the Data for the Intended Purpose? Secure Data Management (2011)
Lorenzo Dematté, Davide Prandi
GPU computing for systems biology. Briefings Bioinform. 11 (3) (2010)
Paolo Ballarini, Michele Forlin, Tommaso Mazza, Davide Prandi
Efficient Parallel Statistical Model Checking of Biochemical Networks PDMC (2009)
Paolo Ballarini, Rosita Guido, Tommaso Mazza, Davide Prandi
Taming the complexity of biological pathways through parallel computing. Briefings Bioinform. 10 (3) (2009)
Maria Luisa Guerriero, Davide Prandi, Corrado Priami, Paola Quaglia
Process Calculi Abstractions for Biology. Algorithmic Bioprocesses (2009)
Ivan Mura, Davide Prandi, Corrado Priami, Alessandro Romanel
Exploiting non-Markovian Bio-Processes. Electron. Notes Theor. Comput. Sci. 253 (3) (2009)
Davide Prandi, Paola Quaglia, Nicola Zannone
Formal Analysis of BPMN Via a Translation into COWS. COORDINATION (2008)
Davide Prandi, Corrado Priami, Paola Quaglia
Communicating by compatibility. J. Log. Algebraic Methods Program. 75 (2) (2008)
Davide Prandi, Paola Quaglia
Stochastic COWS. ICSOC (2007)
Pierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia
Beta-binders for Biological Quantitative Experiments. Electron. Notes Theor. Comput. Sci. 164 (3) (2006)
Davide Prandi
A Formal Approach to Molecular Docking. CMSB (2006)
Jan Himmelspach, Paola Lecca, Davide Prandi, Corrado Priami, Paola Quaglia, Adelinde M. Uhrmacher
Developing An Hierarchical Simulator for Beta-binders. PADS (2006)
Davide Prandi, Corrado Priami, Paola Quaglia
Process Calculi in a Biological Context. Bull. EATCS 85 (2005)
Michele Curti, Davide Prandi, Linda Brodo
Formal Executable Descriptions of Biological Systems. QEST (2005)