@inproceedings{b77b32640c864530bfe7bce2a02b5ce4,
title = "A Formal Model for the Simulation and Analysis of Early Biofilm Formation",
abstract = "Biofilms are structured communities of bacterial cells adherent to a surface. This bacterial state is called sessile. This paper focuses on the modelling of the transition between planktonic and sessile state using Real-time Maude as the modelling language. With more and more bacteria joining the sessile community, the likelihood of producing a biofilm increases. Once the percentage of bacterial cells that adheres to the surface reaches a threshold, which is specific for the considered bacterium species, a permanent biofilm is formed. An important challenge is to predict the time needed for the formation of a biofilm on a specific surface, in order to plan when the material infrastructure that comprises such a surface needs to be cleaned or replaced. We exploit the model-checking features of Real-time Maude to formally prove that a regular cleaning or replacement of the infrastructure prevents the biofilm formation.",
keywords = "Biofilms, Formal methods, Real-Time Maude, Rewriting logic",
author = "Antonio Cerone and Enrico Marsili",
note = "Funding Information: This work was partially funded by the Faculty Development Competitive Research Grant Program (Grant number 110119FD4537), Nazarbayev University, Kazakhstan. Publisher Copyright: {\textcopyright} 2021, The Author(s).; 9th International Symposium on From Data Models and Back, DataMod 2020 ; Conference date: 20-10-2020 Through 20-10-2020",
year = "2021",
doi = "10.1007/978-3-030-70650-0_9",
language = "English",
isbn = "9783030706494",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "134--151",
editor = "Juliana Bowles and Giovanna Broccia and Mirco Nanni",
booktitle = "From Data to Models and Back - 9th International Symposium, DataMod 2020, Revised Selected Papers",
address = "Germany",
}