Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID30th TACAS@ETAPS 2024: Luxembourg City, Luxembourg - Part II
- Bernd Finkbeiner
, Laura Kovács:
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. Lecture Notes in Computer Science 14571, Springer 2024, ISBN 978-3-031-57248-7
Model Checking
- Cyrille Artho, Pavel Parízek, Daohan Qu, Varadraj Galgali, Pu (Luke) Yi:
JPF: From 2003 to 2023. 3-22 - Muhammad Osama, Anton Wijs:
Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking. 23-43 - 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. 44-65 - Michalis Kokologiannakis, Rupak Majumdar, Viktor Vafeiadis:
Enhancing GenMC's Usability and Performance. 66-84
Automata and Learning
- Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist:
Scalable Tree-based Register Automata Learning. 87-108 - Loes Kruger, Sebastian Junges, Jurriaan Rot:
Small Test Suites for Active Automata Learning. 109-129 - 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. 130-151
Software Verification
- Mayank Solanki, Prantik Chatterjee, Akash Lal, Subhajit Roy:
Accelerated Bounded Model Checking Using Interpolation Based Summaries. 155-174 - Sumanth Prabhu, Deepak D'Souza, Supratik Chakraborty, R. Venkatesh, Grigory Fedyukovich:
Weakest Precondition Inference for Non-Deterministic Linear Array Programs. 175-195 - Raven Beutner:
Automated Software Verification of Hyperliveness. 196-216 - Leping Zhang, Yongwang Zhao, Jianxin Li:
A Comprehensive Specification and Verification of the L4 Microkernel API. 217-234
Probabilistic Systems
- Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler:
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains. 237-257 - Thom S. Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen:
CTMCs with Imprecisely Timed Observations. 258-278 - Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges:
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs. 279-298 - Alexander Bork, Debraj Chakraborty, Kush Grover, Jan Kretínský, Stefanie Mohr:
Learning Explainable and Better Performing Representations of POMDP Strategies. 299-319
Simulations
- Yubo Cai, Gleb Pogudin:
Dissipative quadratizations of polynomial ODE systems. 323-342 - Antonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski:
Forward and Backward Constrained Bisimulations for Quantum Circuits. 343-362 - 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. 363-382
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-29 20:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
