FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with ICSE 2021
Thu 20 May 2021 11:00 - 11:30 at FormaliSE Room - Monitoring & Biological systems

Robustness is an observable property for which a chemical reaction network (CRN) can maintain its functionalities despite the influence of different perturbations. In general, to verify whether a network is robust, it is necessary to consider all the possible parameter configurations. This is a process that can entail a massive computational effort. In the work of Rizk et al., the authors propose a definition of robustness in linear temporal logic (LTL) through which, on the basis of multiple numerical timed traces obtained by considering different parameter configurations, they verify the robustness of a reaction network. In this paper, we focus on a notion of initial concentration robustness ($\alpha$-robustness), that is related to the influence of the perturbation of the initial concentration of one species (i.e., the input) on the concentration of another species (i.e., the output) at the steady state. We characterize this notion of robustness in the framework proposed by Rizk et al., and we show that, for monotonic reaction networks, this allows us to drastically reduce the number of traces necessary to verify robustness of the CRN.

#### Thu 20 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

 10:00 - 11:30 Monitoring & Biological systemsFormaliSE 2021 at FormaliSE Room 10:0030mTalk Monitoring Cumulative Non-functional PropertiesFormaliSE 2021Omar Al Bataineh National University of Singapore, Singapore, Arvind Easwaran Nanyang Technological University, Daniel Jun Xian Ng Nanyang Technological University, Singapore Pre-print Media Attached 10:3030mTalk Feasibility of Spatial Model Checking for Nevus SegmentationFormaliSE 2021Gina Belmonte Azienda Toscana Nord Ovest S. C. Fisica Sanitaria Nord, Lucca, Italy, Giovanna Broccia ISTI-CNR, FMT Lab, Vincenzo Ciancia Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", Consiglio Nazionale delle Ricerche, Pisa, ITALY, Diego Latella ISTI-CNR, Pisa, Italy, Mieke Massink CNR-ISTI Pisa, Italy Pre-print Media Attached 11:0030mTalk Formal characterization and efficient verification of a biological robustness propertyFormaliSE 2021Lucia Nasti Università di Pisa - Dipartimento di Informatica, Roberta Gori University of Pisa, Paolo Milazzo University of Pisa - Department of Computer Science Pre-print Media Attached

Information for Participants
Thu 20 May 2021 10:00 - 11:30 at FormaliSE Room - Monitoring & Biological systems
Info for room FormaliSE Room: