Abstraction-Based Segmental Simulation of Chemical Reaction Networks

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

Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs

von Esparza, Javier
Veröffentlicht in ATVA (18. : 2020 : Online) Automated technology for verification and analysis (2020)

Automata Tutor v3

von D'Antoni, Loris
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 2 (2020)

Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling

von Blondin, Michael
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 2 (2020)