Tools and algorithms for the construction and analysis of systems Part 2

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	International Conference on Tools and Algorithms for the Construction and Analysis of Systems (VerfasserIn)
Weitere Verfasser:	Finkbeiner, Bernd (HerausgeberIn), Kovács, Laura (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2024
Schriftenreihe:	Lecture notes in computer science 14571
Schlagworte:	Konferenzschrift
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking	2024	Osama, Muhammad
JPF: From 2003 to 2023	2024	Artho, Cyrille
Enhancing GenMC’s Usability and Performance	2024	Kokologiannakis, Michalis
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development	2024	König, Lukas
Mata: A Fast and Simple Finite Automata Library	2024	Chocholatý, David
Accelerated Bounded Model Checking Using Interpolation Based Summaries	2024	Solanki, Mayank
A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation	2024	Lin, Shang-Wei
A Comprehensive Specification and Verification of the L4 Microkernel API	2024	Zhang, Leping
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains	2024	Mertens, Hannah
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs	2024	Watanabe, Kazuki
Learning Explainable and Better Performing Representations of POMDP Strategies	2024	Bork, Alexander
Forward and Backward Constrained Bisimulations for Quantum Circuits	2024	Jiménez-Pastor, A.
Weakest Precondition Inference for Non-Deterministic Linear Array Programs	2024	Prabhu, S. Sumanth
CTMCs with Imprecisely Timed Observations	2024	Badings, Thom
Scalable Tree-based Register Automata Learning	2024	Dierl, Simon
Small Test Suites for Active Automata Learning	2024	Kruger, Loes
Automated Software Verification of Hyperliveness	2024	Beutner, Raven
Dissipative quadratizations of polynomial ODE systems	2024	Cai, Yubo