Phospholipase iPLA2β averts ferroptosis by eliminating a redox lipid death signal

WY Sun, VA Tyurin, K Mikulska-Ruminska… - Nature chemical …, 2021 - nature.com
Ferroptosis, triggered by discoordination of iron, thiols and lipids, leads to the accumulation
of 15-hydroperoxy (Hp)-arachidonoyl-phosphatidylethanolamine (15-HpETE-PE), generated …

Redox lipid reprogramming commands susceptibility of macrophages and microglia to ferroptotic death

AA Kapralov, Q Yang, HH Dar, YY Tyurina… - Nature chemical …, 2020 - nature.com
Ferroptotic death is the penalty for losing control over three processes—iron metabolism,
lipid peroxidation and thiol regulation—that are common in the pro-inflammatory …

Verifiable biology

S Konur, M Gheorghe… - Journal of the Royal …, 2023 - royalsocietypublishing.org
The formalization of biological systems using computational modelling approaches as an
alternative to mathematical-based methods has recently received much interest because …

Mechanisms of action of autophagy modulators dissected by quantitative systems pharmacology analysis

Q Shi, F Pei, GA Silverman, SC Pak… - International journal of …, 2020 - mdpi.com
Autophagy plays an essential role in cell survival/death and functioning. Modulation of
autophagy has been recognized as a promising therapeutic strategy against …

On the degradation of forest ecosystems by extreme events: Statistical Model Checking of a hybrid model

G Cantin, B Delahaye, BM Funatsu - Ecological Complexity, 2023 - Elsevier
In this paper, we study the vulnerability of forest ecosystems perturbed by extreme events,
such as those arising from climate change. To investigate the complex interactions between …

End-to-end statistical model checking for parametric ODE models

D Julien, G Cantin, B Delahaye - International Conference on Quantitative …, 2022 - Springer
We propose a simulation-based technique for the verification of structural parameters in
Ordinary Differential Equations. This technique is an adaptation of Statistical Model …

End-to-End Statistical Model Checking for Parameterization and Stability Analysis of ODE Models

D Julien, G Ardourel, G Cantin… - ACM Transactions on …, 2024 - dl.acm.org
We propose a simulation-based technique for the parameterization and the stability analysis
of parametric Ordinary Differential Equations. This technique is an adaptation of Statistical …

A model checking-based analysis framework for systems biology models

B Liu, S Safa - 2020 57th ACM/IEEE Design Automation …, 2020 - ieeexplore.ieee.org
Biological systems are often modeled as a system of ordinary differential equations (ODEs)
with time-invariant parameters. However, cell signaling events or pharmacological …