TACAS (2)

Publications

2024

Alexander Bork, Debraj Chakraborty, Kush Grover, Jan Kretínský, Stefanie Mohr
Learning Explainable and Better Performing Representations of POMDP Strategies. TACAS (2) (2024)
Loes Kruger, Sebastian Junges, Jurriaan Rot
Small Test Suites for Active Automata Learning. TACAS (2) (2024)
Yubo Cai, Gleb Pogudin
Dissipative quadratizations of polynomial ODE systems. TACAS (2) (2024)
Leping Zhang, Yongwang Zhao, Jianxin Li
A Comprehensive Specification and Verification of the L4 Microkernel API. TACAS (2) (2024)
Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs. TACAS (2) (2024)
Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou, David Sanán, Yon Shin Teo
A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation. TACAS (2) (2024)
Antonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski
Forward and Backward Constrained Bisimulations for Quantum Circuits. TACAS (2) (2024)
Cyrille Artho, Pavel Parízek, Daohan Qu, Varadraj Galgali, Pu (Luke) Yi
JPF: From 2003 to 2023. TACAS (2) (2024)
Raven Beutner
Automated Software Verification of Hyperliveness. TACAS (2) (2024)
Muhammad Osama, Anton Wijs
Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking. TACAS (2) (2024)
Mayank Solanki, Prantik Chatterjee, Akash Lal, Subhajit Roy
Accelerated Bounded Model Checking Using Interpolation Based Summaries. TACAS (2) (2024)
Lukas König, Christian Heinzemann, Alberto Griggio, Michaela Klauck, Alessandro Cimatti, Franziska Henze, Stefano Tonetta, Stefan Küperkoch, Dennis Fassbender, Michael Hanselmann
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development. TACAS (2) (2024)
Thom S. Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen
CTMCs with Imprecisely Timed Observations. TACAS (2) (2024)
Sumanth Prabhu, Deepak D'Souza, Supratik Chakraborty, R. Venkatesh, Grigory Fedyukovich
Weakest Precondition Inference for Non-Deterministic Linear Array Programs. TACAS (2) (2024)
Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains. TACAS (2) (2024)
Michalis Kokologiannakis, Rupak Majumdar, Viktor Vafeiadis
Enhancing GenMC's Usability and Performance. TACAS (2) (2024)
Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist
Scalable Tree-based Register Automata Learning. TACAS (2) (2024)
David Chocholatý, Tomás Fiedor, Vojtech Havlena, Lukás Holík, Martin Hruska, Ondrej Lengál, Juraj Síc
Mata: A Fast and Simple Finite Automata Library. TACAS (2) (2024)

volume 14571, 2024

Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II TACAS (2) 14571 (2024)

2023

volume 13994, 2023

Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II TACAS (2) 13994 (2023)