Davide Prandi

According to our database, Davide Prandi authored at least 26 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Model-Based Testing of Railway Interlocking Systems.

Alessandro Cimatti, Shaker Khandaker, Fitsum Meshesha Kifetew, Lorenzo Leone, Davide Prandi, Giuseppe Scaglione, Angelo Susi, Orazio Turboli

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024

2023

EvoMBT: Evolutionary model based testing.

Raihana Ferdous, Chia-kang Hung, Fitsum Meshesha Kifetew, Davide Prandi, Angelo Susi

Sci. Comput. Program., April, 2023

EvoMBT at the SBFT 2023 Tool Competition.

Raihana Ferdous, Chia-kang Hung, Fitsum Meshesha Kifetew, Davide Prandi, Angelo Susi

Proceedings of the IEEE/ACM International Workshop on Search-Based and Fuzz Testing, 2023

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

Proceedings of the Fundamental Approaches to Software Engineering, 2023

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

Proceedings of the 13th International Workshop on Automating Test Case Design, 2022

EvoMBT at the SBST 2022 Tool Competition.

Raihana Ferdous, Chia-kang Hung, Fitsum Meshesha Kifetew, Davide Prandi, Angelo Susi

Proceedings of the 15th IEEE/ACM International Workshop on Search-Based Software Testing, 2022

Towards Agent-Based Testing of 3D Games using Reinforcement Learning.

Raihana Ferdous, Fitsum Meshesha Kifetew, Davide Prandi, Angelo Susi

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

2021

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

Proceedings of the Search-Based Software Engineering - 13th International Symposium, 2021

2019

TPES: tumor purity estimation from SNVs.

Alessio Locallo, Davide Prandi, Tarcisio Fedrizzi, Francesca Demichelis

Bioinform., 2019

2012

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

2011

Stability analysis of biological network topologies during stochastic simulation.

Tommaso Mazza, Davide Prandi

Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques, 2011

Purpose Control: Did You Process the Data for the Intended Purpose?

Milan Petkovic, Davide Prandi, Nicola Zannone

Proceedings of the Secure Data Management - 8th VLDB Workshop, SDM 2011, Seattle, WA, USA, 2011

2010

GPU computing for systems biology.

Lorenzo Dematté, Davide Prandi

Briefings Bioinform., 2010

2009

Exploiting non-Markovian Bio-Processes.

Ivan Mura, Davide Prandi, Corrado Priami, Alessandro Romanel

Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, 2009

Efficient Parallel Statistical Model Checking of Biochemical Networks

Paolo Ballarini, Michele Forlin, Tommaso Mazza, Davide Prandi

Proceedings of the Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 2009

Taming the complexity of biological pathways through parallel computing.

Paolo Ballarini, Rosita Guido, Tommaso Mazza, Davide Prandi

Briefings Bioinform., 2009

Process Calculi Abstractions for Biology.

Maria Luisa Guerriero, Davide Prandi, Corrado Priami, Paola Quaglia

Proceedings of the Algorithmic Bioprocesses, 2009

2008

Communicating by compatibility.

Davide Prandi, Corrado Priami, Paola Quaglia

J. Log. Algebraic Methods Program., 2008

Formal Analysis of BPMN Via a Translation into COWS.

Davide Prandi, Paola Quaglia, Nicola Zannone

Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

2007

Stochastic COWS.

Davide Prandi, Paola Quaglia

Proceedings of the Service-Oriented Computing, 2007

2006

Beta-binders for Biological Quantitative Experiments.

Pierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia

Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, 2006

Developing An Hierarchical Simulator for Beta-binders.

Jan Himmelspach, Paola Lecca, Davide Prandi, Corrado Priami, Paola Quaglia, Adelinde M. Uhrmacher

Proceedings of the 20th IEEE/ACM/SCS Workshop on Principles of Advanced and Distributed Simulation, 2006

A Formal Approach to Molecular Docking.

Davide Prandi

Proceedings of the Computational Methods in Systems Biology, International Conference, 2006

2005

Process Calculi in a Biological Context.

Davide Prandi, Corrado Priami, Paola Quaglia

Bull. EATCS, 2005

Formal Executable Descriptions of Biological Systems.

Michele Curti, Davide Prandi, Linda Brodo

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005