A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment

von Tschaikowski, Max
Veröffentlicht in European Conference on Queueing Theory (1. : 2014 : Ghent) Computational methods and applications in queueing theory (2017)

Large-scale modelling with the PEPA Eclipse Plug-in

von Tribastone, Mirco
Veröffentlicht in Operations research proceedings 2010 (2011)

Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic

von Simić, Stella
Veröffentlicht in SEFM (19. : 2021 : Online) Software engineering and formal methods (2021)

Inferring Performance from Code: A Review

von Incerto, Emilio
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2020)

Quantitative evaluation of systems : 20th international conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings

Veröffentlicht 2023

Jump Longer to Jump Less: Improving Dynamic Boundary Projection with h-Scaling

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

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)

Tight Error Analysis in Fixed-Point Arithmetic

von Simic, Stella
Veröffentlicht in iFM (16. : 2020 : Online) Integrated formal methods (2020)

Computer performance engineering : 9th European workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012 ; revised selec...

Veröffentlicht 2013

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)

Lumpability for Uncertain Continuous-Time Markov Chains

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

Computational methods in systems biology : 22nd international conference, CMSB 2024, Pisa, Italy, September 16-18, 2024 : proceedings

Veröffentlicht 2024