An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations

von Squillace, Giuseppe
Veröffentlicht in QEST (19. : 2022 : Warschau) Quantitative evaluation of systems (2022)

Automated and distributed statistical analysis of economic agent-based models

von Vandin, Andrea
Veröffentlicht in Journal of economic dynamics & control (2022)

Multi VeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking

von Vandin, Andrea
Veröffentlicht in DataMod (10. : 2021 : Online) From data to models and back (2022)

Reducing Boolean Networks with Backward Boolean Equivalence

von Argyris, Georgios
Veröffentlicht in CMSB (19. : 2021 : Bordeaux) Computational Methods in Systems Biology (2021)

An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence

von Argyris, Georgios
Veröffentlicht in CMSB (20. : 2022 : Bukarest) Computational methods in systems biology (2022)

Formal Analysis of Lending Pools in Decentralized Finance

von Bartoletti, Massimo
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 3: Adaptation and learning (2022)

Lumpability for Uncertain Continuous-Time Markov Chains

von Cardelli, Luca
Veröffentlicht in QEST (18. : 2021 : Online) Quantitative evaluation of systems (2021)